No Arabic abstract
By enforcing invariance under S-duality in type IIB string theory compactified on a Calabi-Yau threefold, we derive modular properties of the generating function of BPS degeneracies of D4-D2-D0 black holes in type IIA string theory compactified on the same space. Mathematically, these BPS degeneracies are the generalized Donaldson-Thomas invariants counting coherent sheaves with support on a divisor $cal D$, at the large volume attractor point. For $cal D$ irreducible, this function is closely related to the elliptic genus of the superconformal field theory obtained by wrapping M5-brane on $cal D$ and is therefore known to be modular. Instead, when $cal D$ is the sum of $n$ irreducible divisors ${cal D}_i$, we show that the generating function acquires a modular anomaly. We characterize this anomaly for arbitrary $n$ by providing an explicit expression for a non-holomorphic modular completion in terms of generalized error functions. As a result, the generating function turns out to be a (mixed) mock modular form of depth $n-1$.
We build a connection between topology of smooth 4-manifolds and the theory of topological modular forms by considering topologically twisted compactification of 6d (1,0) theories on 4-manifolds with flavor symmetry backgrounds. The effective 2d theory has (0,1) supersymmetry and, possibly, a residual flavor symmetry. The equivariant topological Witten genus of this 2d theory then produces a new invariant of the 4-manifold equipped with a principle bundle, valued in the ring of equivariant weakly holomorphic (topological) modular forms. We describe basic properties of this map and present a few simple examples. As a byproduct, we obtain some new results on t Hooft anomalies of 6d (1,0) theories and a better understanding of the relation between 2d (0,1) theories and TMF spectra.
Modular graph forms are a class of modular covariant functions which appear in the genus-one contribution to the low-energy expansion of closed string scattering amplitudes. Modular graph forms with holomorphic subgraphs enjoy the simplifying property that they may be reduced to sums of products of modular graph forms of strictly lower loop order. In the particular case of dihedral modular graph forms, a closed form expression for this holomorphic subgraph reduction was obtained previously by DHoker and Green. In the current work, we extend these results to trihedral modular graph forms. Doing so involves the identification of a modular covariant regularization scheme for certain conditionally convergent sums over discrete momenta, with some elements of the sum being excluded. The appropriate regularization scheme is identified for any number of exclusions, which in principle allows one to perform holomorphic subgraph reduction of higher-point modular graph forms with arbitrary holomorphic subgraphs.
We reformulate the question of the absence of global anomalies of heterotic string theory mathematically in terms of a certain natural transformation $mathrm{TMF}^bulletto (I_{mathbb{Z}}Omega^text{string})^{bullet-20}$, from topological modular forms to the Anderson dual of string bordism groups, using the Segal-Stolz-Teichner conjecture. We will show that this natural transformation vanishes, implying that heterotic global anomalies are always absent. The fact that $mathrm{TMF}^{21}(mathrm{pt})=0$ plays an important role in the process. Along the way, we also discuss how the twists of $mathrm{TMF}$ can be described under the Segal-Stolz-Teichner conjecture, by using the result of Freed and Hopkins concerning anomalies of quantum field theories. The paper contains separate introductions for mathematicians and for string theorists, in the hope of making the content more accessible to a larger audience. The sections are also demarcated cleanly into mathematically rigorous parts and those which are not.
We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincare series in a companion paper. The source term of the Laplace equation is a product of (derivatives of) two non-holomorphic Eisenstein series whence the modular invariants are assigned depth two. These modular invariant functions can sometimes be expressed in terms of single-valued iterated integrals of holomorphic Eisenstein series as they appear in generating series of modular graph forms. We show that the set of iterated integrals of Eisenstein series has to be extended to include also iterated integrals of holomorphic cusp forms to find expressions for all modular invariant functions of depth two. The coefficients of these cusp forms are identified as ratios of their L-values inside and outside the critical strip.
We derive new Poincare-series representations for infinite families of non-holomorphic modular invariant functions that include modular graph forms as they appear in the low-energy expansion of closed-string scattering amplitudes at genus one. The Poincare series are constructed from iterated integrals over single holomorphic Eisenstein series and their complex conjugates, decorated by suitable combinations of zeta values. We evaluate the Poincare sums over these iterated Eisenstein integrals of depth one and deduce new representations for all modular graph forms built from iterated Eisenstein integrals at depth two. In a companion paper, some of the Poincare sums over depth-one integrals going beyond modular graph forms will be described in terms of iterated integrals over holomorphic cusp forms and their L-values.