pith. sign in

arxiv: 2403.16661 · v2 · pith:LSTQF222new · submitted 2024-03-25 · 🧮 math.DG · gr-qc· hep-th

Dynamics of Cayley Forms

Kirill Krasnov This is my paper

Pith reviewed 2026-05-24 03:35 UTC · model grok-4.3

classification 🧮 math.DG gr-qchep-th
keywords Cayley 4-formSpin(7)-structureintrinsic torsionEinstein equationsfirst-order actionexterior derivativetorsion-squared invariants
0
0 comments X

The pith

A linear combination of two torsion-squared invariants integrates to the scalar curvature and yields the Einstein equations.

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

The paper develops the most general diffeomorphism-invariant second-order Lagrangian quadratic in perturbations of the Cayley 4-form, obtaining a two-parameter family. It then gives a nonlinear completion in which the intrinsic torsion of the Spin(7)-structure is parametrized by a 3-form fixed completely by the exterior derivative of the Cayley form. This produces two distinguished actions quadratic in the torsion. One enforces that an auxiliary 3-form equals the torsion 3-form. The other uses a specific linear combination of the two irreducible torsion-squared terms that integrates exactly to the scalar curvature, so its Euler-Lagrange equations are the Einstein equations for the metric. All equations in the class are written using only exterior derivatives.

Core claim

The central claim is that a particular linear combination of the two torsion-squared invariants for a Spin(7)-structure integrates to the scalar curvature of the associated metric. The Euler-Lagrange equations of the resulting action are therefore precisely the Einstein equations. The construction begins with a first-order action depending on the Cayley 4-form and an auxiliary 3-form as independent variables; the field equations remain expressed solely in terms of the exterior derivative without reference to the Levi-Civita connection.

What carries the argument

The 3-form that parametrizes the intrinsic torsion of a Spin(7)-structure and is completely determined by the exterior derivative of the Cayley 4-form.

If this is right

  • The field equations for every theory in the class are written using only the exterior derivative and make no reference to the Levi-Civita connection.
  • One distinguished Lagrangian is the canonical torsion-squared functional whose equations can be analyzed directly.
  • The Einstein equations arise from varying a first-order action that treats the Cayley 4-form and an auxiliary 3-form as independent variables.
  • The two-parameter family found at the linearised level is recovered exactly by the nonlinear family of quadratic torsion Lagrangians.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same first-order construction may supply analogous torsion-squared actions for other special-holonomy structures whose torsion is captured by a single exterior derivative.
  • Expressing gravitational dynamics purely through exterior derivatives on a form field could open routes to numerical or algebraic treatments that avoid coordinate charts or connection coefficients.

Load-bearing premise

The intrinsic torsion of the Spin(7)-structure can be parametrized by a 3-form that is completely determined by the exterior derivative of the Cayley form.

What would settle it

An explicit integration over an eight-manifold showing whether one specific linear combination of the two torsion-squared quantities equals the integral of the scalar curvature, or a direct counter-example computation where the equality fails.

read the original abstract

The most natural first-order PDEs to be imposed on a Cayley 4-form in eight dimensions is the condition that it is closed. In this work, we investigate the natural second-order conditions. We start at the linearised level, and construct the most general diffeomorphism-invariant second order in derivatives Lagrangian that is quadratic in the perturbations of the Cayley form, finding a two-parameter family. We then describe a non-linear completion of the linear story. We parametrise the intrinsic torsion of a Spin(7)-structure by a 3-form, and show that this 3-form is completely determined by the exterior derivative of the Cayley form. The space of 3-forms splits into two Spin(7) irreducible components, and so there is a two-parameter family of diffeomorphism-invariant Lagrangians that are quadratic in the torsion, matching the linearised story. We then describe a first-order in derivatives version of the action functional, which depends on the Cayley 4-form and auxiliary 3-form as independent variables. Our construction yields two distinguished natural Lagrangians. One of them is selected by the condition that the Euler-Lagrange equation for the auxiliary 3-form requires it to coincide with the torsion 3-form, leading to a canonical torsion-squared functional whose field equations we analyse. In the second, a specific linear combination of the two torsion-squared invariants is shown to integrate to the scalar curvature, and the resulting Euler-Lagrange equations are precisely the Einstein equations for the associated metric. For all theories in the considered class, the field equations are expressed entirely in terms of the exterior derivative, without explicit reference to the Levi-Civita connection.

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.

Referee Report

2 major / 1 minor

Summary. The paper investigates second-order conditions on Cayley 4-forms in 8 dimensions beyond the natural closed condition. At the linearised level it constructs the most general diffeomorphism-invariant quadratic Lagrangian in perturbations, obtaining a two-parameter family. Non-linearly, it parametrizes the intrinsic torsion of a Spin(7)-structure by a 3-form shown to be completely determined by the exterior derivative of the Cayley form; the space of such 3-forms splits into two irreducible components under Spin(7), yielding a matching two-parameter family of quadratic torsion Lagrangians. First-order actions are introduced with the Cayley form and an auxiliary 3-form as independent variables. One distinguished Lagrangian is selected so that its Euler-Lagrange equation forces the auxiliary field to coincide with the torsion 3-form. A specific linear combination of the two torsion-squared invariants is shown to integrate exactly to the scalar curvature, with the resulting Euler-Lagrange equations being the Einstein equations for the associated metric. All field equations in the class are expressed solely in terms of exterior derivatives, without explicit reference to the Levi-Civita connection.

Significance. If the non-linear completion and the exact integration to scalar curvature are established, the work supplies a first-order variational formulation of Einstein metrics within the Spin(7) setting that avoids the Levi-Civita connection entirely. The representation-theoretic matching between the linearised two-parameter family and the torsion-quadratic family, together with the auxiliary-field formulation, constitutes a concrete technical contribution to the study of special-holonomy structures and their deformations.

major comments (2)
  1. [non-linear completion (abstract and associated section)] The central non-linear step (parametrizing intrinsic torsion by a 3-form completely determined by d(Phi) and splitting into two Spin(7) irreps) is load-bearing for the claim that the two-parameter families match and for the subsequent first-order actions. The abstract asserts this determination is shown, yet the provided text supplies no explicit irrep decomposition, kernel/cokernel computation, or verification that the map dPhi → torsion 3-form is bijective on the relevant components; without this, the extension from the linearised analysis remains unconfirmed.
  2. [analysis of the distinguished Lagrangians] The claim that a specific linear combination of the two torsion-squared invariants integrates exactly to the scalar curvature (leading to Einstein equations) is a key result. The manuscript must exhibit the explicit coefficient choice and the integration-by-parts identity that produces the scalar curvature; the abstract states the outcome but the derivation is not visible in the supplied text.
minor comments (1)
  1. [Lagrangian definitions] Notation for the two torsion-squared invariants and the precise linear combination that yields the scalar curvature should be introduced with explicit formulae rather than descriptive phrases.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We appreciate the positive assessment of the significance of the work. We address each major comment below and will revise the manuscript to improve explicitness where indicated.

read point-by-point responses

  1. Referee: [non-linear completion (abstract and associated section)] The central non-linear step (parametrizing intrinsic torsion by a 3-form completely determined by d(Phi) and splitting into two Spin(7) irreps) is load-bearing for the claim that the two-parameter families match and for the subsequent first-order actions. The abstract asserts this determination is shown, yet the provided text supplies no explicit irrep decomposition, kernel/cokernel computation, or verification that the map dPhi → torsion 3-form is bijective on the relevant components; without this, the extension from the linearised analysis remains unconfirmed.

    Authors: The manuscript states and uses the parametrization of intrinsic torsion by a 3-form determined by d(Phi), together with the splitting into two Spin(7) irreps, as the basis for matching the two-parameter families. To make the bijectivity and representation-theoretic details fully transparent, we will add an explicit subsection (or appendix) containing the irrep decomposition of the relevant 3-forms, the kernel/cokernel analysis of the map dPhi to the torsion 3-form, and verification of bijectivity on the components in question. revision: yes

  2. Referee: [analysis of the distinguished Lagrangians] The claim that a specific linear combination of the two torsion-squared invariants integrates exactly to the scalar curvature (leading to Einstein equations) is a key result. The manuscript must exhibit the explicit coefficient choice and the integration-by-parts identity that produces the scalar curvature; the abstract states the outcome but the derivation is not visible in the supplied text.

    Authors: We will revise the relevant section to display the precise numerical coefficients in the linear combination of the two torsion-squared invariants and to write out the integration-by-parts identity step by step, showing how it equals the scalar curvature and yields the Einstein equations. This will render the derivation fully explicit without altering the result itself. revision: yes

Circularity Check

0 steps flagged

No circularity; linear-to-nonlinear passage is a mathematical proof, not a definitional reduction

full rationale

The derivation starts from the most general diffeomorphism-invariant quadratic Lagrangian at linearised level, yielding a two-parameter family fixed by Spin(7) representation theory. The non-linear step parametrises torsion by a 3-form and proves (rather than assumes by definition) that this 3-form is recovered from d(Phi); the two irreps then produce the matching two-parameter family of torsion-squared Lagrangians. The specific linear combination that integrates to scalar curvature is exhibited as a derived identity, not an input. No parameters are fitted to target equations, no self-citations carry the central claim, and no uniqueness is imported from prior author work. All steps remain self-contained mathematical constructions.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The construction rests on standard facts about Spin(7) representations and the exterior derivative; the two free parameters are chosen for invariance rather than fitted to data.

free parameters (1)
  • two coefficients parametrizing the quadratic Lagrangian
    Chosen so that the Lagrangian remains diffeomorphism invariant; not determined by data.
axioms (1)
  • domain assumption Intrinsic torsion of a Spin(7)-structure is completely captured by a 3-form determined by d of the Cayley 4-form
    Invoked explicitly when moving from linearised to non-linear analysis.

pith-pipeline@v0.9.0 · 5827 in / 1407 out tokens · 32016 ms · 2026-05-24T03:35:42.073118+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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 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.

    Proposition 1.2. The Hodge dual of the projection of (1.4) on the space of 5-forms can be written as ⋆dΦ = 2/5 J3(T), where J3 is a certain operator J3: Λ³→Λ³ defined by Φ... The operator J3 is invertible, and so T is completely determined by dΦ.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    the space of 3-forms splits into two Spin(7) irreducible components, and so there is a two-parameter family of diffeomorphism-invariant Lagrangians that are quadratic in the torsion, matching the linearised story.

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

9 extracted references · 9 canonical work pages · 2 internal anchors

  1. [1]

    Fern´ andez, ”A Classification of Riemannian Manifold s with Structure Group Spin(7),” Ann

    M. Fern´ andez, ”A Classification of Riemannian Manifold s with Structure Group Spin(7),” Ann. Mat. Pura Appl. (IV) 143 (1986), 101-122

    work page 1986

  2. [2]

    On the separation of Einsteinian subst ructures,

    J. F. Plebanski, “On the separation of Einsteinian subst ructures,” J. Math. Phys. 18 (1977), 2511-2520 doi:10.1063/1.523215

    work page doi:10.1063/1.523215 1977

  3. [3]

    Formulations of General Relativity,

    K. Krasnov, “Formulations of General Relativity,” Camb ridge University Press, 2020, ISBN 978-1-108-67465- 2, 978-1-108-48164-9 doi:10.1017/9781108674652

    work page doi:10.1017/9781108674652 2020

  4. [4]

    Spiro Karigiannis, ”Flows of Spin(7)-structures,” arX iv:0709.4594 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Shubham Dwivedi, Panagiotis Gianniotis, Spiro Karigia nnis, ”Flows of G2-structures, II: Curvature, torsion, symbols, and functionals,” arXiv:2311.05516 [math.DG]

    work page arXiv

  6. [6]

    ”xAct: Efficient tensor computer algebra for the Wolfram L anguage,” http://xact.es/index.html DYNAMICS OF CAYLEY FORMS 25

    work page

  7. [7]

    LieART 2.0 – A Mathematica application for Lie Algebras and Representation Theory,

    R. Feger, T. W. Kephart and R. J. Saskowski, “LieART 2.0 – A Mathematica application for Lie Algebras and Representation Theory,” Comput. Phys. Commun. 257 (2020), 107490 doi:10.1016/j.cpc.2020.107490 [arXiv:1912.10969 [hep-th]]

    work page doi:10.1016/j.cpc.2020.107490 2020

  8. [8]

    Bryant, ”Some remarks on G2-structures,” arXiv:math/0305124 [math.DG]

    R. Bryant, ”Some remarks on G2-structures,” arXiv:math/0305124 [math.DG]

    work page arXiv

  9. [9]

    On types of non-integrable geometries

    Thomas Friedrich, ”On types of non-integrable geometri es,” arXiv:math/0205149 [math.DG]. Email address : kirill.krasnov@nottingham.ac.uk, ORCID: 0000-0003-280 0-3767 School of Mathematical Sciences, University of Nottingham , Nottingham, NG7 2RD, UK

    work page internal anchor Pith review Pith/arXiv arXiv