REVIEW
Recounting Dyons in N=4 String Theory
High Energy Physics - Theory · Submitted 11 May 2005 · 9 references
Pith's verdict: A short, correct derivation that pins the exact 4D N=4 BPS degeneracies to the Fourier coefficients of the weight-10 Sp(2,Z) form, confirming the 1996 DVV conjecture — with one swapped-symbol typo in Eq. (14) that does not touch the result.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The BPS states of a class of four-dimensional black holes in N=4 string theory are exactly the Fourier coefficients of one automorphic form, a weight-10 object of the genus-two modular group Sp(2,Z).
The reading
What carries the argument
The load-bearing object is the weight-10 automorphic form $Phi(rho,sigma,nu)$ of $Sp(2,Z)$, written as an infinite product over integer triples $(k,l,m)$ with exponents $c(4kl - m^2)$, where $c$ are the elliptic-genus coefficients of a single K3. The machinery that makes the identification work is the 4D-to-5D map: the Taub-NUT lift converts the 4D dyon charges into 5D D1-D5 charges and angular momentum, and the $(-1)^{2J_L}$ insertion in the 5D index supplies the sign relating the two counting functions. On the 5D side the generating function is the Dijkgraaf-Moore-Verlinde-Verlinde product for the elliptic genera of symmetric products of K3, multiplied by the single-fivebrane elliptic genus; that product is precisely $e^{2pi i sigma} Phi$, so the 4D degeneracies drop out as Fourier coefficients of $1/Phi$.
Extended reading notes
Core claim
The central claim is that the fixed-charge BPS degeneracies of 4D $N=4$ string theory, for the charge configuration of a single D6 brane with D0, K3-wrapped D2 and torus-wrapped D2 charge, are the Fourier expansion coefficients of $1/Phi(rho, sigma, nu)$, where $Phi$ is the unique weight-10 automorphic form of the genus-two modular group $Sp(2,Z)$, given by the infinite product in Eq. (15). The route is a chain of dualities: lift the 4D configuration to a 5D black hole in multi-Taub-NUT, read it as a D1-D5 system with $N = Q_1 Q_5 = tfrac{1}{2} q_e^2 + 1$, angular momentum $J_L = tfrac{1}{2} q_e dot q_m$ and left-moving momentum $L_0 = tfrac{1}{2} q_m^2$, and use the known D1-D5 degeneracies. The generating function for those degeneracies is the product formula for elliptic genera of Hilbert schemes of K3, corrected by the elliptic genus of a single fivebrane, which is exactly what shifts the product into the automorphic form $Phi$. The result reproduces the Dijkgraaf-Verlinde-Verlinde conjecture, with the extra sign $(-1)^{q_e dot q_m}$ noted as not spoiling duality invariance.
Load-bearing premise
The argument leans on the imported 4D/5D correspondence: that the Taub-NUT lift gives a one-to-one map between the 4D BPS states with charges (3) and the 5D black hole states, with the sign from the $(-1)^{2J_L}$ insertion handled correctly.
Editorial extensions
If this is right
- Every BPS degeneracy for the charge family in Eq. (3) is computable in principle by expanding $1/Phi$, giving an exact microstate count at all charges rather than only asymptotically.
- The 1996 Dijkgraaf-Verlinde-Verlinde conjecture for $N=4$ dyon degeneracies is confirmed, up to an overall sign $(-1)^{q_e dot q_m}$ that preserves duality invariance.
- The result ties 4D black hole entropy to the same automorphic form that controls the 5D D1-D5 elliptic genus, making the 4D and 5D countings different faces of one generating function.
- Because $Phi$ is the unique weight-10 form of $Sp(2,Z)$, the answer is fixed by symmetry alone; no free parameters enter the degeneracy formula.
Reading between the lines
- The agreement suggests a sharper statement than the paper makes explicit: the 4D dyon partition function may itself be a duality-invariant automorphic object, so that any 4D $N=4$ degeneracy is a coefficient of a single modular form rather than a sum over orbit representatives.
- If the correspondence holds beyond the single-D6 charge sector, one would expect the same $1/Phi$ to organize counting for more general D0-D2-D4-D6 combinations after acting with $SO(6,22;Z)$ and $SL(2;Z)$, which is a checkable structural prediction.
- The sign $(-1)^{q_e dot q_m}$ is a boson-fermion graded count; a natural follow-up is to ask whether ungraded state counts, relevant for entropy, differ from the graded ones in a way visible at small charges where the coefficients can be tabulated.
- The method suggests a general template: whenever a 4D black hole lifts to a 5D one in a Taub-NUT background, the 4D counting problem reduces to a known 5D elliptic genus, so the automorphic-form answer may extend to other compactifications with enough supersymmetry.
Original abstract
A recently discovered relation between 4D and 5D black holes is used to derive weighted BPS black hole degeneracies for 4D N=4 string theory from the well-known 5D degeneracies. They are found to be given by the Fourier coefficients of the unique weight 10 automorphic form of the modular group Sp(2,Z). This result agrees exactly with a conjecture made some years ago by Dijkgraaf, Verlinde and Verlinde.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
A recently discovered relation between 4D and 5D black holes is used to derive weighted BPS black hole degeneracies for 4D N=4 string theory from the well-known 5D degeneracies. They are found to be given by the Fourier coefficients of the unique weight 10 automorphic form of the modular group Sp(2,Z). This result agrees exactly with a conjecture made some years ago by Dijkgraaf, Verlinde and Verlinde.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | A recently discovered relation between 4D and 5D black holes is used to derive weighted BPS black hole degeneracies for 4D N=4 string theory from the well-known 5D degeneracies. | method 0.62 | 0.84 | 0.30 | asserted 1.00 |
| s1 | They are found to be given by the Fourier coefficients of the unique weight 10 automorphic form of the modular group Sp(2,Z). | result 1.00 | 0.86 | 0.54 | asserted 1.00 |
| s2 | This result agrees exactly with a conjecture made some years ago by Dijkgraaf, Verlinde and Verlinde. | result 0.53 | 0.40 | 0.26 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
74 arXiv papers cite this in 97 sentences
Papers citing it · 53 sentences without a confident label
Uses its method or tool 1 paper
-
In particular for a class of $=4$ supersymmetric string theories in four dimensions one can use Wald's formula [ref] adapted to BPS black holes [ref] for computing higher derivative corrections to the black hole entropy, and the results are in remarkable agreement with the microscopic results [ref] .
Logarithmic Corrections to Rotating Extremal Black Hole Entropy in Four and Five Dimensions · Introduction · 0.83
Uses its data or values 1 paper
-
With respect to the three-charge system, the microscopic entropy is [ref]
Exact charges from heterotic black holes · Corrected charges · 0.82
Compares with it 2 papers
-
In two previous papers [ref] we used the quantum entropy function to compute logarithmic corrections to the entropy of 1/8 BPS and 1/4 BPS black holes in $=8$ and $=4$ supersymmetric string theories respectively and found results in perfect agreement with the microscopic results of [ref] .
Logarithmic Corrections to N=2 Black Hole Entropy: An Infrared Window into the Microstates · Introduction · 0.82
-
In particular for quarter BPS black holes in type IIB string theory on $K3×T^2$ if the contribution to the path integral from some of the saddle points can be expressed as finite dimensional integrals, they can then be compared with the corresponding microscopic results derived in [ref] , providing us with a precision test of the $AdS_2/CFT_1$ correspondence.
Supersymmetry, Localization and Quantum Entropy Function · Introduction · 0.88
Cites it as background 37 papers
-
In the concrete context of extremal supersymmetric black holes in sectors of fixed charge, a similar question arises [ref] : can the gravitational path integral reproduce the integer degeneracy of such black holes which was computed in string theory [ref] ?
Black hole microstate counting from the gravitational path integral · Introduction · 0.80
-
A similar story for generic dyons [ref] should follow along the same lines.] in the above theory are given by a Fourier transform of the inverse of the Igusa cusp form $Φ_10$, the unique automorphic form of weight 10 defined on $Sp(2, )$ [ref] [equation] Here, $𝒞$ indicates a certain contour in the three complex dimensional space spanned by $$, so that the degeneracies on the left-hand side depend on this contour (this dependence has been suppressed in the notation).
Dyonic black hole degeneracies in $\mathcal{N} = 4$ string theory from Dabholkar-Harvey degeneracies · Exact dyonic black hole degeneracies and the attractor region · 0.80
-
Exact microscopic counting of BPS states, including the dependence of the spectrum on the asymptotic moduli, has now been achieved for a wide class of states in $=8$ supersymmetric string theories [ref] and a wide class of $=4$ supersymmetric string theories [ref] in four dimensions.
Black Hole Bound State Metamorphosis · Introduction · 0.96
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.