Eigenvalue equation for the modular graph $C_{a,b,c,d}$

TL;DR

This paper derives an eigenvalue equation for the modular graph $C_{a,b,c,d}$ on the torus, involving auxiliary graphs and Eisenstein series, advancing understanding of modular graph functions in string theory.

Contribution

It introduces a novel eigenvalue equation for the modular graph $C_{a,b,c,d}$, incorporating auxiliary graphs and Eisenstein series, obtained via variation with respect to the Beltrami differential.

Findings

Eigenvalue equation for $C_{a,b,c,d}$ derived

Involves sums of squares of Eisenstein series

Eigenfunction includes specific subtractions

Abstract

The modular graph $C_{a,b,c,d}$ on the torus is a three loop planar graph in which two of the vertices have coordination number four, while the others have coordination number two. We obtain an eigenvalue equation satisfied by $C_{a,b,c,d}$ for generic values of $a,b,c$ and $d$, where the source terms involve various modular graphs. This is obtained by varying the graph with respect to the Beltrami differential on the toroidal worldsheet. Use of several auxiliary graphs at various intermediate stages of the analysis is crucial in obtaining the equation. In fact, the eigenfunction is not simply $C_{a,b,c,d}$ but involves subtracting from it specific sums of squares of non--holomorphic Eisenstein series characterized by $a,b,c$ and $d$.

Equations

$$C_{a,b,c,d}-E_{a+b}{E}_{c+d}-E_{a+c}{E}_{b+d}-E_{a+d}{E}_{b+c}.$$

$$-\frac{1}{2}\le \mathrm{Re}z\le \frac{1}{2},0\le \mathrm{Im}z\le {\tau }_2.$$

$$G(z,w)=\frac{1}{\pi }\sum _{(m,n)\ne (0,0)}\frac{{\tau }_2}{|m\tau +n{|}^2}{e}^{\pi [\bar{y}(m\tau +n)-y(m\bar{\tau }+n)]/{\tau }_2}$$

$${\int }_{\Sigma }{d}^{2}zG(z,w)=0$$

$${\partial }_z{\overline{\partial }}_{w}G(z,w)=\pi {\delta }^2(z-w)-\frac{\pi }{{\tau }_2}$$

$${\partial }_{\mu }G(z_1,z_2)=-\frac{1}{\pi }{\int }_{\Sigma }{d}^{2}w{\partial }_{w}G(w,z_1){\partial }_{w}G(w,z_2),$$

$$\Delta ={\overline{\partial }}_{\mu }{\partial }_{\mu }=4{\tau }_2^2\frac{{\partial }^2}{\partial \tau \partial \overline{\tau }}.$$

$$\mathcal{G}(z_1,z_{a+1};a)\equiv {\int }_{{\Sigma }^{a-1}}\prod _{i=2}^a\frac{d^2{z}_i}{{\tau }_2}G(z_1,z_2)G(z_2,z_3)\dots G(z_a,z_{a+1}).$$

$$E_a={\int }_{\Sigma }\frac{d^{2}z}{{\tau }_2}\mathcal{G}(z,z;a),$$

$$\Delta E_a=a(a-1)E_a.$$

$$C_{a,b,c}={\int }_{{\Sigma }^2}\prod _{i=1}^2\frac{d^2{z}_i}{{\tau }_2}\mathcal{G}(z_1,z_2;a)\mathcal{G}(z_1,z_2;b)\mathcal{G}(z_1,z_2;c).$$

$${\partial }_{\mu }{C}_{a,b,c}=aA(a;b,c)+bA(b;a,c)+cA(c;a,b),$$

$$\displaystyle\Big{[}\overline{\partial}_{\mu}\partial_{\mu}-a(a-1)-b(b-1)-c(c-1)\Big{]}C_{a,b,c}$$

$$\displaystyle=ab\Big{[}B(a,b;c)+c.c.\Big{]}+ac\Big{[}B(a,c;b)+c.c.\Big{]}+bc\Big{[}B(b,c;a)+c.c.\Big{]},$$

$$B(a,b;c)$$

$$D(a,b;c)+c.c.=C_{a,b+1,c}+C_{a+1,b,c}-C_{a+1,b+1,c-1}$$

$$\displaystyle\Big{[}\Delta-a(a-1)-b(b-1)-c(c-1)\Big{]}C_{a,b,c}=f(a,b;c)+f(b,c;a)+f(a,c;b),$$

$$f(a,b;c)$$

$$C_{a,b,c,d}={\int }_{{\Sigma }^2}\prod _{i=1}^2\frac{d^2{z}_i}{{\tau }_2}\mathcal{G}(z_1,z_2;a)\mathcal{G}(z_1,z_2;b)\mathcal{G}(z_1,z_2;c)\mathcal{G}(z_1,z_2;d).$$

$${\partial }_{\mu }{C}_{a,b,c,d}=aA(a;b,c,d)+bA(b;a,c,d)+cA(c;a,b,d)+dA(d;a,b,c),$$

$$\displaystyle\Big{[}\overline{\partial}_{\mu}\partial_{\mu}-a(a-1)-b(b-1)-c(c-1)-d(d-1)\Big{]}C_{a,b,c,d}=ab\Big{[}B(a,b;c,d)+c.c.\Big{]}$$

$$\displaystyle+ac\Big{[}B(a,c;b,d)+c.c.\Big{]}+ad\Big{[}B(a,d;b,c)+c.c.\Big{]}+bc\Big{[}B(b,c;a,d)+c.c.\Big{]}$$

$$\displaystyle+bd\Big{[}B(b,d;a,c)+c.c.\Big{]}+cd\Big{[}B(c,d;a,b)+c.c.\Big{]},$$

$$B(a,b;c,d)$$

$$H(a,b|c,d)=G(a,b|c,d)-J(a+b-1)J(c+d-1{)}^{\ast },$$

$$H(a,b|c,d)=K(b-1,d;a,c-1)+K(b-1,c-1;a,d)+K(a,d;b-1,c-1)+K(a,c-1;b-1,d),$$

$$G(a,b|c,d)$$

$$X_{a,b,c,d}$$

$$Y_{a,b,c,d}=C_{a,b,c,d}-E_{a+b}{E}_{c+d}-E_{a+c}{E}_{b+d}-E_{a+d}{E}_{b+c},$$

$$\Delta Y_{a,b,c,d}$$

$$\displaystyle\Delta Y_{a,b,c,d}+\Big{[}(a+b)(a+b-1)+(c+d)(c+d-1)\Big{]}E_{a+b}E_{c+d}$$

Full text

**Eigenvalue equation for the modular graph $C_{a,b,c,d}$

** Anirban Basu111email address: anirbanbasu@hri.res.in

Harish–Chandra Research Institute, HBNI, Chhatnag Road, Jhusi,

Prayagraj 211019, India

The modular graph $C_{a,b,c,d}$ on the torus is a three loop planar graph in which two of the vertices have coordination number four, while the others have coordination number two. We obtain an eigenvalue equation satisfied by $C_{a,b,c,d}$ for generic values of $a,b,c$ and $d$, where the source terms involve various modular graphs. This is obtained by varying the graph with respect to the Beltrami differential on the toroidal worldsheet. Use of several auxiliary graphs at various intermediate stages of the analysis is crucial in obtaining the equation. In fact, the eigenfunction is not simply $C_{a,b,c,d}$ but involves subtracting from it specific sums of squares of non–holomorphic Eisenstein series characterized by $a,b,c$ and $d$.

1 Introduction

Understanding the properties of multiloop amplitudes in string theory is useful in obtaining terms in the effective action of the theory in a given background, as well as understanding non–perturbative duality symmetries at a quantitative level. In this paper, we shall be concerned with a specific $SL(2,\mathbb{Z})$ invariant integrand which arises in genus one string amplitudes which we denote as $C_{a,b,c,d}$. This is a modular graph function [1] defined on the toroidal worldsheet for a fixed complex structure $\tau$. The links of this graph are given by scalar Green functions, while the vertices are given by the insertion points of vertex operators which are integrated over the toroidal worldsheet. $C_{a,b,c,d}$ is a three loop planar graph in which two of the vertices have coordination number four, while the others have coordination number two.

To diagrammatically denote modular graphs, we denote the Green functions simply by lines. We often consider a chain of $a$ Green functions connected to each other such that all vertices apart from the ones at the end have coordination number two. This is denoted graphically by figure 1.

Thus $C_{a,b,c,d}$ is defined diagrammatically in figure 2. The detailed expression for this graph will be given later.

Note that formally simply based on the algebraic formulae to be described later, $C_{a,b,c,d}$ is defined for arbitrary $a,b,c$ and $d$ provided the integrand has nice convergence properties, though for physically relevant cases that arise in string theory, $a,b,c$ and $d$ are positive integers. In fact, $C_{a,b,c,d}$ is a family of graphs characterized by $a,b,c$ and $d$.

Such modular graphs arise in the low momentum expansion of string amplitudes which yield local terms in the effective action. The number of vertices and the number of links increase as one goes to higher point functions and higher orders in the derivative expansion respectively. These graphs have to be integrated over the truncated fundamental domain of $SL(2,\mathbb{Z})$, and the cutoff independent part of the final answer yields terms in the effective action [2, 3]. In order to perform this analysis for various modular graphs, it is very useful to study their properties and obtain differential equations they satisfy on moduli space. Coupled with the asymptotic analysis of their behaviour near the cusp, one can obtain their contributions to the effective action. These issues have been discussed in various contexts in [4, 5, 6, 1, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26].

Thus obtaining differential equations which modular graphs satisfy is interesting and quite useful, and such equations have indeed been obtained for various graphs. Rather than considering specific graphs, it would be nice to obtain equations satisfied by families of such graphs, as they not only give insight into the structure of graphs with varying number of links in the same family, but this information is also useful in analyzing properties of such graphs at all orders in the $\alpha^{\prime}$ expansion. Such eigenvalue equations have been obtained for the families of graphs $E_{a}$, $C_{a,b,c}$ and $M_{a,b,c,d,e,f}$ [4, 14], where these graphs are defined later. While the one loop graph $E_{a}$ satisfies Laplace equation on moduli space, the two loop graph $C_{a,b,c}$ and the three loop graph $M_{a,b,c,d,e,f}$ satisfy Poisson equations. The analysis is simple because these graphs do not have vertices with coordination number more than three.

The analysis changes qualitatively and presents a richer structure once graphs with vertices with coordination number more than three are allowed. For this reason in this paper, we look at the family of graphs $C_{a,b,c,d}$ where two of the vertices have coordination number four. The structure of the source terms that arise in the Poisson equation we obtain is qualitatively different from that for $C_{a,b,c}$ and $M_{a,b,c,d,e,f}$.

To obtain the differential equation satisfied by $C_{a,b,c,d}$ for generic $a,b,c$ and $d$, we perform the holomorphic and then the anti–holomorphic variations of the graph with respect to the Beltrami differential and manipulate the resulting expressions using elementary properties of the Green function to obtain the eigenvalue equation, along the lines of [11]. This involves the use of auxiliary graphs [10] at various intermediate stages of the analysis. This yields the desired Poisson equation with source terms given by elementary modular graphs with links given by scalar Green functions.

There are two major qualitative differences in the structure of the Poisson equation for $C_{a,b,c,d}$ compared to $C_{a,b,c}$ and $M_{a,b,c,d,e,f}$. First of all, for $C_{a,b,c}$ the source terms lie in the family $C_{a,b,c}$ with shifted labels, and similar is the case for $M_{a,b,c,d,ef}$ for generic values of the labels. However, for $C_{a,b,c,d}$ the source terms involve families of graphs other than $C_{a,b,c,d}$ as well. Secondly, in the Poisson equations for $C_{a,b,c}$ and $M_{a,b,c,d,ef}$, the eigenfunctions are $C_{a,b,c}$ and $M_{a,b,c,d,ef}$ respectively. However, the eigenfunction in the equation for $C_{a,b,c,d}$ is given by

[TABLE]

Such shifts in the eigenfunction have been observed in various other cases as well, and the subtracted terms amount to removing contributions that are obtained by cutting open the parent graph in all possible ways. Thus what remains is really what should be thought of as the irreducible part of the parent graph222This has been termed “primitive modular graph function” in [13]. This phenomenon has also been observed at genus two [27], where the eigenfunction has a similar graphical interpretation. All this suggests this might be true in general.. The terms that need to be subtracted from the parent graph arise very naturally in our graphical analysis. The strategy of using auxiliary graphs to obtain eigenvalue equations is general, hence we expect it to be useful to obtain such equations for other classes of modular graph functions, and more generally modular graph forms, as well.

We begin by first reviewing briefly various details of the scalar Green function as well as the variations of relevant quantities under the variations of Beltrami differentials on the worldsheet. After defining the various graphs, we then deduce the eigenvalue equation for $C_{a,b,c}$ using our method333This has already been deduced in [4] using a different method. We revisit the eigenvalue equation with an eye towards generalizing it to $C_{a,b,c,d}$. The eigenvalue equation for $M_{a,b,c,d,e,f}$ has been obtained in [14] using the methods used in the present paper.. Next we obtain the eigenvalue equation for $C_{a,b,c,d}$ for generic labels $a,b,c$ and $d$. The source terms in the Poisson equation can have vanishing or negative labels for certain choices of labels in the original graph. We discuss them in some detail and look at some simple examples.

2 The scalar Green function and varying the Beltrami differential

We briefly review various properties of the conformally invariant scalar Green function that are relevant for our analysis.

The coordinate $z$ on the toroidal worldsheet $\Sigma$ with complex structure $\tau$ lies in the region

[TABLE]

The single valued scalar Green function $G(z,w)$ between points $z$ and $w$ on the toroidal worldsheet with complex structure $\tau$ is given by[28, 2]

[TABLE]

where $y=z-w$. Thus we have that

[TABLE]

and hence graphs with an endpoint vanish. Also we see from $(\ref{exp})$ that one particle reducible graphs vanish.

Using the single valuedness of the Green function, we can integrate by parts ignoring total derivatives. We also have that $\partial_{z}G(z,w)=-\partial_{w}G(z,w)$ using translational invariance.

The Green function satisfies the eigenvalue equation

[TABLE]

which we use very often in our analysis.

Under the variation of the Beltrami differential $\mu$, we can work out its action on the Green function and its variation using results in[29, 30]. We get that [4, 6]

[TABLE]

while $\overline{\partial}_{\mu}\partial_{\mu}G(z_{1},z_{2})=0$ upto contributions from the boundary of moduli space that are not relevant for our purposes444They become relevant for certain modular graph forms that arise, for example, in heterotic string theory [31, 32, 16, 21]..

The $SL(2,\mathbb{Z})$ invariant Laplacian is given by

[TABLE]

In the expressions for the various modular graphs in our analysis, all vertices are integrated with the measure $d^{2}z/\tau_{2}$. In the intermediate steps, the number of $\tau_{2}$ factors in the integrand in the various graphs is determined in an obvious way from the formulae for the variations.

In the graphs, we denote Green functions simply by lines. For links having $\partial_{z}G(z,w)$ or $\overline{\partial}_{z}G(z,w)$, we denote them as shown in figure 3. We also need links having both holomorphic as well as anti–holomorphic derivatives of the Green function in our analysis, which is denoted by figure 4. The variation $\partial_{\mu}$ of the Green function is denoted as $\mu$ next to the link, and similarly for its complex conjugate in the various graphs.

3 The various modular graph functions

The simplest family of modular graphs involves $a$ links forming a closed chain given in figure 5. This one loop graph in which all vertices have coordination number two satisfies a simple differential equation on moduli space.

To see this and also for later use, we define555Here $\Sigma^{a}$ means $a$ copies of $\Sigma$.

[TABLE]

This is the chain with $a$ links depicted by figure 1, where the vertices at the end points have not been integrated over.

Hence the modular graph $E_{a}$ given in figure 5 is given by

[TABLE]

which satisfies

[TABLE]

Another family of modular graphs which satisfies a simple differential equation is $C_{a,b,c}$ as given in figure 6. This two loop graph has two vertices with coordination number three, while the rest have coordination number two.

We next consider the family of graphs $C_{a,b,c,d}$ given in figure 2 which is central to our analysis. For $C_{a,b,c,d}$, the eigenvalue equation we shall obtain later is a second order differential equation with source terms. These involve graphs of the type $E_{a}$, $C_{a,b,c}$, $C_{a,b,c,d}$ as well as the three loop graphs $P_{a,b;c,d;e}$ and $M_{a,b,c,d,e,f}$ given in figure 7. While the graph $P_{a,b;c,d;e}$ has one vertex with coordination number four, the graph $M_{a,b,c,d,e,f}$ has no vertex with coordination number more then three. Thus we see that the eigenvalue equation for $C_{a,b,c,d}$ involves only elementary modular graphs with links given by Green functions.

4 Revisiting the eigenvalue equation for $C_{a,b,c}$

We now consider the graph $C_{a,b,c}$ in figure 6, which is symmetric under interchange of $a,b$ and $c$. It is explicitly given by

[TABLE]

Thus such explicit expressions for the various graphs can be easily written down and we almost always simply express them diagrammatically for the sake of brevity.

From $(\ref{defCabc})$ performing the holomorphic variation of the Beltrami differential using $(\ref{hol})$, we get that

[TABLE]

where $A(a;b,c)=A(a;c,b)$ is given in figure 8.

Thus further performing the anti–holomorphic variation of the Beltrami differential on $(\ref{da})$, we get that

[TABLE]

where $B(a,b;c)=B(b,a;c)^{*}$ is given in figure 9. We have used $(\ref{Eigen})$ at an intermediate step of our analysis to get the above expression.

We can calculate $B(a,b;c)$ independently to get that

[TABLE]

where $D(a,b;c)=D(b,a;c)^{*}$ is given in figure 10. We also get that

[TABLE]

by a direct calculation.

Putting the various contributions together, we get that666In [4], this eigenvalue equation was deduced using the representation of the Green function as a lattice sum and manipulating the various expressions.

[TABLE]

where

[TABLE]

In $(\ref{eqn1})$, though formally $C_{a,b,c}$ is defined for all $a,b$ and $c$ such that the integrand has nice convergence properties, we have that $a,b,c$ are positive integers for cases of interest in string amplitudes. Thus, on the right hand side, we can end up with the expressions $C_{a,b,0}$ and $C_{a,b,-1}$. These are analyzed in the appendix.

5 Deducing the structure of the eigenvalue equation for $C_{a,b,c,d}$

We now consider the three loop modular graph $C_{a,b,c,d}$ in figure 2, which is symmetric under interchange of labels $a,b,c$ and $d$. Expressed as an integral over Green functions, it is given by

[TABLE]

To obtain the eigenvalue equation, we perform the action of the variation of the Beltrami differential on this graph.

5.1 The mixed variation of $C_{a,b,c,d}$

Performing the holomorphic variation using $(\ref{hol})$, we get that

[TABLE]

where $A(a;b,c,d)$ is given in figure 11. Note that $A(a;b,c,d)$ is symmetric under interchange of $b,c$ and $d$.

We next perform the anti–holomorphic variation on the holomorphic variation of the graph given by $(\ref{A})$ using the conjugate of $(\ref{hol})$. Using $(\ref{Eigen})$, this yields the equation for the mixed variation given by

[TABLE]

where $B(a,b;c,d)$ is given in figure 12. Note that $B(a,b;c,d)=B(a,b;d,c)=B(b,a;c,d)^{*}=B(b,a;d,c)^{*}$.

Using $(\ref{Eigen})$ and also integrating by parts in relevant terms, we get that

[TABLE]

where $G(a,b|c,d)=G(d,c|b,a)^{*}=G(b-1,a+1|c,d)=G(a,b|d+1,c-1)=G(b-1,a+1|d+1,c-1)$ is given in figure 13, and $D(a,b;c,d)=D(a,b;d,c)=D(b,a;c,d)^{*}=D(b,a;d,c)^{*}$ is given in figure 14. Thus $G(a,b|c,d)$ has two factors of $\partial G$ and two factors of $\overline{\partial}G$, while $D(a,b;c,d)$ has one factor of $\partial G$ and one factor of $\overline{\partial}G$.

The terms of the type $D(a,b;c,d)$ in $(\ref{simplify})$ can be further simplified to yield

[TABLE]

which we now manipulate.

5.2 Simplifying $G(a,b|c,d)$

First we consider terms of the type $G(a,b|c,d)$ in $(\ref{defB})$. To simplify $G(a,b|c,d)$, we consider the auxiliary graph $H(a,b|c,d)$ given in figure 15. One of the links of this auxiliary graph is given by $\partial_{z}\overline{\partial}_{w}G(z,w)$. This is denoted by figure 4 for $m=n=1$.

Simplifying it trivially using $(\ref{Eigen})$ for the link of the form $\overline{\partial}\partial G$, we get that

[TABLE]

where $J(a)$ is given in figure 16, and $\partial_{\mu}E_{a+1}=(a+1)J(a)$.

Alternatively, we can evaluate $H(a,b|c,d)$ by first moving the $\overline{\partial}$ in the link carrying both $\partial$ and $\bar{\partial}$ to the left and integrating by parts and using $(\ref{Eigen})$, and then moving the $\partial$ to the right and again integrating by parts using $(\ref{Eigen})$. We get that

[TABLE]

where $K(a,b;c,d)=K(b,a;d,c)^{*}$ is given in figure 17. Thus from $(\ref{aux1})$ and $(\ref{aux2})$ we get that

[TABLE]

This is a general strategy we shall use at various stages of our calculation. Often we obtain expressions in which there are factors of $\partial G$ and $\overline{\partial}G$ and we would like to simplify them to either get rid of the derivatives or put them in a form of diagrams which have derivatives in a useful way. However simply integrating by parts does not help in achieving our goal. We then introduce an auxiliary graph [10] which reduces to the graph under consideration trivially using $(\ref{Eigen})$. On the other hand, the auxiliary graph has to be judiciously chosen such that it can be independently simplified to produce graphs of the desired form. From now onwards, we shall simply mention the auxiliary graphs and write down the equality which is obtained following the steps mentioned above.

Let us consider the contribution to the right hand side of $(\ref{main})$ involving only the $J(p)J(q)^{*}$ terms that arise using $(\ref{defG})$ in $(\ref{defB})$. This is equal to $X_{a,b,c,d}$ which is defined by

[TABLE]

These contributions along with $\Delta C_{a,b,c,d}$ can be very usefully combined together by defining the combination

[TABLE]

using the identity

[TABLE]

Thus $(\ref{main})$ gives us that

[TABLE]

where $f(a,b;c,d)$ only involves terms of the form $K(a,b;c,d)$ and $D(a,b;c,d)$, and is given by

[TABLE]

We now show that both terms of the form $D(a,b;c,d)+c.c.$ as well as $K(a,b;c,d)+c.c.$ can be manipulated to yield graphs that are independent of derivatives. Then $(\ref{eqn2})$ leads to the desired eigenvalue equation involving $C_{a,b,c,d}$ for generic values of $a,b,c$ and $d$.

5.3 Simplifying $D(a,b,c,d)$

First let us consider $D(a,b;c,d)$. We start with the auxiliary graph $P_{1}(a,b;c,d)$ given in figure 18. Evaluating it trivially, and alternatively by moving $\partial$ and $\bar{\partial}$ along the links forming the closed loop without derivatives and using $(\ref{Eigen})$, we get that

[TABLE]

where $Q_{1}(a,b;c,d)$ and $Q_{2}(a,b|c,d)$ are given in figures 19 and 20 respectively. Note that $Q_{1}(a,b;c,d)=Q_{1}(a,b;d,c)=Q_{1}(b,a;c,d)^{*}=Q_{1}(b,a;d,c)^{*}$and $Q_{2}(a,b|c,d)=Q_{2}(d,c|b,a)^{*}=Q_{2}(b-1,a+1|d+1,c-1)$.

We now consider the graph $Q_{1}(a,b;c,d)$. Starting with the auxiliary graph $P_{2}(a+1,b+1;c,d)$ given in figure 21, we get that

[TABLE]

and thus the graphs on the right hand side have no derivatives.

Note that $P_{a,b;c,d;e}$ depicted by figure 7 is given by

[TABLE]

when expressed as an integral over factors of scalar Green functions.

We next consider the graph $Q_{2}(a,b|c,d)$. We now start with the auxiliary graph $P_{3}(a,b|c,d)$ given in figure 22. Again to simplify it we proceed as before by evaluating it trivially, and then evaluating it again by moving around the derivatives and using $(\ref{Eigen})$. Equating the two expressions thus obtained gives us the required relation777This strategy of simplifying various graphs involving derivatives of Green functions using auxiliary graphs has been used very effectively, for example, in [12]. This involves joining and splitting of links in various graphs and seems to be a very useful technique in general..

Thus we get that

[TABLE]

where $Q_{3}(a,b;c,d)=Q_{3}(b,a;d,c)^{*}$, $Q_{4}(a,b|c,d)$ and $Q_{5}(a,b;c,d)$ are defined in figures 23, 24 and 25 respectively.

In order to calculate $Q_{3}(a,b;c,d)+c.c.$, we consider the auxiliary graph $P_{4}(a,b;c,d)$ given in figure 26, which gives us

[TABLE]

Similarly, we get that

[TABLE]

We also get that

[TABLE]

Note that $M_{a,b,c,d,e,f}$ depicted by figure 7 is given by

[TABLE]

when expressed as an integral over factors of scalar Green functions. At various places, we have used the relations888See [33] for example, for a relevant discussion.

[TABLE]

to simplify the various expressions.

Thus, using $(\ref{Q3})$, $(\ref{Q4})$ and $(\ref{Q5})$ in $(\ref{Q2})$, we see that $Q_{2}(a,b|c,d)+c.c.$ yields graphs with no derivatives. Along with $(\ref{q1})$, we conclude that $D(a,b;c,d)+c.c.$ yields graphs with no derivatives, leading to a simplification in the structure of the source terms.

5.4 Simplifying $K(a,b,c,d)$

We next consider $K(a,b;c,d)$. Starting with the auxiliary graph $R_{1}(a,b;c,d)$ given in figure 27 and proceeding as before, we get that

[TABLE]

where $S_{1}(a,b|c,d)$ and $S_{2}(a;b)$ are given in figures 28 and 29 respectively. Note that $S_{1}(a,b|c,d)=S_{1}(d,c|b,a)^{*}=S_{1}(b-1,a+1|d+1,c-1)$, while $S_{2}(a;b)=S_{2}(b;a)^{*}$.

Now we get that

[TABLE]

We next consider the graph $S_{1}(a,b|c,d)$. Starting with the auxiliary graph $R_{2}(a,b|c,d)$ given in figure 30, we get that

[TABLE]

where $S_{3}(a,b;c,d)=S_{3}(b,a;d,c)^{*}$ and $S_{4}(a,b;c,d)$ are defined in figures 31 and 32 respectively.

For $S_{3}(a,b;c,d)+c.c.$, we consider the auxiliary graph $R_{3}(a,b;c,d)$ given in figure 33, leading to

[TABLE]

We also obtain that

[TABLE]

Thus from $(\ref{s3})$ and $(\ref{s4})$ we see that $S_{1}(a,b|c,d)+c.c.$ has graphs with no derivatives. Along with $(\ref{q1})$, $(\ref{Q3})$, $(\ref{Q5})$, $(\ref{s2})$ we see that $K(a,b,c,d)+c.c.$ has graphs with no derivatives, once again leading to a simplification in the structure of the source terms.

6 The eigenvalue equation for $C_{a,b,c,d}$

Let us now consider $(\ref{eqn2})$ in detail, which is the required eigenvalue equation satisfied by $Y_{a,b,c,d}$ for generic $a,b,c$ and $d$. The right hand side of the equation involves $f(a,b;c,d)$ which can be expressed in terms of various modular graphs without derivatives using the various expressions deduced in the previous section. This involves terms linear and quadratic in $E_{a}$, as well as terms linear in $C_{a,b,c}$, $C_{a,b,c,d}$, $P_{a,b;c,d;e}$ and $M_{a,b,c,d,e,f}$.

It is useful to isolate explicitly the expressions that are quadratic in $E_{a}$ and linear in $C_{a,b,c,d}$ from the right hand side of $(\ref{eqn2})$. This is because the eigenvalue equation involves the Laplacian acting on $Y_{a,b,c,d}$ which is a linear combination of $C_{a,b,c,d}$ and terms quadratic in $E_{a}$.

Keeping only these terms, we see that

[TABLE]

while

[TABLE]

Thus the contribution to $f(a,b;c,d)$ coming from these terms is given by

[TABLE]

Thus we get the Poisson equation

[TABLE]

In $(\ref{ev})$ the eigenvalue $\lambda_{a,b,c,d}$ is given by

[TABLE]

Let us now consider the various source terms that arise in this Poisson equation. We see that $\mathcal{C}_{a,b,c,d}$ includes all terms linear in graphs of the type $C_{a,b,c,d}$ with the structure of labels distinct from that on the left hand side. This is given by

[TABLE]

Hence this contribution includes terms from the same family as the parent graph $C_{a,b,c,d}$ but with different labels. Qualitatively they are on the same footing as the source terms in the Poisson equations that have been obtained for $C_{a,b,c}$ and $M_{a,b,c,d,ef}$ [4, 14]. The remaining source terms are qualitatively different, which we now discuss.

In $(\ref{ev})$ $\mathcal{E}^{(1)}_{a,b,c,d}$ includes all terms linear in graphs of the type $E_{a}$ and is given by

[TABLE]

while $\mathcal{E}^{(2)}_{a,b,c,d}$ includes all terms quadratic in graphs of the type $E_{a}$ and is given by

[TABLE]

Finally, $\mathcal{F}_{a,b,c,d}$ includes the total contribution coming from the graphs of the type $C_{a,b,c}$, $P_{a,b;c,d;e}$ and $M_{a,b,c,d,e,f}$. It is given by

[TABLE]

where

[TABLE]

where

[TABLE]

on comparing with $(\ref{deff})$ and keeping only the relevant terms. Plugging in the various expressions, we have that

[TABLE]

and

[TABLE]

Thus $(\ref{ev})$ gives the Poisson equation satisfied by $C_{a,b,c,d}$ for generic values of $a,b,c$ and $d$. Now formally $C_{a,b,c,d}$ is defined for all $a,b,c$ and $d$ so long as the integrand has nice convergence properties, though such graphs arise in string amplitudes for $a,b,c$ and $d$ being positive integers999In the expression for the string amplitude when the labels are positive integers, the integrand involving the modular graph has to be integrated over the truncated fundamental domain of $SL(2,\mathbb{Z})$. For this integral to make sense, the graph must have appropriate convergence properties when expanded around the cusp. This needs a detailed analysis of the asymptotic expansion. This should generalize to generic choices of the labels. For $C_{a,b,c,d}$ it will be interesting to perform this analysis along the lines of [22]. Similar issues have been discussed at genus two, for example, in [34].. Thus from the structure of the source terms, we see that there can be contributions involving expressions with vanishing or negative labels. We now analyze some aspects of such graphs.

First let us consider the case where $a,b,c,d>2$. There are no graphs with negative labels, while the only graphs with vanishing labels are of the type $M_{1,0,a,b,c,1}$ and $M_{2,0,a,b,c,1}$ for $a,b,c>0$ which arise when one of the labels in the parent graph is 3. While $M_{1,0,a,b,c,1}$ arises from terms of the form $\mathcal{D}(a,b,c,d)$, $M_{2,0,a,b,c,1}$ arises from terms of the form $\mathcal{K}(a,b,c,d)$. Now $M_{1,0,a,b,c,1}$ and $M_{2,0,a,b,c,1}$ are given as special cases of the first equation in $(\ref{M1})$. Thus along with these definitions, we see that $(\ref{ev})$ is the eigenvalue equation for all $a,b,c,d>2$. Graphs with vanishing or negative labels have an interpretation as degeneration limits of graphs with certain insertions along certain links, as explained in the appendix. Thus it is expected that the structure of the eigenvalue equation can qualitatively change when the source terms have such graphs. From $(\ref{M1})$ we see how this happens, as we are left with source terms of the form $P_{a,b;c,d;e}$ and $C_{a,b,c}$ with positive labels rather than terms of the form $M_{1,0,a,b,c,1}$ and $M_{2,0,a,b,c,1}$. However, the change is not drastic as the eigenvalue does not change.

The remaining graphs $C_{a,b,c,d}$ are given by: (i) $C_{a,b,c,d}$ where $a,b,c,d>1$ and at least one label is 2, and (ii) $C_{a,b,c,d}$ where at least one label is 1. The eigenvalue equation for each of them yields source terms that have graphs with vanishing as well as negative labels.

We first consider the graphs $C_{a,b,c,d}$ of type (i) where $a,b,c,d>1$ and at least one label is 2. From $(\ref{ev})$, we see that there are several contributions which involve vanishing labels of the type given by

[TABLE]

where $a,b,c>0$, which are evaluated in the appendix. Note that $M_{2,0,a,b,0,1}=C_{a,b,1,2}+\ldots,$ and hence can change the eigenvalue in $(\ref{ev})$ leading to a drastic change in the structure of the equation. Apart from this, there are also contributions which involve negative labels of the type given by

[TABLE]

where $a,b,c>0$. While such contributions are cumbersome to simplify and evaluate, let us extract the origin of such problematic terms.

We obtained the eigenvalue equation for generic values of the labels of the original graph, and vanishing or negative labels arise for particular values of the labels of certain graphs that arise as the source terms. This is simply because at a certain intermediate step of the analysis, the label in a the link of a graph $\mathcal{G}$ vanishes. Continuing with this graph further, yields vanishing or negative labels. Thus to obtain answers with positive labels only, one has to stop at that stage of the analysis and simplify the graph $\mathcal{G}$, obtain graphs with only positive labels 101010How to do so for any graph is explained in the appendix., and then proceed. Doing this at every relevant step of the analysis yields graphs in the eigenvalue equation involving only positive labels.

It is easy to see how this works for $(\ref{zerosim})$. Retracing back several steps, we see that such a contribution comes from $\mathcal{D}(a,b;c,d)=-Q_{2}(a,c|d,b)-Q_{2}(a,d|c,b)+c.c.+\ldots$, on using

[TABLE]

This arises from $(\ref{Q2})$ where we have kept only the relevant terms. Similarly such a contribution comes from $\mathcal{K}(a,b;c,d)=-S_{1}(a,c|d,b)+c.c.+\ldots$, on using

[TABLE]

which arises from $(\ref{S1})$. Thus in $F(a,b,2,d)$, such terms arise from $Q_{2}(a,1|,d,b)$, $Q_{2}(a,d|1,b)$ and $S_{1}(a,1|d,b)$ where $a,b,d>1$. From figures 20 and 28, this is precisely the case when one of the labels in one of the links vanishes. Thus for these cases, one should proceed with the graphs given in figure 34 instead, leading to source terms with only positive labels.

Now when one considers graphs of the form (ii), there are more such contributions to consider. In fact, the source terms also yield $E_{1}$111111This is logarithmically divergent if evaluated with a momentum cutoff and has to be regularized. which must be absent in the final expression. This is because from $(\ref{Ea})$ we see this arises when one Green function forms a closed loop. This divergent contribution is not part of the moduli space which defines modular graphs, and must be excluded.

Thus we see that for cases (i) and (ii) there are several cumbersome contributions which arise whose total contributions must yield graphs with positive labels only in the eigenvalue equation. It will be interesting to analyze these cases for these choices of labels.

Since there many such problematic contributions, it is useful to instead take a direct approach to calculating the eigenvalue equation which seems easier to implement. To do so, we start with $(\ref{eqn2})$ instead and proceed directly. In the appendix, we obtain the eigenvalue equations for $C_{1,1,1,1}$, $C_{1,1,1,2}$ and $C_{1,1,2,2}$ this way. This circumvents the issues discussed above, and yields the final answer directly.

Thus we have obtained the Poisson equation satisfied by the family of modular graphs $C_{a,b,c,d}$ for generic values of $a,b,c$ and $d$. We have also analyzed in some detail the issue of graphs with vanishing or negative labels that arise as source terms for certain specific labels of the parent graph. This analysis based on introducing various auxiliary graphs should generalize to other families of modular graphs leading to eigenvalue equations. It will also be interesting to explore similar features of genus two modular graphs, where very few eigenvalue equations are understood [35, 27].

Acknowledgements: I am thankful to Santosh Rai for useful comments on the draft.

7 Appendix

Appendix A The modular graphs with vanishing or negative labels

In the main text, we saw that for the physically interesting case of string amplitudes, one can have source terms in the Poisson equations involving modular graphs with vanishing or negative labels. We now analyze the content of several modular graphs of such kind. We shall see that such graphs make perfect sense and such labels imply degeneration limits of the graphs, which can be analyzed directly.

To analyze such graphs, let us consider writing them as lattice sums resulting in purely algebraic expressions that result from using $(\ref{exp})$ and integrating over the vertices. First we consider the case where a link has a vanishing label. This simply amounts to inserting a factor of $\pi^{-1}\partial_{z}\overline{\partial}_{w}G(z,w)$ along that link. From $(\ref{exp})$ we see this produces just 1 as the factor corresponding to that link which precisely yields the link with vanishing label. Generalizing this, it follows that a link with label $-n$ where $n$ is a non–negative integer corresponds to inserting a factor of $\pi^{-(n+1)}\partial_{z}^{n+1}\overline{\partial}_{w}^{n+1}G(z,w)$ along that link.

Thus we see that graphs with vanishing or negative labels come with these factors inserted along those links. Hence for $n=0$ they can be simplified using $(\ref{Eigen})$, while for $n>0$ they can be simplified using $(\ref{Eigen})$ as well as integrating by parts. Thus it follows that graphs with vanishing or negative labels are degenerate limits of the parent graphs associated with the joining and splitting of vertices. Consequently they are topology changing processes. We now analyze several cases that are relevant for our purposes.

A.1 The graphs $C_{a,b,0}$ and $C_{a,b,-1}$

We first consider $C_{a,b,0}$ and $C_{a,b,-1}$. Based on the above arguments, they are given in figure 35. Thus $C_{a,b,0}$ can be evaluated by using $(\ref{Eigen})$ directly, while evaluating $C_{a,b,-1}$ also involves integrating a factor of $\partial$ and a factor of $\overline{\partial}$ by parts. We get that

[TABLE]

They have been evaluated in [4] using the lattice representation of the graphs.

A.2 The graphs $C_{a,b,c,0}$ and $C_{a,b,c,-1}$

We next consider $C_{a,b,c,0}$ and $C_{a,b,c,-1}$ which are given in figure 36, and evaluate to

[TABLE]

A.3 The graphs $P_{a,0;b,0;c}$, $P_{a,0;b,c;d}$, $P_{a,-1;b,c;d}$, $P_{a,-1;b,0;c}$ and $P_{a,-1;b,-1;c}$

The graphs $P_{a,0;b,0;c}$, $P_{a,0;b,c;d}$, $P_{a,-1;b,c;d}$, $P_{a,-1;b,0;c}$ and $P_{a,-1;b,-1;c}$ are given in figure 37. Proceeding as above, they yield

[TABLE]

A.4 The graphs $M_{a,0,b,c,d,e}$, $M_{a,0,b,c,0,d}$ and $M_{a,b,c,0,0,d}$

Finally we consider the graphs $M_{a,0,b,c,d,e}$, $M_{a,0,b,c,0,d},M_{a,b,c,0,0,d}$, $M_{a,-1,b,c,d,e}$ which are given in figure 38. They evaluate to

[TABLE]

Some of these relations have been derived in [14] using the lattice representation of the graph.

Thus for all these cases we see that we are left with various modular graph functions where the various links are given by scalar Green functions.

One can analyze other contributions along these lines. Since the basic argument for this graphical technique is very general, this must hold true for arbitrary graphs with vanishing or negative labels and hence can be used to simplify them.

Appendix B The eigenvalue equations for $C_{1,1,1,1}$, $C_{1,1,1,2}$ and $C_{1,1,2,2}$

The eigenvalue equation for $C_{1,1,1,1}$, $C_{1,1,1,2}$ and $C_{1,1,2,2}$ in $(\ref{ev})$ yields several source terms with vanishing and negative labels. Hence we start directly with $(\ref{eqn2})$ instead and obtain the eigenvalue equations121212Note that for $a,b,c,d\geq 1$, $f(a,b;c,d)$ has no terms with negative labels.. We calculate terms of the form $D(a,b;c,d)$ and $K(a,b;c,d)$ using the techniques in the main text, and give only the final answers for the sake of brevity.

B.1 The eigenvalue equation for $C_{1,1,1,1}$

From $(\ref{eqn2})$, we get that

[TABLE]

We now calculate the various terms that arise in $f(1,1;1,1)$.

For terms of the type $D(a,b;c,d)$, we get that

[TABLE]

while for terms of the type $K(a,b;c,d)$ we get that

[TABLE]

Adding the various contributions we get the eigenvalue equation [4, 9, 11]

[TABLE]

B.2 The eigenvalue equation for $C_{1,1,1,2}$

Again from $(\ref{eqn2})$, we get that

[TABLE]

While terms of the type $D(a,b;c,d)$ give us

[TABLE]

terms of the type $K(a,b;c,d)$ give us

[TABLE]

Adding the various contributions we get the eigenvalue equation [4, 9, 11]

[TABLE]

B.3 The eigenvalue equation for $C_{1,1,2,2}$

Once again from $(\ref{eqn2})$, we get that

[TABLE]

Terms of the type $D(a,b;c,d)$ give us

[TABLE]

The total contribution from $D(2,1;1,1)+c.c.$ cancels.

Also terms of the type $K(a,b;c,d)$ give us

[TABLE]

Adding the various contributions we get the eigenvalue equation

[TABLE]

Let us now make a non–trivial consistency check of $(\ref{consis})$. The various modular graphs involved in $(\ref{consis})$ can be expanded around the cusp $\tau_{2}\rightarrow\infty$ , and each of them yields terms that are power behaved as well as exponentially suppressed in $\tau_{2}$. The power behaved terms are given by [3, 4, 7]

[TABLE]

[TABLE]

where $y=\pi\tau_{2}$. Substituting the various expressions from $(\ref{sub})$ in $(\ref{consis})$ we find perfect agreement.