{"id":"3947ba75-6c85-446a-93b6-88578316f86d","arxiv_id":"2510.26608","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors define d-dimensional homotopy chiral algebras in a Jouanolou model, construct the unit such algebra from Feynman-graph residues, and realize higher Kac-Moody and Virasoro structures via free fields.","lead":"This paper builds a higher-dimensional version of chiral algebras by using Jouanolou torsors as explicit models for configuration spaces, and constructs the 'unit' example from Feynman graph integrals. A specialist might care because it connects derived algebraic geometry, holomorphic quantum field theory, and higher Kac-Moody/Virasoro symmetries with concrete computable operations.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.25's L∞ relation depends on an unstated factorization of the Feynman integrand on boundary strata, not just the imported smoothness of d^{-1}_Γ.","rationale":"The Reader already identified the imported analytic facts—smooth extension of d^{-1}_Γ and the boundary decomposition—as the weakest assumption. I agree that this is the load-bearing region. My pass sharpens the concern: even granting Lemma B.6 and Proposition B.7 verbatim, the proof of Theorem 2.25(2) contains an unstated step where boundary contributions are identified with compositions of residues. That identification requires the Feynman integrand to factor on boundary strata; without it, the L∞ relation is not established. This is a genuine gap in the written proof, though not a demonstrated contradiction. The rest of the paper—the Jouanolou model, D-module structures, the explicit two-dimensional computations, and the free-field applications—is coherent conditional on this theorem. Since the Reader's verdict was already CONDITIONAL, my concern does not change the verdict; it does give a concrete way to decide whether the conditional should be upgraded or downgraded.","tokens_in":47742,"tokens_out":6991,"duration_ms":62400,"concrete_test":"Verify Theorem 2.25(2) for d=2 on the 4-point graph Γ with vertices {o,1,2,3} and edges [o,1], [1,2], [2,o], [3,o], [3,2] (the two-loop graph of Section 4.5). Take α = W_Γ(z_e) dz^♦_{o,1,2,3}. Compute the left-hand side −˜μ_Γ(dα) directly from Definition 2.19 by numerical integration over S_+, using the explicit formula in Proposition 2.15. Compute the right-hand side by applying Definition 2.19 to the subgraphs appearing in the boundary decomposition (e.g., the triangle and the remaining edges) and composing the resulting operations. If the two sides agree to numerical precision (say 1e−6), the missing factorization is supported; if they disagree, Theorem 2.25(2) has a concrete gap. A cheaper analytic cross-check is to compute d^{-1}_Γ restricted to the boundary face t_e=0 for e in the triangle using Proposition A.9 and compare with the graphical Green's functions of the subgraph and th","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 2.1) rests on Theorem 2.25(2), whose proof is a Stokes computation on the partially compactified Schwinger space. The written proof cites Lemma B.6 (smooth extension of d^{-1}_Γ, imported from [19]) and Proposition B.7 (boundary decomposition), and then asserts the chain\n\n−˜μ_I dα = Σ_{Γ'⊂Γ} sgn(...) ∫_{S_+(Γ_1−Γ'_1)} ∫_{S_+(Γ'_1)} ∫ ... ˜W = Σ_{I'⊂I} ˜μ_{•}∪I−I' ∘ ˜μ_{I'⊂I}(α).\n\nThe final equality is not a formal consequence of B.6 and B.7 alone. It requires that, on the boundary stratum indexed by a subgraph Γ', the Wick-evaluated graph integrand factors as a product of the two residue integrands for Γ' and for the contracted graph Γ/Γ', with the correct identification of internal vertices and the correct sign. This stratumwise factorization involves the limiting behavior of the graphical Green's function on divisors—not merely smooth extendability. The paper neither proves nor cites this factorization. If extra terms survive on some stratum, the L∞ relation fails, and with it the unit chiral algebra and the Section 3 free-field realizations. This is the same import the Reader flagged, but more specific: the missing ingredient is not just convergence but a multiplicative structure on boundary strata.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a higher-dimensional analogue of Beilinson–Drinfeld chiral algebras using the Jouanolou torsor to model derived global sections of configuration spaces of points in A^d. It defines a dg operad P^d[A] of chiral operations and calls a homotopy chiral algebra an L∞-algebra map into this operad. The main construction is a 'higher residue' on the Jouanolou model of (ω_{A^d}[d])^⊠I, expressed as a sum of Feynman graph integrals over a partially compactified Schwinger space. Theorem 2.25 asserts that these operations satisfy shifted L∞ relations, yielding the unit homotopy chiral algebra ω^♦_{A^d}=ω_{A^d}[d−1] (Theorem 2.1). Section 3 uses these operations plus a higher-dimensional Wick theorem to construct commutative and free ghost chiral algebras, and gives free-field realizations of the higher Kac–Moody central extension of [5] and a higher Virasoro cocycle. Section 4 specializes to d=2, derives a recursive formula for chiral operations on Type I' Laman graphs from the L∞ relations, and compares the low-loop weights with [4,8].","tokens_in":48059,"tokens_out":8130,"duration_ms":74160,"significance":"If the main theorems are correct, this is a substantial contribution: it provides an explicit unit object in a higher-dimensional chiral operad with GL_d symmetry, establishes a bridge between Jouanolou-model chiral algebras and holomorphic Feynman graph integrals, and reproduces and extends physics predictions [4,8] via a mathematically formulated residue. The paper contains detailed computations, a recursive formula, and Mathematica code for the five-ary operation, which are concrete and checkable. The overall architecture is coherent, but the proof of the central L∞ relation has a gap that must be repaired before the construction is fully supported.","major_comments":[{"comment":"The proof of the L∞ relation contains an unproved equality. The displayed chain after Stokes’ theorem asserts that the boundary sum over subgraphs Γ′ equals the composition sum ∑_{I′⊂I} ˜μ_{•}∪I−I′ ∘ ˜μ_{I′⊂I}. Lemma B.6 gives smooth extension of d^{-1}_Γ, and Proposition B.7 gives the boundary decomposition of S_+, but neither alone implies that the Wick-evaluated graph integrand factors on the boundary stratum indexed by Γ′ into the product of the integrands for Γ′ and for the contracted graph Γ/Γ′, with the correct identification of internal vertices and signs. This stratumwise multiplicative factorization is a separate analytic fact about the graphical Green’s function on divisors. Without it (or a precise reference), Theorem 2.25(2) is not established, and with it fall Theorem 2.1 and the Section 3 free-field realizations. Please prove this factorization explicitly or state it as a","section":"§2.4, Theorem 2.25(2)"},{"comment":"The residue is defined on the quotient J^I_{A^d}((ω_{A^d}[d])^⊠I), so it must be shown to be independent of the choice of Feynman graph representative for a monomial under the relations defining the Jouanolou model, including ∑_s x^s_{ij}(z^s_i−z^s_j)=1, ∑_s dx^s_{ij}(z^s_i−z^s_j)=0, and antisymmetry x^s_{ij}=−x^s_{ji}. The text says 'By proposition 2.18, residues are well-defined,' but Proposition 2.18(1)–(3) as stated are identities for particular insertions; they do not explicitly enumerate the quotient relations and verify invariance for each. Please spell out the well-definedness argument, or state exactly which combinations of Proposition 2.18 imply it.","section":"§2.3, Definition 2.19"},{"comment":"The operad structure on the Jouanolou model and the quasi-isomorphism J^I_{A^d}[M] ≃ Rj_{I*} j_I^* M are imported from [6] ('completely parallel', 'one can show'). Since [6] is a preprint and this result is foundational for the definition of chiral operations and for the whole paper, the dependence should be made explicit: state the needed result as a lemma with a proof, or give the precise statement and location in [6], including the flatness over O_{(A^d)^I} and compatibility of the two quotient maps with the D-module structures.","section":"§1.1–1.2, Theorem 1.7 and Remark 1.5"}],"minor_comments":[{"comment":"The displayed formula for γ_vir has the third term div(T_3)·⟨∂T_1,∂T_2⟩, which appears to be a typo for a cyclic expression such as ⟨∂T_2,∂T_3⟩ or ⟨∂T_3,∂T_1⟩. Please check.","section":"§3.4, Prop. 3.12"},{"comment":"In the Mathematica code for F, the term `wedge[\\[Lambda]3]*...` contains the typo `\\[Lambd3a]`; the code as printed will not run without correction.","section":"Appendix C"},{"comment":"The notation J^I_{A^d} := JJ^I_{A^d} is confusing; please use distinct symbols for the universal Jouanolou jet algebra and the quotient model.","section":"§1.1, Remark 1.5"},{"comment":"The sign prefactor (−1)^{1/2(|Γ_1|−l)(|Γ_1|−l+1)+1} appears without derivation; it would help to explain its origin or to point to the sign convention being used.","section":"§2.3, Definition 2.19"},{"comment":"The proof only treats the case i<i′=n; the general case is said to be trivial, but for completeness the permutation action on the target (Definition 1.6(2)) should be checked explicitly.","section":"§2.4, Theorem 2.25(1)"},{"comment":"The notation z[21o] is used before being defined. Define the loop-momentum notation in a preliminary paragraph.","section":"§4.4"},{"comment":"The phrase 'without knowing Feynman integrals' is misleading if taken literally, since the L∞ relations used in Section 4 were themselves established via Feynman integrals. Please qualify it, e.g. 'after the fact, the recursive formula gives an independent way to compute the weights'.","section":"Introduction / §4, Remark 4.14"}],"recommendation":"major_revision","confidential_remarks":"The core idea is promising, and the computational benchmark against [4,8] is valuable. The main obstacle is the unproved boundary factorization in Theorem 2.25(2); this is a load-bearing gap and not merely a presentation issue. The paper also leans heavily on the preprints [6] and [19]; it would be useful to ask the authors to state precisely which parts of the analytic and operadic input are proven here and which are imported, with exact references. If the factorization can be supplied, the manuscript would be a strong candidate for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this paper gives the first explicit operadic model of higher-dimensional chiral algebras in the Jouanolou model, with a Feynman-graph residue realizing the unit object, and free-field realizations of higher Kac–Moody and Virasoro algebras. That is substantial. But the proof of the main L∞ relation (Theorem 2.25) hides a nontrivial analytic step: on the boundary strata of the partially compactified Schwinger space, the Wick-evaluated integrand has to factor as a product of the residue integrands for the subgraph and the contracted graph. The paper cites smooth extendability and boundary decomposition (Lemma B.6, Prop B.7), but neither of those alone gives the multiplicative factorization. Without that, the final equality in the proof is an assertion. This is a fixable gap—the factorization is standard for Feynman integrals—but it is load-bearing: if it fails, the unit chiral algebra and everything built on it collapses.\n\nWhat is genuinely new: the Jouanolou model for configuration spaces is an improvement over the polysimplicial model in [6] for explicit, GL_d-equivariant computations; Definition 2.19's higher residue is a clean packaged Feynman-graph integral; Theorem 2.25 is the first proof (modulo the gap) that these operations satisfy shifted L∞ relations; Section 3's free-field realizations of higher Kac-Moody and Virasoro are concrete and benchmark against physics. Section 4's recursive formula for Type I' Laman graphs is clever and reproduces the two-loop and three-loop weights in [4]; the matching at lowest derivative order is a good check.\n\nSoft spots, in order: (1) the factorization gap above; (2) the Section 4 recursion is not independent of Feynman integrals—it uses the L∞ relations that were derived from those integrals, so calling it a derivation 'without knowing Feynman integrals' oversells it; (3) Prop 3.11 sends a central weight computation to prior work [12] rather than proving it here; (4) the Mathematica appendix has a typo (Lambd3a) and the 3-loop equality with [4] is asserted, not displayed. None of these are fatal if the factorization can be supplied.\n\nThe paper is worth a serious referee: I would send it to review, but with a clear request to prove the stratumwise factorization in Theorem 2.25, or to cite a specific lemma that does it. I would also ask them to soften the independence claim in Section 4. If the factorization holds, this is a strong paper; if it does not, the main construction is in trouble. So conditional, but conditional on a discrete, checkable point rather than on vague unease.","headline":"A serious paper with a real construction; the central L∞ proof has an unstated integrand-factorization step that needs to be made explicit before the unit chiral algebra is fully on solid ground.","tokens_in":48636,"tokens_out":2470,"would_cite":true,"duration_ms":23014,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B69","81T18","18M85","14F10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs, for every dimension, a canonical \"unit\" homotopy chiral algebra on affine space whose operations are explicit higher-dimensional residues built from Feynman graph integrals.","keywords":["chiral algebras","higher-dimensional chiral algebras","Jouanolou model","Feynman graph integrals","L-infinity algebras","D-modules","Kac-Moody algebras","Virasoro algebras"],"falsifier":"Compute the Feynman integrand of Proposition 2.15 on a boundary stratum of the compactified Schwinger space for a graph with a non-trivial subgraph contraction; if the boundary decomposition of Proposition B.7 misses a contribution, the identity in Theorem 2.25(2) fails. Concretely, in d=2 compare the 4-point operation obtained from the recursive Laman formula with a direct graph-integral evaluation for a Laman type I' graph at one loop; any mismatch would falsify the claim.","tokens_in":47564,"feed_emoji":"📐","tokens_out":4829,"duration_ms":47429,"temperature":0.7,"pith_summary":"The paper defines higher-dimensional chiral algebras—algebraic structures encoding operator products of local operators—using the Jouanolou model, an affine torsor whose relative de Rham forms model the derived functions on configuration spaces of points in affine d-space. Its central result is that the canonical sheaf of affine space, shifted by d−1, is a homotopy chiral algebra in this model, with all k-ary operations given by a higher-dimensional residue defined through Feynman graph integrals over a compactified parameter space. The operations satisfy shifted L-infinity relations, so this is a unit object: tensoring any commutative D-module with it yields a chiral algebra, and a higher-dimensional Wick theorem produces free-field chiral algebras. From these, the paper constructs free-field realizations of higher Kac-Moody algebras and, in dimension two, of higher Virasoro structures, with explicit formulas for operations up to three loops.","feed_headline":"A canonical chiral algebra now exists in every dimension","feed_subtitle":"Explicit k-ary products for all k; higher Kac-Moody and Virasoro algebras appear as free fields.","key_machinery":"The Jouanolou model J^I_{A^d} is an affine torsor over the configuration space Conf_I(A^d): the relative de Rham complex of this torsor is an explicit dg model for the derived pushforward of the structure sheaf along the open inclusion, replacing the non-affine configuration space by affine coordinates x^s_{ij} and their differentials. The higher-dimensional residue of Definition 2.19 sends a monomial in these coordinates to a sum over Feynman graphs of Schwinger-space integrals, using the graphical Green's function d^{-1}_Γ(t) to integrate Gaussian forms; the compactified Schwinger space makes these integrals convergent. What this machinery does is turn the cohomological diagonal, pushed fo","core_discovery":"On its own terms, the paper claims that the de Rham sheaf ω_{A^d}[d−1] is a GL_d-equivariant homotopy chiral algebra in the Jouanolou model: for each finite set I, the k-ary operation is a D-module morphism from the Jouanolou model of the exterior product to the diagonal pushforward, expressed as a sum over Feynman graphs of integrals over a compactified Schwinger space. These operations satisfy the shifted L-infinity relations, which makes ω_{A^d}[d−1] the unit chiral algebra in every dimension. The same residue formalism yields a higher-dimensional Wick theorem, and the paper proves that the resulting free ghost chiral algebras realize the higher Kac-Moody central extensions and, for d=2,","pith_inferences":["If the unit chiral algebra is genuinely GL_d-equivariant and canonical, higher chiral algebras should be obtainable by the same tensor-with-unit construction in any dimension over any characteristic-zero field, providing a uniform framework for higher operator products.","The recursive characterization in d=2 suggests that the L-infinity relations are strong enough to compute expectation values in holomorphic theories without evaluating Feynman integrals, which could be tested by extending the recursion beyond Laman type I' graphs.","The identification of the Virasoro cocycle with the degree-six Todd class points toward a general index-theoretic description of central extensions of the d-dimensional Witt algebra, a direction the paper itself conjectures.","The Jouanolou model's GL_d-equivariance and continuity in input data suggest that chiral algebras built here should deform holomorphically with the theory's parameters, which may be useful for quantization and factorization-algebra applications."],"forward_implications":["The unit chiral algebra in dimension d has nontrivial k-ary operations for every k≥1, unlike the one-dimensional case where only the binary operation survives.","Any commutative D-module on A^d, tensored with the unit, becomes a commutative chiral algebra, giving a large supply of higher-dimensional chiral algebras from ordinary commutative data.","Free ghost chiral algebras built from a graded vector space with a pairing satisfy a higher-dimensional Wick theorem, and their de Rham cohomology carries a graded Poisson algebra structure.","The higher Kac-Moody central extensions are reproduced as chiral operations (free-field realization), with the wheel graph computing the cocycle.","In dimension two, the L-infinity relations alone determine the chiral operations for Laman type I' graphs, yielding a recursive formula that matches explicit Feynman integral computations at low loop orders."],"fun_headline_variants":["Higher chiral algebras from Feynman graph integrals","Chiral algebras now in every dimension","Free fields give higher Kac-Moody and Virasoro","Higher dimensional chiral operations made explicit","A canonical higher chiral algebra via Feynman graphs"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The central claim collapses if the analytic facts about the compactified Schwinger space fail: the graphical Green's function must extend smoothly to the boundary and the boundary must decompose exactly as in Proposition B.7, because these make the residue integrals convergent and turn the Stokes computation into the L-infinity relation.","fun_headline_variants_meta":{"raw":{"variants":["Higher chiral algebras from Feynman graph integrals","Chiral algebras now in every dimension","Free fields give higher Kac-Moody and Virasoro","Higher dimensional chiral operations made explicit","A canonical higher chiral algebra via Feynman graphs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000335,"raw_usage":{"total_tokens":1644,"prompt_tokens":643,"completion_tokens":1001,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":387,"completion_tokens_details":{"reasoning_tokens":930}},"tokens_in":387,"tokens_out":1001,"duration_ms":9156,"temperature":1.0,"reasoning_tokens":930,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T07:08:16.748315+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Feynman integrand of Proposition 2.15 on a boundary stratum of the compactified Schwinger space for a graph with a non-trivial subgraph contraction; if the boundary decomposition of Proposition B.7 misses a contribution, the identity in Theorem 2.25(2) fails. Concretely, in d=2 compare the 4-point operation obtained from the recursive Laman formula with a direct graph-integral evaluation for a Laman type I' graph at one loop; any mismatch would falsify the claim.","supporting_citations":[],"review_version":1}