REVIEW 3 major objections 3 minor 1 cited by
Real Clifford algebras and their spinors for relativistic fermions
T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper claims that spinors can be defined as minimal or quasi-minimal left ideals inside the real Clifford algebra, with the pin group acting through a structure map that keeps the transformed spinor in the same ideal.
desk verdict A careful, readable review of real Clifford algebras and spinors that earns its keep as a reference, but the unproved H(ς)=ς^{-1} extension in the odd-dimensional case is load-bearing and needs a proof or explicit matrix check. 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 Clifford structure map $\varsigma$, defined by the requirement $G(a)=\varsigma a \varsigma^{-1}$ for grade involution $G$. For even $d$ it is, up to sign, the product of all gamma matrices, while for odd $d$ it is either complex conjugation or the interchange of the two direct-summand algebras. The map carries the twisted adjoint pin-group action on Clifford algebra elements, and its left-action version gives the spinor transformation $\psi\mapsto a\,\varsigma^{g(a)}\psi$. The second essential piece is a primitive or quasi-minimal idempotent $p$ chosen so that it is hermitian, $H(p)=p$; this makes the left ideal $\mathrm{Cl}\,p$ and the right ideal $p\,\mathrm{Cl}$ share the same $p$, so column spinors, row spinors, and the two Dirac adjoints live in matched spaces.
What would settle it
In an explicit complex matrix representation of an odd-dimensional Clifford algebra with $r-(d-r)\equiv 1,5 \pmod{8}$ (for example $\mathrm{Cl}(2,1,\mathbb{R})\cong \mathrm{Mat}(2,\mathbb{C})$), test whether any anti-automorphism $H$ with $H(\gamma^{\mathrm{time}})=-\gamma^{\mathrm{time}}$ and $H(\gamma^{\mathrm{space}})=+\gamma^{\mathrm{space}}$ also satisfies $H(\varsigma)=\varsigma^{-1}$; if no such $H$ exists in a given representation, the transformation laws (8.22) and the inner-product invariance (8.27)-(8.28) fail for that case.
Extended reading notes
Core claim
Independent of any concrete matrix representation, pinor spaces are minimal or quasi-minimal left and right ideals inside the full real Clifford algebra $\mathrm{Cl}(r,d-r,\mathbb{R})$, and this is enough to carry a non-trivial representation of the pin group. The load-bearing construction is the Clifford structure map $\varsigma$, which realizes the grade involution as $G(a)=\varsigma a \varsigma^{-1}$. Acting on a spinor by $\psi \mapsto a\,\varsigma^{g(a)}\psi$ for $a$ in the pin group keeps the transformed spinor inside the same quasi-minimal left ideal, which the naive graded action would not do. The paper also establishes that the two Dirac adjoints $D_1(\psi)=H(\psi)\alpha\,\varsigma^{d-r}$ and $D_2(\psi)=H(\psi)\beta\,\varsigma^r$ coincide with the Clifford conjugate $C(\psi)$ and the reverse $R(\psi)$, and that the two spinor inner products built from them are invariant under the restricted spin group.
Load-bearing premise
The load-bearing premise is that, in odd dimensions with $r-(d-r)\equiv 1,5 \pmod{8}$, the hermitian conjugation $H$ can be extended to the complex-conjugation structure map $\varsigma$ so that $H(\varsigma)=\varsigma^{-1}$; the Dirac-adjoint transformation laws and the invariance of the two spinor inner products both depend on this extension, which the paper says can be verified in matrix representations but does not prove in general.
Editorial extensions
If this is right
- For $r-(d-r)\equiv 0,6 \pmod{8}$, pinors are real column vectors and their inner products are real, so the corresponding relativistic fermions are Majorana fermions.
- For $r-(d-r)\equiv 2,4 \pmod{8}$, pinors are quaternionic vectors and their inner products are quaternionic; with an additional structure $K$ satisfying $KK^*=-1$, symplectic Majorana fermions become possible.
- For $r-(d-r)\equiv 1,5 \pmod{8}$, pinors are complex vectors, the two Dirac adjoints differ by complex conjugation, and the matching fermions are complex Dirac fermions.
- For $r-(d-r)\equiv 3,7 \pmod{8}$, a minimal left ideal is annihilated by either time reversal or space reversal, so a quasi-minimal ideal is needed to keep both discrete symmetries acting within the same spinor space.
- The two inner products built from the two Dirac adjoints are invariant under the restricted spin group, giving a ready-made set of invariant bilinears for fermion actions.
Reading between the lines
- One could turn the paper's classification into a decision procedure for model building: read off $r-(d-r)\pmod{8}$, and the field algebra and inner-product algebra follow without choosing a matrix representation.
- The author notes analytic continuation between signatures as motivation; a concrete next step would be to complexify the Clifford algebra and follow how $\varsigma$ and the two Dirac adjoints transform under such continuation, which would supply the missing bridge to Euclidean fermion formulations.
- In the reducible signatures $r-(d-r)\equiv 3,7 \pmod{8}$, the quasi-minimal ideal construction gives a practical recipe: keep both time and space reversal acting within one spinor space by taking the idempotent to include the $(1,1)$ tensor-product factor, and use the two invariant inner products as building blocks for fermion actions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This manuscript develops a systematic algebraic treatment of real Clifford algebras Cl(r,d-r,R) for arbitrary spacetime signature, classifies them as matrix algebras over R, C, and H, introduces the Clifford structure map ς realizing the grade involution, and constructs spinor and pinor spaces as minimal or quasi-minimal left and right ideals. It defines two Dirac adjoint spinors, studies their behavior under the pin and spin groups, and surveys the resulting real, complex, and quaternionic fermion types across all signatures modulo 8. The paper is partly a review and partly a proposal for a representation-independent framework for relativistic fermions.
Significance. If the structure-map identities used in Sections 6 and 8 are valid, this paper provides a useful representation-independent unification of dimension-specific treatments of spinors and pinors in the physics literature. The classification tables, the idempotent constructions, and the explicit low-dimensional matrix examples are handled carefully and will serve as a convenient reference. The introduction of quasi-minimal idempotents to maintain a nontrivial pin representation is a genuinely useful idea. However, the central technical claim H(ς)=ς^{-1} for odd d with r-(d-r)=1,5 mod 8 is asserted rather than proved, and the statement in Section 8.1 that idempotents are necessarily real under complex conjugation is incorrect. These issues affect load-bearing parts of the construction.
major comments (3)
- [Section 6.1, after Eq. (6.5)] The paper states that for d odd with r-(d-r)=1,5 mod 8 the structure map ς is complex conjugation and that 'one can consistently extend the definitions such that (6.5) holds also there,' with the justification that this can be checked in concrete matrix representations. No such check or proof is supplied. Since ς is not an element of Cl(r,d-r,R), the symbol H(ς) is not defined by the rules (6.1)-(6.2), and expressions such as (6.7), (8.19)-(8.20), and (8.22) manipulate ς as though it were an algebra element. This property is load-bearing: it is used to identify D1 with the Clifford conjugate C and D2 with the reverse R, and to derive the pin transformation law (8.22) and the invariance of the inner products (8.27)-(8.28). Please provide an explicit proof or representative matrix verifications (e.g., Cl(1,0,R), Cl(0,3,R), Cl(1,4,R)) and state precisely how H acts on ς in these cases.
- [Section 8.1, 'Minimal spinor spaces'] The text says: 'Because p^2=p, an idempotent must be real and is therefore unchanged by this complex conjugation.' This is false: in Cl(0,3,R) ≅ Mat(2,C), the idempotent p = [[1,i],[0,0]] squares to itself but is not invariant under complex conjugation. The conclusion ςp=p holds for the canonical real idempotents used in the construction, but it does not hold for arbitrary minimal idempotents. Please reformulate the argument to restrict explicitly to canonical or ς-invariant idempotents, since the invariance of the spinor space Clp under grade involution depends on this point.
- [Section 8.2, Eq. (8.22)] The transformation law for D1 and D2 under the pin group is asserted without derivation. It is not a direct consequence of (8.11) alone; one must also use H(ς)=ς^{-1} and the commutation or anticommutation of ς with α and β. Since the paper's conclusion that C(a) and R(a) appear naturally in the pin transformation of Dirac adjoints relies on (8.22), a full derivation should be included once the H(ς) property is established.
minor comments (3)
- [Section 6.2, after Eq. (6.11)] The sentence 'Generators transform now as D1(γµ)=γµ' should refer to D2, and the following identity 'D1(a)=R(a)' should be 'D2(a)=R(a)'. In addition, the second Dirac adjoint is introduced as a combination of hermitian conjugation and 'a space reversal', but Eq. (6.11) and the surrounding text show it should be 'time reversal'.
- [Section 8.3, subsections 8.3.1 and 8.3.2] There are several typos: 'pionor' should be 'pinor', 'minimum ideal' should be 'minimal ideal', and 'wich' should be 'which'. A careful proofreading pass is needed.
- [Sections 5 and 6.1] Formulas such as (5.5), (5.8), and (6.7) use powers of the structure map ς, e.g., ς^r and ς^{d-r}. For odd d with r-(d-r)=1,5 mod 8, ς is an anti-linear involution, so the meaning of these powers in products with Clifford algebra elements should be clarified explicitly.
Circularity Check
No significant circularity: self-contained algebraic review; the unproved consistency assertion for H(ς)=ς^{-1} in odd dimensions is a gap, not a circular reduction.
full rationale
This is a mathematical review and derivation, not a data-fitting paper. The central objects—the structure map ς, the pin group action ψ→aς^{g(a)}ψ, quasi-minimal idempotents, and the two Dirac adjoints—are introduced by explicit definition, and the claimed identities D1=C, D2=R, the pin transformation laws (8.22), and the invariance of (8.27)-(8.28) are derived algebraically from those definitions. The quasi-minimal idempotent p_q=p_m+ςp_m is explicitly 'by construction mapped to itself' by ς, so the later statement that quasi-minimal ideals support a pin representation is a consequence of the construction rather than a hidden identification of input with output. There is no fitted parameter renamed as a prediction, no load-bearing self-citation, and no uniqueness theorem imported from the authors' prior work. The only questionable step is in Section 6.1: for odd d with r-(d-r)=1,5 mod 8, the paper asserts that 'one can consistently extend the definitions such that (6.5) holds' and says consistency 'can be checked in concrete matrix representations' without supplying the check. That is an unproved assumption on which the Dirac-adjoint identifications (8.19)-(8.20) and transformation law (8.22) rest, so it is a genuine rigor gap in that sector; but it is not circular, because the paper does not pretend to derive H(ς)=ς^{-1} from the generator definition—it presents it as a consistency extension. Accordingly the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- standard math Cartan-Dieudonné theorem: every orthogonal transformation in O(r,d-r,R) is a composition of at most d reflections along non-isotropic vectors.
- standard math Classification of real Clifford algebras: Cl(r,d-r,R) is isomorphic to matrix algebras over R, C or H with mod-8 periodicity in r-(d-r).
- ad hoc to paper The structure map ς for odd d with r-(d-r)=1,5 mod 8 can be consistently defined as complex conjugation and extended so that H(ς)=ς^{-1}.
- ad hoc to paper Quasi-minimal idempotent pq = pm + ς pm is the smallest idempotent invariant under the structure map and yields spinor spaces not annihilated by grade involution.
invented entities (1)
-
Structure map ς
Cite this review
Pith. "Pith review of Real Clifford algebras and their spinors for relativistic fermions." pith.science (2026). https://pith.science/paper/2XPQWGQO
@misc{pith2026190802235,
author = {Pith},
title = {Pith review of: Real Clifford algebras and their spinors for relativistic fermions},
year = {2026},
howpublished = {\url{https://pith.science/paper/2XPQWGQO}},
note = {Machine review of arXiv:1908.02235}
}
read the original abstract
Real Clifford algebras for arbitrary number of space and time dimensions as well as their representations in terms of spinors are reviewed and discussed. The Clifford algebras are classified in terms of isomorphic matrix algebras of real, complex or quaternionic type. Spinors are defined as elements of minimal or quasi-minimal left ideals within the Clifford algebra and as representations of the pin and spin groups. Two types of Dirac adjoint spinors are introduced carefully. The relation between mathematical structures and applications to describe relativistic fermions is emphasized throughout.
Forward citations
Cited by 1 Pith paper
-
Flipped $SU(5)$ GUT with conformal gravity from a single supermultiplet
A new superalgebra from the Grassmann envelope of E8(-24) is proposed as the origin of flipped SU(5) GUT plus conformal gravity, with three fermion generations and no superpartners.
Reference graph
Works this paper leans on
-
[1]
Quantum field theory and critical phenomena,
J. Zinn-Justin, “Quantum field theory and critical phenomena,” I nt. Ser. Monogr. Phys. 77, 1 (1989)
work page 1989
-
[2]
S. Weinberg, “The Quantum theory of fields,” (Cambridge Univers ity Press, Cambridge, 1995)
work page 1995
-
[3]
Dimensional Reduction of Weyl, Majorana and Maj orana-weyl Spinors,
C. Wetterich, “Dimensional Reduction of Weyl, Majorana and Maj orana-weyl Spinors,” Nucl. Phys. B 222, 20 (1983). doi:10.1016/0550-3213(83)90607-7
-
[4]
A. Van Proeyen, “Tools for supersymmetry,” Ann. U. Craiova Ph ys. 9, 1 (1999). [hep-th/9910030]
arXiv 1999
-
[5]
I. Todorov, “Clifford Algebras and Spinors,” Bulg. J. Phys. 38, 3 (2011) [arXiv:1106.3197 [math-ph]]
work page Pith review arXiv 2011
-
[6]
Spinors and space-time, Volume 1 and 2,
R. Penrose and W. Rindler, “Spinors and space-time, Volume 1 and 2,” (Cambridge University Press, Cambridge, 1984) – 41 –
work page 1984
-
[7]
The Algebraic Theory of Spinors,
C. Chevalley, “The Algebraic Theory of Spinors,” (Columbia Univers ity Press, New York, 1954). Reprinted as “The Algebraic Theory of Spinors and Clifford Alg ebras,” (Springer, Berlin, 1997)
work page 1954
- [8]
Show all 26 references
-
[9]
Spin geometry,
H. B. Lawson and M. L. Michelsohn, “Spin geometry,” (Princeton U niversity Press, Princeton, 1989)
1989
-
[10]
Spinors and Calibrations,
F. R. Harvey, “Spinors and Calibrations,” (Academic Press, San Diego, 1990)
1990
-
[11]
Spinors in Hilbert space,
R. J. Plymen and P. L. Robinson, “Spinors in Hilbert space, ” (Cam bridge University Press, Cambridge, 1994)
1994
-
[12]
Clifford Algebras and the Classical Groups,
I. R. Porteous, “Clifford Algebras and the Classical Groups,” (C ambridge University Press, Cambridge, 1995)
1995
-
[13]
Clifford algebras and Dirac opera tors in harmonic analysis,
J. E. Gilbert, M. A. M. Murray, “Clifford algebras and Dirac opera tors in harmonic analysis,” (Cambridge University Press, Cambridge, 1991)
1991
-
[14]
Clifford algebras and spinors,
P. Lounesto, “Clifford algebras and spinors,” Lond. Math. Soc. Lect. Note Ser. 286, 1 (2001)
2001
-
[15]
Clifford algebras: An introduction,
D. J. H. Garling, “Clifford algebras: An introduction,” (Cambridge University Prress, Cambridge, 2011)
2011
-
[16]
An Introduction to Clifford Algebr as and Spinors,
J. Vaz, Jr. and R. da Rocha, “An Introduction to Clifford Algebr as and Spinors,” (Oxford University Press, Oxford, 2016)
2016
-
[17]
Idempotent structure of Cliffor d algebras,
P. Lounesto and G. P. Wene, “Idempotent structure of Cliffor d algebras,” Acta Appl. Math. 9, 165 (1987)
1987
-
[18]
Is There a Euclidean Field Theor y for Fermions,
J. Frohlich and K. Osterwalder, “Is There a Euclidean Field Theor y for Fermions,” Helv. Phys. Acta 47, 781 (1975)
1975
-
[19]
Euclidean Continuation of the Dirac Fermion,
M. R. Mehta, “Euclidean Continuation of the Dirac Fermion,” Phys . Rev. Lett. 65, 1983 (1990) Erratum: [Phys. Rev. Lett. 66, 522 (1991)]. doi:10.1103/PhysRevLett.65.1983, 10.1103/PhysRevLett.66.522.2
1990 doi
-
[20]
On Euclidean spinors and W ick rotations,
P. van Nieuwenhuizen and A. Waldron, “On Euclidean spinors and W ick rotations,” Phys. Lett. B 389, 29 (1996). doi:10.1016/S0370-2693(96)01251-8 [hep-th/9608 174]
1996 doi
-
[21]
Instan tons, Euclidean supersymmetry and Wick rotations,
A. V. Belitsky, S. Vandoren and P. van Nieuwenhuizen, “Instan tons, Euclidean supersymmetry and Wick rotations,” Phys. Lett. B 477, 335 (2000). doi:10.1016/S0370-2693(00)00183-0 [hep-th/0001010]
2000 arXiv
-
[22]
Spinors in euclidean field theory, complex struct ures and discrete symmetries,
C. Wetterich, “Spinors in euclidean field theory, complex struct ures and discrete symmetries,” Nucl. Phys. B 852, 174 (2011) doi:10.1016/j.nuclphysb.2011.06.013 [arXiv:1002.3556 [he p-th]]
2011 arXiv
-
[23]
Calculating scattering amplitudes efficiently,
L. J. Dixon, “Calculating scattering amplitudes efficiently,” hep-p h/9601359
-
[24]
Scattering Amplitudes,
H. Elvang and Y. t. Huang, “Scattering Amplitudes,” arXiv:1308.1 697 [hep-th]
-
[25]
Scattering Amplitudes in Gauge The ories,
J. M. Henn and J. C. Plefka, “Scattering Amplitudes in Gauge The ories,” Lect. Notes Phys. 883, 1 (2014). doi:10.1007/978-3-642-54022-6
2014 doi
-
[26]
Scattering Am plitudes For All Masses and Spins,
N. Arkani-Hamed, T. C. Huang and Y. t. Huang, “Scattering Am plitudes For All Masses and Spins,” arXiv:1709.04891 [hep-th]. – 42 –
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.