{"id":"953e1a20-a6de-438d-8861-297bb6dd6674","arxiv_id":"2501.09627","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Hyperkähler gravity and hyperholomorphic gauge theory in 4m dimensions have chiral algebras Lham(C^{2m}) and Lg[C^{2m}] arising from twistor space and realized as soft symmetry algebras under a 2-sphere collinear limit.","lead":"Twistor methods reveal infinite-dimensional chiral symmetry algebras in hyperkähler gravity and hyperholomorphic gauge theory in spacetimes of dimension 4m, generalizing the four-dimensional self-dual story. The algebras Lham(C^{2m}) and Lg[C^{2m}] appear as soft symmetries under a holomorphic collinear limit on an emergent 2-sphere, opening avenues for celestial holography in higher dimensions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the semi-classical OPE is the least secure step, but it is explicitly the classical charge algebra and matches the 4d tree-level chiral algebra.","rationale":"The core identification in Section 3 is a direct kinematic statement: infinitesimal deformations of the HK/HH structures around flat space are parametrized by modes g[p;r] and S^a[p;r], and the brackets (3.7)/(3.21) close to Lham(C^{2m}) and Lg[C^{2m}]. This does not rely on the sigma-model OPE and is secure. Section 4 then shows that these modes are realized as charges in the twistor sigma model; the computation is a standard free-field OPE calculation in which only one contraction is kept. Because the paper consistently labels this 'semi-classical' and because the analogous 4d celestial chiral algebras are exactly the tree-level/classical algebras (the gauge-theory double-pole term is explicitly discussed and identified as a quantum effect), this truncation is not a fatal gap. Section 5 contains the most compressed steps: the simple-momentum conclusion from eqs. (5.8)-(5.9) is stated without the intermediate argument that the only non-gauge polarization solving the HH equations for a non-simple null momentum is zero; a patient reader can fill this in, and the conclusion is consistent with the overconstraint count. The final celestial OPE formulae are lengthy but the leading OPE structure follows from (5.32) via contour deformation and delta-function support, with the m=1 limit providing a check. I therefore see no reason to alter the ACCEPT verdict.","tokens_in":29696,"tokens_out":55360,"duration_ms":603013,"concrete_test":"Compute the double-contraction term in the OPE of two charges Q[p;r] and Q[q;s] using the free OPEs (4.10) and (4.22) for a low-degree pair such as P=Q=2, r=s=0. If the double contraction is nonvanishing, check whether it is a pure c-number or total derivative that drops out of the semi-classical charge algebra; if it is not, the algebra should be read strictly as the classical limit rather than the full quantum OPE algebra.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I read the paper as claiming a classical symmetry algebra of the HK/HH sectors, realized by charges in the twistor sigma model. The only substantive approximation is the single-contraction OPE in eqs. (4.11) and (4.24); higher Wick contractions could add c-number central terms (e.g., a Kac-Moody level for Lg[C^{2m}]) or lower-degree quantum corrections. This is, however, explicitly the semi-classical limit used throughout Section 4, and it is the standard tree-level notion of a celestial chiral algebra in four dimensions. The kinematics argument in Section 5.1 is compressed: the step from (5.8) to (5.9) assumes the polarization factor cannot vanish, but the conclusion that non-simple null momenta admit only pure-gauge solutions of the linearized HH equations is correct. I find no internal inconsistency or load-bearing gap that would overturn the central construction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes that the integrable hyperkähler (HK) sector of gravity and the hyperholomorphic (HH) sector of gauge theory in 4m-dimensional spacetime carry infinite-dimensional chiral symmetry algebras. Around flat space, infinitesimal HK/HH deformations are shown to organize into the loop algebras Lham(C^{2m}) and Lg[C^{2m}], using the twistor-space descriptions of these sectors. The paper then realizes these algebras as charges in twistor sigma models, computes their semi-classical OPEs, and shows that conformally soft HK/HH wavefunctions expand in the corresponding modes. Finally, it establishes that HK/HH kinematics force simple null momenta parametrized by P^1 × P^{2m-1}, so a holomorphic collinear limit on the emergent P^1 gives a celestial OPE action of these algebras on hard states, reducing to known 4d results when m=1.","tokens_in":29817,"tokens_out":6100,"duration_ms":60965,"significance":"If correct, this is the first construction of celestial chiral algebras in spacetime dimensions greater than four, and it identifies an emergent two-sphere inside the higher-dimensional celestial sphere. The paper is careful and systematic: the mode expansions are derived from the twistor geometry, the resulting brackets are computed explicitly, and the m=1 reduction is checked against known formulas. The main limitation is explicit: the charge algebra in Section 4 is obtained in the semi-classical single-contraction approximation, so the paper's statement is about the classical/tree-level symmetry algebra. Within that scope, the construction is coherent and opens a concrete route to MHV-like amplitude formulae in 4m dimensions.","major_comments":[],"minor_comments":[{"comment":"The step from the second condition in (5.8) to (5.9) is too compressed; please spell out the spinor contraction and the argument that the polarization factor cannot vanish, since this is the load-bearing step that forces simple momenta and defines the emergent P^1.","section":"Section 5.1, Eqs. (5.8)–(5.9)"},{"comment":"The charge algebra is computed with only single Wick contractions. The paper labels this 'semi-classical' in the text, but the abstract and introduction should state explicitly that the chiral algebra statement is at classical/tree level; otherwise a reader may mistakenly infer a full quantum statement.","section":"Section 4, Eqs. (4.11) and (4.24)"},{"comment":"The second term contains 'Γ − 1 − p1 + L)', which appears to be missing the argument Δ; it should presumably read Γ(Δ − 1 − p1 + L) as in Eq. (5.41).","section":"Eq. (5.37)"},{"comment":"The summation notation 'p ∈ N0' should be 'p ∈ N0^{2m}' with P = |p|; the line breaks in (5.20) are also confusing and should be cleaned up.","section":"Eqs. (5.20) and (5.26)"},{"comment":"The notation ¯δ_Δ(⟨λ z⟩) is used before its definition in (5.18); consider introducing the definition just before (5.17) to avoid a small ordering issue in the exposition.","section":"Section 5.2, Eq. (5.17)"}],"recommendation":"minor_revision","confidential_remarks":"The paper is squarely within the journal's scope, and its novelty relative to the cited 4d literature is clear. The semi-classical caveat in Section 4 is the point most likely to generate pushback from a quantum-oriented reader, but it is explicitly stated and consistently used in the manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, this paper deserves a serious referee. It gives the first construction of celestial chiral algebras in dimensions d=4m, for the hyperkähler sector of gravity and the hyperholomorphic sector of gauge theory. The algebras are Lham(C2m) and Lg[C2m], defined on an emergent P1 in twistor space, and they act on hard states through a holomorphic collinear limit. That is a genuinely new result, and the authors are careful to distinguish it from the known finite-dimensional soft symmetry algebras in d>4. The main structural claims are supported by standard twistor theory: Theorems 1 and 2 are quoted correctly, and the mode expansions follow from the geometry rather than from fitting.\n\nWhat the paper does well: it connects three separate strands — twistor constructions of HK/HH sectors, twistor sigma models, and celestial holography — and shows they carry the same infinite-dimensional algebra. The derivations in Sections 3 and 4 are clear; the charge algebra calculation from the semi-classical OPE is explicitly labeled as such. Section 5 does the real work: restricting kinematics to simple null momenta, which is forced by the HH/HK equations, and then showing the conformally soft modes organize into the algebra and act on hard wavefunctions with a 1/(z-z') pole. The m=1 reduction to known 4d results is a good sanity check.\n\nThe soft spots are minor and mostly acknowledged. First, the semi-classical OPE in (4.11) and (4.24) keeps only single contractions. If higher Wick contractions contribute, the algebra could acquire central terms (e.g., a Kac-Moody level for Lg[C2m]) or quantum corrections. The authors state this is the classical limit, which is fine; it matches the tree-level notion of a chiral algebra in 4d. Second, the step from (5.8) to (5.9) is compressed: it assumes the polarization factor cannot vanish, but the conclusion about simple momenta is right. Third, eq. (5.34) is a long calculation summarized without a full derivation; the final formula reduces correctly when m=1, so I am not worried.\n\nI have no load-bearing objection. The paper is self-contained enough for a referee to verify the main steps, and the few pulled punches are flagged honestly. It should go to peer review. I would cite it, and it belongs in a reading group.","headline":"First real extension of celestial chiral algebras beyond d=4, built on twistor sigma models; the classical charge algebra claim holds up, with the usual semi-classical OPE caveat.","tokens_in":30340,"tokens_out":2079,"would_cite":true,"duration_ms":19998,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Gravity and gauge theory in $4m$ spacetime dimensions possess infinite-dimensional chiral symmetry algebras, realized as charges in twistor sigma models and acting on hard states by holomorphic collinear limits on an emergent 2-sphere.","keywords":["twistor theory","chiral algebras","celestial holography","hyperkähler geometry","hyperholomorphic gauge fields","loop algebras","conformally soft modes","twistor sigma models"],"falsifier":"Compute the double-contraction term in the OPE of two charges $Q_g$ or $Q_a$ in the twistor $\\sigma$ models of Section 4. In the gauge-theory case, look for a double pole proportional to $\\langle\\lambda\\lambda'\\rangle^{-2}$ in the current OPE (4.23): a nonzero coefficient is a central term absent from the semiclassical computation, which would break the identification with $L_{\\mathfrak{g}}[\\mathbb{C}^{2m}]$. A vanishing result would confirm that the semiclassical algebra is exact.","tokens_in":29417,"feed_emoji":"🌀","tokens_out":17507,"duration_ms":153454,"temperature":0.7,"pith_summary":"This paper aims to establish that the hyperkähler sector of gravity and the hyperholomorphic sector of gauge theory carry infinite-dimensional chiral symmetry algebras whenever the spacetime dimension is a multiple of four, $d=4m$. The algebras are $L_{\\mathrm{ham}}(\\mathbb{C}^{2m})$ for gravitational perturbations and $L_{\\mathfrak{g}}[\\mathbb{C}^{2m}]$ for gauge perturbations, the loop algebras of Hamiltonian vector fields on $\\mathbb{C}^{2m}$ and of polynomial maps from $\\mathbb{C}^{2m}$ into the gauge Lie algebra $\\mathfrak{g}$. They are derived from twistor space, shown to appear as algebras of charges in twistor $\\sigma$ models under the semiclassical operator product expansion, and identified with soft symmetry algebras under a holomorphic collinear limit on an emergent $2$-sphere inside the complexified celestial sphere. This extends the self-dual chiral algebra story of four dimensions to every dimension divisible by four, and suggests that MHV-like scattering formulae may exist in higher dimensions.","feed_headline":"In 4m dimensions, integrable sectors gain infinite chiral algebras","feed_subtitle":"Soft modes of hyperkähler gravity and hyperholomorphic gauge theory organize into loop algebras on a hidden two-sphere.","key_machinery":"The load-bearing object is twistor space $\\mathcal{PT} = \\mathbb{P}^{2m+1}\\setminus\\mathbb{P}^{2m-1}$, fibered over a Riemann sphere $\\mathbb{P}^1$ with $\\mathbb{C}^{2m}$ fibres carrying a weighted holomorphic Poisson structure $\\mathcal{I} = \\varepsilon^{\\dot\\alpha\\dot\\beta}\\,\\partial_{\\mu^{\\dot\\alpha}}\\wedge\\partial_{\\mu^{\\dot\\beta}}$. Points of $\\mathbb{C}^{4m}$ correspond to holomorphic sections $\\mu^{\\dot\\alpha}=x^{\\alpha\\dot\\alpha}\\lambda_\\alpha$, the twistor lines. Three linked mechanisms carry the argument: the hyperkähler and hyperholomorphic twistor correspondences, which turn sectors of field configurations into deformations of holomorphic structures on $\\mathcal{PT}$; the twistor $\\sigma$ models, whose semiclassical OPE converts the twistor Poisson or Lie bracket into the charge algebra of the sector; and the simple-momentum kinematics $k=\\omega z_\\alpha\\tilde z_{\\dot\\alpha}$, which put the collinear limit on the $\\mathbb{P}^1$ factor and make the algebra act on hard wavefunctions through $1/(z-z')$ poles.","core_discovery":"The central claim is that classical integrability is enough to produce celestial chiral algebras in $d=4m$ dimensions, not only in $d=4$. Around flat space, infinitesimal deformations preserving the hyperkähler condition correspond on twistor space to Hamiltonian functions $g(Z)$ of weight two, and their modes $g[p;r] = (\\mu^{\\dot 1})^{p_1}\\cdots(\\mu^{\\dot{2m}})^{p_{2m}}/(\\lambda_0^{P-2-r}\\lambda_1^r)$ close into the loop algebra $L_{\\mathrm{ham}}(\\mathbb{C}^{2m})$ under the twistor Poisson bracket. Infinitesimal deformations preserving the hyperholomorphic condition correspond to endomorphism-valued functions $a(Z)$ of weight zero, whose modes close into the loop algebra $L_{\\mathfrak{g}}[\\mathbb{C}^{2m}]$ under the gauge Lie bracket. In the twistor $\\sigma$ models, these modes are realized as charges, and the semiclassical (single-contraction) OPE gives $[Q_g,Q_{g'}] = Q_{\\{g,g'\\}}$ and $[Q_a,Q_{a'}] = Q_{[a,a']}$. Because every hyperkähler graviton or hyperholomorphic gluon has simple momentum $k_{\\alpha\\dot\\alpha} = \\omega\\, z_\\alpha \\tilde z_{\\dot\\alpha}$, the on-shell kinematics reduce to $\\mathbb{P}^1\\times\\mathbb{P}^{2m-1}$ inside the complexified celestial sphere; the conformally soft towers have poles at the usual integer dimensions, and the charges act on hard conformal primary states through the $1/(z-z')$ singularity of a holomorphic collinear limit. When $m=1$, everything reduces to the known four-dimensional chiral algebras $L_{\\mathrm{ham}}(\\mathbb{C}^2)$ and $L_{\\mathfrak{g}}[\\mathbb{C}^2]$.","pith_inferences":["If the semiclassical charge algebra is exact, the emergent $\\mathbb{P}^1$ inside the complexified celestial sphere is the natural two-dimensional screen for the soft data of these sectors, and a full holographic dual would live on that sphere rather than on $\\mathbb{S}^{4m-2}$.","The kinematic constraint that HK/HH momenta be simple is plausibly the mechanism that protects these algebras from the finite-dimensional soft symmetry algebras found for generic momenta in $d>4$; examining how the algebra degenerates as $m$ grows would test this.","A direct extension would be to compute the double-contraction (quantum) correction to the twistor sigma model OPE: if it vanishes, the chiral algebras are exact symmetries; if not, they are only semiclassical and may acquire a central extension.","The same twistor-space logic might apply to other integrable or partially integrable sectors in $4m$ dimensions, such as supersymmetric or higher-spin extensions, with the gauge Lie algebra $\\mathfrak{g}$ replaced by a larger symmetry algebra."],"forward_implications":["Every spacetime dimension $d=4m$ has integrable sectors of gravity and gauge theory with infinite-dimensional chiral symmetry algebras, so chiral symmetry is not an exclusive feature of four dimensions.","The chiral algebras act on hard hyperkähler gravitons and hyperholomorphic gluons through holomorphic collinear limits, giving a higher-dimensional analogue of the celestial OPE on an emergent $2$-sphere.","The modes of conformally soft hyperkähler gravitons and hyperholomorphic gluons are organized by $L_{\\mathrm{ham}}(\\mathbb{C}^{2m})$ and $L_{\\mathfrak{g}}[\\mathbb{C}^{2m}]$, making the soft symmetry algebras of these sectors infinite-dimensional.","When $m=1$, both constructions reduce to the known four-dimensional self-dual chiral algebras $L_{\\mathrm{ham}}(\\mathbb{C}^2)$ and $L_{\\mathfrak{g}}[\\mathbb{C}^2]$.","The paper expects this structure to support MHV-like scattering formulae in $4m$ dimensions, with two non-HK/HH external legs and an arbitrary number of HK/HH legs, generalizing the Parke-Taylor and Hodges formulae."],"supporting_citations":[{"why":"This reference supplies the nonlinear graviton theorem: twistor spaces with a holomorphic fibration over P^1 and a Poisson structure encode gravitational self-dual data, the seed of Theorem 1.","marker":"[26]"},{"why":"This reference supplies the Ward correspondence identifying self-dual gauge fields with holomorphic bundles over twistor space, the template for the hyperholomorphic bundle construction of Theorem 2.","marker":"[25]"},{"why":"This reference pair establishes the twistor correspondence for hyperkähler manifolds in dimension 4m, the geometric basis of the gravitational chiral algebra derivation.","marker":"[88, 89]"},{"why":"This reference defines hyperholomorphic gauge fields and gives their twistor construction, providing the gauge-theoretic input for the hyperholomorphic sector.","marker":"[90]"},{"why":"This reference supplies the twistor sigma model action for hyperkähler metrics, the dynamical principle used in Section 4.1 to compute the charge algebra.","marker":"[93]"},{"why":"This reference pair supplies the worldsheet current-algebra formulation of gauge theory in twistor space, the basis of the hyperholomorphic twistor sigma model.","marker":"[91, 92]"},{"why":"This reference shows how celestial chiral algebras arise from twistor space in four dimensions, the pattern that the paper extends to higher dimensions.","marker":"[27]"},{"why":"This reference identifies the four-dimensional soft chiral algebras with Lham(C^2) and Lg[C^2], fixing the m=1 limit of the new algebras.","marker":"[20]"},{"why":"This reference provides the conformal primary and conformally soft twistor wavefunctions whose residues are expanded in the algebra modes in Section 5.","marker":"[15]"}],"fun_headline_variants":["Twistor chiral algebras leap from 4D to all 4m dimensions","Higher-dimensional gravity and gauge get loop algebras from twistors","Integrable sectors in 4mD: chiral algebras on a hidden two-sphere","Soft modes in 4mD organize into loop algebras via twistor sigma models"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that the semiclassical (single-contraction) operator product expansion of the twistor $\\sigma$ model computes the full symmetry algebra of the hyperkähler and hyperholomorphic sectors; if higher-order contractions contribute, the algebra could differ from $L_{\\mathrm{ham}}(\\mathbb{C}^{2m})$ or $L_{\\mathfrak{g}}[\\mathbb{C}^{2m}]$.","fun_headline_variants_meta":{"raw":{"variants":["Twistor chiral algebras leap from 4D to all 4m dimensions","Higher-dimensional gravity and gauge get loop algebras from twistors","Integrable sectors in 4mD: chiral algebras on a hidden two-sphere","Soft modes in 4mD organize into loop algebras via twistor sigma models"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000258,"raw_usage":{"total_tokens":1651,"prompt_tokens":1082,"completion_tokens":569,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":698,"completion_tokens_details":{"reasoning_tokens":487}},"tokens_in":698,"tokens_out":569,"duration_ms":6188,"temperature":1.0,"reasoning_tokens":487,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T19:49:18.542715+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the double-contraction term in the OPE of two charges $Q_g$ or $Q_a$ in the twistor $\\sigma$ models of Section 4. In the gauge-theory case, look for a double pole proportional to $\\langle\\lambda\\lambda'\\rangle^{-2}$ in the current OPE (4.23): a nonzero coefficient is a central term absent from the semiclassical computation, which would break the identification with $L_{\\mathfrak{g}}[\\mathbb{C}^{2m}]$. A vanishing result would confirm that the semiclassical algebra is exact.","supporting_citations":[],"review_version":1}