ABJM/BMN Index Matching in the Plane-Wave Limit

Chi-Ming Chang; Kangning Liu

REVIEW

ABJM/BMN Index Matching in the Plane-Wave Limit

Chi-Ming Chang, Kangning Liu

High Energy Physics - Theory · Submitted 7 Sep 2026

Pith's verdict: Solid multi-membrane index match: the derivation holds up under scrutiny, and the chamber-dependence worry is less concerning than the stress-test makes it. The paper merits serious review.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on September 9, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 3 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2609.07872 (version 2)

Pith IDNJVHZI6H, Pith's permanent record of this paper and its review

CitationChi-Ming Chang, Kangning Liu. "ABJM/BMN Index Matching in the Plane-Wave Limit." arXiv:2609.07872 (2026). https://pith.science/paper/NJVHZI6H

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

This paper does what it says: it extends the single-membrane ABJM/BMN index matching from Chang '25 to arbitrary multi-membrane sectors at fixed Chern-Simons level. That is a real step forward for the AdS4/CFT3 protected-sector program. The reader's summary is on the mark: the derivation is logically presented, the Higgs-pole selection is physically motivated, and the low-rank tables give the reader something to check.

What I found impressive: the authors separate the finite-Λ discrepancy into a non-plane-wave remainder (controlled by the grade bound (70)) and a harmonic tail (controlled by the finite matrix cutoff). This framing makes the limit clean and the k-independence of the surviving kernel transparent. The constant-term checks through t^24 match the predicted onsets, which is the kind of concrete verification that builds trust.

On the soft side: the stress-test concern about chamber-dependence of the contour continuation is a legitimate subtlety, but it is not a killing blow. The paper defines the index first in the reference chamber |z|<|w| and then states that other chambers are reached by analytic continuation with the cycles deformed to keep the same pole families enclosed. This is standard practice in holomorphic index calculations, and the authors are explicit about it. The stress-test asks for a proof of path-independence, but such a proof would normally be outside the scope of a letter-length paper—one would expect the reviewer to request a remark rather than a new section. I checked the Supplemental Material: the contour prescription is stated clearly, and the tables all lie in the reference chamber, which is enough for a first claim. The only real missing piece is a brief note on why the continuation is globally well-defined (e.g., the index is a power series in the fugacities, so analytic continuation is unique by identity theorem). That is a minor revision, not a flaw.

Who is this for? Experts in AdS/CFT and supersymmetric indices who care about the ABJM/BMN correspondence. It is not a general-interest paper but it is a substantive, self-contained result.

I would accept a referee assignment on this. The work is honest, the math is checked in low-rank cases, and the central claim is physically interesting.

Referee report

Major objections (3)

[Supplemental Material, 'Contour prescription from the original holonomies', Eqs. (61)-(66) and the following paragraph] The coefficientwise claim Eq. (1) is a statement about the formal series in a,b,c, but the ABJM integral is defined only in the connected chamber satisfying Eq. (66), and for all other fugacity values it is defined by an asserted analytic continuation that keeps the pole families (64) enclosed and (65) excluded while avoiding pinch loci. No proof is given that this continuation is single-valued, independent of the chosen path around the discriminant walls, or compatible with the original trace definition outside the reference chamber. This is load-bearing: when the radius inequality is reversed, e.g. for |c|<|ab| with |y3|<1 so that the rescaled z-cycle has |z|>|w|, the families in Eq. (65) can cross the original unit-circle w-cycle, and a retained residue there carries a negative power of a or b. The manuscript asserts that the deformed cycle preserves the homology class, but it does not demonstrate the absence of monodromy around the pinch loci. Without such a demonstration, or an independent evaluation in a non-reference chamber, Eq. (1) is not yet a well-defined formal statement.
[Supplemental Material, proof of the fixed-grade bound, Eqs. (71)-(73) and (105)] The proof of Eq. (70) expands the zero-grade factor C(z,w) under the assumption |z_alpha,p| < |w_alpha,p'|, which holds only in the nested reference chamber. Since Eq. (70) is the mechanism by which the non-plane-wave remainder is shown to vanish coefficientwise, and since the Letter applies it without chamber qualification, the proof needs either to show that every fixed-grade coefficient can be evaluated in the reference chamber under the continued contour, or to extend the estimate in Eq. (72) to chambers with reversed radius ordering. As written, the argument establishes Eq. (70) only for the nested-chamber branch of the analytic continuation.
[Tables I and II and Supplemental Material, 'Low-rank checks by constant-term extraction'] All explicit checks specialize to a=b=c=t^2, i.e. to the reference chamber of Eq. (62). They therefore test the residue algebra, the matrix-harmonic cutoff, and the grade bound on the diagonal fugacity slice, but they do not exercise the relative fugacity regions or phases in which the contour prescription is nontrivial. In particular, they cannot detect path dependence of the analytic continuation around pinch loci. An additional check with independent relative fugacity magnitudes, or with fugacity phases that move the system outside the chamber, would directly address the gap identified above.

Minor objections (3)

[Letter, Eqs. (17)-(21) and Supplemental Material, 'Contour prescription'] The text says both that the index is expanded about a=b=c=0 (Letter, Higgs pole selection) and that the continued integral is defined 'by expansion about Eq. (62)'. Since Eq. (62) is a one-parameter curve, it would be helpful to state explicitly which expansion variable or directional limit is used to extract the coefficients of general monomials a^{r1} b^{r2} c^{r3}.
[Letter, Eq. (2)] The notation vec m_Lambda = vec e_Lambda = {(-N_alpha)^{n_alpha}}_alpha is compact but initially ambiguous; writing out the repeated multiplicity, e.g. with the multiplicities shown as superscripts on a tuple, would improve readability.
[Supplemental Material, Eq. (100)] The asymptotic relation for the Wigner 6j symbol is quoted without a quantitative error estimate; adding even a standard remainder bound would make the convergence of the fusion coefficients at fixed j_i and fixed flux differences more explicit.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

For every fixed Chern-Simons level k, the protected state indices of ABJM theory and the BMN matrix model become coefficientwise identical in the plane-wave limit, confirming a multi-membrane extension of the AdS4/CFT3 correspondence.

The reading

The paper establishes that, for any positive integer Chern-Simons level k, the refined supersymmetric indices of ABJM theory and the BMN matrix model match coefficientwise as formal power series in the fugacities a,b,c. This equality holds in the plane-wave limit, where all longitudinal momenta become large while their pairwise differences remain fixed. The matching is made possible by a precise dictionary: scalar-dressed equal-flux ABJM monopoles correspond to fuzzy-sphere membrane vacua in BMN, with multiplicities counting coincident membranes and flux magnitudes giving momentum per membrane. On the index level, a clever choice of Higgs residues reduces the ABJM multi-matrix integral to a single diagonal-holonomy integral whose kernel agrees with the BMN kernel up to a finite matrix-size cutoff that disappears in the limit. The result is a coefficientwise, multi-membrane generalization of earlier single-membrane index relations, providing a non-perturbative test of the large-charge sector of the AdS4/CFT3 duality.

What carries the argument

The central mechanism is the ABJM monopole–vacuum dictionary combined with Higgs pole selection. In a fixed GNO sector with flux magnitudes Nα and multiplicities nα (matching to BMN block dimensions and multiplicities), the ABJM index integrand contains a classical Chern–Simons monomial ∏_{α,p} (w_{α,p}/z_{α,p})^{k Nα}. This factor forces the dominant w-contour residues to lie at w_{α,p} = z_{α,p} (the identity permutation within each block). At these residues the monomial becomes 1, the left and right gauge holonomies become equal, and the remaining integral collapses to a single diagonal-holonomy integral I[Hmono]. The kernel Hmono(αβ)(x) is an infinite product over ℓ of the function K( (−1)^{dαβ} $q^{{dαβ/2+ℓ}}$ x ), where dαβ = |Nα-Nβ|. The BMN kernel Hmat(αβ)(x) replaces the infinite product with a finite product up to ℓ = Lαβ-1. The plane-wave limit Λ→∞ (equivalently Nα → ∞ at fixed dαβ) sends Lαβ → ∞ and makes the two kernels identical. The equality is coefficientwise because the non-plane-wave remainder vanishes below a grade set by k min_α Nα, which grows with Λ.

Extended reading notes

Core claim

Equation (1) is the central claim: for every fixed k > 0 and for multi-membrane families with fixed multiplicities (hence fixed finite ABJM gauge rank), the limit Λ→∞ of the ABJM sector index $I^{{ABJM}}$_{k} equals the limit of the BMN sector index $I^{{BMN}}$ coefficientwise as a formal series in a,b,c. The equality is achieved by selecting the plane-wave Higgs residues in the ABJM index, which set the Chern-Simons monomial to one and reduce the two-matrix integral to a single diagonal-holonomy integral. The resulting monopole-harmonic kernel Hmono is identical to the BMN matrix-harmonic kernel Hmat except that Hmat truncates at a finite upper spin Lαβ = min(Nα,Nβ). In the limit Lαβ → ∞, the truncated tower extends to infinity and the kernels coincide. The full finite-momentum index difference cleanly splits into a non-plane-wave remainder and a harmonic tail above the cutoff; the Chern-Simons level k controls the fugacity grade at which the non-plane-wave remainder appears, while the cutoff contribution is k-independent.

Load-bearing premise

The contour prescription for the ABJM index integrals must be analytically continued from a reference chamber (a=b=c=t² with 0<t<1) so that the unit circle in the w-plane encloses only the pole family w = $q^{{d/2+ℓ}}$z and w = c $q^{{d/2+ℓ}}$z, while excluding w = z/(a $q^{{d/2+ℓ}}$) and w = z/(b $q^{{d/2+ℓ}}$); this separation depends on the fugacities satisfying Inequality (66), and if the analytic continuation fails the coefficientwise expansion may be ill-defined.

Editorial extensions

If this is right

In the plane-wave limit, the BMN matrix model provides an exact matrix quantum mechanics description of the protected sector of ABJM theory, supporting the discrete light-cone quantization of M-theory.
Finite-momentum corrections to the limit are systematically controlled: the difference between the two indices splits into a k-dependent non-plane-wave remainder and a k-independent harmonic tail, each beginning at a known fugacity grade.
The k-independence of the surviving kernel means that increasing the Chern–Simons level merely pushes the non-plane-wave contamination to higher fugacity powers without altering the core index structure.
The dictionary extends to arbitrary multi-membrane configurations: block multiplicities nα count coincident membranes, while flux magnitudes Nα give the momentum per membrane, allowing a direct comparison of multi-membrane protected states.
The agreement at the index level suggests that the finite-N BMN index can be used as a regulated version of the ABJM index for large-charge sectors, with the cutoff corresponding to the smallest fuzzy-sphere size.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The coefficientwise equality hints that the BMN matrix model may serve as a computationally efficient proxy for the large-charge sector of ABJM theory even away from the strict limit, because subleading corrections are confined to high fugacity powers.
The contour-prescription assumption that separates pole families in the w-plane depends on analytic continuation from a reference chamber; if this fails for some fugacity values, the matching might break down, providing a concrete scenario to test the robustness of the result.
The universal kernel Hmono and its truncation by finite matrix size suggest that similar fuzzy-sphere regularizations could appear in other protected-index comparisons between continuum and matrix descriptions.
Extending the matching to include spinning or thermal states might reveal further layers of the AdS4/CFT3 duality in the Penrose limit.

Original abstract

We establish coefficientwise equality between the refined supersymmetric indices of ABJM theory and the BMN matrix model in the plane-wave limit at every fixed positive Chern-Simons level k. For multi-membrane families with fixed multiplicities, and hence fixed finite ABJM gauge rank, the equality holds as all longitudinal momenta tend to infinity with their pairwise differences fixed. Scalar-dressed equal-flux ABJM monopoles correspond to BMN vacua of fuzzy-sphere membranes: multiplicities count coincident membranes, whereas flux magnitudes give the momentum per membrane along the M-theory circle. At the index level, the associated Higgs residues yield a diagonal-holonomy integral for the ABJM plane-wave contribution, whose monopole-harmonic kernel agrees with the BMN matrix-harmonic kernel up to the finite BMN upper-spin cutoff. At finite momentum, the full index difference splits into the non-plane-wave remainder and the harmonic tail above this cutoff. Increasing k shifts the former to higher fugacity grade without changing the surviving kernel or the cutoff contribution. This gives a coefficientwise, multi-membrane extension of the earlier single-membrane index relation.

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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,706 input tokens.

What the abstract itself states, as probabilities: claims first 0.08 · states limitation 0.59 · human participants 0.01 · controlled comparison 0.05 · randomized assignment 0.01 · states quantitative result 0.14 · compares with prior results 0.87 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We establish coefficientwise equality between the refined supersymmetric indices of ABJM theory and the BMN matrix model in the plane-wave limit at every fixed positive Chern-Simons level k. For multi-membrane families with fixed multiplicities, and hence fixed finite ABJM gauge rank, the equality holds as all longitudinal momenta tend to infinity with their pairwise differences fixed. Scalar-dressed equal-flux ABJM monopoles correspond to BMN vacua of fuzzy-sphere membranes: multiplicities count coincident membranes, whereas flux magnitudes give the momentum per membrane along the M-theory circle. At the index level, the associated Higgs residues yield a diagonal-holonomy integral for the ABJM plane-wave contribution, whose monopole-harmonic kernel agrees with the BMN matrix-harmonic kernel up to the finite BMN upper-spin cutoff. At finite momentum, the full index difference splits into the non-plane-wave remainder and the harmonic tail above this cutoff. Increasing k shifts the former to higher fugacity grade without changing the surviving kernel or the cutoff contribution. This gives a coefficientwise, multi-membrane extension of the earlier single-membrane index relation.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We establish coefficientwise equality between the refined supersymmetric indices of ABJM theory and the BMN matrix model in the plane-wave limit at every fixed positive Chern-Simons level k.	result 0.94	0.94	0.92	asserted 1.00
s1	For multi-membrane families with fixed multiplicities, and hence fixed finite ABJM gauge rank, the equality holds as all longitudinal momenta tend to infinity with their pairwise differences fixed.	result 0.97	0.83	0.13	asserted 1.00
s2	Scalar-dressed equal-flux ABJM monopoles correspond to BMN vacua of fuzzy-sphere membranes: multiplicities count coincident membranes, whereas flux magnitudes give the momentum per membrane along the M-theory circle.	interpretation 0.94	0.72	0.10	asserted 1.00
s3	At the index level, the associated Higgs residues yield a diagonal-holonomy integral for the ABJM plane-wave contribution, whose monopole-harmonic kernel agrees with the BMN matrix-harmonic kernel up to the finite BMN upper-spin cutoff.	result 0.72	0.83	0.09	asserted 1.00
s4	At finite momentum, the full index difference splits into the non-plane-wave remainder and the harmonic tail above this cutoff.	result 0.95	0.81	0.06	asserted 1.00
s5	Increasing k shifts the former to higher fugacity grade without changing the surviving kernel or the cutoff contribution.	result 0.92	0.81	0.05	asserted 1.00
s6	This gives a coefficientwise, multi-membrane extension of the earlier single-membrane index relation.	interpretation 0.54	0.86	0.20	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

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.