Unlike the $\mathcal{R}^4$ and $\nabla^4\mathcal{R}^4$ couplings, whose coefficients are Langlands-Eisenstein series of the U-duality group, the coefficient $\mathcal{E}_{(0,1)}^{(d)}$ of the $\nabla^6\mathcal{R}^4$ interaction in the low-energy effective action of type II strings compactified on a torus $T^d$ belongs to a more general class of automorphic functions, which satisfy Poisson rather than Laplace-type equations. In earlier work, it was proposed that the exact coefficient is given by a two-loop integral in exceptional field theory, with the full spectrum of mutually 1/2-BPS states running in the loops, up to the addition of a particular Langlands-Eisenstein series. Here we compute the weak coupling and large radius expansions of these automorphic functions for any $d$. We find perfect agreement with perturbative string theory up to genus three, along with non-perturbative corrections which have the expected form for 1/8-BPS instantons and bound states of 1/2-BPS instantons and anti-instantons. The additional Langlands-Eisenstein series arises from a subtle cancellation between the two-loop amplitude with 1/4-BPS states running in the loops, and the three-loop amplitude with mutually 1/2-BPS states in the loops. For $d=4$, the result is shown to coincide with an alternative proposal in terms of a covariantised genus-two string amplitude, due to interesting identities between the Kawazumi-Zhang invariant of genus-two curves and its tropical limit, and between double lattice sums for the particle and string multiplets, which may be of independent mathematical interest.
We show that BPS jumping loci -- loci in the moduli space of string compactifications where the number of BPS states jumps in an upper semi-continuous manner -- naturally appear as Fourier coefficients of (vector space-valued) automorphic forms. For the case of $T^2$ compactification, the jumping loci are governed by a modular form studied by Hirzebruch and Zagier, while the jumping loci in K3 compactification appear in a story developed by Oda and Kudla-Millson in arithmetic geometry. We also comment on some curious related automorphy in the physics of black hole attractors and flux vacua.
We discuss mock automorphic forms from the point of view of representation theory, that is, obtained from weak harmonic Maass forms give rise to nontrivial $(\mathfrak{g},K)$-cohomology. We consider the possibility of replacing the `holomorphic' condition with `cohomological' when generalizing to general reductive groups. Such a candidate allows for growing Fourier coefficients, in contrast to automorphic forms under the Miatello-Wallach conjecture. In the second part, we provide an overview of the connection with BPS black hole counts as a physical motivation for studying mock automorphic for…
We consider the spectrum of BPS states of the heterotic sigma model with $(0,8)$ supersymmetry and $T^8$ target, as well as its second-quantized counterpart. We show that the counting function for such states is intimately related to Borcherds' automorphic form $Φ_{12}$, a modular form which exhibits automorphy for $O(2,26;{\mathbb Z})$. We comment on possible implications for Umbral moonshine and theories of AdS$_3$ gravity.
We consider the tetrahedral three-loop diagram in $E_d$ exceptional field theory evaluated as a scalar diagram for four external gravitons. At lowest order in momenta, this diagram contributes to the $\nabla^6 R^4$ term in the low-energy effective action for M-theory. We evaluate explicitly the sums over the discrete exceptional field theory loop momenta that become sums over 1/2-BPS states in the compact exceptional space. These sums can be rewritten as Eisenstein series that solve the homogeneous differential equations that supersymmetry implies for the $\nabla^6 R^4$ coupling. We also show …
We study certain four-graviton amplitudes in exceptional field theory in dimensions $D\geq 4$ up to two loops. As the formulation is manifestly invariant under the U-duality group $E_{11-D}(\mathbb{Z})$, our resulting expressions can be expressed in terms of automorphic forms. In the low energy expansion, we find terms in the M-theory effective action of type $R^4$, $\nabla^4R^4$ and $\nabla^6 R^4$ with automorphic coefficient functions in agreement with independent derivations from string theory. This provides in particular an explicit integral formula for the exact string theory $\nabla^6 R^…
Automorphic Instanton Partition Functions on Calabi-Yau Threefolds
我们综述了关于紧致卡-丘三重空间X上IIA/B型弦论中的超多重态模空间M，或者等价地，X x S ^1上IIB/A型向量多重态模空间的量子修正的最新结果。我们的主要重点在于问题的图形化的无限系列的D-膜和NS 5-膜瞬子，使用自守形式的数学机器。我们回顾的建议，只要在D=3的低能理论表现出算术的“U对偶”对称G（Z）的总瞬子配分函数产生的某个酉自守表示的G，其傅立叶系数再现的BPS退化。对于D=4，N=2的R^3 × S^1上的理论，我们论证了相关的自守表示落在G的四元数离散级数中，并且配分函数可以实现为M上扭量空间Z上的全纯截面。本文还对与N=2壁面相交公式的密切关系作了一些评论。
We discuss a set of heterotic and type II string theory compactifications to 1+1 dimensions that are characterized by factorized internal worldsheet CFTs of the form $V_1\otimes \bar V_2$, where $V_1, V_2$ are self-dual (super) vertex operator algebras. In the cases with spacetime supersymmetry, we show that the BPS states form a module for a Borcherds-Kac-Moody (BKM) (super)algebra, and we prove that for each model the BKM (super)algebra is a symmetry of genus zero BPS string amplitudes. We compute the supersymmetric indices of these models using both Hamiltonian and path integral formalisms.…
According to a recent classification of 6d (1,0) theories within F-theory there are only six "pure" 6d gauge theories which have a UV superconformal fixed point. The corresponding gauge groups are $SU(3),SO(8),F_4,E_6,E_7$, and $E_8$. These exceptional models have BPS strings which are also instantons for the corresponding gauge groups. For $G$ simply-laced, we determine the 2d $\mathcal{N}=(0,4)$ worldsheet theories of such BPS instanton strings by a simple geometric engineering argument. These are given by a twisted $S^2$ compactification of the 4d $\mathcal{N}=2$ theories of type $H_2, D_4,…
Machine learning automorphic forms for black holes
Mandelstam Institute for Theoretical Physics, School of Physics, and NITheCS, University of the Witwatersrand, Johannesburg, WITS 2050, South Africa（曼德施塔姆理论物理研究所、物理系及NITheCS、沃斯兰德大学，约翰内斯堡，WITS 2050，南非）；Center for Mathematical Studies, University of Lisbon (CEMS.UL), UID/04561/2025 FCT, Portugal（数学研究所以及里斯本大学（CEMS.UL），UID/04561/2025 FCT，葡萄牙）
We study the elliptic genera of two-dimensional orbifold CFTs, where the orbifolding procedure introduces du Val surface singularities on the target space. The N=4 character decompositions of the elliptic genus contributions from the twisted sectors at the singularities obey a consistent scaling property, and contain information about the arrangement of exceptional rational curves in the resolution. We also discuss how these twisted sector elliptic genera are related to twining genera and Hodge elliptic genera for sigma models with K3 target space.
We study BPS states of 5d $\mathcal{N}=1$ $SU(2)$ Yang-Mills theory on $S^1\times \mathbb{R}^4$. Geometric engineering relates these to enumerative invariants for the local Hirzebruch surface $\mathbb{F}_0$. We illustrate computations of Vafa-Witten invariants via exponential networks, verifying fiber-base symmetry of the spectrum at certain points in moduli space, and matching with mirror descriptions based on quivers and exceptional collections. Albeit infinite, parts of the spectrum organize in families described by simple algebraic equations. Varying the radius of the M-theory circle inter…
We present the partition function of Chern-Simons theory with the exceptional gauge group on three-sphere in the form of a partition function of the refined closed topological string with relation $2τ=g_s(1-b) $ between single Kähler parameter $τ$, string coupling constant $g_s$ and refinement parameter $b$, where $b=\frac{5}{3},\frac{5}{2},3,4,6$ for $G_2, F_4, E_6, E_7, E_8$, respectively. The non-zero BPS invariants $N^d_{J_L,J_R}$ ($d$ - degree) are $N^2_{0,\frac{1}{2}}=1, N^{11}_{0,1}=1$. Besides these terms, partition function of Chern-Simons theory contains term corresponding to the ref…
We evaluate half-indices of $\mathcal{N}=(2,2)$ half-BPS boundary conditions in 3d $\mathcal{N}=4$ supersymmetric Abelian gauge theories. We confirm that the Neumann boundary condition is dual to the generic Dirichlet boundary condition for its mirror theory as the half-indices perfectly match with each other. We find that a naive mirror symmetry between the exceptional Dirichlet boundary conditions defining the Verma modules of the quantum Coulomb and Higgs branch algebras does not always hold. The triangular matrix obtained from the elliptic stable envelope describes the precise mirror trans…
