Equal-charge projection of the $\mathcal{N}=4$ index: exact large-$N$ formula and finite-rank $U(3)$ coefficients

The equal-charge branch of supersymmetric rotating AdS$_5$ black holes has $Q_1=Q_2=Q_3$. The corresponding microcanonical sector of the $\mathcal{N}=4$ superconformal index is obtained by projecting to equal charges, or equivalently by extracting the constant term in the two charge-difference fugacities. We prove that for the large-$N$ multigraviton sector the projected index factorizes exactly as \[
\mathcal{I}^{\rm eqQ}_\infty(x,p)
=\prod_{k\ge1}(1-p^kx^{3k})(1-p^{-k}x^{3k})
\sum_{n\ge0}\mathsf{p}(n)^3x^{6n}, \] where $\mathsf{p}(n)$ is the partition function. This factorization gives, for every spin sector, an explicit onset energy below which the large-$N$ coefficient is zero. Exact $U(3)$ computations show that finite-rank coefficients can nevertheless appear at energies where the large-$N$ coefficient vanishes, including beyond the classical $U(3)$ black-hole bound. We also determine the full line $j=6J_R+6$. In particular, with $j^*(J_R)$ denoting this large-$N$ onset energy, \[
d_3^{\rm eqQ}(87,\tfrac{27}{2})=1,
\qquad
j^*(\tfrac{27}{2})-87=1554, \] and the first giant-graviton sector already contributes one unit at this point. All coefficients are coefficients of the $(-1)^F$-graded index, not positive degeneracies. The main conclusion is that the high-spin tail survives the exact equal-charge projection.
Ancillary-file links:
Ancillary files (details):
- README.md
- code/largeN_factorization_checks/verify_partition_cube_direct.py
- code/lr_sector_checks/gg_sector_pairorbit_validated.cpp
- code/u3_equal_charge_extraction/eqQ_multi_delta_gpu_merged_patched_v4.py
- code/u3_equal_charge_extraction/polymul.c