{"id":"6833bae7-8608-4acf-9cb0-129f9f58f0c0","arxiv_id":"hep-th/9806104","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Kaluza-Klein spectrum of 6d supergravity on S^3 x AdS_3 agrees with the K3^N/S_N orbifold CFT, and the non-chiral primaries Vafa counted via the elliptic genus arise as products of descendants of chiral primaries.","lead":"A 1998 paper computes the Kaluza-Klein spectrum of six-dimensional supergravity on S^3 x AdS_3 using representation theory and matches it to a two-dimensional conformal field theory, resolving a puzzle about missing states. It matters because it tests the AdS/CFT duality in a case where the boundary CFT is independently well understood.","discovery_kind":"unclear","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The §6.2 resolution of Vafa's puzzle counts non-chiral primaries from the CFT orbifold cohomology (the forms β_k and α_l), not from decomposing the supergravity short-multiplet tensor products, and the essential k>l prescription is asserted rather than derived.","rationale":"The reader's weakest_assumption (all KK states fall into short representations) is real and acknowledged in §6.1, and the reader is right that it is load-bearing for the inverse decomposition. I agree with that assessment. However, I think the sharper unacknowledged soft spot is in §6.2, where the resolution of Vafa's puzzle is presented as a supergravity-side explanation but the actual counting is performed with the CFT orbifold cohomology. The reader's second reason ('the 231N−273 count is computed from the same orbifold cohomology that produces the elliptic genus, so the match is a consistency check') captures this, but the reader does not press on the k>l prescription, which is the specific technical choice that makes the arithmetic work. The arithmetic itself is internally consistent: 233+231=464 and −319−273=−592, and 190+40+1=231 with −190−80−3=−273. The concern is not that the arithmetic is wrong but that the derivation is not independent. The paper's chiral primary matching in §6.1 is a clean independent check and supports the short-multiplet assumption; the §6.2 counting is weaker evidence for the headline claim. The reader's CONDITIONAL verdict is appropriate, and my concern sharpens rather than overturns it. The author is candid about the all-short assumption, and the mechanism (products of descendants generating non-chiral primaries) is physically sensible; the paper substantively advances the subfield. I would not change the verdict, but I would note that the abstract's 'complete agreement' is stronger than what §6.2 establishes, since the non-chiral counting is a CFT-side consistency check rather than a parameter-free supergravity prediction.","tokens_in":28965,"tokens_out":21263,"duration_ms":376504,"concrete_test":"Redo the §6.2 count purely from the supergravity short-multiplet content (6.1), without using the CFT forms β_k and α_l. Decompose the tensor products of the short multiplets (m,m+2)_S, (m+2,m)_S, and (n_T+1)(m,m)_S into SU(1,1|2) representations, identify the non-chiral primaries with h=1, q=0, and count them as a function of N. If the result is 231N−273, the resolution is a genuine supergravity prediction; if it differs (e.g., by 20N−20 from including k=l), the match is a fit and the headline claim weakens.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The headline claim is that the 464N−592 states of the form |0,1>_L ⊗ |q',q'/2>_R counted by the elliptic genus are accounted for as 233N−319 descendants of chiral primaries plus 231N−273 products of descendants. The mechanism (products of two h=1/2 states from short multiplets give a singlet with h=1, q=0) is a supergravity-side statement, but the actual multiplicity 231N−273 = 190(N−1) + 40(N−2) + (N−3) is obtained by enumerating products of the CFT cohomology classes β_k Ω^i (20 forms, i=0..N−1) and α_l Ω^i (2 forms, i=0..N−2), not by decomposing the supergravity short-multiplet content (6.1) into SU(1,1|2) tensor products. The supergravity input is only the existence of the chiral primaries, established independently in §6.1. The match is therefore a consistency check within the CFT, not an independent supergravity prediction. The k>l prescription is essential: using k≥l would give 210(N−1) + 40(N−2) + (N−3) = 251N−293, and the total would be 484N−612, missing the elliptic genus by 20N−20. The author does not justify why β_k paired with itself does not contribute a non-chiral primary; in the SU(1,1|2) tensor product j=1/2 ⊗ j=1/2 = 0 ⊕ 1, the singlet exists for k=l as well. A derivation from the supergravity side would need to show that the k=l products are either absent or already counted among the 233N−319 descendants.","agreement_with_reader":"partial"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The paper computes the Kaluza-Klein spectrum of six-dimensional (2,0) supergravity on S^3 × AdS_3 using representation theory, organizing the harmonics into short multiplets of the AdS supergroup SU(1,1|2) × SU(1,1|2). The single-particle spectrum is compared with the chiral primary spectrum of the K3^N/S_N orbifold conformal field theory, and the two are found to agree. The paper then addresses Vafa's puzzle: the elliptic genus of the orbifold counts 464N−592 states of the form |0,1>_L ⊗ |q',q'/2>_R, of which only 233N−319 are descendants of chiral primaries. The author proposes that the remaining 231N−273 states arise as products of descendants of chiral primaries, specifically as the singlet in the tensor product of two h=1/2 short multiplets, and verifies that 233N−319 + 231N−273 = 464N−592. The method is extended to other six-dimensional supergravities with n_L+n_R>1 and to the (1,0) case, and briefly to five-dimensional supergravity on S^2 × AdS_3.","tokens_in":29307,"tokens_out":13085,"duration_ms":233573,"significance":"The representation-theory method for extracting KK spectra is general and has been influential; it avoids solving the linearized field equations and reduces the problem to a group-theoretic decomposition. The chiral primary matching in §6.1 is a clean, parameter-free derivation from the field content and the short-multiplet decomposition (4.17)–(4.18), and the agreement with the orbifold Poincaré polynomial is non-trivial. The proposed resolution of Vafa's puzzle, if correct, identifies a concrete supergravity mechanism (tensor products of short multiplets producing longer multiplets) for states that had appeared to be missing, and the count 464N−592 is a falsifiable prediction checked against the elliptic genus. The extension to F-theory and M-theory compactifications in §7 is exploratory but suggests that the method has broad reach.","major_comments":[{"comment":"The paper states: 'Although we have no rigorous argument why all KK states should fall into short representations, it is impossible to organize the KK spectrum differently.' This limitation is acknowledged, and the consistency of the short-multiplet ansatz across all (n_L,n_R) cases is evidence in its favor. What remains unresolved is whether the decomposition of the harmonic spectrum (4.3) into short multiplets (6.1) is exact, i.e. whether every SO(4) representation in (4.3) is accounted for with no remainder. The coefficient match (t_2=1, t_1=0, t_0=n_T+1) does reproduce (4.3) exactly, but the paper does not state this explicitly, nor does it discuss whether a long-multiplet admixture could reproduce the same SO(4) content. A sentence making the exactness of the decomposition explicit, and a discussion of why long multiplets cannot mimic the short-multiplet content, would substantially strengthen the inverse-problem step on which the rest of the paper rests.","section":"§6.1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The resolution of Vafa's puzzle has a supergravity-side mechanism (the singlet in j=1/2 ⊗ j=1/2 gives a non-chiral primary with h=1, q=0), but the multiplicities 190(N−1)+40(N−2)+(N−3)=231N−273 are obtained by enumerating CFT cohomology classes β_k Ω^i and α_l Ω^i, with the maximal powers of Ω (N−1 and N−2) coming from the finite-N orbifold structure rather than from supergravity. The k>l prescription is essential: using k≥l would give 251N−293 and the total would miss the elliptic genus by 20N−20. The justification is the fermionic statistics of odd-degree forms, stated in §5 ('The oscillators are bosonic (fermionic) depending on whether Δ is even (odd)') and in §7.1 ('we should associate fermionic creation rather than bosonic creation operators to these chiral primaries'), but it is not repeated in §6.2 where it is used. The paper should make the k>l justification explicit in place and clarify which inputs are supergravity (the single-particle short-multiplet content) and which are CFT (the finite-N truncation on powers of Ω). As written, the match is a consistency check that uses CFT data on both sides, and the claim that it is a supergravity prediction is weaker than the abstract suggests.","section":"§6.2","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The claim that the KK spectrum of (1,0) supergravity is organized by the Hodge numbers of the mirror Calabi-Yau, ⊕_m ⊕_{i=-3}^{3} (∑_k h^{k+i,k}(M̃)) (m,m+i−1), is an observation rather than a derivation. The paper says 'it seems that the (0,4) conformal field theory knows about the duality between type I and F-theory,' which is speculative. A derivation, or at least a check in a simple case such as M = K3 × T^2 or M = T^6 (which the paper says also work), would strengthen the claim. In addition, the (1,0) case cannot determine the L̄_0 eigenvalue, so (7.6) is a spin-independent truncation of the full result (7.5); the paper should state explicitly what information is lost in passing from (7.5) to (7.6).","section":"§7.2, Eq. (7.6)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The coefficient 56(n_T+2)(m,m±1) contains n_T, but the (2,2) theory has no tensor multiplets and n_T is not defined in this context. This appears to be a typo for 56(m,m±1).","section":"Eq. (7.3)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The footnote notes that the elliptic genus diverges for N→∞, so the comparison with supergravity is at finite N. The paper should clarify the role of the large-N limit: supergravity gives the single-particle spectrum, while the finite-N orbifold supplies the truncation on powers of Ω. A sentence distinguishing what is tested at finite N from what is tested in the strict supergravity limit would help.","section":"§5, footnote 1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The relation c=6k between the Chern-Simons level and the central charge is stated without a brief check or a pointer to the derivation. A short justification, or a reference to the specific equation in the cited Hamiltonian-reduction literature, would make the section self-contained.","section":"§3.2","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The harmonic decomposition is illustrated with the graviton and with the (2,0) multiplet, but a single worked example for one field (e.g. a vector or a two-form) showing explicitly how the SO(3) little-group representation is embedded in the SO(4) harmonic would make the method transparent to a reader unfamiliar with [80].","section":"§4.1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The phrase 'we find complete agreement' should be qualified by the short-multiplet assumption discussed in §6.1. The agreement is complete within the ansatz, but the ansatz itself is not proven.","section":"Abstract","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The Hodge diamond (7.2) is stated without derivation. A sentence explaining how the entries are read off from t_0, t_1, t_2 would make the result checkable.","section":"§7.1, Eq. (7.2)","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"The paper is a well-known and influential contribution, and the central derivations are sound. The main issues are presentational: the short-multiplet assumption is acknowledged but could be stated more sharply, and the §6.2 counting mixes supergravity and CFT inputs in a way that the text does not fully disentangle. These are addressable within the manuscript's scope. The citation pattern is appropriate for the period, and the novelty relative to [43] (Larsen) is clear from the text."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"de Boer's paper is the one to read if you want the KK spectrum of 6d (2,0) supergravity on S^3 x AdS_3 without grinding through the field equations. The method — decompose the little-group representation into SO(3) harmonics, then repackage into short multiplets of SU(1,1|2) x SU(1,1|2) — is the reusable part, and it has been picked up widely since. That is the real contribution, and it is stated plainly in [abstract:s1]. What is genuinely new: the explicit short-multiplet content for the (2,0) theory, the matching of chiral primaries to the K3^N/S_N orbifold Poincaré polynomial, and the proposal that Vafa's missing states are non-chiral primaries built from products of descendants. The §6.1 matching is a clean independent check — supergravity gives n_T+1 chiral primaries of degree (m,m) plus one each of (m,m+2) and (m+2,m), and the orbifold gives the same list from separate data. That part I trust. The §6.2 resolution is weaker than the abstract's 'complete agreement' [abstract:s2] suggests. The mechanism is a supergravity-side statement (products of two h=1/2 short multiplets contain a singlet with h=1, q=0), but the actual multiplicity 231N-273 is counted from the CFT cohomology classes β_k Ω^i and α_l Ω^i, not from decomposing the supergravity short-multiplet content. So it is a consistency check within the CFT, not an independent supergravity prediction. The arithmetic 233N-319 + 231N-273 = 464N-592 is a nontrivial match, which is real evidence the mechanism is right, but it is not a parameter-free derivation from the bulk. The k>l prescription is asserted rather than derived. It is one line to justify — the singlet in 1/2 ⊗ 1/2 is antisymmetric, so β_k ∧ β_k vanishes — but the paper does not say it, and using k≥l would miss the elliptic genus by 20N-20. Minor, but worth flagging. The short-multiplet assumption is acknowledged in §6.1 and is load-bearing for the inverse decomposition; the author is candid about it. Sections 7.2 and 7.3 are sketches, explicitly flagged as such. Bottom line: solid, useful, widely reused. The chiral primary matching is the durable result; the non-chiral counting is a good consistency check dressed up a bit strongly in the abstract. Worth a serious referee.","headline":"A durable, widely reused representation-theory method for KK spectra on AdS_3, with a clean chiral-primary matching and a non-chiral counting that is a CFT-side consistency check rather than a bulk prediction.","tokens_in":30062,"tokens_out":2641,"would_cite":true,"duration_ms":51472,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["11.25.-w","04.65.+e","11.25.Hf"],"model":"selfhosted/deepseek-v4.1-flash","headline":"de Boer argues that the Kaluza-Klein spectrum of six-dimensional $(2,0)$ supergravity on $S^3 times AdS_3$ reproduces the $K3^N/S_N$ orbifold conformal field theory state by state, and that the states Vafa counted but could not locate in超级G","keywords":["AdS/CFT correspondence","Kaluza-Klein spectrum","six-dimensional supergravity","symmetric product orbifold","elliptic genus","superconformal algebra representations","chiral primaries","anti-de Sitter space in three dimensions"],"falsifier":"A concrete test is to take the harmonic list (4.3), convert each mode's anti-de Sitter mass and spin through $ell^2 m^2 = (h+bar h)(h+bar h-2)$ and $s = h - bar h$, and exhibit one mode whose $(h, bar h)$ fits no short multiplet of $SU(1,1|2) times SU(1,1|2)$; alternatively, evaluate the elliptic-genus prediction (5.10) at small $N$ where it is exact and check whether the multiparticle construction still yields exactly $464N-592$ states of the form $|0,1rangle_L otimes |q',q'/2rangle_R$.","tokens_in":30203,"feed_emoji":"🕳️","tokens_out":4443,"duration_ms":85078,"temperature":0.7,"pith_summary":"The paper asks whether the Kaluza-Klein tower of six-dimensional $(2,0)$ supergravity on $S^3 times AdS_3$ reproduces, state by state, the spectrum of the two-dimensional conformal field theory that the same geometry is supposed to encode. The author answers with a shortcut: rather than solving the linearized field equations, he decomposes each six-dimensional field into harmonics on $S^3$, then repackages the resulting $SO(4)$ representations into short multiplets of the anti-de Sitter supergroup $SU(1,1|2) times SU(1,1|2)$, whose highest-weight labels directly give conformal weights and spins at the boundary. The payoff is a match with the $K3^N/S_N$ orbifold conformal field theory, including the count of non-chiral primaries that Vafa's elliptic-genus argument said should exist but that a naive reading of supergravity seemed to miss. If the argument holds, the missing states were never missing: they are ordinary products of descendants of chiral primaries, and bulk-boundary agreement extends beyond the protected sector.","feed_headline":"Supergravity's 'missing' states turn out to be composites","feed_subtitle":"The Kaluza-Klein tower on S^3 x AdS_3 matches the K3 orbifold CFT, including states the elliptic genus counted.","key_machinery":"Two ingredients carry the argument. The first is the harmonic decomposition on the homogeneous space $S^3 = SO(4)/SO(3)$: a six-dimensional field transforming in a representation $R$ of the little group $SO(4)$ produces harmonics whose $SO(4)$ labels $(m,m')$ are exactly those that contain the $SO(3)$ pieces of $R$. The second is the oscillator construction of short multiplets of $SU(1,1|2)$, which packages four $Sl(2,R) times SU(2)$ representations with spins and weights $(k/2,0,k/2)$, $((k-1)/2, 1/2, (k+1)/2)$, $((k-2)/2,0,(k+2)/2)$ into a single multiplet labeled by $k+1$. Decomposing $(m,m')_S$ into $SO(4)$ representations turns the inverse problem — which short multiplets appear — into a linear comparison against the harmonic list, and the relation $ell^2 m^2 = (h+bar h)(h+bar h-2)$ with $s = h - bar h$ converts the answer into boundary conformal weights and spins. The same bookkeeping is then applied to $(2,2)$, $(1,1)$, $(3,0)$, $(2,1)$ and $(1,0)$ supergravities, to F-theory on a Calabi-Yau threefold, and to five-dimensional supergravity on $S^2 times AdS_3$.","core_discovery":"The central claim is that the complete Kaluza-Klein spectrum of $(2,0)$ supergravity on $S^3 times AdS_3$ falls into short multiplets of $SU(1,1|2) times SU(1,1|2)$, and that when these are decomposed into $SO(4)$ harmonics the result matches the harmonic content read off from the six-dimensional field content, term by term. Each short multiplet contains exactly one chiral primary, so the matching fixes the chiral-primary spectrum of the boundary theory, and taking arbitrary products of the single-particle chiral primaries reproduces the second-quantized spectrum of the orbifold. The paper then addresses Vafa's puzzle: the elliptic genus of $K3^N/S_N$ predicts $464N-592$ states of the form $|0,1rangle_L otimes |q',q'/2rangle_R$, of which only $233N-319$ are descendants of chiral primaries. The author shows that the remaining $231N-273$ arise as products of two spin-$1/2$ descendants of chiral primaries, whose tensor product contains a singlet of exactly this weight, and verifies the arithmetic explicitly as $190(N-1)+40(N-2)+(N-3)$.","pith_inferences":["If the resolution is right, the general lesson for holography is that a bulk supergravity spectrum is a poor probe of a boundary theory's full content: multiparticle tensor products of short multiplets generate long multiplets, so a boundary index can legitimately count states with no single-particle bulk counterpart.","The paper's own closing remark — that Kaluza-Klein spectra are 'almost completely determined by the field content and symmetries' — suggests that spectral matching of the kind done here is weak evidence for a duality, and that the discriminating tests will have to come from three-point functions and other interaction data.","The observation that a $(0,4)$ conformal field theory can be associated to an arbitrary Calabi-Yau, and that the spectrum knows about the type I / F-theory duality, invites the reverse question: which Calabi-Yau Hodge data are actually recoverable from a boundary chiral algebra, and which are washed out by the reduction.","Because the argument leans on every state being short, a natural check is to look for a Kaluza-Klein mode whose AdS mass and spin satisfy no short-multiplet relation; finding one would not merely weaken the counting but would change the decomposition of the entire tower."],"forward_implications":["The chiral-primary spectrum of the $K3^N/S_N$ orbifold conformal field theory, including its second-quantized multiparticle structure, is exactly reproduced by single-particle supergravity states plus their products, so the bulk passes a detailed spectral test beyond the BPS-protected leading term.","Vafa's elliptic-genus puzzle is resolved without invoking a phase transition, stringy states of enormous spin, or a large new sector of boundary-only singletons: the extra states are composites of descendants, and the paper checks the count $231N-273 + 233N-319 = 464N-592$.","The two chiral primaries of degree $(2,0)$ and $(0,2)$ that the harmonic analysis misses are accounted for by boundary fields of the $SU(1,1|2) times SU(1,1|2)$ Chern-Simons theory, playing a role analogous to singletons in the $AdS_5$ case.","The method assigns a Hodge diamond to any six-dimensional supergravity with more than eight supercharges: $(2,2)$ yields that of $T^4$, $(1,1)$ yields that of $K3$, and the general case fixes $t_0, t_1, t_2$ in terms of multiplet counts.","For F-theory on a Calabi-Yau threefold the spectrum organizes into $oplus_m oplus_{i=-3}^{3} (sum_k h^{k+i,k}(tilde M))(m, m+i-1)$, written in terms of the mirror's Hodge numbers, and for M-theory on $M^6 times S^2 times AdS_3$ only $b_{text{odd}}(M)$ and $b_{text{even}}(M)$ appear."],"supporting_citations":[{"why":"Supplies the anti-de Sitter / conformal field theory duality that the entire spectral comparison is testing.","marker":"[1]"},{"why":"Supplies the prescription for computing boundary correlators from bulk boundary conditions, which the paper uses to argue that non-chiral primaries are implicitly present in the supergravity description.","marker":"[2]"},{"why":"States the puzzle of the missing states, the elliptic-genus count that the paper sets out to reproduce from supergravity.","marker":"[40]"},{"why":"Classifies the three-dimensional anti-de Sitter supergroups and constructs their short multiplets by the oscillator method, which is the machinery the paper rederives and applies.","marker":"[50]"},{"why":"Gives the rule for which $SO(4)$ representations occur in the harmonic expansion on $S^3 = SO(4)/SO(3)$, the first half of the method.","marker":"[80]"},{"why":"Provides the second-quantized generating function for elliptic genera of symmetric products, equation (5.9), from which the $464N-592$ count is extracted.","marker":"[84]"},{"why":"Supplies the explicit elliptic genus of $K3$, equation (5.8), used as the input to the symmetric-product generating function.","marker":"[90]"},{"why":"Computes the Poincaré polynomial of the Hilbert scheme of points on $K3$, equation (5.3), giving the chiral-primary count the supergravity spectrum must match.","marker":"[83]"},{"why":"Establishes the relation between anti-de Sitter mass and boundary conformal weight for scalars, which section 3.3 extends to arbitrary spin.","marker":"[38]"}],"fun_headline_variants":["Supergravity KK tower matches 2d CFT, missing states proposed as composites","Vafa puzzle: proposed fix uses products of two spin-1/2 descendants","Kaluza-Klein spectrum on S3 x AdS3 matches orbifold CFT term by term","F-theory and M-theory spectra computed on Calabi-Yau times AdS3","Editor flag: abstract only proposes a resolution, not a proof"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The load-bearing premise is that every Kaluza-Klein state falls into a short representation of $SU(1,1|2) times SU(1,1|2)$; the author states in section 6.1 that he has no rigorous argument for this and that it is simply impossible to organize the spectrum differently, and without it the inverse problem of reading multiplet content off the $SO(4)$ harmonics is not well posed.","fun_headline_variants_meta":{"raw":{"variants":["Supergravity KK tower matches 2d CFT, missing states proposed as composites","Vafa puzzle: proposed fix uses products of two spin-1/2 descendants","Kaluza-Klein spectrum on S3 x AdS3 matches orbifold CFT term by term","F-theory and M-theory spectra computed on Calabi-Yau times AdS3","Editor flag: abstract only proposes a resolution, not a proof"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":2379,"prompt_tokens":979,"completion_tokens":1400,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":1303}},"tokens_in":979,"tokens_out":1400,"duration_ms":8060,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":1303,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T18:47:01.128114+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"A concrete test is to take the harmonic list (4.3), convert each mode's anti-de Sitter mass and spin through $ell^2 m^2 = (h+bar h)(h+bar h-2)$ and $s = h - bar h$, and exhibit one mode whose $(h, bar h)$ fits no short multiplet of $SU(1,1|2) times SU(1,1|2)$; alternatively, evaluate the elliptic-genus prediction (5.10) at small $N$ where it is exact and check whether the multiparticle construction still yields exactly $464N-592$ states of the form $|0,1rangle_L otimes |q',q'/2rangle_R$.","supporting_citations":[{"cited_title":"The Large N Limit of Superconformal Field Theories and Supergravity","cited_arxiv_id":null,"evidence_quote":"Supplies the anti-de Sitter / conformal field theory duality that the entire spectral comparison is testing."},{"cited_title":"Anti De Sitter Space And Holography","cited_arxiv_id":null,"evidence_quote":"Supplies the prescription for computing boundary correlators from bulk boundary conditions, which the paper uses to argue that non-chiral primaries are implicitly present in the supergravity description."},{"cited_title":"Puzzles at Large N","cited_arxiv_id":"hep-th/9804172","evidence_quote":"States the puzzle of the missing states, the elliptic-genus count that the paper sets out to reproduce from supergravity."},{"cited_title":"The Unitary Supermultiplets of d = 3 Anti-de Sitter and d = 2 Conformal Superalgebras","cited_arxiv_id":null,"evidence_quote":"Classifies the three-dimensional anti-de Sitter supergroups and constructs their short multiplets by the oscillator method, which is the machinery the paper rederives and applies."},{"cited_title":"On Kaluza-Klein Theory","cited_arxiv_id":null,"evidence_quote":"Gives the rule for which $SO(4)$ representations occur in the harmonic expansion on $S^3 = SO(4)/SO(3)$, the first half of the method."},{"cited_title":"Elliptic Genera of Symmetric Products and Second Quantized Strings","cited_arxiv_id":"hep-th/9608096","evidence_quote":"Provides the second-quantized generating function for elliptic genera of symmetric products, equation (5.9), from which the $464N-592$ count is extracted."},{"cited_title":"Elliptic Genera and N=2 Superconformal Field Theory","cited_arxiv_id":"hep-th/9306096","evidence_quote":"Supplies the explicit elliptic genus of $K3$, equation (5.8), used as the input to the symmetric-product generating function."},{"cited_title":"Perverse Sheaves and the C ohomology of Hilbert Schemes of Smooth Algebraic Surfaces","cited_arxiv_id":null,"evidence_quote":"Computes the Poincaré polynomial of the Hilbert scheme of points on $K3$, equation (5.3), giving the chiral-primary count the supergravity spectrum must match."},{"cited_title":"AdS3 Black Holes and a Stringy Exclusion Principle","cited_arxiv_id":null,"evidence_quote":"Establishes the relation between anti-de Sitter mass and boundary conformal weight for scalars, which section 3.3 extends to arbitrary spin."}],"review_version":1}