arxiv: 2605.06811 · v1 · submitted 2026-05-07 · ✦ hep-th · math-ph· math.MP

Recognition: 2 theorem links

· Lean Theorem

The Conformal Grassmannian: A Symplectic Bi-Grassmannian for CFT_ 4 Correlators

Aswini Bala , Sachin Jain , Dhruva K.S

Authors on Pith no claims yet

Pith reviewed 2026-05-11 01:24 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MP

keywords conformal field theoryCFT4Grassmanniansymplectic geometryWightman correlatorsconserved currentsdouble copyhelicity basis

0 comments

The pith

CFT4 correlators of scalars and conserved currents are encoded by integrals over pairs of mutually orthogonal n-planes in a 2n-dimensional symplectic vector space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a symplectic bi-Grassmannian formalism for representing Wightman correlators in four-dimensional conformal field theory. It encodes correlators of dimension-two scalars and symmetric-traceless conserved currents as integrals over a pair of n-planes in a 2n-dimensional symplectic vector space, with the planes required to be mutually symplectically orthogonal and aligned to the external kinematics. Conformal invariance, momentum conservation, and little-group covariance then follow directly from the geometry rather than being imposed by hand. The construction produces compact expressions for all two- and three-point functions involving scalars, fermions, currents, and stress tensors, reproduces the known independent structures in three-point functions of currents and stress tensors, and makes the double copy between Yang-Mills and gravity correlators explicit. A helicity-basis version is also given that displays the GL(1,R) and SL(2,R) weights of each component and opens a route to a twistor formulation.

Core claim

We introduce a symplectic bi-Grassmannian representation of CFT4 Wightman correlators. Working in Klein space with off-shell spinor-helicity variables, correlators of Δ=2 scalars and symmetric-traceless conserved currents are encoded by integrals over a pair of n-planes in a 2n-dimensional symplectic vector space. These planes are constrained to be mutually symplectically orthogonal and aligned with the external kinematics. Conformal invariance, momentum conservation, and little-group covariance all follow geometrically from this structure. The formalism derives all two- and three-point functions and, as a test, reproduces the full set of independent conformally invariant structures of ⟨JJJ⟩

What carries the argument

The symplectic bi-Grassmannian: a pair of mutually symplectically orthogonal n-planes inside a 2n-dimensional symplectic vector space, aligned with external kinematics; integrals over this space encode the correlators and automatically enforce all required symmetries.

Load-bearing premise

The specific choice of mutually symplectically orthogonal n-planes aligned with external kinematics fully captures the space of all conformally invariant structures for the listed operators without omissions or overcounting.

What would settle it

An explicit evaluation of the integral for the three-point function of three conserved currents that produces a linear combination of tensor structures whose number or coefficients differ from the known basis of independent conformal structures in CFT4.

read the original abstract

We introduce a formalism for conformal field theory in four dimensions: a symplectic bi-Grassmannian representation of CFT$_4$ Wightman correlators. Working in Klein space with off-shell spinor-helicity variables, we show that correlators of $\Delta = 2$ scalars and symmetric-traceless conserved currents are encoded by integrals over a pair of $n$-planes in a $2n$-dimensional symplectic vector space. These planes are constrained to be mutually symplectically orthogonal and aligned with the external kinematics. Conformal invariance, momentum conservation, and little-group covariance all follow geometrically from this structure. We derive all two- and three-point functions involving scalars, fermions, conserved currents, and stress tensors. As a non-trivial test, we show that the construction reproduces the full set of independent conformally invariant structures of $\langle JJJ\rangle$ and $\langle TTT\rangle$ in CFT$_4$. The resulting expressions are considerably more compact than their momentum-space counterparts. They also make manifest the double copy between Yang--Mills $\langle JJJ \rangle$ and Einstein-gravity $\langle TTT \rangle$. We further present a helicity-basis reformulation that makes the GL(1,R) and SL(2,R) weights of individual helicity components explicit. This basis also provides a natural starting point for a twistor-space formulation of the correlators.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a new symplectic bi-Grassmannian encoding that reproduces all 2- and 3-point CFT4 correlators compactly and makes the double copy obvious, but the general n-point claim rests on checks that stop at three points.

read the letter

The main thing here is a geometric setup where CFT4 Wightman functions for scalars, fermions, currents, and stress tensors come from integrals over pairs of mutually orthogonal n-planes in a 2n-dimensional symplectic space, with the planes tied to the external momenta in Klein space. Conformal invariance, momentum conservation, and little-group properties drop out automatically from the geometry. They work out explicit expressions for every two- and three-point function and show that the construction recovers the full set of independent tensor structures for both and , with expressions that are shorter than the usual momentum-space ones and with the Yang-Mills to gravity double copy sitting right on the surface. A helicity-basis version is also given that makes the weights clear and points toward a possible twistor lift. That is solid, concrete progress on the low-point side and the non-trivial match to the known structures for the three-point cases is the best evidence they supply. The soft spot is that the central claim—every allowed conformal structure for general n-point functions arises exactly once from the allowed plane pairs—has no general argument or surjectivity proof attached. The paper only verifies it explicitly up to three points; there are no four-point examples or counting arguments showing the map is bijective onto the space of conformally invariant structures. Without that, it is still possible that the geometric constraints either miss some structures or introduce extra ones that have to be subtracted by hand. The construction is presented cleanly and the low-point results are reproducible from the description, so the work is worth a serious referee. It is aimed at people who already work with conformal bootstrap, spinor-helicity methods, or holographic correlators and who want a more geometric handle on the kinematics. I would send it to review rather than desk-reject, with the expectation that the authors will need to address the completeness question for n>3.

Referee Report

1 major / 2 minor

Summary. The paper introduces a symplectic bi-Grassmannian representation for CFT_4 Wightman correlators in Klein space with off-shell spinor-helicity variables. It encodes correlators of Δ=2 scalars and symmetric-traceless conserved currents as integrals over pairs of mutually symplectically orthogonal n-planes in a 2n-dimensional symplectic vector space, aligned with external kinematics. Conformal invariance, momentum conservation, and little-group covariance follow geometrically. All two- and three-point functions involving scalars, fermions, currents, and stress tensors are derived explicitly. As a non-trivial test, the construction reproduces the full set of independent conformally invariant structures for ⟨JJJ⟩ and ⟨TTT⟩, yielding compact expressions that manifest the double copy between Yang-Mills and gravity. A helicity-basis reformulation is also presented as a step toward twistor-space formulations.

Significance. If the encoding is complete, this geometric formalism provides a new way to organize CFT_4 correlators with built-in enforcement of symmetries and a natural double-copy structure. The explicit match to all independent tensor structures in the non-trivial ⟨JJJ⟩ and ⟨TTT⟩ cases, together with the compact form of the resulting expressions, is a concrete strength. The approach could streamline higher-point calculations and open pathways to twistor methods, though its scope is currently limited to the operators and dimensions stated.

major comments (1)

[Main construction (bi-Grassmannian encoding) and claims for general n] The central claim that the bi-Grassmannian construction encodes all conformally invariant structures for general n-point correlators of the listed operators rests on explicit derivations only for n=2 and n=3 (including the reproduction of independent structures for ⟨JJJ⟩ and ⟨TTT⟩). No general surjectivity argument, kernel analysis, or explicit n=4 example (e.g., four-point scalar or current correlator) is supplied to confirm that every allowed conformal structure arises exactly once from the allowed plane pairs and that the integral measure and alignment prescription introduce neither omissions nor redundancies. This is load-bearing for the assertion that the map is bijective onto the space of CFT correlators.

minor comments (2)

[Results for three-point functions] The statement that the resulting expressions are 'considerably more compact' than momentum-space counterparts would be strengthened by a side-by-side comparison for at least one three-point function.
[Introduction of the symplectic bi-Grassmannian] Notation for the symplectic form, the precise definition of 'aligned with external kinematics,' and the measure on the bi-Grassmannian should be stated with explicit equations in the introductory construction section to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the explicit low-point results, and recognition of the compact expressions and double-copy structure. We address the major comment on the generality of the construction below.

read point-by-point responses

Referee: The central claim that the bi-Grassmannian construction encodes all conformally invariant structures for general n-point correlators of the listed operators rests on explicit derivations only for n=2 and n=3 (including the reproduction of independent structures for ⟨JJJ⟩ and ⟨TTT⟩). No general surjectivity argument, kernel analysis, or explicit n=4 example (e.g., four-point scalar or current correlator) is supplied to confirm that every allowed conformal structure arises exactly once from the allowed plane pairs and that the integral measure and alignment prescription introduce neither omissions nor redundancies. This is load-bearing for the assertion that the map is bijective onto the space of CFT correlators.

Authors: We agree that the manuscript provides explicit derivations and verifications only for n=2 and n=3, including the complete matching of independent tensor structures for ⟨JJJ⟩ and ⟨TTT⟩. The bi-Grassmannian is introduced as a general n-point framework whose geometric constraints (mutual symplectic orthogonality and kinematic alignment) are defined for arbitrary n, with conformal invariance, momentum conservation, and little-group covariance following directly from the symplectic structure independently of n. However, no general surjectivity or bijectivity proof, kernel analysis, or explicit n=4 computation is given. In the revised version we will add a dedicated discussion subsection that (i) clarifies the current scope by stating that the construction is designed to be general but has been verified explicitly only up to three points, (ii) notes that the reproduction of all independent structures in the non-trivial three-point cases provides supporting evidence, and (iii) outlines how the plane-pair prescription extends formally to n=4 without performing the full integral evaluation. This tempers the generality claim while preserving the geometric motivation. revision: yes

Circularity Check

0 steps flagged

No circularity: new geometric encoding verified against independent low-point results

full rationale

The paper defines a symplectic bi-Grassmannian integral representation for CFT_4 correlators of Δ=2 scalars and conserved currents, then derives that conformal invariance, momentum conservation, and little-group covariance follow directly from the mutual symplectic orthogonality and kinematic alignment of the n-planes. All two- and three-point functions are obtained explicitly from this construction and shown to match known independent tensor structures (including the full set for ⟨JJJ⟩ and ⟨TTT⟩). No parameter is fitted to data and then relabeled as a prediction; no self-citation supplies a load-bearing uniqueness theorem; the map from plane pairs to correlators is not asserted by definition but is checked case-by-case against external results. The completeness claim for general n-point functions is left as an open extension beyond the explicit checks, but this does not render the existing derivation chain circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the geometric encoding via symplectic orthogonality; no explicit free parameters are mentioned, but the construction implicitly assumes standard CFT axioms plus the new geometric identification.

axioms (1)

domain assumption Conformal invariance, momentum conservation, and little-group covariance follow geometrically from the symplectic bi-Grassmannian structure.
Stated directly in the abstract as a consequence of the plane constraints.

invented entities (1)

Symplectic bi-Grassmannian no independent evidence
purpose: To represent and encode CFT4 Wightman correlators as integrals over pairs of n-planes.
New object introduced in the paper; no independent evidence outside the construction is provided in the abstract.

pith-pipeline@v0.9.0 · 5572 in / 1521 out tokens · 51709 ms · 2026-05-11T01:24:28.093192+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (SphereAdmitsCircleLinking D ↔ D=3 via H̃ cohomology) echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

correlators ... encoded by integrals over a pair of n-planes in a 2n-dimensional symplectic vector space. These planes are constrained to be mutually symplectically orthogonal ... δ(˜C^T Ω C)δ(˜C^T Ω Λ) ... conformal invariance ... follow geometrically
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel (J uniquely satisfies Aczél functional equation) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

A_n(C,˜C) ... built from minors ... GL(1,R) and SL(2,R) weights ... double copy between Yang-Mills ⟨JJJ⟩ and Einstein-gravity ⟨TTT⟩

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · 4 internal anchors

[1]

Osborn and A.C

H. Osborn and A.C. Petkou,Implications of conformal invariance in field theories for general dimensions,Annals Phys.231(1994) 311 [hep-th/9307010]

work page arXiv 1994
[2]

Spinning conformal correlators,

M.S. Costa, J. Penedones, D. Poland and S. Rychkov,Spinning conformal correlators,JHEP 11(2011) 071 [1107.3554]

work page arXiv 2011
[3]

On graviton non-Gaussianities during inflation,

J.M. Maldacena and G.L. Pimentel,On graviton non-gaussianities during inflation,JHEP 09(2011) 045 [1104.2846]

work page arXiv 2011
[4]

Baumann, C

D. Baumann, C. Duaso Pueyo, A. Joyce, H. Lee and G.L. Pimentel,The cosmological bootstrap: Spinning correlators from symmetries and factorization,SciPost Phys.11(2021) 071 [2005.04234]

work page arXiv 2021
[5]

Jain, R.R

S. Jain, R.R. John, A. Mehta, A.A. Nizami and A. Suresh,Higher spin 3-point functions in 3d cft using spinor-helicity variables,JHEP09(2021) 041 [2106.00016]

work page arXiv 2021
[6]

Jain, R.R

S. Jain, R.R. John, A. Mehta, A.A. Nizami and A. Suresh,Double copy structure of parity-violating cft correlators,JHEP07(2021) 033 [2104.12803]

work page arXiv 2021
[7]

Jain, R.R

S. Jain, R.R. John, A. Mehta, A.A. Nizami and A. Suresh,Momentum space parity-odd CFT 3-point functions,JHEP08(2021) 089 [2101.11635]

work page arXiv 2021
[8]

Baumann, W.-M

D. Baumann, W.-M. Chen, C. Duaso Pueyo, A. Joyce, H. Lee and G.L. Pimentel,Linking the singularities of cosmological correlators,JHEP09(2022) 010 [2106.05294]

work page arXiv 2022
[9]

Jain, R.R

S. Jain, R.R. John and V. Malvimat,Momentum space spinning correlators and higher spin equations in three dimensions,JHEP11(2020) 049 [2005.07212]

work page arXiv 2020
[10]

Baumann, C

D. Baumann, C. Duaso Pueyo, A. Joyce, H. Lee and G.L. Pimentel,The cosmological bootstrap: weight-shifting operators and scalar seeds,JHEP12(2020) 204 [1910.14051]

work page arXiv 2020
[11]

Farrow, A.E

J.A. Farrow, A.E. Lipstein and P. McFadden,Double copy structure of CFT correlators, JHEP02(2019) 130 [1812.11129]. – 35 –

work page arXiv 2019
[12]

Implications of Conformal Invariance in Momentum Space,

A. Bzowski, P. McFadden and K. Skenderis,Implications of conformal invariance in momentum space,JHEP03(2014) 111 [1304.7760]

work page arXiv 2014
[13]

Bzowski, P

A. Bzowski, P. McFadden and K. Skenderis,Scalar 3-point functions in cft: renormalisation, beta functions and anomalies,JHEP03(2016) 066 [1510.08442]

work page arXiv 2016
[14]

Renormalised 3-point functions of stress tensors and conserved currents in CFT

A. Bzowski, P. McFadden and K. Skenderis,Renormalised 3-point functions of stress tensors and conserved currents in cft,JHEP11(2018) 153 [1711.09105]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[15]

Bzowski, P

A. Bzowski, P. McFadden and K. Skenderis,Renormalised cft 3-point functions of scalars, currents and stress tensors,JHEP11(2018) 159 [1805.12100]

work page arXiv 2018
[16]

Solving the Conformal Constraints for Scalar Operators in Momentum Space and the Evaluation of Feynman’s Master Integrals,

C. Coriano, L. Delle Rose, E. Mottola and M. Serino,Solving the Conformal Constraints for Scalar Operators in Momentum Space and the Evaluation of Feynman’s Master Integrals, JHEP07(2013) 011 [1304.6944]

work page arXiv 2013
[17]

Perturbative gauge theory as a string theory in twistor space,

E. Witten,Perturbative gauge theory as a string theory in twistor space,Commun. Math. Phys.252(2004) 189 [hep-th/0312171]

work page arXiv 2004
[18]

Arkani-Hamed, F

N. Arkani-Hamed, F. Cachazo, C. Cheung and J. Kaplan,The s-matrix in twistor space, JHEP03(2010) 110 [0903.2110]

work page arXiv 2010
[19]

A Duality For The S Matrix,

N. Arkani-Hamed, F. Cachazo, C. Cheung and J. Kaplan,A duality for the s matrix,JHEP 03(2010) 020 [0907.5418]

work page arXiv 2010
[20]

Arkani-Hamed, J

N. Arkani-Hamed, J.L. Bourjaily, F. Cachazo, A.B. Goncharov, A. Postnikov and J. Trnka, Scattering amplitudes and the positive grassmannian,1212.5605

work page arXiv
[21]

Gillioz,Conformal 3-point functions and the Lorentzian OPE in momentum space, Commun

M. Gillioz,Conformal 3-point functions and the Lorentzian OPE in momentum space, Commun. Math. Phys.379(2020) 227 [1909.00878]

work page arXiv 2020
[22]

Meltzer,Dispersion Formulas in QFTs, CFTs, and Holography,JHEP05(2021) 098 [2103.15839]

D. Meltzer,Dispersion Formulas in QFTs, CFTs, and Holography,JHEP05(2021) 098 [2103.15839]

work page arXiv 2021
[23]

Meltzer and A

D. Meltzer and A. Sivaramakrishnan,CFT unitarity and the AdS Cutkosky rules,JHEP11 (2020) 073 [2008.11730]

work page arXiv 2020
[24]

Bautista and H

T. Bautista and H. Godazgar,Lorentzian CFT 3-point functions in momentum space,JHEP 01(2020) 142 [1908.04733]

work page arXiv 2020
[25]

Baumann, G

D. Baumann, G. Mathys, G.L. Pimentel and F. Rost,A new twist on spinning (a)ds correlators,2408.02727

work page arXiv
[26]

S. Jain, D. K. S., D. Mazumdar and S. Yadav,A foray on scft 3 via super spinor-helicity and grassmann twistor variables,JHEP09(2024) 027 [2312.03059]

work page arXiv 2024
[27]

A. Bala, S. Jain, D. K. S., D. Mazumdar and V. Singh,3d conformal field theory in twistor space,JHEP12(2025) 120 [2502.18562]

work page arXiv 2025
[28]

A. Bala, S. Jain, D. K. S., D. Mazumdar, V. Singh and B. Thakkar,A supertwistor formalism forN= 1,2,3,4 SCFT 3,2503.19970

work page arXiv
[29]

Carrillo Gonz´ alez and T

M. Carrillo Gonz´ alez and T. Keseman,Spinning boundary correlators from (a)ds 4 twistors, 2510.00096

work page arXiv
[30]

Bala and D.K

A. Bala and D. K. S.,An ode to the penrose and witten transforms in twistor space for 3d cft,JHEP11(2025) 056 [2505.14082]

work page arXiv 2025
[31]

Mazumdar,Super-Penrose & Witten transforms for SCFT 3,JHEP12(2025) 041 [2508.02672]

D. Mazumdar,Super-penrose & witten transforms for scft 3,JHEP12(2025) 041 [2508.02672]. – 36 –

work page arXiv 2025
[32]

Ansari, S

A. Ansari, S. Jain and D. K. S.,Ads 4 boundary wightman functions in twistor space: Factorization, conformal blocks and a double copy,2512.04172

work page arXiv
[33]

The Cosmological Grassmannian,

M. Arundine, D. Baumann, M.H.G. Lee, G.L. Pimentel and F. Rost,The cosmological grassmannian,2602.07117

work page arXiv
[34]

The Vasiliev Grassmannian,

S. De and H. Lee,The vasiliev grassmannian,2603.24656

work page arXiv
[35]

A. Bala, S. Jain, D. K. S. and A.A. Rao,TheN= 1super-grassmannian for cft 3 and a foray on ads and cosmological correlators,2604.07446

work page internal anchor Pith review Pith/arXiv arXiv
[36]

A. Bala, S. Jain, D. K. S. and A.A. Rao,Super-grassmannians forN= 2to4scft 3: From ads4 correlators toN= 4sym scattering amplitudes,2604.07503

work page internal anchor Pith review Pith/arXiv arXiv
[37]

Beyond Discontinuities: Cosmological WFCs from the Supersymmetric Orthogonal Grassmannian

Y.-t. Huang, C.-K. Kuo, Y. Liu and J. Mei,Beyond discontinuities: Cosmological wfcs from the supersymmetric orthogonal grassmannian,2604.08512

work page internal anchor Pith review Pith/arXiv arXiv
[38]

Scattering amplitudes for all masses and spins,

N. Arkani-Hamed, T.-C. Huang and Y.-t. Huang,Scattering amplitudes for all masses and spins,JHEP11(2021) 070 [1709.04891]

work page arXiv 2021
[39]

Penrose and M.A.H

R. Penrose and M.A.H. MacCallum,Twistor theory: An approach to the quantisation of fields and space-time,Phys. Rept.6(1973) 241

work page 1973
[40]

Penrose and W

R. Penrose and W. Rindler,Spinors and Space-Time. Vol. 2: Spinor and Twistor Methods in Space-Time Geometry, Cambridge University Press (1986)

work page 1986
[41]

Ward and R.O

R.S. Ward and R.O. Wells,Twistor Geometry and Field Theory, Cambridge University Press (1990), 10.1017/CBO9780511524493

work page doi:10.1017/cbo9780511524493 1990
[42]

Adamo, D

T. Adamo, D. Skinner and J. Williams,Twistor methods for AdS 5,JHEP08(2016) 167 [1607.03763]

work page arXiv 2016
[43]

Mason and D

L.J. Mason and D. Skinner,An ambitwistor yang–mills lagrangian,Phys. Lett. B636(2006) 60 [hep-th/0510262]

work page arXiv 2006
[44]

Ambitwistor strings and the scattering equations

L. Mason and D. Skinner,Ambitwistor strings and the scattering equations,JHEP07(2014) 048 [1311.2564]

work page Pith review arXiv 2014
[45]

Geyer, A.E

Y. Geyer, A.E. Lipstein and L.J. Mason,Ambitwistor strings in four dimensions,Phys. Rev. Lett.113(2014) 081602 [1404.6219]

work page arXiv 2014
[46]

Alday, C

L.F. Alday, C. Behan, P. Ferrero and X. Zhou,Gluon Scattering in AdS from CFT,JHEP 06(2021) 020 [2103.15830]

work page arXiv 2021
[47]

Rastelli and X

L. Rastelli and X. Zhou,Mellin amplitudes forAdS 5 ×S 5,Phys. Rev. Lett.118(2017) 091602 [1608.06624]. – 37 –

work page arXiv 2017