{"id":"375b8a44-8b56-4da1-94be-8bd6d4aad579","arxiv_id":"2411.16837","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A new maximal supergravity truncation on a wrapped M5-brane geometry reproduces the large-N superconformal index of 4d N=2 class S theories from holography.","lead":"The authors construct a new gauging of five-dimensional maximal supergravity, show it comes from M-theory on a wrapped M5-brane geometry, and use it to compute the superconformal index of the dual class S field theory at large N. They match a known field theory result in one limit and offer holographic predictions for other limits, the first holographic derivation of a class S index.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed completeness of the universal index is not established: footnote 44 discards non-universal Maass eigenvalues without showing they cannot become short multiplets contributing to (29).","rationale":"The paper is internally consistent and the Hall-Littlewood match is genuine support for the construction, but the strongest claim is about completeness of the spectrum feeding the index, not merely about the existence of the truncation. The reader identified exactly the same weakest point: the unproved exclusion of non-universal Maass eigenvalues and the reliance on algebraic arguments in place of explicit eigenfunctions. I see no reason to move the verdict: the right status is CONDITIONAL, pending a proof or numerical check that non-universal eigenvalues cannot lie on the shortening locus. If such a check found an offending mode, the central claim would fail; if not, the paper's completeness claim would be substantially confirmed. The recommendation is to maintain the reader's CONDITIONAL verdict, hence UNCHANGED.","tokens_in":10134,"tokens_out":12828,"duration_ms":129478,"concrete_test":"Compute the low-lying eigenvalues of the Maass Laplacian D_n in (18) on a specific compact hyperbolic surface, e.g. the Bolza surface of genus 2, using standard numerical automorphic-form methods, for the values of n appearing in the first several KK levels (k up to, say, 10). For each eigenvalue E, substitute it into the mass formula (22) and test whether the resulting dimension and charges satisfy any shortening condition of [29] that gives an index contribution in table I. If any non-universal eigenvalue passes the test, spectrum (24) is incomplete and (29) misses a contribution; if none does, the exclusion in footnote 44 is harmless for the index and the central claim stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that (24) is the complete universal light spectrum and (29) is the holographic index requires that every short su(2,2|2) multiplet at each KK level be included in (24). The paper supports this with the assertion that 'algebraic arguments are enough to determine (T^M)_LambdaSigma' although 'the explicit construction of Maass eigenfunctions on compact Sigma is an open problem,' and footnote 44 explicitly disregards 'other discrete, non-universal eigenvalues' of the Maass Laplacian (18). But (22) maps every eigenvalue E of D_n to a KK mass, and table I shows that any short multiplet contributes to the single-letter index. A non-universal eigenvalue lying on the shortening locus of [29] would add a term to (29), changing the 'perfect agreement' and making the spectrum (24) incomplete. The algebraic determination of the universal part of (T^M)_LambdaSigma cannot rule this out unless one proves the shortening conditions can only be met by the universal eigenvalues (19). No such proof is given; this is a load-bearing gap, not a mere technicality.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a new gauging of five-dimensional maximal supergravity with gauge group B2⋉ISO(5), including a trombone (local scaling) gauging, and shows that this theory arises as a consistent truncation of M-theory on the AdS5×(Σ⋊S4) geometry of Maldacena–Núñez, where Σ is a smooth Riemann surface of genus g≥2. Using exceptional generalized geometry, the authors propose a generalized frame whose torsion matches the embedding tensor, thereby establishing the truncation. They then use this truncation to derive the full \"universal\" Kaluza–Klein spectrum (24) of the D=11 solution, organized in multiplets of su(2,2|2), and compute the large-N superconformal index (29) of the dual class-S SCFT, finding agreement with the Hall–Littlewood limit computed by Gadde–Rastelli–Razamat–Yan. The paper claims this is the first holographic match of a class-S superconformal index.","tokens_in":10377,"tokens_out":4968,"duration_ms":39358,"significance":"If correct, the paper would be a substantial advance: it would provide the first consistent truncation to maximal supergravity on a non-spherical, non-parallelisable internal geometry, the first higher-dimensional origin of a trombone gauging with an AdS vacuum, and the first holographic derivation of a class-S superconformal index at large N. The paper is honest about its main gap: the construction of explicit Maass eigenfunctions on the compact surface is open, and the universal spectrum rests on an algebraic prescription for the matrix (TM)ΛΣ. The agreement with the known Hall–Littlewood result is a genuine external check and does give nontrivial support. The paper makes explicit falsifiable predictions for other index limits. However, the completeness claim for the spectrum, and hence for the index, is not proven; this is the crux of the evaluation.","major_comments":[{"comment":"The central claim that (24) is the complete universal spectrum and that (29) is the full holographic index depends on the assertion that the algebraic prescription fully determines the matrices (TM)ΛΣ without explicit Maass eigenfunctions, and on the disregard in footnote [44] of non-universal discrete eigenvalues of the Maass Laplacian (18). Since Eq. (22) maps every eigenvalue E of Dn to a KK mass, and since Table I shows that any short su(2,2|2) multiplet contributes to the index, a non-universal eigenvalue lying on the shortening conditions of [29] would add a contribution to (29). The paper does not prove that shortening can only occur for the universal eigenvalues (19); it only states the algebraic arguments are enough. This is a load-bearing gap: without a proof or a compelling rationale that non-universal eigenvalues cannot satisfy the shortening conditions, the \"complete, universal\" label and the \"perfect agreement\" are conditional.","section":"Universal spectrum, Eq. (24) and footnote [44]"},{"comment":"The consistency of the truncation rests on the statement that \"a lengthy calculation shows that the generalised torsion XMNP associated to our frame (11) with (12), (13) is constant, and indeed matches the embedding tensor (1) with (4), (5)\". This is the foundational input for the entire spectrum computation, but no details or intermediate results are provided, and the frame is only defined in terms of local frames ex, e^x on Σ. The authors cite standard EGG results and note the parallel with local G-structure truncations. Given that this is the first truncation on a non-parallelisable generalized geometry and that the frame is local in a non-trivial sense, the reader cannot verify the claimed matching of the embedding tensor without the calculation. I would ask for at least the essential steps of this calculation or a clear statement of where it appears in a follow-up, since this is the point on which the existence of the maximal truncation rests.","section":"M-theory uplift, text after Eq. (13)"},{"comment":"The derivation of the single-letter index from Table I is only sketched. It is stated that \"writing out the state content of the short multiplets in (24) with the help of [29], we identify the contributions summarised in Table I\" and that \"taking into account the genus-dependent multiplicity and the overall contributions from derivatives\" yields (28). The contributions in Table I do not immediately sum to (28) without specifying the multiplicity (20) included in each row and the derivative counting. Since the final agreement with (30) depends on the coefficient (g−1) and the power τ4, a one-line check of the sum would strengthen the paper. As written, an important step in the claimed match is left to the reader.","section":"Table I and Eq. (29)"},{"comment":"The universal eigenvalues Enj=(|n|−j)(|n|−j−1) are quoted from [34] with range j=0,...,|n|−1, and (20) gives genus-dependent multiplicities. This is a standard result for the Maass Laplacian on compact hyperbolic surfaces of the type considered (Dn is the Maass–Laplacian twisted by a flat U(1) connection of half-integer?/integer weight). The paper does not specify the regularity/automorphy conditions under which (19)–(21) hold, nor the weight of Dn as derived from the reduction. If the Maass Laplacian (18) is the one of weight n, then the universal eigenvalues (19) can be partly exceptional/subspace-dependent; also, for |n|=1, (21) gives only j=0 with eigenvalue 0, consistent with the dimension formula. This point should be clarified; the completeness of (24) depends on the exact statement of which eigenvalues of Dn are universal, and the cited reference [34] is a standard but specialized source. A precise statement of the spectral theorem used would make the argument checkable.","section":"Consistency of (19) with the R-symmetry range (21)"},{"comment":"The final index (29) scales as (g−1). The authors claim agreement with the large-N Hall–Littlewood result (5.49) of [5] \"after taking the plethystic exponential (and up to an overall sign)\". The overall sign and the plethystic exponential are both non-trivial: the single-letter index (29) is negative in some ranges of fugacities (e.g., the ρ4σ4 term is positive but the denominator can change sign), and the relation between the single-letter index and the full index is a plethystic exponent. The paper should provide the actual comparison, including the sign convention and the exact match of the series, rather than a parenthetical. This is the central positive check of the paper, and it deserves a few lines of detail.","section":"Universality of the g−1 factor and comparison with [5]"}],"minor_comments":[{"comment":"The abstract states \"gauge group containing ISO(5)\" and later the gauge group is stated as B2⋉ISO(5); the relation between these two statements is not explained in the Introduction. A sentence clarifying that B2 is a Borel subgroup of GL(2) acting on the translations would help.","section":"Abstract and Introduction"},{"comment":"The component ξ2ab6=−g3√−κ ǫab has an index structure that is not explicitly defined (a,b are SO(5) indices split as (a,α); ξxABC is in (2,84), so the constraints on the antisymmetrization [AB]C should be spelled out. Please define the independent components of ξ2ab6 in the same way as θij and θαβ6γ.","section":"Eq. (5)"},{"comment":"In the scalar potential (7), the first term contains g4 2 g−2 1 κ2, but g3 has been set equal to g2. It would be helpful to state explicitly that this is the specialization g2=g3 used for the potential, and to clarify the dependence on κ=0 case (which is presumably Minkowski or de Sitter, not AdS).","section":"Eq. (7)"},{"comment":"The notation A2Ā2, B1B̄1, etc., is taken from [29], but the definition of the lowest-weight labels (e.g., A2Ā2[0;0](0;0)2) is not given in the paper. For a self-contained reading, a one-sentence definition or a pointer to the conventions of [29] should be included. Also, Eq. (9) is presented as a \"mass spectrum\" but later said to reproduce (for the first line) the N=4 result; the reader would benefit from a table of the superconformal multiplet labels with their quantum numbers.","section":"Notation for multiplets"},{"comment":"The footnote mapping the scalar fields to [12] contains what appears to be a typo: \"ϕ0here = 2λthere − φthere\" should likely read \"ϕ1here = 2λthere − φthere\". Please check the mapping.","section":"Footnote [40]"},{"comment":"In the uplifted metric (14), the dilaton ϕ2 appears in the dx2+dy2 factor but the scalar sector described earlier set ϕ2=0 for the SO(1,1)^2 model. It would be clearer to state explicitly the range of validity of (14) with all axions and vectors set to zero.","section":"Eq. (14)"},{"comment":"Reference [34] (Elstrodt) is cited for the universal eigenvalues of the Maass Laplacian; if the authors rely on a more standard textbook statement (e.g., Iwaniec, Spectral Methods of Automorphic Forms), citing both would be more accessible to the physics readership.","section":"References"},{"comment":"The sentence \"in agreement with the large-N result (5.49) of [5] after taking the plethystic exponential (and up to an overall sign)\" is too terse; the sign and normalization conventions should be spelled out. This is minor only because the claim is likely correct, but the present level of detail makes verification harder than necessary.","section":"Text near Eq. (30)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a research letter with a strong central claim. The main issue is not that the authors are being deliberately sloppy, but that the completeness of the spectrum rests on an unproved algebraic assertion. The reader's report and the skeptic's note converge on the same point: footnote [44] and the \"algebraic arguments\" sentence carry more weight than a letter format can justify. I think this is a candidate for major revision rather than rejection, because the external agreement with the Hall–Littlewood index gives real support and the gap is clearly identified. If the authors can either prove the non-contribution of non-universal Maass eigenvalues or substantially justify it, the paper would be a strong accept. I would also encourage the editor to consider whether the journal's page limits are compatible with the requested details; the authors may need to add an appendix or a companion note."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has two things worth knowing upfront. First, it is a serious candidate for the first holographic match of a class S superconformal index, built on the first maximal consistent truncation on a non-spherical, non-parallelisable geometry. Second, the central completeness claim is not actually proven: footnote 44 simply disregards non-universal Maass eigenvalues, without showing they cannot satisfy the shortening conditions and contribute to the index. The reader's CONDITIONAL verdict is the right one.\n\nWhat is genuinely new: the ××N=8 gauging with a trombone and its AdS vacuum, the exceptional-generalised-geometry construction on the wrapped-M5 geometry, and the holographic index matching the known Hall-Littlewood limit of [5]. The agreement with field theory is a real cross-check and gives the paper its weight. The spectral techniques borrowed from the authors' earlier work are appropriate; self-citation here is not a problem.\n\nThe soft spots are concentrated in exactly the steps that would let a referee verify the edifice. The constancy of the generalised torsion is a 'lengthy calculation' that is not shown. The quadratic constraint is asserted. The mass matrices (T^M)_ΛΣ are determined by 'algebraic arguments' despite the explicit construction of Maass eigenfunctions being open. These are normal for a Letter, but they are also the load-bearing walls.\n\nThe most serious issue is footnote 44. The universal eigenvalues (19) are a theorem, but the existence of other discrete, surface-specific eigenvalues is also known. The paper needs an argument that those eigenvalues cannot lie on the shortening locus of [29], or an argument that any such short multiplets cancel in the index. The field theory index is known to depend only on the genus, so one could use that as indirect evidence, but the paper does not make that move. Without it, the claim that (24) is the complete universal spectrum is a conjecture, and the index (29) could change if a non-universal mode enters. This is a genuine gap, not a stylistic quibble.\n\nAll that said, the paper is coherent, honest about its limitations, and technically rich. It deserves a serious referee. I would send it to peer review, but with a clear instruction: the referee should demand either a proof that non-universal Maass eigenvalues cannot shorten, or an explicit statement in the paper that the index computation assumes that exclusion as a conjecture. That is a necessary condition for acceptance.","headline":"A likely important result for holographic class S, but the completeness claim rests on an unproved exclusion of non-universal Maass eigenvalues in footnote 44.","tokens_in":10890,"tokens_out":4591,"would_cite":true,"duration_ms":46663,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.65.+e","11.25.Tq"],"model":"deepseek-v4-flash","headline":"A consistent truncation of eleven-dimensional supergravity on the wrapped-M5-brane geometry determines the complete universal light spectrum of the dual class S theory and yields its superconformal index, matching known large-N field…","keywords":["superconformal index","class S theories","maximal supergravity","consistent truncation","M5-branes","exceptional generalised geometry","Maass Laplacian","AdS/CFT correspondence"],"falsifier":"Compute the large-$N$ Schur index from the finite-$N$ field-theory results of [5] and compare it with the Schur limit of (29); any mismatch would falsify the claimed holographic index.","tokens_in":9923,"feed_emoji":"🌐","tokens_out":16012,"duration_ms":133245,"temperature":0.7,"pith_summary":"This paper establishes that $D=11$ supergravity on the geometry obtained by wrapping M5-branes on a Riemann surface admits a consistent truncation to a new five-dimensional maximal supergravity, one that gauges the local scaling symmetry as well as a group containing $\\mathrm{ISO}(5)$. The truncation fixes the complete universal spectrum of light operators in the dual four-dimensional $\\mathcal{N}=2$ theory of class $\\mathcal{S}$, organized into towers of superconformal multiplets. From the short multiplets in that spectrum, the authors compute the holographic superconformal index and match the known large-$N$ field-theory result in the Hall-Littlewood limit. This is presented as the first holographic derivation of a class $\\mathcal{S}$ superconformal index and the first maximal truncation on a non-spherical, non-parallelisable internal geometry.","feed_headline":"Supergravity on wrapped M5-branes reproduces class S index","feed_subtitle":"Consistent truncation of 11d supergravity fixes the light spectrum and matches the known large-N field-theory index.","key_machinery":"The load-bearing object is the generalised frame (11) in exceptional generalised geometry, a repackaging of the fields of $D=11$ supergravity into $\\mathrm{E}_{6(6)}$ multiplets, built from the local vielbeins of the Riemann surface $\\Sigma$ and the Killing vectors of the four-sphere fibre together with the fibration element (13). Its generalised torsion is constant and reproduces the embedding tensor (1) with (4), (5), which is the criterion for a consistent truncation to maximal supergravity. On the spectrum side, the Maass Laplacian $D_n$ on $\\Sigma$ supplies the universal eigenvalues (19) with multiplicities (20), and the graviton eigenvalue problem separates into the hypergeometric equation (17); the resulting masses (22) determine the towers (24). States at KK level $k\\ge 1$ are generated by tensoring the five-dimensional $N=8$ supergravity multiplet with the graviton eigenstates, and the mass matrices are diagonalised level by level. The superconformal index (26) is then evaluated by identifying the short multiplets in these towers.","core_discovery":"The central claim is that the maximal $N=8$ supergravity in five dimensions specified by the embedding tensor (1) with (4), (5) arises by consistent truncation of $D=11$ supergravity on the $\\mathrm{AdS}_5 \\times (\\Sigma \\rtimes S^4)$ solution of [6]. Consistency is shown through a generalised frame whose generalised torsion is constant and matches that embedding tensor, even though the internal space is neither spherical nor parallelisable and the frame is only locally defined. The truncation then controls the full Kaluza-Klein spectrum: at every KK level the light states assemble into the towers of $\\mathfrak{su}(2,2|2)$ supermultiplets displayed in (24), with genus-dependent multiplicities supplied by the universal eigenvalues of the Maass Laplacian on $\\Sigma$. Keeping only the short multiplets and summing their contributions yields the superconformal index (29), which reduces to the Hall-Littlewood index $I_{HL}=(g-1)\\tau^4/(1-\\tau^2)$ in agreement with the large-$N$ field-theory result of [5]. The paper therefore claims the first holographic match of a class $\\mathcal{S}$ superconformal index.","pith_inferences":["Going beyond the paper, the same algebraic spectrum (24) determines the subleading large-$N$ corrections to the index once the non-short multiplets' one-loop determinants are evaluated, a step the paper does not take.","The decision to disregard non-universal Maass eigenvalues amounts to the conjecture that the holographic index depends only on the genus through $g-1$; a surface-dependent correction would be a clear and testable violation.","If the Schur and Macdonald predictions from (29) match future field-theory computations, it would confirm that the protected-sector data of class $\\mathcal{S}$ theories at large $N$ is fixed entirely by the generalised-geometry truncation, without needing explicit Maass eigenfunctions.","One could test the truncation directly by computing the KK spectrum on a specific genus-two surface numerically and checking whether any state outside the towers (24) lies in a short supermultiplet."],"forward_implications":["The index formula (29) supplies explicit large-$N$ predictions for the Schur, Macdonald and Coulomb branch limits of the class $\\mathcal{S}$ index, to be compared with the finite-$N$ results of [5].","All light states of the $\\mathrm{AdS}_5 \\times (\\Sigma \\rtimes S^4)$ solution are accounted for by the universal towers (24), so no additional protected multiplets appear in the spectrum.","The genus dependence of the spectrum and index, encoded in the $(g-1)$ factors from the Maass Laplacian multiplicities, matches the expected dependence of the dual class $\\mathcal{S}$ theory.","The consistent truncation provides a concrete higher-dimensional origin for trombone gaugings, the gaugings of the local scaling symmetry of the metric, with supersymmetric AdS vacua.","The same generalised-geometry construction is expected to apply to the related wrapped-M5-brane geometries considered in [9], potentially yielding holographic indices for the corresponding $\\mathcal{N}=1$ SCFTs."],"supporting_citations":[{"why":"Defines the superconformal index as the trace in (26) whose large-$N$ value the paper computes holographically.","marker":"[4]"},{"why":"Gives the finite-$N$ field-theory superconformal index for class $\\mathcal{S}$ theories whose large-$N$ Hall-Littlewood limit the paper matches.","marker":"[5]"},{"why":"Defines the $\\mathrm{AdS}_5\\times(\\Sigma\\rtimes S^4)$ solution and its dual class $\\mathcal{S}$ SCFT, the background on which the truncation is performed.","marker":"[6]"},{"why":"Provides the five-dimensional $\\mathcal{N}=4$ supergravity and the exceptional-generalised-geometry description that the new truncation reduces to in the U(1)-invariant sector.","marker":"[12, 13]"},{"why":"Establishes the criterion that a constant generalised torsion defines a consistent truncation to maximal gauged supergravity, the condition the constructed frame is claimed to satisfy.","marker":"[15, 17]"},{"why":"Supplies the spectral method for computing KK mass matrices level by level from the generalised frame and for organising states into superconformal multiplets.","marker":"[19–22]"},{"why":"Provides the embedding-tensor formulation and the branching rules under which the new gauging is defined, including the argument that tromboneless gaugings would be restricted to the (1,21) component.","marker":"[23]"},{"why":"Classifies $\\mathfrak{su}(2,2|2)$ superconformal multiplets and their shortening conditions, used to identify the short multiplets contributing to the index.","marker":"[29]"},{"why":"Supplies the universal eigenvalues (19) and the allowed range (21) of the Maass Laplacian on compact Riemann surfaces.","marker":"[34]"},{"why":"Supplies the genus-dependent multiplicities (20) of those eigenvalues, giving the $(g-1)$ factors in the spectrum and index.","marker":"[35]"}],"fun_headline_variants":["Maximal supergravity truncation yields class S index","Holographic match for class S index from supergravity","Exact truncation gives class S superconformal index","Supergravity on M5 stack nails class S index","Consistent truncation reproduces class S index"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that the only wave modes that matter are the ones fixed by symmetry, and that the extra modes special to each particular Riemann surface, which the paper explicitly sets aside, do not contribute to the index.","fun_headline_variants_meta":{"raw":{"variants":["Maximal supergravity truncation yields class S index","Holographic match for class S index from supergravity","Exact truncation gives class S superconformal index","Supergravity on M5 stack nails class S index","Consistent truncation reproduces class S index"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000188,"raw_usage":{"total_tokens":1329,"prompt_tokens":939,"completion_tokens":390,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":555,"completion_tokens_details":{"reasoning_tokens":313}},"tokens_in":555,"tokens_out":390,"duration_ms":3642,"temperature":1.0,"reasoning_tokens":313,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:48:50.668500+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the large-$N$ Schur index from the finite-$N$ field-theory results of [5] and compare it with the Schur limit of (29); any mismatch would falsify the claimed holographic index.","supporting_citations":[{"cited_title":"Elstrodt, Math","cited_arxiv_id":null,"evidence_quote":"Supplies the genus-dependent multiplicities (20) of those eigenvalues, giving the $(g-1)$ factors in the spectrum and index."}],"review_version":1}