pith. sign in

arxiv: 2604.16681 · v1 · submitted 2026-04-17 · 🧮 math.DG

Left-invariant harmonic spinors on three-dimensional Lie groups

Alejandro Gil-Garc\'ia , Giovanni Russo This is my paper

Pith reviewed 2026-05-10 06:49 UTC · model grok-4.3

classification 🧮 math.DG
keywords left-invariant harmonic spinorsthree-dimensional Lie groupsDirac operatorpseudo-Riemannian metricsLie algebrasstructure equationsalmost Abelian Lie algebras
0
0 comments X

The pith

Three-dimensional Lie groups admit left-invariant harmonic spinors precisely when their Lie algebra structure equations satisfy specific algebraic constraints.

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

The paper investigates the existence of left-invariant harmonic spinors on three-dimensional Lie groups equipped with left-invariant pseudo-Riemannian metrics. It revises an existing formula for the spin Dirac operator restricted to left-invariant spinors and adapts it to the pseudo-Riemannian setting, with special attention to almost Abelian Lie algebras. Equivalent conditions are derived that tie the presence of such spinors directly to constraints on the structure constants of the underlying Lie algebra. The admissible metrics are then classified explicitly up to automorphism for each relevant case in dimensions two and three.

Core claim

The existence of left-invariant harmonic spinors on a three-dimensional Lie group with a left-invariant pseudo-Riemannian metric is equivalent to certain constraints on the structure equations of the corresponding Lie algebra. These conditions are obtained by specializing the formula for the spin Dirac operator to left-invariant spinors. The metrics that satisfy the conditions are identified up to automorphism for each Lie algebra type.

What carries the argument

The revised formula for the spin Dirac operator acting on left-invariant spinors, specialized to pseudo-Riemannian metrics and almost Abelian Lie algebras.

If this is right

  • For each three-dimensional Lie algebra, the left-invariant metrics admitting harmonic spinors can be listed explicitly up to automorphism.
  • The algebraic constraints on structure equations supply a direct test for harmonic spinors without solving the full eigenvalue problem on the group.
  • The same revision of the Dirac operator formula applies uniformly across the cases considered in dimensions two and three.

Where Pith is reading between the lines

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

  • The classification may extend to study the Dirac index on compact quotients of these groups.
  • It indicates that left-invariant harmonic spinors occur only for Lie algebras with sufficiently restrictive structure constants.
  • Similar algebraic reductions could apply to other invariant differential operators on homogeneous spaces.

Load-bearing premise

The existing formula for the spin Dirac operator on left-invariant spinors extends correctly to the pseudo-Riemannian setting and to almost Abelian Lie algebras.

What would settle it

Explicit calculation of the kernel of the Dirac operator on one three-dimensional Lie group whose structure constants violate the derived constraints, checking whether left-invariant harmonic spinors are absent.

read the original abstract

We study the existence of left-invariant harmonic spinors on three-dimensional Lie groups equipped with a left-invariant pseudo-Riemannian metric. An existing formula for the spin Dirac operator acting on left-invariant spinors in the Riemannian setting is revised and specialised to our cases, in particular to almost Abelian Lie algebras. Focussing on dimension two and three, we find equivalent conditions for the Lie groups to admit left-invariant harmonic spinors in terms of constraints on the structure equations of the corresponding Lie algebras. We then identify those metrics (up to automorphism) carrying left-invariant harmonic spinors in each case.

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 / 2 minor

Summary. The manuscript derives equivalent conditions, in terms of constraints on Lie algebra structure constants, for three-dimensional Lie groups equipped with left-invariant pseudo-Riemannian metrics to admit left-invariant harmonic spinors. It does so by revising and specializing an existing formula for the spin Dirac operator on left-invariant spinors to the pseudo-Riemannian setting (with emphasis on almost Abelian Lie algebras), then classifies the admissible metrics up to automorphism.

Significance. If the revised Dirac operator formula is correctly derived without sign or representation errors and the resulting algebraic conditions are exhaustive, the classification would extend known results on harmonic spinors from the Riemannian to the indefinite-metric case on homogeneous 3-manifolds, providing a concrete algebraic criterion useful for further study of spin geometry on Lie groups.

major comments (2)
  1. [Section on the spin Dirac operator (following the statement of the revised formula)] The central claim equates the existence of left-invariant harmonic spinors to algebraic constraints on structure constants, which rests entirely on the revised formula for the spin Dirac operator D acting on left-invariant spinors. The manuscript states that this is obtained by specializing an existing Riemannian formula, but the explicit adjustments to Clifford multiplication and the spin connection terms for indefinite signatures (particularly when the derived algebra is one-dimensional in the almost Abelian case) are not provided in sufficient detail to confirm that no sign flips or representation mismatches occur in the expression for Dψ; without these calculations the equivalence Dψ=0 ⇔ structure-constant constraints cannot be verified.
  2. [Classification section (the case-by-case analysis of Lie algebras)] The classification of metrics (up to automorphism) that carry left-invariant harmonic spinors is obtained by solving the derived constraints case-by-case. The manuscript must exhibit the full list of solutions for each Lie algebra type together with the explicit spinor fields that realize the kernel, so that it is possible to check that no solutions are omitted or introduced by post-hoc choices.
minor comments (2)
  1. [Abstract] The abstract mentions results in 'dimension two and three' while the title specifies three-dimensional Lie groups; clarify whether the two-dimensional case is included as a preliminary or special case.
  2. [Introduction] The source of the original Riemannian formula being revised should be cited explicitly in the introduction or the section where the revision is performed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major concerns point by point below.

read point-by-point responses

  1. Referee: [Section on the spin Dirac operator (following the statement of the revised formula)] The central claim equates the existence of left-invariant harmonic spinors to algebraic constraints on structure constants, which rests entirely on the revised formula for the spin Dirac operator D acting on left-invariant spinors. The manuscript states that this is obtained by specializing an existing Riemannian formula, but the explicit adjustments to Clifford multiplication and the spin connection terms for indefinite signatures (particularly when the derived algebra is one-dimensional in the almost Abelian case) are not provided in sufficient detail to confirm that no sign flips or representation mismatches occur in the expression for Dψ; without these calculations the equivalence Dψ=0 ⇔ structure-constant constraints cannot be verified.

    Authors: We agree that the derivation requires more explicit detail to permit verification. In the revised manuscript we will insert a self-contained subsection deriving the pseudo-Riemannian spin Dirac operator from the Riemannian formula. This will display the precise modifications to the Clifford action (arising from the indefinite inner product) and to the spin connection (including the contribution when the derived algebra is one-dimensional), together with the resulting expression for Dψ on left-invariant spinors. The added calculations will confirm that no sign or representation errors are present and will thereby substantiate the claimed equivalence with the structure-constant constraints. revision: yes

  2. Referee: [Classification section (the case-by-case analysis of Lie algebras)] The classification of metrics (up to automorphism) that carry left-invariant harmonic spinors is obtained by solving the derived constraints case-by-case. The manuscript must exhibit the full list of solutions for each Lie algebra type together with the explicit spinor fields that realize the kernel, so that it is possible to check that no solutions are omitted or introduced by post-hoc choices.

    Authors: We accept that the classification section should be presented in a fully explicit and verifiable manner. In the revision we will augment the case-by-case analysis with a complete enumeration, for every admissible Lie algebra, of the metrics (up to automorphism) that satisfy the constraints, together with the explicit left-invariant spinor fields that lie in the kernel of D. This will make it straightforward to confirm that the list is exhaustive and that no extraneous solutions have been introduced. revision: yes

Circularity Check

0 steps flagged

No circularity: algebraic derivation from revised Dirac operator formula is self-contained

full rationale

The paper revises an existing (non-self) formula for the spin Dirac operator on left-invariant spinors, specializes it to the pseudo-Riemannian and almost-Abelian cases, and obtains equivalent algebraic conditions on the Lie-algebra structure constants for the kernel to be non-trivial. These conditions are then solved to classify the metrics up to automorphism. No step equates a derived quantity to its own input by definition, renames a known empirical pattern, or relies on a load-bearing self-citation whose validity is presupposed. The central claims are direct consequences of applying the operator to the structure equations and are externally checkable by direct computation in the Lie algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard facts from spin geometry and Lie-group theory; no free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (1)
  • domain assumption The spin Dirac operator on left-invariant spinors can be expressed via the structure constants of the Lie algebra and the metric coefficients.
    Invoked when the authors revise the existing formula and specialise it to the pseudo-Riemannian and almost-Abelian cases.

pith-pipeline@v0.9.0 · 5387 in / 1317 out tokens · 34615 ms · 2026-05-10T06:49:10.456351+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Ammann, C

    B. Ammann, C. B¨ ar,The Dirac operator on nilmanifolds and collapsing circle bundles. Ann. Glob. Anal. Geom.16(1998), no. 3, 221–253,https://doi.org/10.1023/A:1006553302362

    work page doi:10.1023/a:1006553302362 1998

  2. [2]

    Andrada, M

    A. Andrada, M. L. Barberis, I. G. Dotti, and G. P. Ovando,Product structures on four- dimensional solvable Lie algebras. Homology Homotopy Appl.7(2005), no. 1, 9–37,https: //doi.org/10.4310/HHA.2005.v7.n1.a2

    work page doi:10.4310/hha.2005.v7.n1.a2 2005

  3. [3]

    H. Baum, T. Friedrich, R. Grunewald, and I. Kath, Twistors and Killing spinors on Rie- mannian manifolds. B. G. Teubner Verlagsgesellschaft mbH, Stuttgart, 1991

    work page 1991

  4. [4]

    Bazzoni, L

    G. Bazzoni, L. Mart´ ın-Merch´ an, and V. Mu˜ noz,Spin-harmonic structures and nilman- ifolds. Comm. Anal. Geom.32(2024), no. 1, 153–201,https://doi.org/10.4310/CAG. 240905215149

    work page doi:10.4310/cag 2024

  5. [5]

    Bianchi,Sugli spazi a tre dimensioni che ammettono un gruppo continuo di movimenti

    L. Bianchi,Sugli spazi a tre dimensioni che ammettono un gruppo continuo di movimenti. Memorie di Matematica e di Fisica della Societ` a Italiana delle Scienze, Serie Terza, Tomo XI (1898), 267–352

    work page

  6. [6]

    Cluster Computing 6(3), 215–226 (Jul 2003), https://doi.org/10.1023/A: 1023588520138

    L. Bianchi,On the three-dimensional spaces which admit a continuous group of mo- tions. Gen. Relativ. Gravit.33(2001), no. 12, 2171–2253,https://doi.org/10.1023/A: 1015357132699

    work page doi:10.1023/a: 2001

  7. [7]

    Boucetta, A

    M. Boucetta, A. Chakkar,The moduli spaces of Lorentzian left-invariant metrics on three- dimensional unimodular simply connected Lie groups. J. Korean Math. Soc.59(2022), no. 4, 651–684,https://doi.org/10.4134/JKMS.j210460

    work page doi:10.4134/jkms.j210460 2022

  8. [8]

    Conti, A

    D. Conti, A. Gil-Garc´ ıa,Almost Abelian pseudo-K¨ ahler Lie algebras. To appear in Ann. Sc. Norm. Super. Pisa Cl. Sci.,https://doi.org/10.2422/2036-2145.202507_006

    work page doi:10.2422/2036-2145.202507_006 2036

  9. [9]

    Conti, F

    D. Conti, F. A. Rossi,Einstein nilpotent Lie groups. J. Pure Appl. Algebra223(2019), no. 3, 976–997,https://doi.org/10.1016/j.jpaa.2018.05.010

    work page doi:10.1016/j.jpaa.2018.05.010 2019

  10. [10]

    Conti, F

    D. Conti, F. A. Rossi, and R. Segnan Dalmasso,Harmful structures and Killing spinors on unimodular Lie groups. arXiv preprint:https://arxiv.org/abs/2509.08507, 2025

    work page arXiv 2025

  11. [11]

    Freibert,Cocalibrated structures on Lie algebras with a codimension one Abelian ideal

    M. Freibert,Cocalibrated structures on Lie algebras with a codimension one Abelian ideal. Ann. Glob. Anal. Geom.42(2012), no. 4, 537–563,https://doi.org/10.1007/ s10455-012-9326-0

    work page 2012

  12. [12]

    Friedrich, Dirac Operators in Riemannian Geometry

    T. Friedrich, Dirac Operators in Riemannian Geometry. Institut f¨ ur Mathematik, Humboldt- Universit¨ at, Berlin, Germany

    work page

  13. [13]

    K. Y. Ha, J. B. Lee,Left invariant metrics and curvatures on simply connected three- dimensional Lie groups. Math. Nachr.282(2009), no. 6, 868–898,https://doi.org/10. 1002/mana.200610777

    work page 2009

  14. [14]

    K. Y. Ha, J. B. Lee,Left invariant Lorentzian metrics and curvatures on non-unimodular Lie groups of dimension three. arXiv preprint:https://arxiv.org/abs/2209.02208, 2022

    work page arXiv 2022

  15. [15]

    K. Y. Ha, J. B. Lee,Left invariant Lorentzian metrics and curvatures on non-unimodular Lie groups of dimension three. J. Korean Math. Soc.60(2023), no. 1, 143–165,https: //doi.org/10.4134/JKMS.j220238

    work page doi:10.4134/jkms.j220238 2023

  16. [16]

    Hitchin,Harmonic spinors

    N. Hitchin,Harmonic spinors. Adv. Math.14(1974), no. 1, 1–55,https://doi.org/10. 1016/0001-8708(74)90021-8

    work page 1974

  17. [17]

    Milnor,Curvatures of left-invariant metrics on Lie groups

    J. Milnor,Curvatures of left-invariant metrics on Lie groups. Adv. Math.21(1976), no. 3, 293–329,https://doi.org/10.1016/S0001-8708(76)80002-3

    work page doi:10.1016/s0001-8708(76)80002-3 1976

  18. [18]

    Search for a realistic Kaluza–Klein theory,

    E. Witten,Search for a realistic Kaluza–Klein theory. Nucl. Phys. B186(1981), no. 3, 412–428,https://doi.org/10.1016/0550-3213(81)90021-3. Mathematics Area, SISSA - Scuola Internazionale Superiore di Studi A vanzati, via Bonomea 265, 34136 Trieste (TS), Italy Email address:agilgarc@sissa.it Mathematics Area, SISSA - Scuola Internazionale Superiore di Stud...

    work page doi:10.1016/0550-3213(81)90021-3 1981