{"id":"4dab7c4b-07da-4c47-b192-7ae6a3807679","arxiv_id":"2607.05529","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Equivariantly closed polyforms for type II Page fluxes and actions enable direct 10D localization of on-shell actions and flux quantization for minimally supersymmetric backgrounds.","lead":"The authors build equivariantly closed polyforms for Page fluxes and the on-shell action of type II supergravity directly in ten dimensions. This lets one compute protected observables for broad classes of supersymmetric solutions without consistent truncations or solving the full equations of motion.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the already-flagged action polarization conjecture.","rationale":"The central claim—that any minimally supersymmetric type-II background admits the universal equivariantly closed Page-flux polyforms (2.19)–(2.20) and that their wedge product yields a localizable expression for the partially on-shell action—rests on two pillars. The first (polyform construction) is a direct algebraic consequence of the generalized-geometry supersymmetry conditions and is fully rigorous. The second (action prescription) is explicitly conjectural, as the Reader notes, but is tightly constrained by matching every previously known result in the two classes studied and by producing new results that agree with independent field-theory computations. No further internal inconsistency, missing assumption, or topological obstruction surfaces upon close reading of sections 2–4 and the appendices. The Reader’s CONDITIONAL verdict with high confidence already encodes precisely this residual caveat; no adjustment is warranted.","tokens_in":31061,"tokens_out":537,"duration_ms":5779,"concrete_test":"Independently recompute the Euclidean on-shell action for the Brandhüuber–Oz AdS6\times HS4 solution (or its spindle deformation) using the PST formalism (or a democratic supersymmetric completion) and compare the numerical coefficient of N^{5/2}/√n0 against equation (3.6). Agreement to better than 1 % would confirm the polarization prescription; a mismatch would require a revision of the s_i choice or the boundary-term treatment.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Reader correctly isolates the sole soft point: the partially on-shell action (2.25)–(2.26) is obtained from the democratic pseudo-action by a conjectural electric/magnetic polarization that retains only half the RR terms (signs s_i) and by discarding all boundary terms after the dilaton EOM (section 2.3 and appendix A.2). The polyform construction itself (2.19)–(2.20) follows rigorously from the supersymmetry conditions (2.9), (2.12), (2.13) and is not in doubt. The authors flag the action step as a conjecture and validate it a posteriori by exact recovery of all known lower-dimensional and large-N field-theory results (spindle free energies, black-brane actions, product-of-Riemann-surface free energies, etc.). No independent load-bearing gap appears in the derivation of the polyforms, the homology relations, or the master formulae (3.4) and (4.3).","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper constructs equivariantly closed polyforms for the Page fluxes of (massive) type IIA and type IIB supergravity, and for the partially on-shell action, working directly in ten dimensions. Starting from the supersymmetry conditions of Tomasiello et al. (eqs. 2.9, 2.12, 2.13), the authors obtain the universal completion Ψ_F = F + Σ_m Ψ_m with Ψ_m = (−1)^m/m! (Υ^m F + m Υ^{m−1} Φ) (eqs. 2.19–2.20). The partially on-shell action is then written as a wedge product of these polyforms (eq. 2.27), with ensemble signs s_i. Two large classes of massive IIA solutions are treated in detail: HS^4 fibrations over six-dimensional bases (master formula 3.4) and suspensions of toric Sasaki–Einstein five-manifolds over four-dimensional bases (master formula 4.3). In both cases the on-shell action is expressed solely in terms of equivariant weights and topological data of the fixed-point sets, without requiring a consistent truncation. Known lower-dimensional supergravity and large-N field-theory free energies are recovered and extended.","tokens_in":31283,"tokens_out":1106,"duration_ms":8567,"significance":"If the construction holds, it supplies a uniform ten-dimensional localization framework that bypasses consistent truncations and applies to arbitrary minimally supersymmetric type-II backgrounds. The explicit polyforms (2.19)–(2.20) and the master formulae (3.4), (4.3) are concrete, reusable results. The paper recovers every previously known on-shell action in the two classes (spindle free energies, black-brane actions, product-of-Riemann-surface free energies, etc.) and matches the corresponding large-N field-theory partition functions, while extending them to topologies for which no consistent truncation is available. The derivation of the polyforms themselves is first-principles and does not rely on lower-dimensional truncations; that is a genuine technical advance for holographic computations that require the full ten-dimensional geometry (probe branes, punctures, resolutions).","major_comments":[{"comment":"Section 2.3 and appendix A.2: the passage from the democratic pseudo-action (2.24) to the partially on-shell expressions (2.25)–(2.26) rests on a conjectural electric/magnetic polarization that retains only half the RR terms (with signs s_i) and discards all boundary terms after the dilaton equation. The authors correctly flag this as a conjecture and validate it a posteriori by matching known results. Because the central claim is that the polyforms compute the on-shell action, a short additional paragraph clarifying the status of the conjecture (and, if possible, a sketch of how a PST-style or democratic-action analysis would fix the signs) would strengthen the paper. The polyform construction itself is not affected.","section":null},{"comment":"Eq. (3.33) and the surrounding discussion of fixed B_4: the N^{3/2} correction involving the F_2 flux k_α is retained in the formula but is then set aside as sub-leading. The paper notes that it is “not obvious a priori that the formalism should compute such terms.” Either a brief argument that these terms are consistently sub-leading under the large-N scaling assumed throughout, or an explicit statement that they lie outside the present scope, would remove an ambiguity in the master formula (3.4).","section":null}],"minor_comments":[{"comment":"The Euclidean continuation (end of §2.3) is sketched only briefly; a sentence pointing to the precise holomorphic-slice conventions of Bergshoeff et al. or D’Hoker–Gutperle–Uhlemann would help readers who wish to reproduce the i-factors.","section":null},{"comment":"Appendix D.1: the choice to set the baryonic flux B through the resolution CP^1 to zero is stated without much motivation. A short remark that a non-zero B would correspond to a magnetic baryonic flux (and that the critical-point equations become substantially harder) would clarify the scope of the T^{1,1} calculation.","section":null},{"comment":"Notation for the ensemble signs s_i is introduced in (2.25)–(2.26) but the concrete choices used for the two classes appear only later; a forward reference would improve readability.","section":null},{"comment":"A few typographical inconsistencies remain (e.g., “Brandhüber–Oz”, occasional missing spaces around equation numbers). These are easily fixed.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is a solid, technically careful contribution that sits comfortably within the scope of a high-quality hep-th journal. The only soft point is the action-polarization conjecture, which the authors already flag; I do not regard it as grounds for major revision. The paper is ready for publication after the minor clarifications listed above."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real advance here is the universal tower of equivariantly closed polyforms for the Page fluxes (and then the action) written directly in ten dimensions. Equations (2.19)–(2.20) follow cleanly from the Tomasiello supersymmetry conditions; once you have them you can quantize fluxes and evaluate the on-shell action on any topology that admits a Killing vector, without ever needing a consistent truncation. That is new relative to the earlier localization papers that stayed in gauged supergravity or on internal spaces alone.\n\nThey then turn the polyforms into two master formulae, (3.4) for HS4 bundles over six-manifolds and (4.3) for SE5 suspensions over four-manifolds. Both recover every previously known free energy (spindles, black branes, product Riemann surfaces, etc.) and produce new ones that had no lower-dimensional dual. The field-theory matches at large N are non-circular and the appendices spell out the homology and spinor constraints carefully. Math looks solid; citations are appropriate and not padded.\n\nThe only soft point is the one the authors themselves flag: the partially on-shell action is obtained from the democratic pseudo-action by a conjectural electric/magnetic split (signs s_i) plus dropping boundary terms after the dilaton equation. They justify it a posteriori by matching known results, which is honest and works for the cases they check, but it remains a conjecture. Everything else—polyform construction, flux quantization, master formulae—stands independently of that step.\n\nThis is for people who actually compute holographic free energies or indices for massive IIA solutions that lack truncations. It is technical, not flashy, and the derivation is fully written out. I would send it to referees; the caveat on the action prescription is already stated clearly enough that a referee can weigh it. Worth engaging if you work in this corner of AdS/CFT.","headline":"Clean 10D equivariant polyforms that let you compute on-shell actions and fluxes without truncations; the only soft spot is a flagged, data-checked conjecture on the democratic action.","tokens_in":31889,"tokens_out":497,"would_cite":true,"duration_ms":5299,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Any minimally supersymmetric type II background admits universal equivariantly closed polyforms for the Page fluxes and on-shell action, so localization computes both without solving the equations of motion or needing a consistent truncatio","keywords":["equivariant localization","type II supergravity","Page fluxes","on-shell action","massive IIA","Sasaki-Einstein","Romans supergravity","AdS/CFT"],"falsifier":"Compute the Euclidean on-shell action for a new supersymmetric type IIA or IIB background whose free energy is independently known from field theory or from a consistent truncation, then check whether the localized master formula reproduces that free energy (including the correct ensemble signs).","tokens_in":31937,"feed_emoji":"📐","tokens_out":696,"duration_ms":6491,"temperature":0.7,"pith_summary":"The paper shows that the supersymmetry conditions of ten-dimensional type II supergravity already supply everything needed to complete the Page fluxes and the partially on-shell action into equivariantly closed polyforms with respect to the natural Killing vector built from spinor bilinears. Once those polyforms exist, the Berline–Vergne–Atiyah–Bott theorem reduces every flux integral and the on-shell action to data on the fixed-point sets of that vector. The authors write the polyforms explicitly, then apply them to two large classes of massive type IIA geometries (hemisphere bundles over six-manifolds and suspensions of Sasaki–Einstein five-manifolds over four-manifolds). In both classes they obtain master formulae that recover every previously known free energy or partition function and immediately extend to topologies for which no consistent truncation is known. The same formulae match large-N field-theory results wherever those results exist. The construction therefore turns a hard ten-dimensional PDE problem into a finite algebraic extremization over equivariant weights and topology.","feed_headline":"Ten-dimensional polyforms compute supergravity free energies by localization","feed_subtitle":"No equations of motion, no truncations: fixed-point data alone give the on-shell action and fluxes","key_machinery":"The equivariantly closed polyforms Ψ_F (eqs. 2.19–2.20) and the action polyform Ψ (eq. 2.27). They are built from the supersymmetry conditions d_H(e^{-ϕ}Φ̂) = -(eK + K)F_RR and deK = K⌟H by a single descent that uses only the local function Υ defined by eK + K⌟B = dΥ.","core_discovery":"For any background of (massive) type IIA or type IIB that preserves minimal supersymmetry, the Page fluxes admit the universal equivariant completion Ψ_F = F + Σ_m Ψ_m with Ψ_m = (-1)^m/m! (Υ^m F + m Υ^{m-1} Φ), and the partially on-shell action is simply the appropriate wedge product of these polyforms; localization of the resulting top form therefore yields both the quantized fluxes and the on-shell action for arbitrary topology.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Ten-dimensional polyforms localize supergravity free energies and fluxes","Equivariant polyforms give type II free energies from fixed-point data alone","Localization of 10D polyforms yields quantized fluxes and on-shell actions","No truncations needed: polyforms compute massive IIA free energies by localization","Fixed-point data alone determine supergravity actions via 10D equivariant polyforms"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The partially on-shell action is obtained from the democratic pseudo-action by a conjectural choice of electric/magnetic polarization that keeps only half the RR terms and by discarding all boundary terms after the dilaton equation is used.","fun_headline_variants_meta":{"raw":{"variants":["Ten-dimensional polyforms localize supergravity free energies and fluxes","Equivariant polyforms give type II free energies from fixed-point data alone","Localization of 10D polyforms yields quantized fluxes and on-shell actions","No truncations needed: polyforms compute massive IIA free energies by localization","Fixed-point data alone determine supergravity actions via 10D equivariant polyforms"]},"model":"grok-4.5","effort":"low","cost_usd":0.005222,"raw_usage":{"total_tokens":1341,"prompt_tokens":658,"num_sources_used":0,"completion_tokens":104,"cost_in_usd_ticks":52220000,"prompt_tokens_details":{"text_tokens":658,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":579,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":658,"tokens_out":104,"duration_ms":4321,"temperature":1.0,"reasoning_tokens":579,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T06:16:32.714532+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the Euclidean on-shell action for a new supersymmetric type IIA or IIB background whose free energy is independently known from field theory or from a consistent truncation, then check whether the localized master formula reproduces that free energy (including the correct ensemble signs).","supporting_citations":[],"review_version":1}