Showing 1–50 of 136 results for author: D'Hoker, E

Worldsheet fermion correlators, modular tensors and higher genus integration kernels

Authors: Eric D'Hoker, Oliver Schlotterer

Abstract: The cyclic product of an arbitrary number of Szegö kernels for even spin structure $δ$ on a compact higher-genus Riemann surface $Σ$ may be decomposed via a descent procedure which systematically separates the dependence on the points $z_i \in Σ$ from the dependence on the spin structure $δ$. In this paper, we prove two different, but complementary, descent procedures to achieve this decomposition… ▽ More The cyclic product of an arbitrary number of Szegö kernels for even spin structure $δ$ on a compact higher-genus Riemann surface $Σ$ may be decomposed via a descent procedure which systematically separates the dependence on the points $z_i \in Σ$ from the dependence on the spin structure $δ$. In this paper, we prove two different, but complementary, descent procedures to achieve this decomposition. In the first procedure, the dependence on the points $z_i \in Σ$ is expressed via the meromorphic multiple-valued Enriquez kernels of e-print 1112.0864 while the dependence on $δ$ resides in multiplets of functions that are independent of $z_i$, locally holomorphic in the moduli of $Σ$ and generally do not have simple modular transformation properties. The $δ$-dependent constants are expressed as multiple convolution integrals over homology cycles of $Σ$, thereby generalizing a similar representation of the individual Enriquez kernels. In the second procedure, which was proposed without proof in e-print 2308.05044, the dependence on $z_i$ is expressed in terms the single-valued, modular invariant, but non-meromorphic DHS kernels introduced in e-print 2306.08644 while the dependence on $δ$ resides in modular tensors that are independent of $z_i$ and are generally non-holomorphic in the moduli of $Σ$. Although the individual building blocks of these decompositions have markedly different properties, we show that the combinatorial structure of the two decompositions is virtually identical, thereby extending the striking correspondence observed earlier between the roles played by Enriquez and DHS kernels. Both decompositions are further generalized to the case of linear chain products of Szegö kernels. △ Less

Submitted 12 May, 2025; originally announced May 2025.

Comments: 75+32 pages

Meromorphic higher-genus integration kernels via convolution over homology cycles

Authors: Eric D'Hoker, Oliver Schlotterer

Abstract: Polylogarithms on arbitrary higher-genus Riemann surfaces can be constructed from meromorphic integration kernels with at most simple poles, whose definition was given by Enriquez via functional properties. In this work, homotopy-invariant convolution integrals over homology cycles are shown to provide a direct construction of Enriquez kernels solely from holomorphic Abelian differentials and the… ▽ More Polylogarithms on arbitrary higher-genus Riemann surfaces can be constructed from meromorphic integration kernels with at most simple poles, whose definition was given by Enriquez via functional properties. In this work, homotopy-invariant convolution integrals over homology cycles are shown to provide a direct construction of Enriquez kernels solely from holomorphic Abelian differentials and the prime form. Our new representation is used to demonstrate the closure of the space of Enriquez kernels under convolution over homology cycles and under variations of the moduli. The results of this work further strengthen the remarkable parallels of Enriquez kernels with the non-holomorphic modular tensors recently developed in an alternative construction of higher-genus polylogarithms. △ Less

Submitted 20 February, 2025; originally announced February 2025.

Comments: approx. 5+5 pages

Relating flat connections and polylogarithms on higher genus Riemann surfaces

Authors: Eric D'Hoker, Benjamin Enriquez, Oliver Schlotterer, Federico Zerbini

Abstract: In this work, we relate two recent constructions that generalize classical (genus-zero) polylogarithms to higher-genus Riemann surfaces. A flat connection valued in a freely generated Lie algebra on a punctured Riemann surface of arbitrary genus produces an infinite family of homotopy-invariant iterated integrals associated to all possible words in the alphabet of the Lie algebra generators. Each… ▽ More In this work, we relate two recent constructions that generalize classical (genus-zero) polylogarithms to higher-genus Riemann surfaces. A flat connection valued in a freely generated Lie algebra on a punctured Riemann surface of arbitrary genus produces an infinite family of homotopy-invariant iterated integrals associated to all possible words in the alphabet of the Lie algebra generators. Each iterated integral associated to a word is a higher-genus polylogarithm. Different flat connections taking values in the same Lie algebra on a given Riemann surface may be related to one another by the composition of a gauge transformation and an automorphism of the Lie algebra, thus producing closely related families of polylogarithms. In this paper we provide two methods to explicitly construct this correspondence between the meromorphic multiple-valued connection introduced by Enriquez in e-Print 1112.0864 and the non-meromorphic single-valued and modular-invariant connection introduced by D'Hoker, Hidding and Schlotterer, in e-Print 2306.08644. △ Less

Submitted 23 March, 2025; v1 submitted 13 January, 2025; originally announced January 2025.

Comments: 55 + 28 pages; v2: added new appendix A; fixed typos

Cascading from $\mathscr{N}=2$ Supersymmetric Yang-Mills Theory to Confinement and Chiral Symmetry Breaking in Adjoint QCD

Authors: Eric D'Hoker, Thomas T. Dumitrescu, Efrat Gerchkovitz, Emily Nardoni

Abstract: We argue that adjoint QCD in 3+1 dimensions, with any $SU(N)$ gauge group and two Weyl fermion flavors (i.e. one adjoint Dirac fermion), confines and spontaneously breaks its chiral symmetries via the condensation of a fermion bilinear. We flow to this theory from pure $\mathscr{N}=2$ SUSY Yang-Mills theory with the same gauge group, by giving a SUSY-breaking mass $M$ to the scalars in the… ▽ More We argue that adjoint QCD in 3+1 dimensions, with any $SU(N)$ gauge group and two Weyl fermion flavors (i.e. one adjoint Dirac fermion), confines and spontaneously breaks its chiral symmetries via the condensation of a fermion bilinear. We flow to this theory from pure $\mathscr{N}=2$ SUSY Yang-Mills theory with the same gauge group, by giving a SUSY-breaking mass $M$ to the scalars in the $\mathscr{N} = 2$ vector multiplet. This flow can be analyzed rigorously at small $M$, where it leads to a deconfined vacuum at the origin of the $\mathscr{N}=2$ Coulomb branch. The analysis can be extended to all $M$ using an Abelian dual description that arises from the $N$ multi-monopole points of the $\mathscr{N} = 2$ theory. At each such point, there are $N-1$ hypermultiplet Higgs fields $h_m^{i = 1, 2}$, which are $SU(2)_R$ doublets. We provide a detailed study of the phase diagram as a function of $M$, by analyzing the semi-classical phases of the dual using a combination of analytic and numerical techniques. The result is a cascade of first-order phase transitions, along which the Higgs fields $h_m^i$ successively turn on, and which interpolates between the Coulomb branch at small $M$, where all $h_m^i = 0$, and a maximal Higgs branch, where all $h_m^i \neq 0$, at sufficiently large $M$. We show that this maximal Higgs branch precisely matches the confining and chiral symmetry breaking phase of two-flavor adjoint QCD, including its broken and unbroken symmetries, its massless spectrum, and the expected large-$N$ scaling of various observables. The spontaneous breaking pattern $SU(2)_R \to U(1)_R$, consistent with the Vafa-Witten theorem, is ensured by an intricate alignment mechanism for the $h_m^i$ in the dual, and leads to a $\mathbb{C}\mathbb{P}^1$ sigma model of increasing radius along the cascade. △ Less

Submitted 29 December, 2024; originally announced December 2024.

Comments: 191 pages, 33 figures

Fay identities for polylogarithms on higher-genus Riemann surfaces

Authors: Eric D'Hoker, Oliver Schlotterer

Abstract: A recent construction of polylogarithms on Riemann surfaces of arbitrary genus in arXiv:2306.08644 is based on a flat connection assembled from single-valued non-holomorphic integration kernels that depend on two points on the Riemann surface. In this work, we construct and prove infinite families of bilinear relations among these integration kernels that are necessary for the closure of the space… ▽ More A recent construction of polylogarithms on Riemann surfaces of arbitrary genus in arXiv:2306.08644 is based on a flat connection assembled from single-valued non-holomorphic integration kernels that depend on two points on the Riemann surface. In this work, we construct and prove infinite families of bilinear relations among these integration kernels that are necessary for the closure of the space of higher-genus polylogarithms under integration over the points on the surface. Our bilinear relations generalize the Fay identities among the genus-one Kronecker-Eisenstein kernels to arbitrary genus. The multiple-valued meromorphic kernels in the flat connection of Enriquez are conjectured to obey higher-genus Fay identities of exactly the same form as their single-valued non-holomorphic counterparts. We initiate the applications of Fay identities to derive functional relations among higher-genus polylogarithms involving either single-valued or meromorphic integration kernels. △ Less

Submitted 2 October, 2024; v1 submitted 16 July, 2024; originally announced July 2024.

Comments: 86 + 45 pages; v2: minor corrections

Report number: UUITP--17/24

Approaching Argyres-Douglas theories

Authors: Sriram Bharadwaj, Eric D'Hoker

Abstract: The Seiberg-Witten solution to four-dimensional $\mathcal{N}=2$ super-Yang-Mills theory with gauge group $\text{SU}(N)$ and without hypermultiplets is used to investigate the neighborhood of the maximal Argyres-Douglas points of type $(\mathfrak{a}_1,\mathfrak{a}_{N-1})$. A convergent series expansion for the Seiberg-Witten periods near the Argyres-Douglas points is obtained by analytic continuati… ▽ More The Seiberg-Witten solution to four-dimensional $\mathcal{N}=2$ super-Yang-Mills theory with gauge group $\text{SU}(N)$ and without hypermultiplets is used to investigate the neighborhood of the maximal Argyres-Douglas points of type $(\mathfrak{a}_1,\mathfrak{a}_{N-1})$. A convergent series expansion for the Seiberg-Witten periods near the Argyres-Douglas points is obtained by analytic continuation of the series expansion around the $\mathbb{Z}_{2N}$ symmetric point derived in arXiv:2208.11502. Along with direct integration of the Picard-Fuchs equations for the periods, the expansion is used to determine the location of the walls of marginal stability for $\text{SU}(3)$. The intrinsic periods and Kähler potential of the $(\mathfrak{a}_1,\mathfrak{a}_{N-1})$ superconformal fixed point are computed by letting the strong coupling scale tend to infinity. We conjecture that the resulting intrinsic Kähler potential is positive definite and convex, with a unique minimum at the Argyres-Douglas point, provided only intrinsic Coulomb branch operators with unitary scaling dimensions $Δ>1$ acquire a vacuum expectation value, and provide both analytical and numerical evidence in support of this conjecture. In all the low rank examples considered here, it is found that turning on moduli dual to $Δ\leq 1$ operators spoils the positivity and convexity of the intrinsic Kähler potential. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 54 pages, 11 figures

Cyclic products of higher-genus Szegö kernels, modular tensors and polylogarithms

Authors: Eric D'Hoker, Martijn Hidding, Oliver Schlotterer

Abstract: A wealth of information on multiloop string amplitudes is encoded in fermionic two-point functions known as Szegö kernels. In this paper we show that cyclic products of any number of Szegö kernels on a Riemann surface of arbitrary genus may be decomposed into linear combinations of modular tensors on moduli space that carry all the dependence on the spin structure $δ$. The $δ$-independent coeffici… ▽ More A wealth of information on multiloop string amplitudes is encoded in fermionic two-point functions known as Szegö kernels. In this paper we show that cyclic products of any number of Szegö kernels on a Riemann surface of arbitrary genus may be decomposed into linear combinations of modular tensors on moduli space that carry all the dependence on the spin structure $δ$. The $δ$-independent coefficients in these combinations carry all the dependence on the marked points and are composed of the integration kernels of higher-genus polylogarithms. We determine the antiholomorphic moduli derivatives of the $δ$-dependent modular tensors. △ Less

Submitted 12 May, 2025; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: 5.5 + 1.5 pages; v2: version to be published in Physics Review Letters, merged with the supplemental material as appendices; v3: corrections in and below equations (57), (58) of appendix D relative to v2

Constructing polylogarithms on higher-genus Riemann surfaces

Authors: Eric D'Hoker, Martijn Hidding, Oliver Schlotterer

Abstract: An explicit construction is presented of homotopy-invariant iterated integrals on a Riemann surface of arbitrary genus in terms of a flat connection valued in a freely generated Lie algebra. The integration kernels consist of modular tensors, built from convolutions of the Arakelov Green function and its derivatives with holomorphic Abelian differentials, combined into a flat connection. Our const… ▽ More An explicit construction is presented of homotopy-invariant iterated integrals on a Riemann surface of arbitrary genus in terms of a flat connection valued in a freely generated Lie algebra. The integration kernels consist of modular tensors, built from convolutions of the Arakelov Green function and its derivatives with holomorphic Abelian differentials, combined into a flat connection. Our construction thereby produces explicit formulas for polylogarithms as higher-genus modular tensors. This construction generalizes the elliptic polylogarithms of Brown-Levin, and prompts future investigations into the relation with the function spaces of higher-genus polylogarithms in the work of Enriquez-Zerbini. △ Less

Submitted 8 March, 2025; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 55 pages, 2 figures; v2: references added, expanded the discussion of modular properties in sections 3 and 4; v3: restructured Theorem 6.3, small improvements throughout; version to be published in CNTP up to minor formatting-related rearrangements

Cyclic products of Szegö kernels and spin structure sums I: hyper-elliptic formulation

Authors: Eric D'Hoker, Martijn Hidding, Oliver Schlotterer

Abstract: The summation over spin structures, which is required to implement the GSO projection in the RNS formulation of superstring theories, often presents a significant impediment to the explicit evaluation of superstring amplitudes. In this paper we discover that, for Riemann surfaces of genus two and even spin structures, a collection of novel identities leads to a dramatic simplification of the spin… ▽ More The summation over spin structures, which is required to implement the GSO projection in the RNS formulation of superstring theories, often presents a significant impediment to the explicit evaluation of superstring amplitudes. In this paper we discover that, for Riemann surfaces of genus two and even spin structures, a collection of novel identities leads to a dramatic simplification of the spin structure sum. Explicit formulas for an arbitrary number of vertex points are obtained in two steps. First, we show that the spin structure dependence of a cyclic product of Szegö kernels (i.e. Dirac propagators for worldsheet fermions) may be reduced to the spin structure dependence of the four-point function. Of particular importance are certain trilinear relations that we shall define and prove. In a second step, the known expressions for the genus-two even spin structure measure are used to perform the remaining spin structure sums. The dependence of the spin summand on the vertex points is reduced to simple building blocks that can already be identified from the two-point function. The hyper-elliptic formulation of genus-two Riemann surfaces is used to derive these results, and its $SL(2,\mathbb C)$ covariance is employed to organize the calculations and the structure of the final formulas. The translation of these results into the language of Riemann $\vartheta$-functions, and applications to the evaluation of higher-point string amplitudes, are relegated to subsequent companion papers. △ Less

Submitted 9 May, 2023; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: 61 + 55 pages, v2: minor corrections, matches published version

Exploring the Strong-Coupling Region of $SU(N)$ Seiberg-Witten Theory

Authors: Eric D'Hoker, Thomas T. Dumitrescu, Emily Nardoni

Abstract: We consider the Seiberg-Witten solution of pure $\mathcal{N} =2$ gauge theory in four dimensions, with gauge group $SU(N)$. A simple exact series expansion for the dependence of the $2 (N-1)$ Seiberg-Witten periods $a_I(u), a_{DI}(u)$ on the $N-1$ Coulomb-branch moduli $u_n$ is obtained around the $\mathbb{Z}_{2N}$-symmetric point of the Coulomb branch, where all $u_n$ vanish. This generalizes ear… ▽ More We consider the Seiberg-Witten solution of pure $\mathcal{N} =2$ gauge theory in four dimensions, with gauge group $SU(N)$. A simple exact series expansion for the dependence of the $2 (N-1)$ Seiberg-Witten periods $a_I(u), a_{DI}(u)$ on the $N-1$ Coulomb-branch moduli $u_n$ is obtained around the $\mathbb{Z}_{2N}$-symmetric point of the Coulomb branch, where all $u_n$ vanish. This generalizes earlier results for $N=2$ in terms of hypergeometric functions, and for $N=3$ in terms of Appell functions. Using these and other analytical results, combined with numerical computations, we explore the global structure of the Kähler potential $K = \frac{1}{2π} \sum_I \text{Im}(\bar a_I a_{DI})$, which is single valued on the Coulomb branch. Evidence is presented that $K$ is a convex function, with a unique minimum at the $\mathbb{Z}_{2N}$-symmetric point. Finally, we explore candidate walls of marginal stability in the vicinity of this point, and their relation to the surface of vanishing Kähler potential. △ Less

Submitted 24 August, 2022; originally announced August 2022.

Comments: 68 pages

Lectures on modular forms and strings

Authors: Eric D'Hoker, Justin Kaidi

Abstract: The goal of these lectures is to present an informal but precise introduction to a body of concepts and methods of interest in number theory and string theory revolving around modular forms and their generalizations. Modular invariance lies at the heart of conformal field theory, string perturbation theory, Montonen-Olive duality, Seiberg-Witten theory, and S-duality in Type IIB superstring theory… ▽ More The goal of these lectures is to present an informal but precise introduction to a body of concepts and methods of interest in number theory and string theory revolving around modular forms and their generalizations. Modular invariance lies at the heart of conformal field theory, string perturbation theory, Montonen-Olive duality, Seiberg-Witten theory, and S-duality in Type IIB superstring theory. Automorphic forms with respect to higher arithmetic groups as well as mock modular forms enter in toroidal string compactifications and the counting of black hole microstates. After introducing the basic mathematical concepts including elliptic functions, modular forms, Maass forms, modular forms for congruence subgroups, vector-valued modular forms, and modular graph forms, we describe a small subset of the countless applications to problems in Mathematics and Physics, including those mentioned above. △ Less

Submitted 18 November, 2022; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: 357 pages; v2: references added

Snowmass White Paper: String Perturbation Theory

Authors: Nathan Berkovits, Eric D'Hoker, Michael B. Green, Henrik Johansson, Oliver Schlotterer

Abstract: The purpose of this White Paper is to review recent progress towards elucidating and evaluating string amplitudes, relating them to quantum field theory amplitudes, applying their predictions to string dualities, exploring their connection with gravitational physics, and deepening our understanding of their mathematical structure. We also present a selection of targets for future research. The purpose of this White Paper is to review recent progress towards elucidating and evaluating string amplitudes, relating them to quantum field theory amplitudes, applying their predictions to string dualities, exploring their connection with gravitational physics, and deepening our understanding of their mathematical structure. We also present a selection of targets for future research. △ Less

Submitted 19 April, 2022; v1 submitted 17 March, 2022; originally announced March 2022.

Comments: 10 pages, contribution to Snowmass 2021, v2: references added

Integrating three-loop modular graph functions and transcendentality of string amplitudes

Authors: Eric D'Hoker, Nicholas Geiser

Abstract: Modular graph functions (MGFs) are $\mathrm{SL}(2,\mathbb{Z})$-invariant functions on the Poincaré upper half-plane associated with Feynman graphs of a conformal scalar field on a torus. The low-energy expansion of genus-one superstring amplitudes involves suitably regularized integrals of MGFs over the fundamental domain for $\mathrm{SL}(2,\mathbb{Z})$. In earlier work, these integrals were evalu… ▽ More Modular graph functions (MGFs) are $\mathrm{SL}(2,\mathbb{Z})$-invariant functions on the Poincaré upper half-plane associated with Feynman graphs of a conformal scalar field on a torus. The low-energy expansion of genus-one superstring amplitudes involves suitably regularized integrals of MGFs over the fundamental domain for $\mathrm{SL}(2,\mathbb{Z})$. In earlier work, these integrals were evaluated for all MGFs up to two loops and for higher loops up to weight six. These results led to the conjectured uniform transcendentality of the genus-one four-graviton amplitude in Type II superstring theory. In this paper, we explicitly evaluate the integrals of several infinite families of three-loop MGFs and investigate their transcendental structure. Up to weight seven, the structure of the integral of each individual MGF is consistent with the uniform transcendentality of string amplitudes. Starting at weight eight, the transcendental weights obtained for the integrals of individual MGFs are no longer consistent with the uniform transcendentality of string amplitudes. However, in all the cases we examine, the violations of uniform transcendentality take on a special form given by the integrals of triple products of non-holomorphic Eisenstein series. If Type II superstring amplitudes do exhibit uniform transcendentality, then the special combinations of MGFs which enter the amplitudes must be such that these integrals of triple products of Eisenstein series precisely cancel one another. Whether this indeed is the case poses a novel challenge to the conjectured uniform transcendentality of genus-one string amplitudes. △ Less

Submitted 23 November, 2021; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: v1: 116 pages; v2: minor revisions, prepared for submission to JHEP

Two-loop superstring five-point amplitudes III, construction via the RNS formulation: even spin structures

Authors: Eric D'Hoker, Oliver Schlotterer

Abstract: The contribution from even spin structures to the genus-two amplitude for five massless external NS states in Type II and Heterotic superstrings is evaluated from first principles in the RNS formulation. Using chiral splitting with the help of loop momenta this problem reduces to the evaluation of the corresponding chiral amplitude, which is carried out using the same techniques that were used for… ▽ More The contribution from even spin structures to the genus-two amplitude for five massless external NS states in Type II and Heterotic superstrings is evaluated from first principles in the RNS formulation. Using chiral splitting with the help of loop momenta this problem reduces to the evaluation of the corresponding chiral amplitude, which is carried out using the same techniques that were used for the genus-two amplitude with four external NS states. The results agree with the parity-even NS components of a construction using chiral splitting and pure spinors given in earlier companion papers arXiv:2006.05270 and arXiv:2008.08687. △ Less

Submitted 24 July, 2022; v1 submitted 2 August, 2021; originally announced August 2021.

Comments: 93+59 pages, 1 figure; v2: minor touchups; v3: added discussion of overall normalization, to be published in JHEP; v4: corrected misnormalization of parity-odd terms by a factor of 8 in equations (1.11) and (1.12)

Revisiting the Multi-Monopole Point of $SU(N)$ $\mathcal{N} = 2$ Gauge Theory in Four Dimensions

Authors: Eric D'Hoker, Thomas T. Dumitrescu, Efrat Gerchkovitz, Emily Nardoni

Abstract: Motivated by applications to soft supersymmetry breaking, we revisit the expansion of the Seiberg-Witten solution around the multi-monopole point on the Coulomb branch of pure $SU(N)$ $\mathcal{N}=2$ gauge theory in four dimensions. At this point $N-1$ mutually local magnetic monopoles become massless simultaneously, and in a suitable duality frame the gauge couplings logarithmically run to zero.… ▽ More Motivated by applications to soft supersymmetry breaking, we revisit the expansion of the Seiberg-Witten solution around the multi-monopole point on the Coulomb branch of pure $SU(N)$ $\mathcal{N}=2$ gauge theory in four dimensions. At this point $N-1$ mutually local magnetic monopoles become massless simultaneously, and in a suitable duality frame the gauge couplings logarithmically run to zero. We explicitly calculate the leading threshold corrections to this logarithmic running from the Seiberg-Witten solution by adapting a method previously introduced by D'Hoker and Phong. We compare our computation to existing results in the literature; this includes results specific to $SU(2)$ and $SU(3)$ gauge theories, the large-$N$ results of Douglas and Shenker, as well as results obtained by appealing to integrable systems or topological strings. We find broad agreement, while also clarifying some lingering inconsistencies. Finally, we explicitly extend the results of Douglas and Shenker to finite $N$, finding exact agreement with our first calculation. △ Less

Submitted 7 June, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: Expanded on the relation between our choice of conventions and other conventions that appear in the literature. Rescaled our definition of the threshold matrix elements. Typos fixed

Elliptic modular graph forms I: Identities and generating series

Authors: Eric D'Hoker, Axel Kleinschmidt, Oliver Schlotterer

Abstract: 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 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. △ Less

Submitted 15 March, 2021; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 69 pages, v2: typos corrected, matches published version

Identities among higher genus modular graph tensors

Authors: Eric D'Hoker, Oliver Schlotterer

Abstract: 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… ▽ More 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. △ Less

Submitted 14 September, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 37 pages, v2: added a few figures and explanations; version to appear in Communications in Number Theory and Physics

An Alternative Method for Extracting the von Neumann Entropy from Renyi Entropies

Authors: Eric D'Hoker, Xi Dong, Chih-Hung Wu

Abstract: An alternative method is presented for extracting the von Neumann entropy $-\operatorname{Tr} (ρ\ln ρ)$ from $\operatorname{Tr} (ρ^n)$ for integer $n$ in a quantum system with density matrix $ρ$. Instead of relying on direct analytic continuation in $n$, the method uses a generating function $-\operatorname{Tr} \{ ρ\ln [(1-z ρ) / (1-z)] \}$ of an auxiliary complex variable $z$. The generating func… ▽ More An alternative method is presented for extracting the von Neumann entropy $-\operatorname{Tr} (ρ\ln ρ)$ from $\operatorname{Tr} (ρ^n)$ for integer $n$ in a quantum system with density matrix $ρ$. Instead of relying on direct analytic continuation in $n$, the method uses a generating function $-\operatorname{Tr} \{ ρ\ln [(1-z ρ) / (1-z)] \}$ of an auxiliary complex variable $z$. The generating function has a Taylor series that is absolutely convergent within $|z|<1$, and may be analytically continued in $z$ to $z = -\infty$ where it gives the von Neumann entropy. As an example, we use the method to calculate analytically the CFT entanglement entropy of two intervals in the small cross ratio limit, reproducing a result that Calabrese et al. obtained by direct analytic continuation in $n$. Further examples are provided by numerical calculations of the entanglement entropy of two intervals for general cross ratios, and of one interval at finite temperature and finite interval length. △ Less

Submitted 23 August, 2020; originally announced August 2020.

Comments: 24 pages, 4 figures

Two-loop superstring five-point amplitudes II: Low energy expansion and S-duality

Authors: Eric D'Hoker, Carlos R. Mafra, Boris Pioline, Oliver Schlotterer

Abstract: In an earlier paper, we constructed the genus-two amplitudes for five external massless states in Type II and Heterotic string theory, and showed that the alpha' expansion of the Type II amplitude reproduces the corresponding supergravity amplitude to leading order. In this paper, we analyze the effective interactions induced by Type IIB superstrings beyond supergravity, both for U(1)_R-preserving… ▽ More In an earlier paper, we constructed the genus-two amplitudes for five external massless states in Type II and Heterotic string theory, and showed that the alpha' expansion of the Type II amplitude reproduces the corresponding supergravity amplitude to leading order. In this paper, we analyze the effective interactions induced by Type IIB superstrings beyond supergravity, both for U(1)_R-preserving amplitudes such as for five gravitons, and for U(1)_R-violating amplitudes such as for one dilaton and four gravitons. At each order in alpha', the coefficients of the effective interactions are given by integrals over moduli space of genus-two modular graph functions, generalizing those already encountered for four external massless states. To leading and sub-leading orders, the coefficients of the effective interactions D^2 R^5 and D^4 R^5 are found to match those of D^4 R^4 and D^6 R^4, respectively, as required by non-linear supersymmetry. To the next order, a D^6 R^5 effective interaction arises, which is independent of the supersymmetric completion of D^8 R^4, and already arose at genus one. A novel identity on genus-two modular graph functions, which we prove, ensures that up to order D^6 R^5, the five-point amplitudes require only a single new modular graph function in addition to those needed for the four-point amplitude. We check that the supergravity limit of U(1)_R-violating amplitudes is free of UV divergences to this order, consistently with the known structure of divergences in Type IIB supergravity. Our results give strong consistency tests on the full five-point amplitude, and pave the way for understanding S-duality beyond the BPS-protected sector. △ Less

Submitted 24 July, 2022; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: 91 pages, 3 figures, dedicated to the life, science, and art of Professor Jean-Loup Gervais, v2: minor improvements throughout the paper, published version, v3: corrected normalization factors of parity-even and/or parity-odd terms in equations (2.30), (4.34), (4.44), (4.46) and footnote 20

Two-loop superstring five-point amplitudes I: Construction via chiral splitting and pure spinors

Authors: Eric D'Hoker, Carlos R. Mafra, Boris Pioline, Oliver Schlotterer

Abstract: The full two-loop amplitudes for five massless states in Type~II and Heterotic superstrings are constructed in terms of convergent integrals over the genus-two moduli space of compact Riemann surfaces and integrals of Green functions and Abelian differentials on the surface. The construction combines elements from the BRST cohomology of the pure spinor formulation and from chiral splitting with th… ▽ More The full two-loop amplitudes for five massless states in Type~II and Heterotic superstrings are constructed in terms of convergent integrals over the genus-two moduli space of compact Riemann surfaces and integrals of Green functions and Abelian differentials on the surface. The construction combines elements from the BRST cohomology of the pure spinor formulation and from chiral splitting with the help of loop momenta and homology invariance. The $α' \to 0$ limit of the resulting superstring amplitude is shown to be in perfect agreement with the previously known amplitude computed in Type~II supergravity. Investigations of the $α'$ expansion of the Type~II amplitude and comparisons with predictions from S-duality are relegated to a first companion paper. A construction from first principles in the RNS formulation of the genus-two amplitude with five external NS states is relegated to a second companion paper. △ Less

Submitted 3 July, 2020; v1 submitted 9 June, 2020; originally announced June 2020.

Comments: 97 pages; minor typos corrected and minor edits in version 2

Report number: UUITP-16/20

Gravitational Wilson lines in AdS$_{\bf 3}$

Authors: Eric D'Hoker, Per Kraus

Abstract: The construction of gravitational Wilson lines in the Chern-Simons formulation of $AdS_3$ gravity in terms of composite operators in the dual boundary conformal field theory is reviewed. New evidence is presented that the Wilson line, dimensionally regularized and suitably renormalized, behaves as a bi-local operator of two conformal primaries whose dimension is predicted by SL(2,R) current algebr… ▽ More The construction of gravitational Wilson lines in the Chern-Simons formulation of $AdS_3$ gravity in terms of composite operators in the dual boundary conformal field theory is reviewed. New evidence is presented that the Wilson line, dimensionally regularized and suitably renormalized, behaves as a bi-local operator of two conformal primaries whose dimension is predicted by SL(2,R) current algebra. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: 22 pages

Exploring transcendentality in superstring amplitudes

Authors: Eric D'Hoker, Michael B. Green

Abstract: It is well known that the low energy expansion of tree-level superstring scattering amplitudes satisfies a suitably defined version of maximum transcendentality. In this paper it is argued that there is a natural extension of this definition that applies to the genus-one four-graviton Type II superstring amplitude to all orders in the low-energy expansion. To obtain this result, the integral over… ▽ More It is well known that the low energy expansion of tree-level superstring scattering amplitudes satisfies a suitably defined version of maximum transcendentality. In this paper it is argued that there is a natural extension of this definition that applies to the genus-one four-graviton Type II superstring amplitude to all orders in the low-energy expansion. To obtain this result, the integral over the genus-one moduli space is partitioned into a region ${\cal M}_R$ surrounding the cusp and its complement ${\cal M}_L$, and an exact expression is obtained for the contribution to the amplitude from ${\cal M}_R$. The low-energy expansion of the ${\cal M}_R$ contribution is proven to be free of irreducible multiple zeta-values to all orders. The contribution to the amplitude from ${\cal M}_L$ is computed in terms of modular graph functions up to order $D^{12} {\cal R}^4$ in the low-energy expansion, and general arguments are used beyond this order to conjecture the transcendentality properties of the ${\cal M}_L$ contributions. Maximal transcendentality of the full amplitude holds provided we assign a non-zero weight to certain harmonic sums, an assumption which is familiar from transcendentality assignments in quantum field theory amplitudes. △ Less

Submitted 28 June, 2021; v1 submitted 4 June, 2019; originally announced June 2019.

Comments: 65 pages, 4 figures; typos corrected, reference added, minor edits in version 2; factor of 4 corrected in theorem 4.1 in version 3

Integral of two-loop modular graph functions

Authors: Eric D'Hoker

Abstract: The integral of an arbitrary two-loop modular graph function over the fundamental domain for $SL(2,Z)$ in the upper half plane is evaluated using recent results on the Poincaré series for these functions. The integral of an arbitrary two-loop modular graph function over the fundamental domain for $SL(2,Z)$ in the upper half plane is evaluated using recent results on the Poincaré series for these functions. △ Less

Submitted 12 June, 2019; v1 submitted 15 May, 2019; originally announced May 2019.

Comments: 19 pages, minor clarifications in revised version

Absence of irreducible multiple zeta-values in melon modular graph functions

Authors: Eric D'Hoker, M. B. Green

Abstract: The expansion of a modular graph function on a torus of modulus $τ$ near the cusp is given by a Laurent polynomial in $y= π\Im (τ)$ with coefficients that are rational multiples of single-valued multiple zeta-values, apart from the leading term whose coefficient is rational and exponentially suppressed terms. We prove that the coefficients of the non-leading terms in the Laurent polynomial of the… ▽ More The expansion of a modular graph function on a torus of modulus $τ$ near the cusp is given by a Laurent polynomial in $y= π\Im (τ)$ with coefficients that are rational multiples of single-valued multiple zeta-values, apart from the leading term whose coefficient is rational and exponentially suppressed terms. We prove that the coefficients of the non-leading terms in the Laurent polynomial of the modular graph function $D_N(τ)$ associated with a melon graph is free of irreducible multiple zeta-values and can be written as a polynomial in odd zeta-values with rational coefficients for arbitrary $N \geq 0$. The proof proceeds by expressing a generating function for $D_N(τ)$ in terms of an integral over the Virasoro-Shapiro closed-string tree amplitude. △ Less

Submitted 5 February, 2020; v1 submitted 13 April, 2019; originally announced April 2019.

Comments: 8 pages, various clarifications added in version 2

Report number: DAMTP-2019-16

Modular graph functions and odd cuspidal functions -- Fourier and Poincaré series

Authors: Eric D'Hoker, Justin Kaidi

Abstract: Modular graph functions are $SL(2,{\mathbb Z})$-invariant functions associated with Feynman graphs of a two-dimensional conformal field theory on a torus of modulus $τ$. For one-loop graphs they reduce to real analytic Eisenstein series. We obtain the Fourier series, including the constant and non-constant Fourier modes, of all two-loop modular graph functions, as well as their Poincaré series wit… ▽ More Modular graph functions are $SL(2,{\mathbb Z})$-invariant functions associated with Feynman graphs of a two-dimensional conformal field theory on a torus of modulus $τ$. For one-loop graphs they reduce to real analytic Eisenstein series. We obtain the Fourier series, including the constant and non-constant Fourier modes, of all two-loop modular graph functions, as well as their Poincaré series with respect to $Γ_\infty \backslash PSL(2,{\mathbb Z})$. The Fourier and Poincaré series provide the tools to compute the Petersson inner product of two-loop modular graph functions using Rankin-Selberg-Zagier methods. Modular graph functions which are odd under $τ\to - \bar τ$ are cuspidal functions, with exponential decay near the cusp, and exist starting at two loops. Holomorphic subgraph reduction and the sieve algorithm, developed in earlier work, are used to give a lower bound on the dimension of the space $\mathfrak{A}_w$ of odd two-loop modular graph functions of weight $w$. For $w \leq 11$ the bound is saturated and we exhibit a basis for $\mathfrak{A}_w$. △ Less

Submitted 5 February, 2021; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: 88 pages (of which 32 pages are appendices); proof of convergence of Poincare series; example calculation of Petersson inner product; and Lemma 7.5 on the integral of cuspidal functions added in revised version

Global half-BPS $AdS_2\times S^6$ solutions in Type IIB

Authors: David Corbino, Eric D'Hoker, Justin Kaidi, Christoph F. Uhlemann

Abstract: We investigate half-BPS Type IIB supergravity solutions with spacetime geometry $AdS_2\times S^6$ warped over a Riemann surface $Σ$. The general local solution was obtained in earlier work in terms of two holomorphic functions $\mathcal A_\pm$ on $Σ$. In the first part of this paper we seek global solutions corresponding to the near-horizon behavior of $(p,q)$-string junctions. We identify the typ… ▽ More We investigate half-BPS Type IIB supergravity solutions with spacetime geometry $AdS_2\times S^6$ warped over a Riemann surface $Σ$. The general local solution was obtained in earlier work in terms of two holomorphic functions $\mathcal A_\pm$ on $Σ$. In the first part of this paper we seek global solutions corresponding to the near-horizon behavior of $(p,q)$-string junctions. We identify the type of singularity in $\mathcal A_\pm$ needed at the boundary of $Σ$ to match the solutions locally onto the classic $(p,q)$-string solution. We construct solutions with multiple $(p,q)$-strings, but the existence of geodesically complete solutions remains unsettled. In a second part we construct multi-parameter families of non-compact globally regular and geodesically complete solutions with asymptotic regions and an $AdS_2$ throat which caps off smoothly. △ Less

Submitted 4 March, 2019; v1 submitted 25 December, 2018; originally announced December 2018.

Comments: 27 pages, 2 figures; v2: references added

Renormalization of gravitational Wilson lines

Authors: Mert Besken, Eric D'Hoker, Ashwin Hegde, Per Kraus

Abstract: We continue the study of the Wilson line representation of conformal blocks in two-dimensional conformal field theory; these have an alternative interpretation as gravitational Wilson lines in the context of the AdS$_3$/CFT$_2$ correspondence. The gravitational Wilson line involves a path-ordered exponential of the stress tensor, and its expectation value can be computed perturbatively in an expan… ▽ More We continue the study of the Wilson line representation of conformal blocks in two-dimensional conformal field theory; these have an alternative interpretation as gravitational Wilson lines in the context of the AdS$_3$/CFT$_2$ correspondence. The gravitational Wilson line involves a path-ordered exponential of the stress tensor, and its expectation value can be computed perturbatively in an expansion in inverse powers of the central charge $c$. The short-distance singularities which occur in the associated stress tensor correlators require systematic regularization and renormalization prescriptions, whose consistency with conformal Ward identities presents a subtle problem. The regularization used here combines dimensional regularization and analytic continuation. Representation theoretic arguments, based on SL(2,R) current algebra, predict an exact result for the Wilson line anomalous dimension and, by building on previous work, we verify that the perturbative calculations using our regularization and renormalization prescriptions reproduce the exact result to order $1/c^3$ included. We also discuss a related, but somewhat simpler, Wilson line in Wess-Zumino-Witten models that yields current algebra conformal blocks, and we emphasize the distinction between Wilson lines constructed out of non-holomorphic and purely holomorphic currents. △ Less

Submitted 23 May, 2019; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 47 pages

Asymptotics of the $D^8 R^4$ genus-two string invariant

Authors: Eric D'Hoker, Michael B. Green, Boris Pioline

Abstract: We continue our investigation of the modular graph functions and string invariants that arise at genus-two as coefficients of low energy effective interactions in Type II superstring theory. In previous work, the non-separating degeneration of a genus-two modular graph function of weight $w$ was shown to be given by a Laurent polynomial in the degeneration parameter $t$ of degree $(w,w)$. The coef… ▽ More We continue our investigation of the modular graph functions and string invariants that arise at genus-two as coefficients of low energy effective interactions in Type II superstring theory. In previous work, the non-separating degeneration of a genus-two modular graph function of weight $w$ was shown to be given by a Laurent polynomial in the degeneration parameter $t$ of degree $(w,w)$. The coefficients of this polynomial generalize genus-one modular graph functions, up to terms which are exponentially suppressed in $t$ as $t \to \infty$. In this paper, we evaluate this expansion explicitly for the modular graph functions associated with the $D^8 {\cal R}^4$ effective interaction for which the Laurent polynomial has degree $(2,2)$. We also prove that the separating degeneration is given by a polynomial in the degeneration parameter $\ln (|v|)$ up to contributions which are power-behaved in $v$ as $v \to 0$. We further extract the complete, or tropical, degeneration and compare it with the independent calculation of the integrand of the sum of Feynman diagrams that contributes to two-loop type II supergravity expanded to the same order in the low energy expansion. We find that the tropical limit of the string theory integrand reproduces the supergravity integrand as its leading term, but also includes sub-leading terms proportional to odd zeta values that are absent in supergravity and can be ascribed to higher-derivative stringy interactions. △ Less

Submitted 5 February, 2021; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 50+44 pages, 13 figures; v2: minor corrections, including an overall factor of 2 in Eq. 5.18, published version; v3: more factors of 2 corrected, see footnote 7

Report number: QMUL-PH-18-10, DAMTP-2018-24

Journal ref: Comm. Num. Theo. Phys. 13 (2019) 351-462

Higher genus modular graph functions, string invariants, and their exact asymptotics

Authors: Eric D'Hoker, Michael B. Green, Boris Pioline

Abstract: The concept and the construction of modular graph functions are generalized from genus-one to higher genus surfaces. The integrand of the four-graviton superstring amplitude at genus-two provides a generating function for a special class of such functions. A general method is developed for analyzing the behavior of modular graph functions under non-separating degenerations in terms of a natural re… ▽ More The concept and the construction of modular graph functions are generalized from genus-one to higher genus surfaces. The integrand of the four-graviton superstring amplitude at genus-two provides a generating function for a special class of such functions. A general method is developed for analyzing the behavior of modular graph functions under non-separating degenerations in terms of a natural real parameter $t$. For arbitrary genus, the Arakelov Green function and the Kawazumi-Zhang invariant degenerate to a Laurent polynomial in $t$ of degree $(1,1)$ in the limit $t\to\infty$. For genus two, each coefficient of the low energy expansion of the string amplitude degenerates to a Laurent polynomial of degree $(w,w)$ in $t$, where $w+2$ is the degree of homogeneity in the kinematic invariants. These results are exact to all orders in $t$, up to exponentially suppressed corrections. The non-separating degeneration of a general class of modular graph functions at arbitrary genus is sketched and similarly results in a Laurent polynomial in $t$ of bounded degree. The coefficients in the Laurent polynomial are generalized modular graph functions for a punctured Riemann surface of lower genus. △ Less

Submitted 16 July, 2018; v1 submitted 17 December, 2017; originally announced December 2017.

Comments: 63 pages, 8 figures; minor typos corrected in new version

Report number: QMUL-PH-17-27, DAMTP-2017-45

$AdS_2 \times S^6$ versus $AdS_6 \times S^2$ in Type IIB supergravity

Authors: David Corbino, Eric D'Hoker, Christoph F. Uhlemann

Abstract: We obtain the complete local solutions with 16 supersymmetries to Type IIB supergravity on a space-time of the form $AdS_{2}\times S^{6}$ warped over a Riemann surface $Σ$ in terms of two locally holmorphic functions on $Σ$. We construct the general Ansatz for the bosonic supergravity fields and supersymmetry generators compatible with the $SO(2,1)\oplus SO(7)$ isometry algebra of space-time, whic… ▽ More We obtain the complete local solutions with 16 supersymmetries to Type IIB supergravity on a space-time of the form $AdS_{2}\times S^{6}$ warped over a Riemann surface $Σ$ in terms of two locally holmorphic functions on $Σ$. We construct the general Ansatz for the bosonic supergravity fields and supersymmetry generators compatible with the $SO(2,1)\oplus SO(7)$ isometry algebra of space-time, which extends to the corresponding real form of the exceptional Lie superalgebra $F(4)$. We reduce the BPS equations to this Ansatz, obtain their general local solutions, and show that these local solutions solve the full Type IIB supergravity field equations and Bianchi identities. We contrast the $AdS_{2}\times S^{6}$ solution with the closely related $AdS_6\times S^2$ case and present our results for both in parallel. Finally, we present a preliminary analysis of positivity and regularity conditions for $AdS_{2}\times S^{6}$, but postpone the construction of globally regular solutions to a subsequent paper. △ Less

Submitted 12 December, 2017; originally announced December 2017.

Comments: 50 pages

Fourier series of modular graph functions

Authors: Eric D'Hoker, William Duke

Abstract: Modular graph functions associate to a graph an $SL(2,Z)$-invariant function on the upper half plane. We obtain the Fourier series of modular graph functions of arbitrary weight $w$ and two-loop order. The motivation for this work is to develop a deeper understanding of the origin of the algebraic identities between modular graph functions which have been discovered recently, and of the relation b… ▽ More Modular graph functions associate to a graph an $SL(2,Z)$-invariant function on the upper half plane. We obtain the Fourier series of modular graph functions of arbitrary weight $w$ and two-loop order. The motivation for this work is to develop a deeper understanding of the origin of the algebraic identities between modular graph functions which have been discovered recently, and of the relation between the existence of these identities and the occurrence of cusp forms. We show that the constant Fourier mode, as a function of the modulus $τ$, consists of a Laurent polynomial in $y = π\, {\rm Im} (τ)$ of degree $(w,1-w)$, plus a contribution which decays exponentially as $y \to \infty$. The Laurent polynomial is a linear combination with rational coefficients of the top term $y^w$, and lower order terms $ζ(2k+1) y^{w-2k-1}$ for $1\leq k \leq w-1$, as well as terms $ζ(2w-2\ell-3) ζ(2\ell+1)y^{2-w}$ for $1 \leq \ell \leq w-3$. The exponential contribution is a linear combination of exponentials of $y$ and incomplete $Γ$-functions whose coefficients are Laurent polynomials in $y$ with rational coefficients. △ Less

Submitted 14 August, 2018; v1 submitted 26 August, 2017; originally announced August 2017.

Comments: 34 pages, in version 2, minor typos corrected and proof of theorem 1.3 made more precise

Warped $AdS_6\times S^2$ in Type IIB supergravity III: Global solutions with seven-branes

Authors: Eric D'Hoker, Michael Gutperle, Christoph F. Uhlemann

Abstract: We extend our previous construction of global solutions to Type IIB supergravity that are invariant under the superalgebra $F(4)$ and are realized on a spacetime of the form $AdS_6 \times S^2$ warped over a Riemann surface $Σ$ by allowing the supergravity fields to have non-trivial $SL(2,{\mathbb R})$ monodromy at isolated punctures on $Σ$. We obtain explicit solutions for the case where $Σ$ is a… ▽ More We extend our previous construction of global solutions to Type IIB supergravity that are invariant under the superalgebra $F(4)$ and are realized on a spacetime of the form $AdS_6 \times S^2$ warped over a Riemann surface $Σ$ by allowing the supergravity fields to have non-trivial $SL(2,{\mathbb R})$ monodromy at isolated punctures on $Σ$. We obtain explicit solutions for the case where $Σ$ is a disc, and the monodromy generators are parabolic elements of $SL(2,{\mathbb R})$ physically corresponding to the monodromy allowed in Type IIB string theory. On the boundary of $Σ$ the solutions exhibit singularities at isolated points which correspond to semi-infinite five-branes, as is familiar from the global solutions without monodromy. In the interior of $Σ$, the solutions are everywhere regular, except at the punctures where $SL(2,{\mathbb R})$ monodromy resides and which physically correspond to the locations of $[p,q]$ seven-branes. The solutions have a compelling physical interpretation corresponding to fully localized five-brane intersections with additional seven-branes, and provide candidate holographic duals to the five-dimensional superconformal field theories realized on such intersections. △ Less

Submitted 1 June, 2017; originally announced June 2017.

Comments: 43 pages, 6 figures

Warped $AdS_6\times S^2$ in Type IIB supergravity II: Global solutions and five-brane webs

Authors: Eric D'Hoker, Michael Gutperle, Christoph F. Uhlemann

Abstract: Motivated by the construction of holographic duals to five-dimensional superconformal quantum field theories, we obtain global solutions to Type IIB supergravity invariant under the superalgebra $F(4)$ on a space-time of the form $AdS_6 \times S^2$ warped over a two-dimensional Riemann surface $Σ$. In earlier work, the general local solutions were expressed in terms of two locally holomorphic func… ▽ More Motivated by the construction of holographic duals to five-dimensional superconformal quantum field theories, we obtain global solutions to Type IIB supergravity invariant under the superalgebra $F(4)$ on a space-time of the form $AdS_6 \times S^2$ warped over a two-dimensional Riemann surface $Σ$. In earlier work, the general local solutions were expressed in terms of two locally holomorphic functions $\mathcal A_\pm$ on $Σ$ and global solutions were sketched when $Σ$ is a disk. In the present paper, the physical regularity conditions on the supergravity fields required for global solutions are implemented on $\mathcal A_\pm$ for arbitrary $Σ$. Global solutions exist only when $Σ$ has a non-empty boundary $\partial Σ$. The differentials $\partial \mathcal A_\pm$ are allowed to have poles only on $\partial Σ$ and each pole corresponds to a semi-infinite $(p,q)$ five-brane. The construction for the disk is carried out in detail and the conditions for the existence of global solutions are articulated for surfaces with more than one boundary and higher genus. △ Less

Submitted 12 February, 2018; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: 58 pages, 9 figures; v2: minor corrections; v3: integration constant c_6 fixed

Holographic duals for five-dimensional superconformal quantum field theories

Authors: Eric D'Hoker, Michael Gutperle, Christoph F. Uhlemann

Abstract: We construct global solutions to Type IIB supergravity with 16 residual supersymmetries whose space-time is $AdS_6 \times S^2$ warped over a Riemann surface. Families of solutions are labeled by an arbitrary number $L\geq 3$ of asymptotic regions, in each of which the supergravity fields match those of a $(p,q)$ five-brane, and may therefore be viewed as near-horizon limits of fully localized inte… ▽ More We construct global solutions to Type IIB supergravity with 16 residual supersymmetries whose space-time is $AdS_6 \times S^2$ warped over a Riemann surface. Families of solutions are labeled by an arbitrary number $L\geq 3$ of asymptotic regions, in each of which the supergravity fields match those of a $(p,q)$ five-brane, and may therefore be viewed as near-horizon limits of fully localized intersections of five-branes in Type IIB string theory. These solutions provide compelling candidates for holographic duals to a large class of five-dimensional superconformal quantum field theories which arise as non-trivial UV fixed points of perturbatively non-renormalizable Yang-Mills theories, thereby making them more directly accessible to quantitative analysis. △ Less

Submitted 10 February, 2018; v1 submitted 28 November, 2016; originally announced November 2016.

Comments: 5 pages, Dedicated to John H. Schwarz on the occasion of his seventy fifth birthday, v2: minor changes, version to appear in PRL, v3: integration constant c_6 fixed

Journal ref: Phys. Rev. Lett. 118, 101601 (2017)

Hierarchy of Modular Graph Identities

Authors: Eric D'Hoker, Justin Kaidi

Abstract: 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 i… ▽ More 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 form of these identities confirms the pattern by which the vanishing of the Laurent polynomial governs the full modular identity. Second, the family of modular graph functions is extended to include all graphs with derivative couplings and worldsheet fermions. These extended families of modular graph functions are shown to obey a hierarchy of inhomogeneous Laplace eigenvalue equations. The eigenvalues for the extended family of dihedral modular graph functions are calculated analytically for the simplest infinite sub-families and obtained by Maple for successively more complicated sub-families. The spectrum is shown to consist solely of eigenvalues $s(s-1)$ for positive integers $s$ bounded by the weight, with multiplicities which exhibit rich representation-theoretic patterns. △ Less

Submitted 13 October, 2017; v1 submitted 15 August, 2016; originally announced August 2016.

Comments: 54 pages, one reference added, minor typos corrected in second version; minor edits and corrections to asymptotics of reference [15] included and implemented in third version

Warped $AdS_6\times S^2$ in Type IIB supergravity I: Local solutions

Authors: Eric D'Hoker, Michael Gutperle, Andreas Karch, Christoph F. Uhlemann

Abstract: We investigate the existence of solutions with 16 residual supersymmetries to Type IIB supergravity on a space-time of the form $AdS_6 \times S^2$ warped over a two-dimensional Riemann surface $Σ$. The $SO(2,5) \times SO(3)$ isometry extends to invariance under the exceptional Lie superalgebra $F(4)$. In the present paper, we construct the general Ansatz compatible with these symmetries, derive th… ▽ More We investigate the existence of solutions with 16 residual supersymmetries to Type IIB supergravity on a space-time of the form $AdS_6 \times S^2$ warped over a two-dimensional Riemann surface $Σ$. The $SO(2,5) \times SO(3)$ isometry extends to invariance under the exceptional Lie superalgebra $F(4)$. In the present paper, we construct the general Ansatz compatible with these symmetries, derive the corresponding reduced BPS equations, and obtain their complete local solution in terms of two locally holomorphic functions ${\cal A}_\pm$ on $Σ$, subject to certain positivity and regularity conditions. Globally, $({\cal A}_+, {\cal A}_-)$ are allowed to be multiple-valued on $Σ$ and be holomorphic sections of a holomorphic bundle over $Σ$ with structure group contained in $SU(1,1) \times { C}$. Globally regular solutions are expected to provide the near-horizon geometry of $(p,q)$ 5-brane and 7-brane webs which are holographic duals to five-dimensional conformal field theories. A preliminary analysis of the positivity and regularity conditions will be presented here, leaving the construction of globally regular solutions to a subsequent paper. △ Less

Submitted 5 January, 2018; v1 submitted 3 June, 2016; originally announced June 2016.

Comments: 61 pages, no figures; v2: typo fixed; v3: integration constant c_6 fixed

Identities between Modular Graph Forms

Authors: Eric D'Hoker, Michael B. Green

Abstract: 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 dif… ▽ More 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 functions to holomorphic modular forms. This map is used to provide proofs of the identities between modular graph functions for weight less than six conjectured in earlier work, by mapping these identities to relations between holomorphic modular forms which are proven by holomorphic methods. The map is further used to exhibit the structure of identities at arbitrary weight. △ Less

Submitted 7 September, 2017; v1 submitted 2 March, 2016; originally announced March 2016.

Comments: 56 pages; minor typos corrected and showlabels deleted in version 2; minor corrections in preparation for publication in Journal of Number Theory in version 3

Report number: DAMTP-2016-21

Journal ref: Journal of Number Theory, Vol 189 (2018) 25-88

Emergent Super-Virasoro on Magnetic Branes

Authors: Eric D'Hoker, Bijan Pourhamzeh

Abstract: The low energy limit of the stress tensor, gauge current, and supercurrent two-point correlators are calculated in the background of the supersymmetric magnetic brane solution to gauged five-dimensional supergravity constructed by Almuhairi and Polchinski. The resulting correlators provide evidence for the emergence of an N=2 super-Virasoro algebra of right-movers, in addition to a bosonic Virasor… ▽ More The low energy limit of the stress tensor, gauge current, and supercurrent two-point correlators are calculated in the background of the supersymmetric magnetic brane solution to gauged five-dimensional supergravity constructed by Almuhairi and Polchinski. The resulting correlators provide evidence for the emergence of an N=2 super-Virasoro algebra of right-movers, in addition to a bosonic Virasoro algebra and a $U(1) \oplus U(1)$-current algebra of left-movers (or the parity transform of left- and right-movers depending on the sign of the magnetic field), in the holographically dual strongly interacting two-dimensional effective field theory of the lowest Landau level. △ Less

Submitted 14 June, 2016; v1 submitted 3 February, 2016; originally announced February 2016.

Comments: 66 pages, 4 figures; minor edits and corrections in version three

Modular Graph Functions

Authors: Eric D'Hoker, Michael B. Green, Omer Gurdogan, Pierre Vanhove

Abstract: In earlier work we studied features of non-holomorphic modular functions associated with Feynman graphs for a conformal scalar field theory on a two-dimensional torus with zero external momenta at all vertices. Such functions, which we will refer to as modular graph functions, arise, for example, in the low energy expansion of genus-one Type II superstring amplitudes. We here introduce a class of… ▽ More In earlier work we studied features of non-holomorphic modular functions associated with Feynman graphs for a conformal scalar field theory on a two-dimensional torus with zero external momenta at all vertices. Such functions, which we will refer to as modular graph functions, arise, for example, in the low energy expansion of genus-one Type II superstring amplitudes. We here introduce a class of single-valued elliptic multiple polylogarithms, which are defined as elliptic functions associated with Feynman graphs with vanishing external momenta at all but two vertices. These functions depend on a coordinate, $ζ$, on the elliptic curve and reduce to modular graph functions when $ζ$ is set equal to $1$. We demonstrate that these single-valued elliptic multiple polylogarithms are linear combinations of multiple polylogarithms, and that modular graph functions are sums of single-valued elliptic multiple polylogarithms evaluated at the identity of the elliptic curve, in both cases with rational coefficients. This insight suggests the many interrelations between modular graph functions (a few of which were established in earlier papers) may be obtained as a consequence of identities involving multiple polylogarithms, and explains an earlier observation that the coefficients of the Laurent polynomial at the cusp are given by rational numbers times single-valued multiple zeta values. △ Less

Submitted 12 December, 2016; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: 42 pages, significant clarifications added in section 5, minor typos corrected, and references added in version 2

Report number: DAMTP-2015-86, IPhT-t15/202, IHES/P/15/29

Proof of a modular relation between 1-, 2- and 3-loop Feynman diagrams on a torus

Authors: Eric D'Hoker, Michael B. Green, Pierre Vanhove

Abstract: The coefficients of the higher-derivative terms in the low energy expansion of genus-one graviton Type II superstring scattering amplitudes are determined by integrating sums of non-holomorphic modular functions over the complex structure modulus of a torus. In the case of the four-graviton amplitude, each of these modular functions is a multiple sum associated with a Feynman diagram for a free ma… ▽ More The coefficients of the higher-derivative terms in the low energy expansion of genus-one graviton Type II superstring scattering amplitudes are determined by integrating sums of non-holomorphic modular functions over the complex structure modulus of a torus. In the case of the four-graviton amplitude, each of these modular functions is a multiple sum associated with a Feynman diagram for a free massless scalar field on the torus. The lines in each diagram join pairs of vertex insertion points and the number of lines defines its weight $w$, which corresponds to its order in the low energy expansion. Previous results concerning the low energy expansion of the genus-one four-graviton amplitude led to a number of conjectured relations between modular functions of a given $w$, but different numbers of loops $\le w-1$. In this paper we shall prove the simplest of these conjectured relations, namely the one that arises at weight $w=4$ and expresses the three-loop modular function $D_4$ in terms of modular functions with one and two loops. As a byproduct, we prove three intriguing new holomorphic modular identities. △ Less

Submitted 12 October, 2015; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: 38 pages, 9 figures, in version 2: Appendix D added and corrections made in section 4

Report number: DAMTP-2015-48, IPhT-t15/134, IHES/P/15/07

Journal ref: J. Number Theory 196 (2019) 381-419

On the modular structure of the genus-one Type II superstring low energy expansion

Authors: Eric D'Hoker, Michael B. Green, Pierre Vanhove

Abstract: The analytic contribution to the low energy expansion of Type II string amplitudes at genus-one is a power series in space-time derivatives with coefficients that are determined by integrals of modular functions over the complex structure modulus of the world-sheet torus. These modular functions are associated with world-sheet vacuum Feynman diagrams and given by multiple sums over the discrete mo… ▽ More The analytic contribution to the low energy expansion of Type II string amplitudes at genus-one is a power series in space-time derivatives with coefficients that are determined by integrals of modular functions over the complex structure modulus of the world-sheet torus. These modular functions are associated with world-sheet vacuum Feynman diagrams and given by multiple sums over the discrete momenta on the torus. In this paper we exhibit exact differential and algebraic relations for a certain infinite class of such modular functions by showing that they satisfy Laplace eigenvalue equations with inhomogeneous terms that are polynomial in non-holomorphic Eisenstein series. Furthermore, we argue that the set of modular functions that contribute to the coefficients of interactions up to order D**10 R*4 are linear sums of functions in this class and quadratic polynomials in Eisenstein series and odd Riemann zeta values. Integration over the complex structure results in coefficients of the low energy expansion that are rational numbers multiplying monomials in odd Riemann zeta values. △ Less

Submitted 3 June, 2015; v1 submitted 24 February, 2015; originally announced February 2015.

Comments: 74 pages, LaTeX. Typos corrected; enhanced discussion; references added

Report number: DAMTP-08-02-2015;IPHT-T15/012;IHES/P/15/04

Higher Order Deformations of Complex Structures

Authors: Eric D'Hoker, Duong H. Phong

Abstract: Deformations of complex structures by finite Beltrami differentials are considered on general Riemann surfaces. Exact formulas to any fixed order are derived for the corresponding deformations of the period matrix, Green's functions, and correlation functions in conformal field theories with vanishing total central charge. The stress tensor is shown to give a simple representation of these deforma… ▽ More Deformations of complex structures by finite Beltrami differentials are considered on general Riemann surfaces. Exact formulas to any fixed order are derived for the corresponding deformations of the period matrix, Green's functions, and correlation functions in conformal field theories with vanishing total central charge. The stress tensor is shown to give a simple representation of these deformations valid to all orders. Such deformation formulas naturally enter into the evaluation of superstring amplitudes at two-loop order with Ramond punctures, and at higher loop order, in the supergravity formulation of the RNS superstring. △ Less

Submitted 23 June, 2015; v1 submitted 12 February, 2015; originally announced February 2015.

Journal ref: SIGMA 11 (2015), 047, 14 pages

The Super Period Matrix with Ramond Punctures in the supergravity formulation

Authors: Eric D'Hoker, Duong H. Phong

Abstract: In a very recent preprint, Witten showed how to construct a $g|r \, \times \, g|r$ super period matrix for super Riemann surfaces of genus $g$ with $2r$ Ramond punctures, which is symmetric in the ${\bf Z}_2$ graded sense. He also showed how it can be applied to analyze supersymmetry breaking in string compactifications which are supersymmetric at tree-level. Witten's construction is in the purely… ▽ More In a very recent preprint, Witten showed how to construct a $g|r \, \times \, g|r$ super period matrix for super Riemann surfaces of genus $g$ with $2r$ Ramond punctures, which is symmetric in the ${\bf Z}_2$ graded sense. He also showed how it can be applied to analyze supersymmetry breaking in string compactifications which are supersymmetric at tree-level. Witten's construction is in the purely holomorphic formulation of super Riemann surfaces. In this paper, a construction is given in the formulation of two-dimensional supergravity. The variations of the super period matrix with respect to supermoduli deformations are also given, as well as an explicit illustration of how the super period matrix with two Ramond punctures would emerge from a degeneration of the super period matrix without punctures in higher genus. △ Less

Submitted 12 January, 2015; originally announced January 2015.

Comments: 44 pages, 1 figure

Exact M-Theory Solutions, Integrable Systems, and Superalgebras

Authors: Eric D'Hoker

Abstract: In this paper, an overview is presented of the recent construction of fully back-reacted half-BPS solutions in 11-dimensional supergravity which correspond to near-horizon geometries of M2 branes ending on, or intersecting with, M5 and M5$'$ branes along a self-dual string. These solutions have space-time manifold ${\rm AdS}_3 \times S^3 \times S^3$ warped over a Riemann surface $Σ$, and are invar… ▽ More In this paper, an overview is presented of the recent construction of fully back-reacted half-BPS solutions in 11-dimensional supergravity which correspond to near-horizon geometries of M2 branes ending on, or intersecting with, M5 and M5$'$ branes along a self-dual string. These solutions have space-time manifold ${\rm AdS}_3 \times S^3 \times S^3$ warped over a Riemann surface $Σ$, and are invariant under the exceptional Lie superalgebra $D(2,1;γ) \oplus D(2,1;γ)$, where $γ$ is a real continuous parameter and $|γ|$ is governed by the ratio of the number of M5 and M5$'$ branes. The construction proceeds by mapping the reduced BPS equations onto an integrable field theory on $Σ$ which is of the Liouville sine-Gordon type. Families of regular solutions are distinguished by the sign of $γ$, and include a two-parameter Janus solution for $γ>0$, and self-dual strings on M5 as well as asymptotically ${\rm AdS}_4/{\mathbb Z}_2$ solutions for $γ<0$. △ Less

Submitted 11 April, 2015; v1 submitted 22 November, 2014; originally announced November 2014.

Comments: This paper is dedicated to Luc Vinet on the occasion of his 60-th birthday

Journal ref: SIGMA 11 (2015), 029, 20 pages

Holographic Entropy and Calabi's Diastasis

Authors: Eric D'Hoker, Michael Gutperle

Abstract: The entanglement entropy for interfaces and junctions of two-dimensional CFTs is evaluated on holographically dual half-BPS solutions to six-dimensional Type 4b supergravity with m anti-symmetric tensor supermultiplets. It is shown that the moduli space for an N-junction solution projects to N points in the Kaehler manifold SO(2,m)/( SO(2) x SO(m)). For N=2 the interface entropy is expressed in te… ▽ More The entanglement entropy for interfaces and junctions of two-dimensional CFTs is evaluated on holographically dual half-BPS solutions to six-dimensional Type 4b supergravity with m anti-symmetric tensor supermultiplets. It is shown that the moduli space for an N-junction solution projects to N points in the Kaehler manifold SO(2,m)/( SO(2) x SO(m)). For N=2 the interface entropy is expressed in terms of the central charge and Calabi's diastasis function on SO(2,m)/(SO(2) x SO(m)), thereby lending support from holography to a proposal of Bachas, Brunner, Douglas, and Rastelli. For N=3, the entanglement entropy for a 3-junction decomposes into a sum of diastasis functions between pairs, weighed by combinations of the three central charges, provided the flux charges are all parallel to one another or, more generally, provided the space of flux charges is orthogonal to the space of unattracted scalars. Under similar assumptions for N>3, the entanglement entropy for the N-junction solves a variational problem whose data consist of the N central charges, and the diastasis function evaluated between pairs of N asymptotic AdS_3 x S^3 regions. △ Less

Submitted 19 June, 2014; originally announced June 2014.

Comments: 34 pages, 3 figures

Matching the $D^6 {\cal R}^4$ interaction at two-loops

Authors: Eric D'Hoker, Michael B. Green, Boris Pioline, Rodolfo Russo

Abstract: The coefficient of the $D^6 {\cal R}^4$ interaction in the low energy expansion of the two-loop four-graviton amplitude in type II superstring theory is known to be proportional to the integral of the Zhang-Kawazumi (ZK) invariant over the moduli space of genus-two Riemann surfaces. We demonstrate that the ZK invariant is an eigenfunction with eigenvalue 5 of the Laplace-Beltrami operator in the i… ▽ More The coefficient of the $D^6 {\cal R}^4$ interaction in the low energy expansion of the two-loop four-graviton amplitude in type II superstring theory is known to be proportional to the integral of the Zhang-Kawazumi (ZK) invariant over the moduli space of genus-two Riemann surfaces. We demonstrate that the ZK invariant is an eigenfunction with eigenvalue 5 of the Laplace-Beltrami operator in the interior of moduli space. Exploiting this result, we evaluate the integral of the ZK invariant explicitly, finding agreement with the value of the two-loop $D^6 {\cal R}^4$ interaction predicted on the basis of S-duality and supersymmetry. A review of the current understanding of the $D^{2p} {\cal R}^4$ interactions in type II superstring theory compactified on a torus $T^d$ with $p \leq 3$ and $d \leq 4$ is included. △ Less

Submitted 21 October, 2014; v1 submitted 23 May, 2014; originally announced May 2014.

Comments: 40 pages, various typos and coefficients corrected in version 2

Report number: NSF-KITP-14045; DAMTP-2014-22; QMUL-PH-14-11; CERN-PH-TH-2014-079

Topics in Two-Loop Superstring Perturbation Theory

Authors: Eric D'Hoker

Abstract: In this contribution to the Proceedings of the Conference on Analysis, Complex Geometry, and Mathematical Physics, an expository overview of superstring perturbation theory to two loop order is presented to an audience of mathematicians and physicists. Recent results on perturbative supersymmetry breaking effects in Heterotic string theory compactified on Z_2 \times Z_2 Calabi-Yau orbifolds, and t… ▽ More In this contribution to the Proceedings of the Conference on Analysis, Complex Geometry, and Mathematical Physics, an expository overview of superstring perturbation theory to two loop order is presented to an audience of mathematicians and physicists. Recent results on perturbative supersymmetry breaking effects in Heterotic string theory compactified on Z_2 \times Z_2 Calabi-Yau orbifolds, and the calculation of the two-loop vacuum energy in these theories are discussed in detail, and the appearance of a new modular identity with respect to Sp(4,Z)/Z_4 is reviewed. △ Less

Submitted 29 March, 2014; v1 submitted 21 March, 2014; originally announced March 2014.

Comments: 27 pages, 5 figures, Dedicated to D.H. Phong on the occasion of his 60-th birthday; version 2 includes minor changes and added references in section 11

Report number: NSF-KITP-14-032

M-theory Solutions Invariant under $D(2,1;γ) \oplus D(2,1;γ)$

Authors: Constantin Bachas, Eric D'Hoker, John Estes, Darya Krym

Abstract: We simplify and extend the construction of half-BPS solutions to 11-dimensional supergravity, with isometry superalgebra D(2,1;γ) \oplus D(2,1;γ). Their space-time has the form AdS_3 x S^3 x S^3 warped over a Riemann surface Σ. It describes near-horizon geometries of M2 branes ending on, or intersecting with, M5 branes along a common string. The general solution to the BPS equations is specified b… ▽ More We simplify and extend the construction of half-BPS solutions to 11-dimensional supergravity, with isometry superalgebra D(2,1;γ) \oplus D(2,1;γ). Their space-time has the form AdS_3 x S^3 x S^3 warped over a Riemann surface Σ. It describes near-horizon geometries of M2 branes ending on, or intersecting with, M5 branes along a common string. The general solution to the BPS equations is specified by a reduced set of data (γ, h, G), where γis the real parameter of the isometry superalgebra, and h and G are functions on Σwhose differential equations and regularity conditions depend only on the sign of γ. The magnitude of γenters only through the map of h, G onto the supergravity fields, thereby promoting all solutions into families parametrized by |γ|. By analyzing the regularity conditions for the supergravity fields, we prove two general theorems: (i) that the only solution with a 2-dimensional CFT dual is AdS_3 x S^3 x S^3 x R^2, modulo discrete identifications of the flat R^2, and (ii) that solutions with γ< 0 cannot have more than one asymptotic higher-dimensional AdS region. We classify the allowed singularities of h and G near the boundary of Σ, and identify four local solutions: asymptotic AdS_4/Z_2 or AdS_7' regions; highly-curved M5-branes; and a coordinate singularity called the "cap". By putting these "Lego" pieces together we recover all known global regular solutions with the above symmetry, including the self-dual strings on M5 for $γ< 0$, and the Janus solution for γ> 0, but now promoted to families parametrized by |γ|. We also construct exactly new regular solutions which are asymptotic to AdS_4/Z_2 for γ< 0, and conjecture that they are a different superconformal limit of the self-dual string. △ Less

Submitted 7 January, 2014; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 61 pages, 6 figures, references and acknowledgments added in version 2

Zhang-Kawazumi Invariants and Superstring Amplitudes

Authors: Eric D'Hoker, Michael B. Green

Abstract: Invariance of Type IIB superstring theory under SL(2,Z) or S-duality implies dependence on the complex coupling T through real and complex modular forms in T. Their structure may be understood explicitly in an expansion of superstring corrections to Einstein's equations of gravity, in powers of derivatives D and curvature R. The perturbative loop expansion in the string coupling for the 4-string a… ▽ More Invariance of Type IIB superstring theory under SL(2,Z) or S-duality implies dependence on the complex coupling T through real and complex modular forms in T. Their structure may be understood explicitly in an expansion of superstring corrections to Einstein's equations of gravity, in powers of derivatives D and curvature R. The perturbative loop expansion in the string coupling for the 4-string amplitude governs corrections of the form D^{2p} R^4 for all p. We show that, at two-loop order, the D^6 R^4 term is proportional to the integral of a modular invariant introduced by Zhang and Kawazumi in number theory and related to the Faltings delta-invariant studied for genus-two by Bost. The structure of two-loop superstring amplitudes for p>3 leads to higher invariants, which generalize Zhang--Kawazumi invariants at genus two. An explicit formula is derived for the unique higher invariant associated with order D^8 R^4. In an attempt to compare the prediction for the D^6 R^4 correction from superstring perturbation theory with the one produced by S-duality and supersymmetry of Type IIB, various reformulations of the invariant are given. This comparison with string theory leads to a predicted value for the integral of the Zhang-Kawazumi invariant over the moduli space of genus-two surfaces. △ Less

Submitted 21 March, 2014; v1 submitted 21 August, 2013; originally announced August 2013.

Comments: 40 pages, 1 figure, version adapted for publication in the Journal of Number Theory

Report number: DAMTP-2013-43

Journal ref: J. Number Theor. 144 (2014) 111-150

Two-loop vacuum energy for Calabi-Yau orbifold models

Authors: Eric D'Hoker, Duong H. Phong

Abstract: A precise evaluation of the two-loop vacuum energy is provided for certain Z_2 x Z_2 Calabi-Yau orbifold models in the Heterotic string. The evaluation is based on the recent general prescription for superstring perturbation theory in terms of integration over cycles in supermoduli space, implemented at two-loops with the gauge-fixing methods based on the natural projection of supermoduli space on… ▽ More A precise evaluation of the two-loop vacuum energy is provided for certain Z_2 x Z_2 Calabi-Yau orbifold models in the Heterotic string. The evaluation is based on the recent general prescription for superstring perturbation theory in terms of integration over cycles in supermoduli space, implemented at two-loops with the gauge-fixing methods based on the natural projection of supermoduli space onto moduli space using the super-period matrix. It is shown that the contribution from the interior of supermoduli space (computed with the procedure that has been used in previous two-loop computations) vanishes identically for both the E_8 x E_8 and Spin (32)/Z_2 Heterotic strings. The contribution from the boundary of supermoduli space is also evaluated, and shown to vanish for the E_8 x E_8 string but not for the Spin (32)/Z_2 string, thus breaking supersymmetry in this last model. As a byproduct, the vacuum energy in Type II superstrings is shown to vanish as well for these orbifolds. △ Less

Submitted 6 July, 2013; originally announced July 2013.

Comments: 70 pages, 2 figures