Motivated by recent advances in Donaldson-Thomas theory, four-dimensional $\mathcal{N}=4$ string-string duality is examined in a reduced rank theory on a less studied BPS sector. In particular we identify candidate partition functions of "untwisted" quarter-BPS dyons in the heterotic $\mathbb{Z}_2$ CHL model by studying the associated chiral genus two partition function, based on the M-theory lift of string webs argument by Dabholkar and Gaiotto. This yields meromorphic Siegel modular forms for the Iwahori subgroup $B(2) \subset \text{Sp}_4 (\mathbb{Z}) $ which generate BPS indices for dyons with untwisted sector electric charge, in contrast to twisted sector dyons counted by a multiplicative lift of twisted-twining elliptic genera known from Mathieu moonshine. The new partition functions are shown to satisfy the expected constraints coming from wall-crossing and S-duality symmetry as well as the black hole entropy based on the Gauss-Bonnet term in the effective action. In these aspects our analysis confirms and extends work of Banerjee, Sen and Srivastava, which only addressed a subset of the untwisted sector dyons considered here. Our results are also compared with recently conjectured formulae of Bryan and Oberdieck for the partition functions of primitive DT invariants of the CHL orbifold $X=( \text{K3} \times T^2 )/ \mathbb{Z}_2$, as suggested by string duality with type IIA theory on $X$.
We give a proof of the recently proposed formula for the dyon spectrum in CHL string theories by mapping it to a configuration of D1 and D5-branes and Kaluza-Klein monopole. We also give a prescription for computing the degeneracy as a systematic expansion in inverse powers of charges. The computation can be formulated as a problem of extremizing a duality invariant statistical entropy function whose value at the extremum gives the logarithm of the degeneracy. During this analysis we also determine the locations of the zeroes and poles of the Siegel modular forms whose inverse give the dyon pa…
The degeneracies of supersymmetric quarter BPS dyons in four dimensions and of spinning black holes in five dimensions in a CHL compactification are computed exactly using Borcherds lift. The Hodge anomaly in the construction has a physical interpretation as the contribution of a single M-theory Kaluza-Klein 6-brane in the 4d-5d lift. Using factorization, it is shown that the resulting formula has a natural interpretation as a two-loop partition function of left-moving heterotic string, consistent with the heuristic picture of dyons in the M-theory lift of string webs.
We compute the genus-two chiral partition function of the left-moving heterotic string for a $\mathbb{Z}_2$ CHL orbifold. The required twisted determinants can be evaluated explicitly in terms of the untwisted determinants and theta functions using orbifold techniques. The dependence on Prym periods cancels neatly once summation over odd charges is properly taken into account. The resulting partition function is a Siegel modular form of level two and precisely equals recently proposed dyon partition function for this model. This result provides an independent weak coupling derivation of the dy…
We revisit our earlier work which lead to a periodic table of Borcherds-Kac-Moody algebras that appeared in the context of the refined generating function of quarter-BPS (dyons) in $\mathcal{N}=4$ supersymmetric four-dimensional string theory. We make new additions to the periodic table by making use of connections with generalized Mathieu moonshine as well as umbral moonshine. We show the modularity of some Siegel modular forms that appear in umbral moonshine associated with Niemeier lattices constructed from A-type root systems and further show that the same Siegel modular forms appear for g…
Three-dimensional string models with half-maximal supersymmetry are believed to be invariant under a large U-duality group which unifies the S and T dualities in four dimensions. We propose an exact, U-duality invariant formula for four-derivative scalar couplings of the form $F(Φ) (\nablaΦ)^4$ in a class of string vacua known as CHL $\mathbb{Z}_N$ heterotic orbifolds with $N$ prime, generalizing our previous work which dealt with the case of heterotic string on $T^6$. We derive the Ward identities that $F(Φ)$ must satisfy, and check that our formula obeys them. We analyze the weak coupling ex…
We propose a formula for the degeneracy of quarter BPS dyons in a class of CHL models. The formula uses a modular form of a subgroup of the genus two modular group Sp(2,Z). Our proposal is S-duality invariant and reproduces correctly the entropy of a dyonic black hole to first non-leading order for large values of the charges.
A formula for the exact partition function of 1/4 BPS dyons in a class of CHL models has been proposed earlier. The formula involves inverse of Siegel modular forms of subgroups of Sp(2,Z). In this paper we propose product formulae for these modular forms. This generalizes the result of Borcherds and Gritsenko and Nikulin for the weight 10 cusp form of the full Sp(2,Z) group.
We use continued fractions to perform a systematic and explicit characterization of the decays of two-centred dyonic black holes in $4D$ $\mathcal{N} =4$ heterotic $\mathbb{Z}_N$ CHL models. Thereby we give a new exact solution for the problem of counting decadent dyons in these models.
We address a number of puzzles relating to the proposed formulae for the degeneracies of dyons in orbifold compactifications of the heterotic string to four dimensions with $N =4$ supersymmetry. The partition function for these dyons is given in terms of Siegel modular forms associated with genus-two Riemann surfaces. We point out a subtlety in demonstrating S-duality invariance of the resulting degeneracies and give a prescription that makes the invariance manifest. We show, using M-theory lift of string webs, that the genus-two contribution captures the degeneracy only if a specific irreduci…
Motivated by precision counting of BPS black holes, we analyze six-derivative couplings in the low energy effective action of three-dimensional string vacua with 16 supercharges. Based on perturbative computations up to two-loop, supersymmetry and duality arguments, we conjecture that the exact coefficient of the $\nabla^2(\nablaϕ)^4$ effective interaction is given by a genus-two modular integral of a Siegel theta series for the non-perturbative Narain lattice times a specific meromorphic Siegel modular form. The latter is familiar from the Dijkgraaf-Verlinde-Verlinde (DVV) conjecture on exact…
We provide evidence for the existence of a family of generalized Kac-Moody(GKM) superalgebras, G_N, whose Weyl-Kac-Borcherds denominator formula gives rise to a genus-two modular form at level N, Delta_{k/2}(Z), for (N,k)=(1,10), (2,6), (3,4), and possibly (5,2). The square of the automorphic form is the modular transform of the generating function of the degeneracy of CHL dyons in asymmetric Z_N-orbifolds of the heterotic string compactified on T^6. The new generalized Kac-Moody superalgebras all arise as different `automorphic corrections' of the same Lie algebra and are closely related to a…
Following Sen[arXiv:0911.1563], we study the counting of (`twisted') BPS states that contribute to twisted helicity trace indices in four-dimensional CHL models with N=4 supersymmetry. The generating functions of half-BPS states, twisted as well as untwisted, are given in terms of multiplicative eta products with the Mathieu group, M_{24}, playing an important role. These multiplicative eta products enable us to construct Siegel modular forms that count twisted quarter-BPS states. The square-roots of these Siegel modular forms turn out be precisely a special class of Siegel modular forms, the …
We propose a general set of constraints on the partition function of quarter BPS dyons in any N=4 supersymmetric string theory by drawing insight from known examples, and study the consequences of this proposal. The main ingredients of our analysis are duality symmetries, wall crossing formula and black hole entropy. We use our analysis to constrain the dyon partition function for two hitherto unknown cases -- the partition function of dyons of torsion two (i.e. gcd(Q\wedge P)=2) in heterotic string theory on T^6 and the partition function of dyons carrying untwisted sector electric charge in …
We show that the generating function of electrically charged 1/2-BPS states in N=4 supersymmetric Z_N-CHL orbifolds of the heterotic string on T^6 are given by multiplicative eta-products. The eta-products are determined by the cycle shape of the corresponding symplectic involution in the dual type II picture. This enables us to complete the construction of the genus-two Siegel modular forms due to David, Jatkar and Sen [arXiv:hep-th/0609109] for Z_N orbifolds when N is non-prime. We study the Z_4 CHL orbifold in detail and show that the associated Siegel modular forms, Φ_3(Z) and \widetildeΦ_…
We study the degeneracy of quarter BPS dyons in N =4 type II compactifications of string theory. We find that the genus-two Siegel modular forms generating the degeneracies of the quarter BPS dyons in the type II theories can be expressed in terms of the genus-two Siegel modular forms generating the degeneracies of quarter BPS dyons in the CHL theories and the heterotic string. This helps us in understanding the algebra structure underlying the degeneracy of the quarter BPS states. The Conway group, Co_1, plays a role similar to Mathieu group, M_{24}, in the CHL models with eta quotients appea…
We determine the generating functions of 1/4 BPS dyons in a class of 4d $\mathcal{N}=4$ string vacua arising as CHL orbifolds of $K3 \times T^2$, a classification of which has been recently completed. We show that all such generating functions obey some simple physical consistency conditions that are very often sufficient to fix them uniquely. The main constraint we impose is the absence of unphysical walls of marginal stability: discontinuities of 1/4 BPS degeneracies can only occur when 1/4 BPS dyons decay into pairs of 1/2 BPS states. Formally, these generating functions in spacetime can be…
We study ${\cal N}=2$ compactifications of heterotic string theory on the CHL orbifold $(K3\times T^2)/\mathbb{Z}_N$ with $N= 2, 3, 5, 7$. $\mathbb{Z}_N$ acts as an involution on $K3$ together with a shift of $1/N$ along one of the circles of $T^2$. These compactifications generalize the example of the heterotic string on $K3\times T^2$ studied in the context of dualities in ${\cal N}=2$ string theories. We evaluate the new supersymmetric index for these theories and show that their expansion can written in terms of the McKay-Thompson series associated with the $\mathbb{Z}_N$ involution embedd…
Classical single centered solutions of $1/4$ BPS dyons in ${\cal N}=4$ theories are usually constructed in duality frames which contain non-trivial hair degrees of freedom localized outside the horizon. These modes are in addition to the fermionic zero modes associated with broken supersymmetry. Identifying and removing the hair from the $1/4$ BPS index allows us to isolate the degrees of freedom associated with the horizon. The spherical symmetry of the horizon then ensures that index of the horizon states has to be positive. We verify that this is indeed the case for the canonical example of…
We study three properties of $1/4$ BPS dyons at small charges in string compactifications which preserve ${\cal N}=4$ supersymmetry. We evaluate the non-trivial constant present in the one loop statistical entropy for ${\cal N}=4$ compactifications of type IIB theory on $K3\times T^2$ orbifolded by an order $\mathbb{Z}_N$ freely acting orbifold $g'$ including all CHL compactifications. This constant is trivial for the un-orbifolded model but we show that it contributes crucially to the entropy of low charge dyons in all the orbifold models. We then show that the meromorphic Jacobi form which c…
Compactifications of the heterotic string on special T^d/Z_2 orbifolds realize a landscape of string models with 16 supercharges and a gauge group on the left-moving sector of reduced rank d+8. The momenta of untwisted and twisted states span a lattice known as the Mikhailov lattice II_{(d)}, which is not self-dual for d > 1. By using computer algorithms which exploit the properties of lattice embeddings, we perform a systematic exploration of the moduli space for d=1 and 2, and give a list of maximally enhanced points where the U(1)^{d+8} enhances to a rank d+8 non-Abelian gauge group. For d …
We compute a twisted index for an orbifold theory when the twist generating group does not commute with the orbifold group. The twisted index requires the theory to be defined on moduli spaces that are compatible with the twist. This is carried out for CHL models at special points in the moduli space where they admit dihedral symmetries. The commutator subgroup of the dihedral groups are cyclic groups that are used to construct the CHL orbifolds. The residual reflection symmetry is chosen to act as a `twist' on the partition function. The reflection symmetries do not commute with the orbifoldi…
Although BMPV black holes in flat space and in Taub-NUT space have identical near-horizon geometries, they have different indices from the microscopic analysis. For K3 compactification of type IIB theory, Sen et al in a series of papers identified that the key to resolving this puzzle is the black hole hair modes: smooth, normalisable, bosonic and fermionic degrees of freedom living outside the horizon. In this paper, we extend their study to N = 4 CHL orbifold models. For these models, the puzzle is more challenging due to the presence of the twisted sectors. We identify hair modes in the unt…
Single centered BPS black hole solutions exist only when the charge carried by the black hole has positive discriminant. On the other hand the exact dyon spectrum in heterotic string theory compactified on T^6 is known to contain states with negative discriminant. We show that all of these negative discriminant states can be accounted for as two centered black holes. Thus after the contribution to the index from the two centered black holes is subtracted from the total microscopic index, the index for states with negative discriminant vanishes even for finite values of charges, in agreement wi…
