REVIEW 1 major objections 4 minor 1 cited by
Pure connection formalism and Plebanski's second heavenly equation
T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read A pure connection formalism reduces self-dual Einstein gravity on constant-curvature backgrounds to a single scalar PDE, re-deriving Plebanski's second heavenly equation in a few lines.
desk verdict Main derivation is solid and worth publishing; the new kinematic-algebra interpretation is overstated. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the complex self-dual 2-form $\bar{\Omega}$, which with its companions $\Omega$ and $\omega$ defines a complex structure on $\mathbb{R}^4$ and satisfies the algebraic identities $\bar{\Omega}^2 = 0$ and $\Omega \wedge \bar{\Omega} = -2g - 2i\omega$. In the pure connection description of gravity with a cosmological constant, the metric is recovered from the curvature 2-forms $F^i$ through Urbantke's formula, and self-dual gravity is the condition $F^i \wedge F^j \sim \delta^{ij}$. The covariant light-cone ansatz $A_\mu = \bar{\Omega}_\mu{}^\nu \partial_\nu \varphi$ (with the factor $\frac{1}{2t}$ in the curved case) automatically satisfies two of the three complex field equations, and the 2-form algebra converts the remaining one into the heavenly equation. The kinematic algebra appears as the Lie bracket $[\varphi_1,\varphi_2] = \bar{\Omega}^{\alpha\beta} \partial_\beta \varphi_1 \partial_\alpha \varphi_2$ of Hamiltonian vector fields $X_\varphi = \bar{\Omega}^{\mu\nu} \partial_\nu \varphi$.
What would settle it
Find an explicit self-dual Einstein metric on a constant-curvature background whose connection perturbation cannot be written as $a_\mu = \frac{1}{2t}\,\bar{\Omega}_\mu{}^\nu \partial_\nu \varphi$ for any smooth $\varphi$; such a solution would show the ansatz is incomplete. A more direct check is to linearize the full equations (3.12) around the background and verify whether every solution of the linearized system is reproduced by the linearization of the ansatz.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that self-dual Einstein gravity in a constant-curvature background is a single scalar equation. Working in the pure connection formalism, the authors take the connection perturbation to be $a_\mu = \frac{1}{2t}\,\bar{\Omega}_\mu{}^\nu \partial_\nu \varphi$ on a hyperbolic-space background, with $\bar{\Omega}$ a decomposable complex self-dual 2-form. All of the field equations $F \wedge F = 0$, $F \wedge F^3 = 0$, and $F \wedge \bar{F} = 2 F^3 \wedge F^3$ are then satisfied automatically except $F \wedge F = 0$, and that single remaining condition reduces to the covariant heavenly equation (3.35), which is equivalent to the previously known equation (3.20) of [24]. In the flat-space limit the same derivation yields Plebanski's second heavenly equation (2.31). The paper also claims a new interpretation of the kinematic algebra of self-dual Yang-Mills: it is the Lie algebra of Hamiltonian $(0,1)$ vector fields on $\mathbb{R}^4$ equipped with a complex structure.
Load-bearing premise
The ansatz (3.13)-(3.14) assumes that every self-dual Einstein perturbation of a constant-curvature background can be written as a single potential $\varphi$ with the other connection components kept at their background values; the paper shows solutions exist in this form but does not prove that all solutions are captured.
Editorial extensions
If this is right
- Boundary correlators of self-dual gravity in AdS$_4$ can be computed from the simple scalar action (3.35), opening the route to explicit all-multiplicity formulas for graviton amplitudes in (A)dS.
- The flat and curved heavenly equations are shown to be the same structure, with the curvature entering only as a shift $(\partial_\rho - \frac{2}{t}(dt - i dx)_\rho)$ in the nonlinear term, so techniques from the flat integrable case may transfer directly to (A)dS.
- The kinematic algebra of self-dual Yang-Mills is realized geometrically, giving a reference-spinor-independent description of the algebra of [18].
- The derivation's brevity suggests the pure connection formalism is a practical setting for gravitational calculations in (A)dS, the direction the paper proposes for future work.
Reading between the lines
- If the ansatz (3.13)-(3.14) is complete, which the paper does not prove, then the full nonlinear self-dual Einstein system on constant-curvature backgrounds is exactly one second-order scalar PDE, placing (A)dS self-dual gravity on the same integrable footing as flat space.
- The $(0,1)$ vector-field realization likely extends to gravity: the bracket structure in (3.35) may define the kinematic algebra of self-dual gravity in the same covariant language, and could make the double copy between gravity and Yang-Mills manifest directly in the scalar equations.
- A concrete check: compute a boundary correlator in AdS$_4$ from (3.35) with a generic complex-structure 2-form $\bar{\Omega}$ and compare with the light-cone computation of [26]; agreement would confirm covariance, while any discrepancy would expose a hidden gauge dependence.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents a pure-connection derivation of Plebanski's second heavenly equation, both in flat space and on a constant-curvature (hyperbolic) background. After reviewing the SDYM potential ansatz A = Omega-bar d(phi) and deriving the scalar equation (2.14), it applies the same covariant ansatz to the self-dual gravity connection, obtaining (2.31) in flat space and (3.20), rewritten covariantly as (3.35), for the curved background. The paper also proposes a new interpretation of the SDYM kinematic algebra as the Lie algebra of (0,1) vector fields on R4 endowed with a complex structure.
Significance. The central derivation is a genuine simplification: the constant-curvature equation is obtained in a few lines from the pure connection action, and the final expressions agree with the known equations of Plebanski and of Refs. [24] and [29]. The compact covariant form (3.35) is likely useful for future AdS4 calculations, and the flat-space SDYM derivation cleanly exhibits the role of a complex structure in parameterizing light-cone choices. The advertised kinematic-algebra interpretation is not established as stated and needs correction, but this does not affect the soundness of the main equations. The paper is refreshingly explicit and checkable, with all algebraic steps laid out.
major comments (1)
- [2.4, Eqs. (2.15)-(2.17)] The claim that Hamiltonian (0,1) vector fields 'span all of (0,1) vector fields' and that the kinematic algebra is therefore the full Lie algebra of (0,1) vector fields is not correct as a statement about vector fields. For a constant decomposable bivector Omega-bar, the image of phi maps to X_phi = Omega-bar^{mu nu} d_nu phi d_mu satisfies a differential constraint: in coordinates with Omega-bar = d zbar^1 wedge d zbar^2, one has X_phi = d_zbar^2 phi d_zbar^1 - d_zbar^1 phi d_zbar^2, so d_zbar^1 X^{zbar^1} + d_zbar^2 X^{zbar^2} = 0. The (0,1) vector field V = zbar^1 zbar^2 d_zbar^1 is not Hamiltonian. The map is a homomorphism onto a proper subalgebra of Hamiltonian fields, and the identification with all (0,1) vector fields is unsupported. Please replace this statement with the correct subalgebra identification, or prove the claimed global surjectivity.
minor comments (4)
- [3.4, ansatz (3.13)-(3.14)] The derivation establishes sufficiency: any phi solving (3.20) gives a connection satisfying (3.12). The converse, that the ansatz covers all (or the relevant class of) self-dual Einstein perturbations, is not proved or cited. Since the equation is already known from Ref. [24], this does not affect the validity of the derivation, but the scope of the claim should be stated explicitly.
- [2.3, text following Eq. (2.11)] In the displayed equation after Eq. (2.11), the nonlinear term is written with phi^b in both potential factors (f^{abc} ... phi^b ... phi^b). This should be phi^b and phi^c, as written correctly in Eq. (2.12) and used in Eq. (2.14).
- [Conclusion, final paragraph] There is a typo: 'kinematic aglebra' should be 'kinematic algebra'.
- [3.5, Eq. (3.33)] The notation '(dt - i dx)_rho' for the components of a 1-form is used without definition; it would be clearer to write (dt - i dx)_rho = delta^t_rho - i delta^x_rho.
Circularity Check
No significant circularity: the main derivation is a direct calculation from the pure-connection ansatz; the comparison to [24] is a check, not an input.
full rationale
The central derivation is not circular. In Sec. 2.6 the authors substitute the ansatz (2.23) into the self-duality equations (2.22) and reduce them by the algebraic identities (2.11), (2.13), and (2.30) to obtain (2.31); the target Plebanski equation is the output, not an input. In Secs. 3.4-3.6 the same structure is repeated for the constant-curvature background: the connection ansatz (3.13)-(3.14) is inserted into the pure-connection field equations (3.12), the curvature components (3.19) are computed from the background relations (3.11), and the remaining equation F and F = 0 is expanded to give (3.20) and then the covariant form (3.35). No parameter is fitted and no equation is assumed from [24] before being derived; the identification with equations (34) and (36) of [24] is a post-hoc check. The pure-connection formalism is imported from [23,30,33], all published independent results, and these self-citations are background rather than a proof chain that assumes the conclusion. The paper does not prove that the ansatz (3.14) covers all self-dual perturbations, but that is a completeness limitation, not a circularity. Separately, the claim in Sec. 2.4 that Hamiltonian (0,1) vector fields span all (0,1) vector fields is mathematically overstated for a constant decomposable bivector, since the image satisfies a differential constraint; this is a correctness or novelty issue, not a circular reduction.
Assumptions & free parameters
assumptions (4)
- domain assumption The action (3.2), S = integral Psi^ij F^i and F^j, describes self-dual Einstein gravity with cosmological constant, and its critical points are Einstein half-flat metrics.
- standard math Algebra of complex self-dual two-forms: Omega and Omega = 0, Omega and omega = 0, Omega and barOmega = 2 omega^2, plus index identities (2.11), (2.13), and (2.30).
- domain assumption The metric is reconstructed from a triple of two-forms via the Urbantke formula (2.20).
- domain assumption The connection ansatz (3.13)-(3.14) is sufficiently general to describe the self-dual gravitational perturbations of interest in constant-curvature space.
Cite this review
Pith. "Pith review of Pure connection formalism and Plebanski's second heavenly equation." pith.science (2026). https://pith.science/paper/TGZ455PQ
@misc{pith2026241215779,
author = {Pith},
title = {Pith review of: Pure connection formalism and Plebanski's second heavenly equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/TGZ455PQ}},
note = {Machine review of arXiv:2412.15779}
}
read the original abstract
Plebanski's second heavenly equation reduces the problem of finding a self-dual Einstein metric to solving a non-linear second-order PDE for a single function. Plebanski's original equation is for self-dual metrics obtained as perturbations of the flat metric. Recently, a version of this equation was discovered for self-dual metrics arising as perturbations around a constant curvature background. We provide a new simple derivation of both versions of the Plebanski second heavenly equation. Our derivation relies on the `pure connection' description of self-dual gravity. Our results also suggest a new interpretation to the kinematic algebra of self-dual Yang-Mills theory, as the Lie algebra of (0,1) vector fields on a R4 endowed with a complex structure.
Forward citations
Cited by 1 Pith paper
-
Celestial Chiral Algebras and Self-Dual Gravity
This thesis derives deformations of celestial chiral algebras in self-dual gravity on curved backgrounds, obtaining W(infinity) on Eguchi-Hanson space, Ldiff_q(C) under Moyal deformation, and a two-parameter deformati...
Reference graph
Works this paper leans on
-
[24]
Self-Dual Gravity and Color-K inematics Duality in AdS4,
A. Lipstein and S. Nagy, “Self-Dual Gravity and Color-K inematics Duality in AdS4,” Phys. Rev. Lett. 131 (2023) no.8, 081501 doi:10.1103/PhysRevLett.131.081501 [arXiv:2304.07141 [hep-th]]
arXiv 2023
-
[29]
Self-dual gravity in de Sitter space: Light -cone ansatz and static-patch scattering,
Y. Neiman, “Self-dual gravity in de Sitter space: Light -cone ansatz and static-patch scattering,” Phys. Rev. D 109 (2024) no.2, 024039 doi:10.1103/PhysRevD.109.024039 [ar Xiv:2303.17866 [gr-qc]]
arXiv 2024
-
[1]
On amplitudes in selfdua l sector of Yang-Mills theory,
A. A. Rosly and K. G. Selivanov, “On amplitudes in selfdua l sector of Yang-Mills theory,” Phys. Lett. B 399 (1997), 135-140 doi:10.1016/S0370-2693(97)00268-2 [arX iv:hep-th/9611101 [hep-th]]
arXiv 1997
-
[2]
Proof of the graviton MHV formula using Pleba nski’s second heavenly equation,
N. Miller, “Proof of the graviton MHV formula using Pleba nski’s second heavenly equation,” [arXiv:2408.11139 [hep-th]]
-
[3]
Selfdual Yang-Mills theory, integrabil ity and multiparton amplitudes,
W. A. Bardeen, “Selfdual Yang-Mills theory, integrabil ity and multiparton amplitudes,” Prog. Theor. Phys. Suppl. 123 (1996), 1-8 doi:10.1143/PTPS.123.1
-
[4]
C. P. Boyer and J. F. Plebanski, “AN INFINITE HIERARCHY OF CONSER V ATION LA WS AND NON- LINEAR SUPERPOSITION PRINCIPLES FOR SELFDUAL EINSTEIN SPA CES,” J. Math. Phys. 26 (1985), 229-234 doi:10.1063/1.526652
-
[5]
Selfdual Gravity as a Large N Limit of the Two-dimensional Nonlinear σ Model,
Q. H. Park, “Selfdual Gravity as a Large N Limit of the Two-dimensional Nonlinear σ Model,” Phys. Lett. B 238 (1990), 287-290 doi:10.1016/0370-2693(90)91737-V
-
[6]
From 2D integ rable systems to self-dual gravity,
M. Dunajski, L.J. Mason, and N. Woodhouse, “From 2D integ rable systems to self-dual gravity,” Journal of Physics A: Mathematical and General 31 (1998), 6019-6028 doi:10.1088/0305-4470/31/28/015
Show all 38 references
-
[7]
One lo op N gluon amplitudes with maximal helic- ity violation via collinear limits,
Z. Bern, G. Chalmers, L. J. Dixon and D. A. Kosower, “One lo op N gluon amplitudes with maximal helic- ity violation via collinear limits,” Phys. Rev. Lett. 72 (1994), 2134-2137 doi:10.1103/PhysRevLett.72.2134 [arXiv:hep-ph/9312333 [hep-ph]]
1994 arXiv
-
[8]
One lo op selfdual and N=4 superYang-Mills,
Z. Bern, L. J. Dixon, D. C. Dunbar and D. A. Kosower, “One lo op selfdual and N=4 superYang-Mills,” Phys. Lett. B 394 (1997), 105-115 doi:10.1016/S0370-2693(96)01676-0 [arX iv:hep-th/9611127 [hep-th]]
1997 arXiv
-
[9]
On e loop n point helicity amplitudes in (selfdual) gravity,
Z. Bern, L. J. Dixon, M. Perelstein and J. S. Rozowsky, “On e loop n point helicity amplitudes in (selfdual) gravity,” Phys. Lett. B 444 (1998), 273-283 doi:10.1016/S0370-2693(98)01397-5 [arX iv:hep-th/9809160 [hep- th]]
1998 arXiv
-
[10]
M ultileg one loop gravity amplitudes from gauge theory,
Z. Bern, L. J. Dixon, M. Perelstein and J. S. Rozowsky, “M ultileg one loop gravity amplitudes from gauge theory,” Nucl. Phys. B 546 (1999), 423-479 doi:10.1016/S0550-3213(99)00029-2 [arX iv:hep-th/9811140 [hep- th]]
1999 arXiv
-
[11]
Celestial holography m eets twisted holography: 4d amplitudes from chiral correlators,
K. Costello and N. M. Paquette, “Celestial holography m eets twisted holography: 4d amplitudes from chiral correlators,” JHEP 10 (2022), 193 doi:10.1007/JHEP10(2022)193 [arXiv:2201.02 595 [hep-th]]
2022 doi
-
[12]
Nonlinear Gravitons and Curved Twistor Th eory,
R. Penrose, “Nonlinear Gravitons and Curved Twistor Th eory,” Gen. Rel. Grav. 7 (1976), 31-52 doi:10.1007/BF00762011
1976 doi
-
[13]
On Selfdual gauge fields,
R. S. Ward, “On Selfdual gauge fields,” Phys. Lett. A 61 (1977), 81-82 doi:10.1016/0375-9601(77)90842-8
1977 doi
-
[14]
P erturbatively exact w 1+∞ asymptotic symmetry of quantum self-dual gravity,
A. Ball, S. A. Narayanan, J. Salzer and A. Strominger, “P erturbatively exact w 1+∞ asymptotic symmetry of quantum self-dual gravity,” JHEP 01 (2022), 114 doi:10.1007/JHEP01(2022)114 [arXiv:2111.10 392 [hep-th]]
2022 doi
-
[15]
A Cubic action for selfdual Yang-Mills,
A. Parkes, “A Cubic action for selfdual Yang-Mills,” Ph ys. Lett. B 286 (1992), 265-270 doi:10.1016/0370- 2693(92)91773-3 [arXiv:hep-th/9203074 [hep-th]]
1992 arXiv
-
[16]
The Selfdual sector of QCD am plitudes,
G. Chalmers and W. Siegel, “The Selfdual sector of QCD am plitudes,” Phys. Rev. D 54 (1996), 7628-7633 doi:10.1103/PhysRevD.54.7628 [arXiv:hep-th/9606061 [h ep-th]]
1996 arXiv
-
[17]
Some solutions of complex Einstein eq uations,
J. F. Plebanski, “Some solutions of complex Einstein eq uations,” J. Math. Phys. 16 (1975), 2395-2402 doi:10.1063/1.522505
1975 doi
-
[18]
The Kinematic Algebra Fr om the Self-Dual Sector,
R. Monteiro and D. O’Connell, “The Kinematic Algebra Fr om the Self-Dual Sector,” JHEP 07 (2011), 007 doi:10.1007/JHEP07(2011)007 [arXiv:1105.2565 [hep-th] ]
2011 arXiv
-
[19]
Gauge indep endent kinematic algebra of self-dual Yang-Mills theory,
R. Bonezzi, F. Diaz-Jaramillo and S. Nagy, “Gauge indep endent kinematic algebra of self-dual Yang-Mills theory,” Phys. Rev. D 108 (2023) no.6, 065007 doi:10.1103/PhysRevD.108.065007 [ar Xiv:2306.08558 [hep- th]]
2023 arXiv
-
[20]
A brief introduction to modern amplitude m ethods,
L. J. Dixon, “A brief introduction to modern amplitude m ethods,” doi:10.5170/CERN-2014-008.31 [arXiv:1310.5353 [hep-ph]]
2014 arXiv
-
[21]
CONSTRUCTIVE PROCEDURE F OR PERTURBATIONS OF SPACE- TIMES,
L. S. Kegeles and J. M. Cohen, “CONSTRUCTIVE PROCEDURE F OR PERTURBATIONS OF SPACE- TIMES,” Phys. Rev. D 19 (1979), 1641-1664 doi:10.1103/PhysRevD.19.1641
1979 doi
-
[22]
Campiglia and S
M. Campiglia and S. Nagy, JHEP 03 (2021), 262 doi:10.1007/JHEP03(2021)262 [arXiv:2102.01 680 [hep-th]]
2021 doi
-
[23]
Flat self-dual gravity,
K. Krasnov and E. Skvortsov, “Flat self-dual gravity,” JHEP 08 (2021), 082 doi:10.1007/JHEP08(2021)082 [arXiv:2106.01397 [hep-th]]
2021 arXiv
-
[25]
Hidden sectors of Cher n-Simons Matter theories and Exact Holography,
S. Jain, D. K. S and E. Skvortsov, “Hidden sectors of Cher n-Simons Matter theories and Exact Holography,” [arXiv:2405.00773 [hep-th]]
-
[26]
Light-cone actions and correlators of self-dual theories in AdS 4,
C. Chowdhury, G. Doran, A. Lipstein, R. Monteiro, S. Nag y and K. Singh, “Light-cone actions and correlators of self-dual theories in AdS 4,” [arXiv:2411.04172 [hep-th]]. 12 KRASNOV AND LIPSTEIN
-
[27]
On AdS 4 deformations of celestial symmetries,
R. Bittleston, G. Bogna, S. Heuveline, A. Kmec, L. Mason and D. Skinner, “On AdS 4 deformations of celestial symmetries,” JHEP 07 (2024), 010 doi:10.1007/JHEP07(2024)010 [arXiv:2403.18 011 [hep-th]]
2024 doi
-
[28]
w1+ ∞ Algebra with a Cosmological Constant and the Celestial Sphe re,
T. R. Taylor and B. Zhu, “w1+ ∞ Algebra with a Cosmological Constant and the Celestial Sphe re,” Phys. Rev. Lett. 132 (2024) no.22, 221602 doi:10.1103/PhysRevLett.132.22160 2 [arXiv:2312.00876 [hep-th]]
2024 arXiv
-
[30]
Self-Dual Gravity,
K. Krasnov, “Self-Dual Gravity,” Class. Quant. Grav. 34 (2017) no.9, 095001 doi:10.1088/1361-6382/aa65e5 [arXiv:1610.01457 [hep-th]]
2017 arXiv
-
[31]
ON INTEGRABILITY PROPERTIES OF SU(2) YAN G-MILLS FIELDS. I. INFINITESI- MAL PART,
H. Urbantke, “ON INTEGRABILITY PROPERTIES OF SU(2) YAN G-MILLS FIELDS. I. INFINITESI- MAL PART,” J. Math. Phys. 25 (1984) no.7, 2321-2324 doi:10.1063/1.526402
1984 doi
-
[32]
Formulations of General Relativity,
K. Krasnov, “Formulations of General Relativity,” Cam bridge University Press, 2020, ISBN 978-1-108-67465- 2, 978-1-108-48164-9 doi:10.1017/9781108674652
2020 doi
-
[33]
Pure Connection Action Principle for Gene ral Relativity,
K. Krasnov, “Pure Connection Action Principle for Gene ral Relativity,” Phys. Rev. Lett. 106 (2011), 251103 doi:10.1103/PhysRevLett.106.251103 [arXiv:1103.4498 [ gr-qc]]
2011 arXiv
-
[34]
Recursive Calculations f or Processes with n Gluons,
F. A. Berends and W. T. Giele, “Recursive Calculations f or Processes with n Gluons,” Nucl. Phys. B 306 (1988), 759-808 doi:10.1016/0550-3213(88)90442-7
1988 doi
-
[35]
New recursion rela- tions for tree-level correlators in anti–de Sitter spaceti me,
C. Armstrong, H. Gomez, R. Lipinski Jusinskas, A. Lipst ein and J. Mei, “New recursion rela- tions for tree-level correlators in anti–de Sitter spaceti me,” Phys. Rev. D 106 (2022) no.12, L121701 doi:10.1103/PhysRevD.106.L121701 [arXiv:2209.02709 [h ep-th]]
2022 arXiv
-
[36]
MHV amplit udes and BCFW recursion for Yang-Mills theory in the de Sitter static patch,
E. Albrychiewicz, Y. Neiman and M. Tsulaia, “MHV amplit udes and BCFW recursion for Yang-Mills theory in the de Sitter static patch,” JHEP 09 (2021), 176 doi:10.1007/JHEP09(2021)176 [arXiv:2105.07 572 [hep- th]]
2021 doi
-
[37]
An Amplitude for n Gluon Scattering,
S. J. Parke and T. R. Taylor, “An Amplitude for n Gluon Scattering,” Phys. Rev. Lett. 56 (1986), 2459 doi:10.1103/PhysRevLett.56.2459
1986 doi
-
[38]
A simple formula for gravitational MHV ampl itudes,
A. Hodges, “A simple formula for gravitational MHV ampl itudes,” [arXiv:1204.1930 [hep-th]]. Email address : kirill.krasnov@nottingham.ac.uk, ORCID: 0000-0003-280 0-3767 School of Mathematical Sciences, University of Nottingham , Nottingham, NG7 2RD, UK Email address : arthur....
1930 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.