Generating Function of single-centered Black Hole Index in CHL Models

Abstract: We present the construction of the generating function of single-centered black hole index in general $\mathbb{Z}_N$ CHL models. This is done by subtracting from the index of quarter BPS dyons, described by a meromorphic Siegel modular form, the generating function for the index of two-centered black holes. We use black hole bound state metamorphosis in CHL models for the construction of the generating function of two-centered black hole index. We prove the convergence of the generating function for the cases $N=2,3$.

• The paper derives a generating function that isolates single-centered black hole indices by subtracting two-centered contributions from the total quarter-BPS dyon index.
• It rigorously proves the absolute and uniform convergence of the series for N=2,3 using detailed modular invariants and chamber geometry analysis.
• The work confirms S-duality invariance and clarifies the meromorphic structure, enhancing the precision in matching microscopic degeneracies with macroscopic entropy.

Generating Functions for Single-Centered Black Hole Indices in CHL Models: Technical Summary

Background and Motivation

The enumeration of microstates for black holes in string theory stands as a key test for quantum gravity consistency, particularly in $\mathcal{N}=4$ supersymmetric compactifications such as the CHL models, which are constructed via $\mathbb{Z}_N$ orbifolds of type II string theory on $M \times T^2$ (with $M = K3, T^4$). These theories exhibit a moduli space characterized by a specific subgroup $T_1(N) \subseteq SL(2, \mathbb{Z})$, with $22 + r$ $U(1)$ gauge fields, where $r$ is $N$-dependent. Quarter-BPS dyonic states are counted using an index related to a meromorphic Siegel modular form $\Phi_k$, and their degeneracies are crucial for matching macroscopic black hole entropy with microscopic state counting.

The relevant index, $\mathbb{Z}_N$0, receives contributions from both single- and two-centered black holes; its Fourier coefficients are structured as $\mathbb{Z}_N$1 for charge invariants $\mathbb{Z}_N$2, $\mathbb{Z}_N$3, and $\mathbb{Z}_N$4. However, only the microstates corresponding to single-centered black holes should contribute to the quantum black hole entropy. Thus, isolating their generating function—denoted $\mathbb{Z}_N$5—is fundamental for precise entropy computations and for confirming conjectures on Fourier coefficient positivity, dubbed Sen's conjecture.

Construction of the Single-Centered Generating Function

The generating function $\mathbb{Z}_N$6 is constructed by systematically subtracting the contributions of two-centered black holes from the index of quarter-BPS dyons, leveraging insights from bound state metamorphosis and wall-crossing phenomena. The procedure involves:

• Starting with the total index from a chamber in the moduli space, $\mathbb{Z}_N$7, expressed as a contour integral involving $\mathbb{Z}_N$8 and modular invariants.
• Subtracting $\mathbb{Z}_N$9, the contribution from two-centered configurations, which are extracted from the double-pole structure of $M \times T^2$0 and analyzed using S-duality and specific chamber choices.
• Employing the attractor chamber, where two-centered contributions vanish for $M \times T^2$1 with $M \times T^2$2, $M \times T^2$3, and $M \times T^2$4, yielding the index for single-centered black holes, $M \times T^2$5.

The resulting explicit expression for $M \times T^2$6 is a sum over charge invariants and S-duality transformations, entailing complicated subtractions based on the properties of the Siegel modular form and Heaviside functions that encode the chamber dependence.

Main Results: Convergence and Meromorphic Continuation

A significant technical achievement is the rigorous proof of absolute and uniform convergence of $M \times T^2$7 for $M \times T^2$8—the first generalization beyond the well-studied $M \times T^2$9 (Igusa cospform case) (Bhand et al., 6 Oct 2025). This proof leverages detailed analysis of the fundamental chamber geometry, modular transformations, and appropriate bounds on the transformed modular variables within compact subsets.

At the poles of $M = K3, T^4$0, corresponding to wall-crossing loci, the generating function $M = K3, T^4$1 exhibits precise double-pole cancellation, ensuring that the single-centered index remains meromorphic across the Siegel upper half space $M = K3, T^4$2, with double poles matching those of $M = K3, T^4$3 except for certain cases (notably $M = K3, T^4$4 poles are handled distinctly).

The work also establishes the invariance of $M = K3, T^4$5 under the subgroup $M = K3, T^4$6, and, in models where Fricke S-duality is realized (e.g., $M = K3, T^4$7), extends the invariance to the larger group generated by Fricke involution.

Properties, Shortcomings of Prior Approaches, and Mock Modular Structure

Prior attempts at constructing single-centered black hole degeneracy generating functions involved mock Jacobi forms decomposed into holomorphic and polar parts (Dabholkar et al., 2012). However, these had three critical deficiencies:

• Inclusion of negative-discriminant charges where no single-centered states exist.
• Restricted charge ranges for reliable degeneracy extraction.
• Obscured S-duality invariance in the mock Jacobi formalism.

The present construction, paralleling and generalizing (Bhand et al., 6 Oct 2025), resolves these issues by explicit pole subtraction, charge identification via bound state metamorphosis, and analytic continuation, ensuring S-duality invariance. The resulting generating function is meromorphic rather than holomorphic, aligning with the expected completion structure of mock Siegel modular forms, as indicated by analogies with mock modular and mock Jacobi theories.

Numerical Evidence and Technical Claims

The convergence for $M = K3, T^4$8 is demonstrated through explicit bounds based on the chamber geometry and modular invariants, showing that on compact subsets, each constituent sum converges absolutely. For $M = K3, T^4$9, technical obstacles arise due to the infinite number of chamber walls, necessitating new methods for controlling sum convergence and Heaviside constraints. The analytic continuation of $T_1(N) \subseteq SL(2, \mathbb{Z})$0 to $T_1(N) \subseteq SL(2, \mathbb{Z})$1 is proven to coincide with the definition from pole-subtracted index, confirming the equivalence of approaches.

The construction also recovers known transformation properties for $T_1(N) \subseteq SL(2, \mathbb{Z})$2 in special CHL models with additional duality symmetries, and provides careful analysis of bound state identifications for charge spectra relevant to CHL dyon configurations.

Implications and Future Directions

Practically, this explicit and convergent generating function enables accurate computation of single-centered black hole degeneracies in CHL models, providing a framework for testing Sen's conjecture on Fourier coefficient positivity and for further exploring the arithmetic and modular properties of dyon spectra.

Theoretically, the results illuminate the intricate relationship between wall-crossing, bound state metamorphosis, and modular form pole structure—offering insights into mock Siegel modular forms and their transformations. Future research directions include:

• Extending the convergence proof to general $T_1(N) \subseteq SL(2, \mathbb{Z})$3 via refined chamber geometry analysis or new analytic techniques.
• Formalizing the transformation properties of $T_1(N) \subseteq SL(2, \mathbb{Z})$4 as a (mock) Siegel modular form, including the construction of suitable completions.
• Application to other orbifolded string compactifications and further study of wall-crossing phenomena in quantum gravity.

Conclusion

The construction of $T_1(N) \subseteq SL(2, \mathbb{Z})$5 as the generating function for single-centered black hole indices in CHL models advances the precision counting of microstates in $T_1(N) \subseteq SL(2, \mathbb{Z})$6 string theory compactifications. By subtracting two-centered contributions and proving convergence for $T_1(N) \subseteq SL(2, \mathbb{Z})$7, the work generalizes previous results and resolves crucial ambiguities in earlier approaches. The generating function possesses well-defined modular properties and analytic structure, setting the stage for further explorations in black hole microstate counting, modular forms, and the arithmetic of quantum gravity.

---

For detailed proofs and explicit technical formulations, refer to "Generating Function of single-centered Black Hole Index in CHL Models" (2606.19479).