Note on Pure D-brane (non--)BPS Black Hole Microstate Counting in Type IIA Superstring Theory

TL;DR

This work develops a unified algebraic-geometry framework to count microstates of four-charge extremal black holes in Type IIA string theory. By formulating D-brane dynamics as a zero-dimensional algebraic variety for BPS states and deploying the monodromy method, the authors efficiently generate all SUSY vacua and verify $B_{14}$ degeneracies against U-dual predictions, extending to higher charges such as $(1,1,1,5)$ and $(1,1,1,6)$. For non-BPS configurations they show the absence of zero-energy vacua via analytic Gröbner-basis certificates and reveal a low-energy spectrum with 12 doubly degenerate bound states and a noncompact Coulomb sector, with flat directions lifted by Morse perturbations and gated soft-trapping. The results demonstrate a robust, scalable microscopic counting strategy that connects precise algebraic geometry with black hole microstate physics and suggests broad applicability to complex vacuum landscapes in string theory. Overall, the paper provides a concrete, improvable program to compute and certify microstate degeneracies directly from D-brane dynamics, highlighting the power of monodromy and Gröbner techniques in quantum gravity contexts.

Abstract

In this note we explore computational algebraic geometry techniques to compute $14^{th}$ Helicity Trace Index of 4--charge, $\frac{1}{8}$--BPS, $\mathcal{N}=8$ pure D-brane configurations dual to D1--D5--P--KK monopole dyonic black holes. We extend the analysis of our previous work \cite{Chowdhury:2023wss} to higher values of charges and fix subtleties involving compatible gauge choices for $(1,1,1,N)$ charge configurations. For explicit SUSY state counting, we use a parametric monodromy method for the 4--charge $(1,1,1,5)$ and $(1,1,1,6)$ configurations and find that the results match the U--dual picture. By a different choice of the R--symmetry representations, it is possible to explicitly break all supersymmetry and study (non--)abelian static matrix models versions as 4--charge non--BPS pure D-brane systems \cite{Mondal:2024qyn}. Using analytical Gröbner bases we show that the potential has no zero energy configuration. The higher end of the spectrum asymptotes towards the Coulomb branch local minima manifold representing unbounded D--brane configurations, and the Mixed branch global minima represent bound states at parametrically lower values of the potential. We developed physics--inspired computational techniques to deform the potentials and lift the flat directions, thereby counting the low--energy states with degeneracy.

Figures (5)

• Figure 1: Monodromy for the family $x^{2}-1-p=0\,$. Left: A loop $\gamma$ in the parameter space based at $p^{*}=1$ encircling the discriminant singularity $p=-1\,$. Right: The lifted paths in the solution space. As $p$ completes a full rotation, the two solution sheets exchange, visualizing the action of the fundamental group $\pi_1(U)$ on the fiber.
• Figure 2: Real--slice projection of the discriminant locus $\Delta=\Delta_{1}\cup\Delta_{2}$ for the two–equation system. The parabola $\Delta_{1}$ (orange) and line $\Delta_{2}$ (red) mark parameters where the Jacobian becomes singular. The dotted blue curve shows a monodromy loop $\gamma$ anchored at $p^{*}=(1,0)$, which winds around the discriminant locus in the full complex plane while avoiding it in this projection. Such loops generate nontrivial monodromy among the four solutions above $p^{*}$.
• Figure 3: Schematic representation of the monodromy action. Left: A loop $\gamma$ in parameter space encircles the discriminant locus $\Delta$ (marked by red crosses). These crosses represent the singularities where solutions collide. Right: Lifting this loop to the solution space induces a permutation of the four solutions (shown as $1 \to 2 \to 3 \to 4 \to 1$).
• Figure 4: Monodromy and Resurgence in the system $x + e^{-x} = p\,$. Left: The discriminant locus forms an infinite vertical ladder at $\Re(p)=1\,$. The loop $\gamma$ encircles the critical point $p_0=1\,$. Right: At the real base point $p^* > 1$, two real solutions exist: the perturbative vacuum $x_{\text{pert}} \approx p$ and the non--perturbative vacuum $x_{\text{np}} \approx -\ln p\,$. Following the loop $\gamma$ causes these two distinct physical sectors to exchange, demonstrating that they are branches of a single analytic function.
• Figure 5: The two topologies of the Master Model Eq. \ref{['eq:master_model']}. Left: If coefficients factorize, the solution space splits into disjoint sectors (rings) that never mix. Right: In the generic case, solutions group into clusters. Generic loops swap clusters (blue) but fail to rotate phases (green) unless the origin locus is explicitly targeted. Both issues are resolved by the $\epsilon$--deformation.