arxiv: 2605.07813 · v1 · submitted 2026-05-08 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

On generalized imaginary Spin^c-Killing spinors

Jos\'e Luis Carmona Jim\'enez

Pith reviewed 2026-05-11 02:54 UTC · model grok-4.3

classification 🧮 math.DG MSC 53C27

keywords generalized imaginary Spin^c-Killing spinorsDirac currentreal hyperbolic spaceSpin^c structuresLevi-Civita connectionparallel spinorsvectorial torsionRiemannian manifolds

0 comments

The pith

Generalized imaginary Spin^c-Killing spinors force a manifold to be locally isometric to real hyperbolic space when their Dirac current vanishes somewhere.

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

The paper classifies Riemannian manifolds that admit a non-trivial spinor satisfying the generalized imaginary Spin^c-Killing equation, in which the covariant derivative of the spinor equals i times a real function times the Clifford action of the vector. Associated to any such spinor is its Dirac current vector field V. When this current vanishes at even one point and the dimension is at least three, the manifold must be locally isometric to real hyperbolic space. When the current is nowhere zero, the paper supplies a global geometric description of the manifold provided that either the unit vector in the direction of V is complete or the leaves of its orthogonal distribution are complete. A special case is re-expressed as the existence of parallel spinors for a connection with vectorial torsion.

Core claim

If the Dirac current V associated to a generalized imaginary Spin^c-Killing spinor vanishes somewhere and dim M ≥ 3, then M is locally isometric to real hyperbolic space. When V never vanishes and dim M ≥ 3, a global geometric description of the Spin^c-Riemannian manifold is obtained whenever the normalized current ξ = V/|V| is complete or the leaves of its kernel distribution D are complete. The type-I case is reinterpreted as parallel spinors for a suitable connection with vectorial torsion.

What carries the argument

The generalized imaginary Spin^c-Killing equation ∇^{g,A}_X ψ = i μ X · ψ together with its Dirac current V defined by g(V, X) = i ⟨X · ψ, ψ⟩.

If this is right

The manifold is locally isometric to real hyperbolic space whenever the Dirac current vanishes at a point.
When the current is nowhere zero, completeness of the normalized current or its orthogonal leaves yields a complete foliation or warped-product description of the manifold.
The type-I spinors correspond to parallel spinors for a connection with vectorial torsion.
Local isometry to hyperbolic space holds in all dimensions three and higher under the vanishing condition.

Where Pith is reading between the lines

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

These spinors may serve as a curvature-detection device that works without computing the full Riemann tensor directly.
The torsion reinterpretation could be used to relate such manifolds to other geometries defined by connections with torsion, such as in string theory or heterotic models.
The local hyperbolic conclusion might extend to the study of rigidity phenomena for spinors on manifolds with non-constant curvature.

Load-bearing premise

The completeness of either the normalized Dirac current or the leaves of its orthogonal distribution is needed for any global classification; without it only local information follows, and dimension at least three is required for the hyperbolic-space conclusion.

What would settle it

Exhibit a manifold of dimension at least three carrying a generalized imaginary Spin^c-Killing spinor whose Dirac current vanishes at some point yet whose sectional curvatures are not constantly equal to minus one.

read the original abstract

A non-trivial spinor field $\psi$ is called a generalized imaginary $\mathrm{Spin}^c$-Killing spinor if $\nabla^{g,A} _X \psi = i\mu X \cdot \psi$ for all vector fields $X$, where $\mu$ is a real function that is not identically zero and $\nabla^{g,A}$ is the $\mathrm{Spin}^c$ Levi-Civita connection with $\mathrm{U}(1)$-connection $A$. Associated with $\psi$ is a vector field $V$, the Dirac current, defined by $g(V,X) = i \langle X\cdot \psi, \psi \rangle$. We prove that if $V$ vanishes somewhere and $\operatorname{dim} M \geq 3$, the manifold is locally isometric to real hyperbolic space. When $V$ never vanishes and $\operatorname{dim} M \geq 3$, we obtain a global geometric description of all $\mathrm{Spin}^c$-Riemannian manifolds carrying such spinors, under the assumption that either the normalized Dirac current $\xi = \frac{V}{|V|}$ is complete or the leaves of $\mathcal{D} = \ker(\xi^\flat)$ are complete. Finally, we reinterpret the case of type~I generalized imaginary $\mathrm{Spin}^c$-Killing spinors in terms of parallel spinors for a suitable connection with vectorial torsion.

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

This paper defines generalized imaginary Spin^c-Killing spinors with variable mu and proves local hyperbolicity when the Dirac current vanishes, plus a global description under completeness assumptions.

read the letter

The main result is that if a manifold carries one of these spinors and the associated Dirac current V vanishes at even one point, then for dimension at least 3 the manifold is locally isometric to real hyperbolic space. When V is nowhere zero the authors give a global geometric picture by flowing along the normalized vector field or its orthogonal distribution, but only after assuming completeness of one or the other. That is the concrete classification they deliver beyond the usual constant-coefficient Killing spinors. The definition itself is new: it keeps the imaginary factor but lets the real function mu vary, all inside the Spin^c connection. They then link the vanishing of V directly to the curvature endomorphism via the standard spinorial identities, which forces the hyperbolic metric locally. The final reinterpretation of the type-I case as parallel spinors for a connection with vectorial torsion is a clean bridge to torsion geometry. The work is careful with the setup and does not invent extra structure. The soft spots are limited and proportionate. The global statement really does require the completeness hypothesis on the normalized current or the leaves of D; drop that and you are left with only local information. The dimension lower bound of 3 is also necessary to get the hyperbolic conclusion without low-dimensional exceptions. No circularity appears in the logic, and the stress-test note confirms there are no hidden divisions or unjustified steps in the curvature analysis. This is for people already working in spin geometry who know the Dirac current and Killing equations. A reader who follows the literature on special spinors will see the extension immediately and can use the theorems as stated. It is worth sending to peer review because the claims are precise, the techniques are standard, and the results add a usable classification inside an established area.

Referee Report

0 major / 3 minor

Summary. The paper defines a generalized imaginary Spin^c-Killing spinor ψ on a Riemannian Spin^c-manifold (M,g,A) by the equation ∇^{g,A}_X ψ = i μ X·ψ for a real function μ not identically zero. It associates the Dirac current V with g(V,X)=i⟨X·ψ,ψ⟩ and proves two main results for dim M≥3: (i) if V vanishes at some point then M is locally isometric to real hyperbolic space; (ii) if V is nowhere zero, then under the assumption that either the normalized vector field ξ=V/|V| is complete or the leaves of the distribution D=ker(ξ♭) are complete, a global geometric description of all such manifolds is obtained. The paper also reinterprets the type-I case via parallel spinors for a connection with vectorial torsion.

Significance. If the derivations hold, the local rigidity result to hyperbolic space is a clean extension of known Killing-spinor rigidity theorems to the imaginary Spin^c setting and rests on standard curvature identities for the Dirac current. The global classification under completeness hypotheses on ξ or its orthogonal distribution provides a precise geometric picture that is falsifiable and directly usable in further classification work. The torsion reinterpretation links the construction to the broader literature on connections with torsion and parallel spinors.

minor comments (3)

§2, definition of generalized imaginary Spin^c-Killing spinor: the condition that μ is not identically zero is stated but its precise role in excluding the zero-spinor case should be cross-referenced to the subsequent curvature identities to avoid any ambiguity for readers.
§4, global classification theorem: the statement that the leaves of D are complete is used to integrate the flow of ξ; a brief remark on why this yields a global product or warped-product structure (rather than merely local) would improve readability.
The abstract and introduction both mention the reinterpretation of type-I spinors via a connection with vectorial torsion, but the precise torsion 3-form is not displayed until the final section; moving a short display equation earlier would help readers follow the logical flow.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript, for recognizing the significance of the local rigidity result to real hyperbolic space and the global classification under completeness assumptions, and for the recommendation of minor revision. We are pleased that the torsion reinterpretation is viewed as linking to the broader literature.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from spinorial identities

full rationale

The paper defines generalized imaginary Spin^c-Killing spinors via the equation ∇^{g,A}_X ψ = iμ X·ψ (μ not identically zero) and the associated Dirac current V via g(V,X)=i⟨X·ψ,ψ⟩. The local rigidity result (V vanishes somewhere, dim M≥3 implies locally isometric to real hyperbolic space) follows directly from the resulting algebraic constraints on the curvature endomorphism of the Spin^c connection. The global classification (V nowhere zero) integrates the flow of the normalized vector field ξ under explicit completeness hypotheses on ξ or on the leaves of ker(ξ♭). The final reinterpretation of type-I cases as parallel spinors for a torsion connection is a direct rewriting using the same defining equation. No step reduces a claimed prediction to a fitted parameter, self-definition, or load-bearing self-citation; all steps are first-principles consequences of the given spinorial equation and standard Clifford-module identities. The derivation is therefore independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the new definition of the generalized spinor and on standard background results in spin geometry; no numerical free parameters are fitted. The only invented object is the defined class of spinors itself.

axioms (2)

standard math The Spin^c Levi-Civita connection satisfies the usual compatibility and Clifford relations.
Used directly in the defining equation of the generalized Killing spinor.
domain assumption The manifold is a smooth Riemannian manifold of dimension at least 3.
Required for the local isometry statement and for the global description.

invented entities (1)

Generalized imaginary Spin^c-Killing spinor no independent evidence
purpose: To extend the classical notion of imaginary Killing spinors to the Spin^c setting with a non-constant real function mu.
This is introduced by definition in the paper; no independent existence proof outside the definition is given.

pith-pipeline@v0.9.0 · 5555 in / 1603 out tokens · 53866 ms · 2026-05-11T02:54:11.674344+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 unclear
We prove that if V vanishes somewhere and dim M ≥ 3, the manifold is locally isometric to real hyperbolic space... global geometric description... warped product (0,t_m)×F, dt² + sinh²(2μt)h
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
type I ... parallel Spin^c-spinors ... (α,ξ)-connection ∇=∇^g - S with S_X Y = α(g(Y,ξ)X - g(X,Y)ξ)

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

[1]

Complex Generalized Killing Spinors on Riemannian

Gro. Complex Generalized Killing Spinors on Riemannian. Results in Mathematics , year =

work page
[2]

Annali di Matematica Pura ed Applicata , year =

Chinea, Domingo and Gonzalez, Carmelo , title =. Annali di Matematica Pura ed Applicata , year =

work page
[3]

Geometriae Dedicata , year =

Ponge, Ralf and Reckziegel, Helmut , title =. Geometriae Dedicata , year =

work page
[4]

Similarity structures and de Rham decomposition , journal=

Kourganoff, Micka. Similarity structures and de Rham decomposition , journal=. 2019 , volume=

work page 2019
[5]

On Weyl Structures Reducible in the Direction of the Lee Form , journal =

Carmona Jim. On Weyl Structures Reducible in the Direction of the Lee Form , journal =. 2026 , eprint =

work page 2026
[6]

Agricola, Ilka , Title =. Arch. Math. (Brno) , ISSN =. 2006 , URL =

work page 2006
[7]

2023 , doi =

Invariant spinors on homogeneous spheres , journal =. 2023 , doi =

work page 2023
[8]

2016 , issn =

Manifolds with vectorial torsion , journal =. 2016 , issn =. doi:10.1016/j.difgeo.2016.01.004 , author =

work page doi:10.1016/j.difgeo.2016.01.004 2016
[9]

Real Killing spinors and holonomy , journal=

B. Real Killing spinors and holonomy , journal=. 1993 , volume=

work page 1993
[10]

Annals of Global Analysis and Geometry , year=

Baum, Helga , title=. Annals of Global Analysis and Geometry , year=

work page
[11]

2015 , KEYWORDS =

Bourguignon, Jean-Pierre and Hijazi, Oussama and Milhorat, Jean-Louis and Moroianu, Andrei and Moroianu, Sergiu , URL =. 2015 , KEYWORDS =

work page 2015
[12]

The Ambrose-Singer theorem for cohomogeneity one manifolds , year =

Carmona Jim. The Ambrose-Singer theorem for cohomogeneity one manifolds , year =. 2312.16934 , archivePrefix=

work page arXiv
[13]

The Ambrose-Singer Theorem for General Homogeneous Manifolds with Applications to Symplectic Geometry , journal=

Carmona Jim. The Ambrose-Singer Theorem for General Homogeneous Manifolds with Applications to Symplectic Geometry , journal=. 2022 , month=

work page 2022
[14]

Duke Mathematical Journal , number =

Ambrose, Warren and Singer, Isadore Manuel , title =. Duke Mathematical Journal , number =. 1958 , doi =

work page 1958
[15]

1983 , type =

O'Neill, Barrett , title =. 1983 , type =

work page 1983
[16]

1991 , publisher=

Twistors and Killing Spinors on Riemannian Manifolds , author=. 1991 , publisher=

work page 1991
[17]

doi:10.1007/978-3-540-74311-8 , year=

Einstein Manifolds , author=. doi:10.1007/978-3-540-74311-8 , year=

work page doi:10.1007/978-3-540-74311-8
[18]

Kobayashi, Shoshichi and Nomizu, Katsumi , title =

work page
[19]

doi:10.1007/978-3-030-18152-9 , year=

Pseudo-Riemannian Homogeneous Structures , author=. doi:10.1007/978-3-030-18152-9 , year=

work page doi:10.1007/978-3-030-18152-9
[20]

Illinois Journal of Mathematics , number =

Castrill. Illinois Journal of Mathematics , number =. 2009 , doi =

work page 2009
[21]

The Homogeneous Geometries of Real Hyperbolic Space , journal=

Castrill. The Homogeneous Geometries of Real Hyperbolic Space , journal=. 2013 , month=

work page 2013
[22]

A Characterization of Invariant Affine Connections , volume=

Kostant, Bertram , year=. A Characterization of Invariant Affine Connections , volume=. doi:10.1017/S0027763000007534 , journal=

work page doi:10.1017/s0027763000007534
[23]

2006 , doi =

Geometric structures of vectorial type , journal =. 2006 , doi =

work page 2006
[24]

Annali di Matematica Pura ed Applicata , year=

Chinea, Domingo and Gonzalez, Carmelo , title=. Annali di Matematica Pura ed Applicata , year=

work page
[25]

Tod, K. P. , title =. Journal of the London Mathematical Society , volume =. 1992 , month =

work page 1992
[26]

1998 , journal=

Intrinsic torsion and weak holonomy , author=. 1998 , journal=

work page 1998
[27]

Generalized killing spinors with imaginary killing function and conformal killing fields

Rademacher, Hans-Bert. Generalized killing spinors with imaginary killing function and conformal killing fields. Global Differential Geometry and Global Analysis. 1991

work page 1991
[28]

Structures de Weyl-Einstein, espace de twisteurs et variétés de type

Gauduchon, Paul , journal =. Structures de Weyl-Einstein, espace de twisteurs et variétés de type

work page
[29]

Homogeneous Structures on Riemannian Manifolds , DOI=

Tricerri, Franco and Vanhecke, Lieven , year=. Homogeneous Structures on Riemannian Manifolds , DOI=

work page
[30]

G-invariant spin structures on spheres , journal=

Daura Serrano, Jordi and Kohn, Michael and Lawn, Marie-Am. G-invariant spin structures on spheres , journal=. 2022 , volume=

work page 2022
[31]

Asian Journal of Mathematics , volume=

Parallel spinors and connections with skew-symmetric torsion in string theory , author=. Asian Journal of Mathematics , volume=. 2002 , doi =

work page 2002
[32]

2000 , doi =

The Einstein-Dirac equation on Riemannian spin manifolds , journal =. 2000 , doi =

work page 2000
[33]

The sixteen classes of almost Hermitian manifolds and their linear invariants

Gray, Alfred and Hervella, Luis M. The sixteen classes of almost Hermitian manifolds and their linear invariants. Annali di Matematica Pura ed Applicata

work page
[34]

1990 , issn =

The twistor equation on Riemannian manifolds , journal =. 1990 , issn =. doi:10.1016/0393-0440(90)90002-K , author =

work page doi:10.1016/0393-0440(90)90002-k 1990
[35]

2012 , issn =

Almost contact metric 5-manifolds and connections with torsion , journal =. 2012 , issn =. doi:10.1016/j.difgeo.2011.11.007 , author =

work page doi:10.1016/j.difgeo.2011.11.007 2012
[36]

2000 , publisher=

Dirac Operators in Riemannian Geometry , author=. 2000 , publisher=

work page 2000
[37]

, title =

Blair, David E. , title =. 2010 , isbn =

work page 2010
[38]

2026 , issn =

A new approach to the classification of almost contact metric manifolds via intrinsic endomorphisms , journal =. 2026 , issn =. doi:10.1016/j.difgeo.2026.102346 , author =

work page doi:10.1016/j.difgeo.2026.102346 2026
[39]

Mediterranean Journal of Mathematics , year=

Falcitelli, Maria , title=. Mediterranean Journal of Mathematics , year=

work page
[40]

Tohoku Mathematical Journal, Second Series , volume =

Katsuei Kenmotsu , title =. Tohoku Mathematical Journal, Second Series , volume =. 1972 , doi =

work page 1972
[41]

arXiv preprint arXiv:2509.08477 , year =

Samuel Lockman , title =. arXiv preprint arXiv:2509.08477 , year =. 2509.08477 , archivePrefix =

work page arXiv
[42]

Wang , title =

McKenzie Y. Wang , title =. Annals of Global Analysis and Geometry , year =

work page
[43]

Annals of Global Analysis and Geometry , year =

Ralf Grunewald , title =. Annals of Global Analysis and Geometry , year =

work page
[44]

Einstein Warped G2 and Spin(7) Manifolds , journal=

Manero, V. Einstein Warped G2 and Spin(7) Manifolds , journal=. 2019 , month=

work page 2019
[45]

Communications in Mathematical Physics , volume =

Andrei Moroianu , title =. Communications in Mathematical Physics , volume =. 1997 , doi =

work page 1997
[46]

Moroianu, Andrei , URL =

work page
[47]

International Journal of Mathematics , volume =

Moroianu, Andrei and Pilca, Mihaela , title =. International Journal of Mathematics , volume =. 2021 , doi =

work page 2021
[48]

2021 , doi =

Metric connections with parallel skew-symmetric torsion , journal =. 2021 , doi =

work page 2021
[49]

Journal of Mathematical Physics , volume =

Moroianu, Andrei and Semmelmann, Uwe , title =. Journal of Mathematical Physics , volume =. 2000 , issn =

work page 2000
[50]

, title=

Wang, McKenzie Y. , title=. Annals of Global Analysis and Geometry , year=

work page