Elliptic modular graph functions and forms (eMGFs) are defined for arbitrary graphs as natural generalizations of modular graph functions and forms obtained by including the character of an Abelian group in their Kronecker--Eisenstein series. The simplest examples of eMGFs are given by the Green function for a massless scalar field on the torus and the Zagier single-valued elliptic polylogarithms. More complicated eMGFs are produced by the non-separating degeneration of a higher genus surface to a genus one surface with punctures. eMGFs may equivalently be represented by multiple integrals over the torus of combinations of coefficients of the Kronecker--Eisenstein series, and may be assembled into generating series. These relations are exploited to derive holomorphic subgraph reduction formulas, as well as algebraic and differential identities between eMGFs and their generating series.
Higher genus modular graph tensors map Feynman graphs to functions on the Torelli space of genus-$h$ compact Riemann surfaces which transform as tensors under the modular group $Sp(2h , \mathbb Z)$, thereby generalizing a construction of Kawazumi. An infinite family of algebraic identities between one-loop and tree-level modular graph tensors are proven for arbitrary genus and arbitrary tensorial rank. We also derive a family of identities that apply to modular graph tensors of higher loop order.
This paper investigates the relations between modular graph forms, which are generalizations of the modular graph functions that were introduced in earlier papers motivated by the structure of the low energy expansion of genus-one Type II superstring amplitudes. These modular graph forms are multiple sums associated with decorated Feynman graphs on the world-sheet torus. The action of standard differential operators on these modular graph forms admits an algebraic representation on the decorations. First order differential operators are used to map general non-holomorphic modular graph functio…
The low energy expansion of Type II superstring amplitudes at genus one is organized in terms of modular graph functions associated with Feynman graphs of a conformal scalar field on the torus. In earlier work, surprising identities between two-loop graphs at all weights, and between higher-loop graphs of weights four and five were constructed. In the present paper, these results are generalized in two complementary directions. First, all identities at weight six and all dihedral identities at weight seven are obtained and proven. Whenever the Laurent polynomial at the cusp is available, the f…
We obtain eigenvalue equations satisfied by various elliptic modular graphs with five links where two of the vertices are unintegrated. Solving them leads to several non--trivial algebraic identities between these graphs.
We prove that the ancestor Gromov-Witten correlation functions of one-dimensional compact Calabi-Yau orbifolds are quasi-modular forms. This includes the pillowcase orbifold which can not yet be handled by using Milanov-Ruan's B-model technique. We first show that genus zero modularity is obtained from the phenomenon that the system of WDVV equations is essentially equivalent to the set of Ramanujan identities satisfied by the generators of the ring of quasi-modular forms for a certain modular group associated to the orbifold curve. Higher genus modularity then follows by using tautological re…
We obtain Poisson equations satisfied by elliptic modular graph functions with four links. Analysis of these equations leads to a non--trivial algebraic relation between the various graphs.
We consider certain elliptic modular graph functions that arise in the asymptotic expansion around the non--separating node of genus two string invariants that appear in the integrand of the $D^8 R^4$ interaction in the low momentum expansion of the four graviton amplitude in type II superstring theory. These elliptic modular graphs have links given by the Green function, as well its holomorphic and anti--holomorphic derivatives. Using appropriate auxiliary graphs at various intermediate stages of the analysis, we show that each graph can be expressed solely in terms of graphs with links given…
It is known that the L-function of an elliptic curve defined over Q is given by the Mellin transform of a modular form of weight 2. Does that modular form have anything to do with string theory? In this article, we address a question along this line for elliptic curves that have complex multiplication defined over number fields. So long as we use diagonal rational N=(2,2) superconformal field theories for the string-theory realizations of the elliptic curves, the weight-2 modular form turns out to be the Boltzmann-weighted (q^{L_0-c/24}-weighted) sum of U(1) charges with F e^{ πi F} insertion …
Elliptic modular graph forms (eMGFs) are non-holomorphic modular forms depending on a modular parameter $τ$ of a torus and marked points $z$ thereon. Traditionally, eMGFs are constructed from nested lattice sums over the discrete momenta on the worldsheet torus in closed-string genus-one amplitudes. In this work, we develop methods to translate the lattice-sum realization of eMGFs into iterated integrals over modular parameters $τ$ of the torus with particular focus on cases with one marked point. Such iterated-integral representations manifest algebraic and differential relations among eMGFs …
We continue the study of quantum Liouville theory through Polyakov's functional integral \cite{Pol1,Pol2}, started in \cite{T1}. We derive the perturbation expansion for Schwinger's generating functional for connected multi-point correlation functions involving stress-energy tensor, give the ``dynamical'' proof of the Virasoro symmetry of the theory and compute the value of the central charge, confirming previous calculation in \cite{T1}. We show that conformal Ward identities for these correlation functions contain such basic facts from Kähler geometry of moduli spaces of Riemann surfaces, as…
We relate one-loop scattering amplitudes of massless open- and closed-string states at the level of their low-energy expansion. The modular graph functions resulting from integration over closed-string punctures are observed to follow from symmetrized open-string integrals through a tentative generalization of the single-valued projection known from genus zero.
For an elliptic curve E over an abelian extension k/K with CM by K of Shimura type, the L-functions of its [k:K] Galois representations are Mellin transforms of Hecke theta functions; a modular parametrization (surjective map) from a modular curve to E pulls back the 1-forms on E to give the Hecke theta functions. This article refines the study of our earlier work and shows that certain class of chiral correlation functions in Type II string theory with [E]_C (E as real analytic manifold) as a target space yield the same Hecke theta functions as objects on the modular curve. The Kahler paramet…
We derive a number of local identities of arbitrary rank involving Jacobi elliptic functions and use them to obtain several new results. First, we present an alternative, simpler derivation of the cyclic identities discovered by us recently, along with an extension to several new cyclic identities of arbitrary rank. Second, we obtain a generalization to cyclic identities in which successive terms have a multiplicative phase factor exp(2iπ/s), where s is any integer. Third, we systematize the local identities by deriving four local ``master identities'' analogous to the master identities for th…
Identities involving cyclic sums of terms composed from Jacobi elliptic functions evaluated at $p$ equally shifted points on the real axis were recently found. These identities played a crucial role in discovering linear superposition solutions of a large number of important nonlinear equations. We derive four master identities, from which the identities discussed earlier are derivable as special cases. Master identities are also obtained which lead to cyclic identities with alternating signs. We discuss an extension of our results to pure imaginary and complex shifts as well as to the ratio o…
We propose and prove a set of identities for ${\rm GL}_M$ elliptic $R$-matrix (in the fundamental representation). In the scalar case ($M=1$) these are elliptic function identities derived by S.N.M. Ruijsenaars as necessary and sufficient conditions for his kernel identity underlying construction of integral solutions to quantum spinless Ruijsenaars-Schneider model. In this respect the result of the present paper can be considered as the first step towards constructing solutions of quantum eigenvalue problem for the anisotropic spin Ruijsenaars model.
We claim that some non-trivial theta-function identities at higher genus can stand behind the Poisson commutativity of the Hamiltonians of elliptic integrable systems, which are made from the theta-functions on Jacobians of the Seiberg-Witten curves. For the case of three-particle systems the genus-2 identities are found and presented in the paper. The connection with the Macdonald identities is established. The genus-2 theta-function identities provide the direct way to construct the Poisson structure in terms of the coordinates on the Jacobian of the spectral curve and the elements of its pe…
We prove a recently conjectured star-star relation, which plays the role of an integrability condition for a class of 2D Ising-type models with multicomponent continuous spin variables. Namely, we reduce this relation to an identity for elliptic gamma functions, previously obtained by Rains.
We study the limit of Calabi-Yau modular forms, and in particular, those resulting in classical modular forms. We then study two parameter families of elliptically fibred Calabi-Yau fourfolds and describe the modular forms arising from the degeneracy loci. In the case of elliptically fibred Calabi-Yau threefolds our approach gives a mathematical proof of many observations about modularity properties of topological string amplitudes starting with the work of Candelas, Font, Katz and Morrison. In the case of Calabi-Yau fourfolds we derive new identities not computed before.
In this PhD thesis we study holomorphic and non-holomorphic elliptic analogues of multiple zeta values, namely elliptic multiple zeta values and modular graph functions. Both classes of functions have been discovered very recently, and are involved in the computation of genus one superstring amplitudes. In particular, we obtain new results on the asymptotic expansion of these functions that allow us to perform explicit computations and point out analogies between genus zero and genus one amplitudes.
We study the refined topological string partition function of a class of toric elliptically fibered Calabi-Yau threefolds. These Calabi-Yau threefolds give rise to five dimensional quiver gauge theories and are dual to configurations of M5-M2-branes. We determine the Gopakumar-Vafa invariants for these threefolds and show that the genus $g$ free energy is given by the weight $2g$ Eisenstein series. We also show that although the free energy at all genera are modular invariant the full partition function satisfies the non-perturbative modular transformation property discussed by Lockhart and Va…
The theory of Topological Modular Forms suggests the existence of deformation invariants for two-dimensional supersymmetric field theories that are more refined than the standard elliptic genus. In this note we give a physical definition of some of these invariants. The theory of mock modular forms makes a surprise appearance, shedding light on the integrality properties of some well-known examples.
We analyze various perspectives on the elliptic genus of non-compact supersymmetric coset conformal field theories with central charge larger than three. We calculate the holomorphic part of the elliptic genus via a free field description of the model, and show that it agrees with algebraic expectations. The holomorphic part of the elliptic genus is directly related to an Appell-Lerch sum and behaves anomalously under modular transformation properties. We analyze the origin of the anomaly by calculating the elliptic genus through a path integral in a coset conformal field theory. The path inte…
Identities involving cyclic sums of terms composed from Jacobi elliptic functions evaluated at $p$ equally shifted points were recently found. The purpose of this paper is to re-express these cyclic identities in terms of ratios of Jacobi theta functions, since many physicists prefer using Jacobi theta functions rather than Jacobi elliptic functions.
We integrate three-loop sunrise-type vacuum diagrams in $D_0=4$ dimensions with four different masses using configuration space techniques. The finite parts of our results are in numerical agreement with corresponding three-loop calculations in momentum space. Using some of the closed form results of the momentum space calculation we arrive at new integral identities involving truncated integrals of products of Bessel functions. For the non-degenerate finite two-loop sunrise-type vacuum diagram in $D_0=2$ dimensions we make use of the known closed form $p$-space result to express the moment of…
This is the second part of the paper (the first part is published in Jour. of AMS, vol.9, 1135--1170, q-alg/9508017). In the first part, we defined for every modular tensor category (MTC) inner products on the spaces of morphisms and proved that the inner product on the space $\Hom (\bigoplus X_i\otimes X^*_i, U)$ is modular invariant. Also, we have shown that in the case of the MTC arising from the representations of the quantum group $U_q \sln$ at roots of unity and $U$ being a symmetric power of the fundamental representation, this inner product coincides with so-called Macdonald's inner pr…
The modular bootstrap program for 2d CFTs could be seen as a systematic exploration of the physical consequences of consistency conditions at the elliptic points and at the cusp of their toruspartition function. The study at $τ=i$, the elliptic point stabilized by the modular inversion $S$, was initiated by Hellerman, who found a general upper bound for the most relevant scaling dimension $Δ$. Likewise, analyticity at $τ=i\infty$, the cusp stabilized by the modular translation $T$, yields an upper bound on the twist gap. Here we study consistency conditions at $τ=\exp[2iπ/3]$, the elliptic poi…
In the paper we study two types of relations: a one is between the elliptic genus of Calabi-Yau manifolds and Jacobi modular forms, another one is between the second quantized elliptic genus, Siegel modular forms and Lorentzian Kac-Moody Lie algebras. We also determine the structure of the graded ring of the weak Jacobi forms with integral Fourier coefficients. It gives us a number of applications to the theory of elliptic genus and of the second quantized elliptic genus.
We investigate the behaviour of elliptic Feynman integrals under modular transformations. This has a practical motivation: Through a suitable modular transformation we can achieve that the nome squared is a small quantity, leading to fast numerical evaluations. Contrary to the case of multiple polylogarithms, where it is sufficient to consider just variable transformations for the numerical evaluations of multiple polylogarithms, it is more natural in the elliptic case to consider a combination of a variable transformation (i.e. a modular transformation) together with a redefinition of the mas…
In recent work on superconformal quantum field theories, Razamat arrived at elliptic kernel identities of a new and striking character: They relate solely to the root systems $A_2$ and $A_3$ and have no coupling type parameters \cite{Ra18}. The pertinent 2- and 3-variable Hamiltonians are analytic difference operators and the kernel functions are built from the elliptic gamma function. Razamat presented compelling evidence for the validity of these identities, and checked them to a certain order in a power series expansion. This paper is mainly concerned with analytical proofs of these identit…
We investigate the kernel space of an integral operator M(g) depending on the "spin" g and describing an elliptic Fourier transformation. The operator M(g) is an intertwiner for the elliptic modular double formed from a pair of Sklyanin algebras with the parameters $η$ and $τ$, Im$ τ>0$, Im$η>0$. For two-dimensional lattices $g=nη+ mτ/2$ and $g=1/2+nη+ mτ/2$ with incommensurate $1, 2η,τ$ and integers $n,m>0$, the operator M(g) has a finite-dimensional kernel that consists of the products of theta functions with two different modular parameters and is invariant under the action of generators of…
We consider 4d supersymmetric (special) unitary $Γ$ quiver gauge theories on compact manifolds which are $T^2$ fibrations over $S^2$. We show that their partition functions are correlators of vertex operators and screening charges of the modular double version of elliptic $W_{q,t;q'}(Γ)$ algebras. We also consider a generating function of BPS surface defects supported on $T^2$ and show that it can be identified with a particular coherent state in the Fock module over the elliptic Heisenberg algebra.
A concise review of the notions of elliptic functions, modular forms, and theta-functions is provided, devoting most of the paper to applications to Conformal Field Theory (CFT), introduced within the axiomatic framework of quantum field theory. Many features, believed to be peculiar to chiral 2D (= two dimensional) CFT, are shown to have a counterpart in any (even dimensional) globally conformal invariant quantum field theory. The treatment is based on a recently introduced higher dimensional extension of the concept of vertex algebra.
