On the generalised Lie derivative of (s)pinor fields

Frederik \v{D}alak; Fridrich Valach

REVIEW 1 major objections 6 minor 1 cited by

Generalised geometry gets a Lie derivative for spinors

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · glm-5.2

2026-07-09 13:00 UTC pith:BHK6ZNNO

load-bearing objection Clean extension of Kosmann–Bourguignon–Gauduchon to Courant algebroids; well-proven, self-contained, one minor expository gap. the 1 major comments →

arxiv 2607.07360 v1 pith:BHK6ZNNO submitted 2026-07-08 math.DG hep-thmath-phmath.MP

On the generalised Lie derivative of (s)pinor fields

Frederik \v{D}alak , Fridrich Valach This is my paper

classification math.DG hep-thmath-phmath.MP

keywords derivativefieldsgeneralisedgeometrypinoractionalthoughbourguignon-gauduchon

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper extends the classical Kosmann--Bourguignon--Gauduchon construction of the Lie derivative of spinor and pinor fields to the setting of generalised geometry. In the classical case, the obstacle is that diffeomorphisms drag a spinor field from one metric's spinor bundle to another, so a naive Lie derivative is ill-defined. The resolution uses a natural connection on the space of metrics to project back to the original fibre. The authors replicate this entire construction for a Courant algebroid equipped with a generalised metric and a pin+ structure. The central result (Theorem 4.14) is an explicit formula: the generalised Lie derivative of a pinor field along a section u decomposes as the covariant derivative D_u psi plus a correction term (1/2)(D_u a^b) gamma_{ab} psi involving the antisymmetric part of the connection and gamma matrices. This is the direct generalised-geometric analogue of the classical Kosmann formula. The paper also establishes the commutator algebra, showing that the failure of the Lie derivatives to close cleanly is governed by the curvature of the natural connection on the space of generalised metrics, encoded in the bracket of the generalised metric operators [L_u G, L_v G].

Core claim

The generalised Lie derivative of a pinor field psi along a section u of a Courant algebroid admits the decomposition L_u psi = D_u psi + (1/2)(D_u a^b) gamma_{ab} psi, where D is a generalised Levi-Civita connection and gamma_{ab} are Clifford algebra generators. This formula, together with the commutator closure relation L_{[u,v]} psi = [L_u, L_v] psi + (1/16)[L_u G, L_v G]_{ab} gamma^{ab} psi, establishes that the generalised Lie derivative of spinors is geometrically controlled by the connection on the space of generalised metrics, exactly paralleling the classical Kosmann derivative.

What carries the argument

Courant algebroid; generalised metric; generalised Levi-Civita connection; pin+ structure; tautological bundle over the space of metrics; Kosmann derivative

Load-bearing premise

The main formula depends on a choice of generalised Levi-Civita connection D, which exists but is typically not unique. The paper does not address whether the generalised Lie derivative itself is independent of this choice, leaving open whether different connections yield different decompositions of the same operator.

What would settle it

If the generalised Lie derivative L_u psi were shown to depend on the choice of generalised Levi-Civita connection D in a way that changes the operator itself (not just the decomposition), the formula would describe a connection-dependent artefact rather than a geometrically canonical object.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

The formula provides the geometric foundation for symmetry transformations of fermionic fields in generalised-geometry formulations of supergravity, clarifying the meaning of generalised diffeomorphisms acting on spinors.
The commutator algebra shows that the failure of closure is governed by [L_u G, L_v G], linking the algebra of generalised Lie derivatives directly to the curvature of the connection on the space of generalised metrics.
The construction extends to spin+ structures and to the spinor-tensor-vector representations appearing in type II supergravity, making the framework applicable beyond the N=1 case explicitly treated.
The orthogonal-projection identification of nearby generalised metric fibres (Remark 4.2) is more natural than its classical counterpart, suggesting that the generalised setting may simplify certain variational calculations involving spinors.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Clean extension of Kosmann–Bourguignon–Gauduchon to Courant algebroids; well-proven, self-contained, one minor expository gap.

read the letter

This paper extends the classical Kosmann–Bourguignon–Gauduchon Lie derivative of spinors to generalised geometry, and it does so cleanly. The main results are: a natural connection on the space of generalised metrics (Theorem 4.3), the explicit formula for the generalised metric Lie derivative (Theorem 4.6), and the pinor/spinor Lie derivative formula (Theorem 4.14). The central formula L_u ψ = D_u ψ + (1/2)(D_u a^b)γ_{ab}ψ is the direct analogue of the classical L_X ψ = ∇_X ψ + (1/4)(∇_μ X_ν)γ^{μν}ψ, and the commutator algebra closes with the expected curvature correction. The paper is self-contained, follows the classical construction closely, and the proofs check out. The connection on the space of generalised metrics (Theorem 4.3) is arguably more natural than its classical counterpart — the orthogonal projection does the work that γ^{-1}δγ does in the Riemannian case — and the authors note this fairly. The derivation of Theorem 4.6 from the parallel transport is direct and correct. Proposition 4.10 (the commutator formula) follows cleanly from the Jacobi identity and Lemma 3.7, and the factor 1/16 in the spinor commutator is the correct product of the 1/4 from Proposition 4.10 and the 1/4 from the pin representation. One thing the paper could state more explicitly: the generalised Lie derivative L_u ψ is defined independently of the choice of generalised Levi-Civita connection D. The definition (4.13) uses only the canonical parallel transport from Theorem 4.3 and the Courant algebroid flow. The connection D enters only in the derived decomposition (6), which expresses the already-defined operator in terms of D. So different choices of D give different decompositions but the same operator. The paper does not say this outright, and a reader coming from the physics side (where non-uniqueness of D is a live issue) might worry about it unnecessarily. This is an expository gap, not a mathematical problem. The paper is aimed at researchers in generalised geometry and mathematical physics, particularly those working on the symmetry structure of supergravity or its BV formulation. It is short, focused, and does exactly what it promises. It deserves a serious referee.

Referee Report

1 major / 6 minor

Summary. This paper extends the classical Kosmann–Bourguignon–Gauduchon construction of the Lie derivative of spinor fields to the setting of generalised geometry. The authors first review the classical construction (Section 2), where a natural connection on the space of metrics yields a 'metric Lie derivative' on the orthonormal frame bundle, which lifts to the Pin/Spin bundle and reproduces the Kosmann formula. In Section 4 they develop the generalised-geometric analogue: a connection on the space of generalised metrics (Theorem 4.3) produces a vector field u_O on the bundle of adapted orthonormal frames (Definition 4.4), whose lift to a Pin+ bundle defines the generalised Lie derivative of pinors (Definition 4.13). The main result (Theorem 4.14) expresses this derivative via any generalised Levi-Civita connection D as L_u ψ = D_u ψ + (1/2)(D_u a^b)γ_{ab}ψ, and gives the commutator algebra L_{[u,v]}ψ = [L_u, L_v]ψ + (1/16)[L_u G, L_v G]_{ab}γ^{ab}ψ. The paper is well-structured, with a clean logical flow from the classical to the generalised setting.

Significance. The paper provides a geometrically natural construction of the generalised Lie derivative of pinor and spinor fields on Courant algebroids, filling a conceptual gap in the generalised-geometric formulation of supergravity symmetries. The derivation is parameter-free: the operator L_u ψ is defined independently of any choice of generalised Levi-Civita connection (via the canonical parallel transport on the space of generalised metrics, Theorem 4.3), and the connection D enters only in the derived identity (6). The main formula in Theorem 4.14 is a direct and clean generalisation of the classical Kosmann formula. The construction is falsifiable in the sense that it yields specific coefficient predictions (the factor 1/2 in the derivative formula and 1/16 in the commutator) that can be checked against known supergravity expressions. The paper should be of interest to both differential geometers and the mathematical physics community working on generalised geometry and supergravity.

major comments (1)

Theorem 4.14 states the formula L_u ψ = D_u ψ + (1/2)(D_u a^b)γ_{ab}ψ for a generalised Levi-Civita connection D, which by Theorem 3.11 (citing Garcia-Fernandez [4]) exists but is typically not unique. The paper does not explicitly state that the left-hand side L_u ψ is independent of the choice of D, even though this follows from the construction (L_u ψ is defined in Definition 4.13 as u_P ψ, where u_P is the lift of u_O from Definition 4.4, and u_O depends only on the canonical parallel transport from Theorem 4.3). The identity (6), u_O = u_LC + 2Π∘antisym(D_u), shows that D enters only in the decomposition of the already-defined u_O. While the mathematics is sound, adding an explicit remark to this effect—perhaps after Theorem 4.14 or at Definition 4.13—would remove a natural source of reader confusion and strengthen the presentation. This is a presentation gap rather than a logical缺陷

minor comments (6)

The paper does not explicitly state that the generalised Lie derivative L_u ψ is independent of the choice of generalised Levi-Civita connection D, even though this follows from the construction. A brief remark after Theorem 4.14 clarifying that the left-hand side is D-independent by definition would address this natural reader concern.
In the proof of Theorem 4.3, the ODE for a(t) is derived and solved using uniqueness of ODE solutions. The step where ˙G(1+G)G is simplified to ˙G(1−G) could benefit from one line of intermediate algebra showing that G² = id implies (1+G)G = G + G² = G + id and hence ˙G(1+G)G = ˙G(G + id), which then combines with the existing term. This is correct but currently compressed.
The notation for indices in Section 4 (early Latin a, b for V+ indices; dotted ˙c, ˙e for V− indices) is introduced implicitly in Corollary 4.8. A brief sentence stating this convention when the adapted frame {e_α} = {{e_a}, {e_˙c}} is first introduced would help the reader.
In Definition 3.2, the generalised Lie derivative L_u t := u_Fr t is defined for equivariant functions on Fr(E). It might be worth a parenthetical note that this coincides with the standard generalised Lie derivative L_u v = [u, v] when t corresponds to a section v ∈ Γ(E), as established later in equation (3), to connect with the notation readers may expect from the generalised geometry literature.
Remark 4.16 mentions that the extension to the Spin(r,s)×Spin(p−r,q−s) case relevant for type II supergravity is 'obvious.' While this is likely true, a one-sentence indication of what modifies (e.g., that the second factor also admits a Clifford action) would be useful for readers wishing to apply the results in that context.
Reference [5] (Giotopoulos) and [1] (Ballesteros et al.) are both dated 2026; if these are preprints, confirming the final publication details would be appropriate. Reference [7] (Kupka, Strickland-Constable, Valach) is cited for the curvature of ∇_bas and the BV formulation context; the connection to the curvature term in Proposition 4.10 could be made slightly more explicit.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the positive assessment. The referee raises one major comment concerning the independence of L_u ψ from the choice of generalised Levi-Civita connection D in Theorem 4.14. We agree that this point, while logically implicit in the construction, should be stated explicitly in the manuscript to avoid reader confusion. We will add a remark to this effect.

read point-by-point responses

Referee: Theorem 4.14 states the formula L_u ψ = D_u ψ + (1/2)(D_u a^b)γ_{ab}ψ for a generalised Levi-Civita connection D, which by Theorem 3.11 exists but is typically not unique. The paper does not explicitly state that the left-hand side L_u ψ is independent of the choice of D, even though this follows from the construction. Adding an explicit remark would remove a natural source of reader confusion.

Authors: We fully agree with this observation. As the referee correctly notes, L_u ψ is defined in Definition 4.13 as u_P ψ, where u_P is the lift of u_O from Definition 4.4, and u_O depends only on the canonical parallel transport from Theorem 4.3 — not on any choice of generalised Levi-Civita connection. The connection D enters only in the derived identity (6), which decomposes the already-defined u_O as u_O = u_LC + 2Π∘antisym(D_u). Thus the right-hand side of the formula in Theorem 4.14 is D-independent, even though D appears explicitly. We will add a remark immediately after Theorem 4.14 stating this independence explicitly, and cross-referencing Definition 4.13 and equation (6) to make the logical structure transparent. This is a presentation improvement that strengthens the paper. revision: yes

Circularity Check

0 steps flagged

No significant circularity; the derivation is self-contained and parameter-free

full rationale

The paper constructs the generalised Lie derivative of pinor fields from first principles: the canonical connection on the space of generalised metrics (Theorem 4.3, built from the orthogonal projection) defines u_O (Definition 4.4), which lifts to u_P (Definition 4.13), and the spinor formula follows from the decomposition u_O = u_LC + 2Π∘antisym(D_u) (Corollary 4.9) combined with the standard pin representation o(r,s) ∋ A ↦ (1/4)A_{μν}γ^{μν}. The commutator formula (Proposition 4.10) is derived purely from the Courant algebroid Jacobi identity and Lemma 3.7, with no reference to D. The only self-citation is to [7] (co-authored by Valach) for the curvature of ∇_bas, mentioned in Remark 4.11 as supplementary detail, but this is not load-bearing for any theorem or formula in the paper. The non-uniqueness of the generalised Levi-Civita connection D (Theorem 3.11, cited from [4] by Garcia-Fernandez) does not create circularity: u_O is defined independently of D, and the decomposition (6) is an identity that holds for any valid D, with the left-hand side being D-independent by construction. No step reduces to its inputs by definition, no fitted parameter is renamed as a prediction, and no self-citation chain forces the conclusion. The derivation is self-contained against external benchmarks (the classical Kosmann formula of Theorem 2.16). Score 1 reflects the minor non-load-bearing self-citation to [7].

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

No new particles, forces, dimensions, or postulated entities are introduced. The construction uses standard geometric objects (Courant algebroids, generalised metrics, spinor bundles) and standard representation theory.

axioms (3)

domain assumption Existence of generalised Levi-Civita connections on a Courant algebroid with a generalised metric (Theorem 3.11, cited from Garcia-Fernandez [4])
The main formula Theorem 4.14 is stated for a given generalised Levi-Civita connection D. The existence of such D is assumed from external work [4], not proved here.
standard math Standard Courant algebroid axioms (Definition 3.1, from [8], [10])
The Jacobi identity, Leibniz property, invariance of pairing, and symmetry axiom for the bracket are the foundational structure used throughout Section 4.
domain assumption Existence of pin+/spin+ structures on Courant algebroids (Definitions 4.12, 4.15)
The topological condition (vanishing first Pontryagin class for the adjoint bundle, mentioned in Example 3.4) is required to lift the O-structure to a Pin-structure. This is a standard but non-trivial topological assumption.

pith-pipeline@v1.1.0-glm · 16173 in / 3128 out tokens · 220224 ms · 2026-07-09T13:00:47.841985+00:00 · methodology

0 comments

read the original abstract

Although the action of diffeomorphisms on pinor (or spinor) fields is geometrically unambiguous, the definition of a natural Lie derivative is more subtle and requires some understanding of the geometry of the space of metrics at a point. In this work we revisit the classical construction of Kosmann and Bourguignon-Gauduchon and develop the corresponding theory in generalised geometry.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Covariant variation and its applications
hep-th 2026-07 conditional novelty 5.0

A metric-compatible covariant variation of tensors has a non-closure anomaly that reproduces electromagnetic helicity flux under superrotations and generalizes to higher-spin and p-form radiative data.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages · cited by 1 Pith paper · 6 internal anchors

[1]

Ballesteros, E

R. Ballesteros, E. Lescano, J. A. Rodr´ ıguez,Kosmann derivative and momentum maps from a duality co- variant framework, JHEP 05 (2026) 310 [2602.11267]

work page arXiv 2026
[2]

Bourguignon, P

J.-P. Bourguignon, P. Gauduchon,Spineurs, op´ erateurs de Dirac et variations de m´ etriques, Commun. Math. Phys. 144 (1992) 581–599

work page 1992
[3]

Supergravity as Generalised Geometry I: Type II Theories

A. Coimbra, C. Strickland-Constable, D. Waldram,Supergravity as Generalised Geometry I: Type II Theories, JHEP 11 (2011) 091 [1107.1733]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[4]

Ricci flow, Killing spinors, and T-duality in generalized geometry

M. Garcia-Fernandez,Ricci flow, Killing spinors, and T-duality in generalised geometry, Adv. Math. 350 (2019) 1059–1108 [1611.08926]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[5]

Giotopoulos,Covariant Lie derivatives and (Super-)gravity, Lett

G. Giotopoulos,Covariant Lie derivatives and (Super-)gravity, Lett. Math. Phys. 116 (2026) 3, 60 [2507.00140]

work page arXiv 2026
[6]

Kosmann,D´ eriv´ ees de Lie des spineurs, Annali Mat

Y. Kosmann,D´ eriv´ ees de Lie des spineurs, Annali Mat. Pura Appl. 91 (1971) 1, 317–395

work page 1971
[7]

Geometry of supergravity and the Batalin--Vilkovisky formulation of the $\mathcal N=1$ theory in ten dimensions

J. Kupka, C. Strickland-Constable, F. Valach,Geometry of supergravity and the Batalin–Vilkovisky formu- lation of theN= 1theory in ten dimensions, Fortsch. Phys. 74 (2026) 5, e70106 [2508.06398]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[8]

Z.-J. Liu, A. Weinstein, P. Xu,Manin triples for Lie bialgebroids, J. Differential Geom. 45 (1997), 547–574 [dg-ga/9508013]

work page internal anchor Pith review Pith/arXiv arXiv 1997
[9]

Superspace Duality in Low-Energy Superstrings

W. Siegel,Superspace duality in low-energy superstrings, Phys. Rev. D 48 (1993) 2826–2837 [hep-th/9305073]

work page internal anchor Pith review Pith/arXiv arXiv 1993
[10]

Letters to Alan Weinstein about Courant algebroids

P. ˇSevera,Letters to Alan Weinstein about Courant algebroids, 1998–2000 [1707.00265]. Mathematical Institute, F aculty of Mathematics and Physics, Charles University, Prague 186 75, Czech Republic Email address:frederik.dalak@matfyz.cuni.cz Mathematical Institute, F aculty of Mathematics and Physics, Charles University, Prague 186 75, Czech Republic Emai...

work page internal anchor Pith review Pith/arXiv arXiv 1998

[1] [1]

Ballesteros, E

R. Ballesteros, E. Lescano, J. A. Rodr´ ıguez,Kosmann derivative and momentum maps from a duality co- variant framework, JHEP 05 (2026) 310 [2602.11267]

work page arXiv 2026

[2] [2]

Bourguignon, P

J.-P. Bourguignon, P. Gauduchon,Spineurs, op´ erateurs de Dirac et variations de m´ etriques, Commun. Math. Phys. 144 (1992) 581–599

work page 1992

[3] [3]

Supergravity as Generalised Geometry I: Type II Theories

A. Coimbra, C. Strickland-Constable, D. Waldram,Supergravity as Generalised Geometry I: Type II Theories, JHEP 11 (2011) 091 [1107.1733]

work page internal anchor Pith review Pith/arXiv arXiv 2011

[4] [4]

Ricci flow, Killing spinors, and T-duality in generalized geometry

M. Garcia-Fernandez,Ricci flow, Killing spinors, and T-duality in generalised geometry, Adv. Math. 350 (2019) 1059–1108 [1611.08926]

work page internal anchor Pith review Pith/arXiv arXiv 2019

[5] [5]

Giotopoulos,Covariant Lie derivatives and (Super-)gravity, Lett

G. Giotopoulos,Covariant Lie derivatives and (Super-)gravity, Lett. Math. Phys. 116 (2026) 3, 60 [2507.00140]

work page arXiv 2026

[6] [6]

Kosmann,D´ eriv´ ees de Lie des spineurs, Annali Mat

Y. Kosmann,D´ eriv´ ees de Lie des spineurs, Annali Mat. Pura Appl. 91 (1971) 1, 317–395

work page 1971

[7] [7]

Geometry of supergravity and the Batalin--Vilkovisky formulation of the $\mathcal N=1$ theory in ten dimensions

J. Kupka, C. Strickland-Constable, F. Valach,Geometry of supergravity and the Batalin–Vilkovisky formu- lation of theN= 1theory in ten dimensions, Fortsch. Phys. 74 (2026) 5, e70106 [2508.06398]

work page internal anchor Pith review Pith/arXiv arXiv 2026

[8] [8]

Z.-J. Liu, A. Weinstein, P. Xu,Manin triples for Lie bialgebroids, J. Differential Geom. 45 (1997), 547–574 [dg-ga/9508013]

work page internal anchor Pith review Pith/arXiv arXiv 1997

[9] [9]

Superspace Duality in Low-Energy Superstrings

W. Siegel,Superspace duality in low-energy superstrings, Phys. Rev. D 48 (1993) 2826–2837 [hep-th/9305073]

work page internal anchor Pith review Pith/arXiv arXiv 1993

[10] [10]

Letters to Alan Weinstein about Courant algebroids

P. ˇSevera,Letters to Alan Weinstein about Courant algebroids, 1998–2000 [1707.00265]. Mathematical Institute, F aculty of Mathematics and Physics, Charles University, Prague 186 75, Czech Republic Email address:frederik.dalak@matfyz.cuni.cz Mathematical Institute, F aculty of Mathematics and Physics, Charles University, Prague 186 75, Czech Republic Emai...

work page internal anchor Pith review Pith/arXiv arXiv 1998