Spinorial Polyforms in Clifford Geometry

• Spinorial polyforms are inhomogeneous differential forms linked to spinors via wedge and contraction operations in Clifford algebras, bridging algebra and geometry.
• They offer dual perspectives by realizing spinors as polyforms and associating polyforms to spinors, enabling a unified treatment of pure-spinor geometry and Fierz identities.
• Their applications extend to reformulating spinorial PDEs into exterior-form systems and clarifying models across signatures, enhancing both theoretical insights and computational methods.

Searching arXiv for the cited works to ground the article in current literature. Spinorial polyforms are inhomogeneous differential forms related to spinors through the Clifford algebra, and the term is used in the literature in two closely connected senses. In one sense, a spinor module is itself realized as an exterior algebra of forms on a maximal isotropic or null subspace, with Clifford generators acting by wedge and contraction; in another, a spinor determines a polyform by a bilinear “square” transported from a rank-one endomorphism through the Kähler–Atiyah identification. Across these formulations, spinorial polyforms provide a uniform language for Clifford representations, pure-spinor geometry, Fierz identities, chirality, and the reformulation of constrained spinorial PDEs as exterior-form systems (Bhoja et al., 2022, Gil-García et al., 21 May 2026, Cortés et al., 2019).

1. Definitions and algebraic setting

A polyform on a complex or real subspace $W\subset V$ is an inhomogeneous differential form, namely an element of the exterior algebra $\Lambda^\bullet(W^*)$. In the classical Cartan–Chevalley construction, the spinor representation $S$ of the Clifford algebra $Cl(r,s)$ is realized on a space of polyforms by representing Clifford generators as creation and annihilation operators: creation acts by wedging a $1$-form, and annihilation acts by contraction with a vector. If $g$ is the metric and $c(\cdot)$ the Clifford action, then

$\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$

and in the exterior-algebra model one identifies

$\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$

with the canonical anticommutation relations

$$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$

These relations imply the Clifford relations (Bhoja et al., 2022).

A parallel formulation uses the Kähler–Atiyah bundle, where the exterior bundle is equipped with the metric-dependent geometric product. For $\Lambda^\bullet(W^*)$0 and $\Lambda^\bullet(W^*)$1,

$\Lambda^\bullet(W^*)$2

and the symbol/quantization maps identify the Clifford bundle with the Kähler–Atiyah algebra. In this setting, spinorial polyforms arise by transporting rank-one endomorphisms of the spinor bundle into the exterior algebra, producing inhomogeneous forms built from spinors by universal bilinear constructions (Cortés et al., 2019, Gil-García et al., 21 May 2026).

These two viewpoints are formally distinct but structurally compatible. The first realizes spinors as polyforms; the second assigns polyforms to spinors. A plausible implication is that the phrase “spinorial polyform” now denotes a broader algebraic technology rather than a single rigid construction.

2. Polyform realizations of spinor modules

For $\Lambda^\bullet(W^*)$3, one chooses an orthogonal complex structure $\Lambda^\bullet(W^*)$4 on $\Lambda^\bullet(W^*)$5, complexifies, and decomposes

$\Lambda^\bullet(W^*)$6

with both summands totally isotropic. The spinor space is modeled by

$\Lambda^\bullet(W^*)$7

and if $\Lambda^\bullet(W^*)$8 is a basis of $\Lambda^\bullet(W^*)$9 with dual $S$0, then

$S$1

satisfy

$S$2

A convenient Euclidean choice of gamma matrices is

$S$3

and chirality is the even/odd form-degree grading

$S$4

The chirality operator can be taken as $S$5, where $S$6 is the number operator (Bhoja et al., 2022).

For the split-signature algebra $S$7, one instead chooses an orthogonal paracomplex structure $S$8 on $S$9, with real $Cl(r,s)$0 eigenspaces

$Cl(r,s)$1

both totally null and $Cl(r,s)$2-dimensional. The spinor space becomes

$Cl(r,s)$3

with operators

$Cl(r,s)$4

and Clifford action

$Cl(r,s)$5

Again, the $Cl(r,s)$6-grading is by even and odd form degree (Bhoja et al., 2022).

The general even-dimensional case $Cl(r,s)$7, $Cl(r,s)$8, is governed by a “mixed structure.” One chooses an orthogonal splitting

$Cl(r,s)$9

with a complex structure $1$0 on $1$1 and a paracomplex structure $1$2 on $1$3, and defines

$1$4

The defining properties are

$1$5

with $1$6 a real orthogonal product structure. The $1$7 eigenspaces $1$8 of $1$9 are totally null complex subspaces of equal complex dimension, and the spinor space can be modeled by

$g$0

Equivalently,

$g$1

and the Clifford action is

$g$2

This construction shows that in indefinite signature the creation/annihilation model is not unique (Bhoja et al., 2022).

The spin-invariant pairing on polyforms is the top-component Mukai-type pairing

$g$3

where $g$4 reverses wedge order on decomposable monomials. With this pairing, creation and annihilation are adjoint, and the induced Lie-algebra action is spin-invariant (Bhoja et al., 2022).

3. Pure spinors, real index, and multiplicity of models

For a Weyl spinor $g$5, the annihilator is

$g$6

The spinor is pure if $g$7, so $g$8 is maximal totally null. Cartan’s theorem, as quoted in the general-signature treatment, states that for pure $g$9,

$c(\cdot)$0

while $c(\cdot)$1 is decomposable and proportional to the wedge of a basis of $c(\cdot)$2 (Bhoja et al., 2022).

A single pure spinor determines a maximal totally null subspace, but in split and mixed signatures it does not determine the complementary structure. The mixed-structure formalism therefore uses pairs of complementary pure spinors $c(\cdot)$3 with nonvanishing inner product. From

$c(\cdot)$4

one obtains an operator $c(\cdot)$5 whose eigenspaces are precisely the null spaces annihilating $c(\cdot)$6 and $c(\cdot)$7. This establishes a correspondence between mixed structures and pairs of pure spinors (Bhoja et al., 2022).

A central invariant is the real index of a maximal totally null subspace $c(\cdot)$8,

$c(\cdot)$9

For fixed signature $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$0 with $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$1, allowed real indices range from the minimal value up to $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$2, and $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$3 acts transitively on the set of maximal totally null subspaces of fixed real index and helicity. The consequence drawn in the paper is decisive: in a given signature there are several inequivalent pure-spinor types distinguished by real index, and each such type yields a distinct creation/annihilation polyform model of $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$4 (Bhoja et al., 2022).

This corrects a common oversimplification. The Euclidean model based on one isotropic half of $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$5 is unique only in the positive-definite case. In indefinite signature, the number of polyform models equals the number of pure-spinor types available in that signature (Bhoja et al., 2022).

The low-dimensional classifications make this explicit. For $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$6, the arising models are written out case by case, including $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$7, $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$8, $\{\gamma(v),\gamma(w)\}=2\,g(v,w)\,\mathrm{Id},$9, $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$0, $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$1, and $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$2, together with their gamma matrices, reality structures, and orbit descriptions. In $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$3, for example, both a maximal-real-index real-null model and an index-zero complex model occur; in $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$4, non-null Weyl spinors correspond to complex structures on $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$5, whereas null Weyl spinors yield a mixed structure with one complex and two real null directions (Bhoja et al., 2022).

4. Algebraic squares, Fierz identities, and semi-algebraic bodies

A second major meaning of spinorial polyforms is the dequantized square of a spinor. Let $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$6 be a connected, oriented pseudo-Riemannian manifold with irreducible complex spinor bundle $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$7. Fix either an admissible Hermitian pairing $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$8 or an admissible complex-bilinear pairing $\gamma(v)=\iota_{v^\flat}+v^\flat\wedge,$9. Fiberwise one defines the rank-one endomorphisms

$$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$0

and transports them into the Kähler–Atiyah algebra via the Chevalley–Riesz identification. In even dimensions this gives polyforms $$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$1; in odd dimensions one uses the truncated Kähler–Atiyah model $$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$2 (Gil-García et al., 21 May 2026, Gil-García et al., 15 Oct 2025).

The resulting polyforms admit explicit Fierz expansions. Schematically,

$$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$3

with $$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$4 either Hermitian or complex-bilinear, and with the normalizations $$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$5 in even dimensions and $$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$6 in odd dimensions as stated in the cited work (Gil-García et al., 21 May 2026).

The image of the square map is characterized by universal polynomial identities. In even dimension, the Hermitian and complex-bilinear cases are respectively characterized by

$$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$7

and

$$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$8

together with the appropriate reversion/parity constraints and, in the chiral case,

$$\{ \iota_{e_i},\iota_{e_j}\} = 0,\quad \{ e^i\wedge, e^j\wedge\} = 0,\quad \{ \iota_{e_i}, e^j\wedge\} = \delta_i^{\;j}.$$9

In odd dimension the same statements hold with the truncated product $\Lambda^\bullet(W^*)$00 replacing $\Lambda^\bullet(W^*)$01 (Gil-García et al., 21 May 2026, Gil-García et al., 15 Oct 2025).

These identities are projector-type constraints: the square behaves as an idempotent up to its degree-zero component, and $\Lambda^\bullet(W^*)$02 is proportional to $\Lambda^\bullet(W^*)$03. The admissible polyforms therefore form a semi-algebraic subset of the Kähler–Atiyah bundle, described in the literature as the semi-algebraic body of the square map (Gil-García et al., 21 May 2026).

For real spinors, the same strategy was first developed for real simple type in signatures $\Lambda^\bullet(W^*)$04, where the image of the spinor squaring map is characterized as a real algebraic cone by

$\Lambda^\bullet(W^*)$05

and then extended to non-simple real type in signatures $\Lambda^\bullet(W^*)$06 by passing to the truncated algebra $\Lambda^\bullet(W^*)$07 (Cortés et al., 2019, Shahbazi, 2024). In Lorentzian dimension three, the latter theory becomes especially rigid: a polyform in $\Lambda^\bullet(W^*)$08 is a square if and only if it is a nonzero null $\Lambda^\bullet(W^*)$09-form (Shahbazi, 2024).

The algebraic square can determine the underlying spinor only up to phase or sign. In the complex-bilinear case it determines the spinor up to an overall sign; in the Hermitian case it determines the spinor up to multiplication by a unit complex number (Gil-García et al., 15 Oct 2025). The cited works also identify global lifting obstructions: a nowhere-vanishing square determines a projective line subbundle of the spinor bundle, and the obstruction to lifting it to a global spinor is encoded by cohomological “spinor classes” in $\Lambda^\bullet(W^*)$10, $\Lambda^\bullet(W^*)$11, or $\Lambda^\bullet(W^*)$12, depending on the setting (Gil-García et al., 21 May 2026, Cortés et al., 2019).

5. Differential systems and geometric applications

Once spinors are replaced by their squares, constrained spinor equations become differential systems on polyforms. Let $\Lambda^\bullet(W^*)$13 be a connection on the spinor bundle and $\Lambda^\bullet(W^*)$14 an endomorphism constraint, with dequantizations $\Lambda^\bullet(W^*)$15 and $\Lambda^\bullet(W^*)$16. In even dimension, the Hermitian formulation yields the necessary system

$\Lambda^\bullet(W^*)$17

while the complex-bilinear formulation gives an equivalence

$\Lambda^\bullet(W^*)$18

supplemented by the algebraic Fierz and chirality constraints. Odd-dimensional analogues use the truncated product $\Lambda^\bullet(W^*)$19 (Gil-García et al., 21 May 2026). For real spinors in the simple-type case, the generalized Killing equation becomes

$\Lambda^\bullet(W^*)$20

again together with the algebraic constraints (Cortés et al., 2019).

This reformulation has concrete geometric consequences. In dimensions $\Lambda^\bullet(W^*)$21, $\Lambda^\bullet(W^*)$22, and $\Lambda^\bullet(W^*)$23, the spin-$\Lambda^\bullet(W^*)$24 Killing equation can be rewritten as explicit differential identities for the component forms of the Hermitian square. The cited results rederive curvature characterizations of Killing-spinor geometries while relaxing simply connectedness and completeness assumptions (Gil-García et al., 21 May 2026). In Lorentzian four dimensions, real spinors of real type correspond to parabolic pairs $\Lambda^\bullet(W^*)$25 with

$\Lambda^\bullet(W^*)$26

and a real Killing spinor is equivalent to

$\Lambda^\bullet(W^*)$27

This leads to global characterizations of real Killing spinors on Lorentzian four-manifolds and to families of Einstein and non-Einstein metrics, including deformations of the metric of $\Lambda^\bullet(W^*)$28 space-time (Cortés et al., 2019).

The supergravity applications are equally explicit. For Freedman’s minimal gauged four-dimensional supergravity, the gaugino and gravitino equations reduce in polyform language to

$\Lambda^\bullet(W^*)$29

so the Dirac current $\Lambda^\bullet(W^*)$30 is parallel and $\Lambda^\bullet(W^*)$31 is a Brinkmann four-manifold. The main classification theorem states that every standard stationary quasi-supersymmetric solution is isometric to

$\Lambda^\bullet(W^*)$32

where $\Lambda^\bullet(W^*)$33 is the round metric on $\Lambda^\bullet(W^*)$34 of radius $\Lambda^\bullet(W^*)$35, $\Lambda^\bullet(W^*)$36 is a first spherical harmonic, and $\Lambda^\bullet(W^*)$37. These solutions are geodesically complete and globally hyperbolic (Gil-García et al., 21 May 2026).

In six-dimensional minimal supergravity with self-dual gerbe curvature, the skew-torsion parallel spinor equation is reformulated through the Hermitian square

$\Lambda^\bullet(W^*)$38

and the central structural result is that a Lorentzian six-manifold admitting a skew-torsion parallel chiral spinor with integrable screen bundle admits a codimension-two foliation whose leaves are locally conformally Kähler complex surfaces (Gil-García et al., 21 May 2026).

The three-dimensional Lorentzian theory yields another sharp geometric reduction. In signature $\Lambda^\bullet(W^*)$39, every differential spinor is equivalent to a null line preserved in a given direction by a metric connection with prescribed torsion; a skew-torsion parallel spinor is equivalent to a null $\Lambda^\bullet(W^*)$40-form $\Lambda^\bullet(W^*)$41 satisfying

$\Lambda^\bullet(W^*)$42

Such manifolds are necessarily Kundt, and in the supersymmetric NS–NS case the geometry is characterized by an explicit exterior differential system on a null coframe; locally, the solutions are parametrized by two functions of one variable (Shahbazi, 2024).

6. Low-dimensional, division-algebraic, and singular models

The polyform formalism admits especially explicit incarnations in low dimensions and in the presence of division-algebra structures. Quaternionic and octonionic generalizations of the Pauli matrices produce well-known models of $\Lambda^\bullet(W^*)$43 and $\Lambda^\bullet(W^*)$44, and these can be matched explicitly with the creation/annihilation polyform construction. In the Euclidean and split cases, the cited dictionary identifies

$\Lambda^\bullet(W^*)$45

for the appropriate signatures, with gamma matrices written as $\Lambda^\bullet(W^*)$46 matrices over $\Lambda^\bullet(W^*)$47, $\Lambda^\bullet(W^*)$48, $\Lambda^\bullet(W^*)$49, or $\Lambda^\bullet(W^*)$50, using left multiplication operators in the octonionic cases (Bhoja et al., 2022).

For $\Lambda^\bullet(W^*)$51, a Majorana–Weyl spinor corresponds to an octonion, and the bilinear $\Lambda^\bullet(W^*)$52-form of a unit Majorana–Weyl spinor is the $\Lambda^\bullet(W^*)$53-invariant Cayley form. For $\Lambda^\bullet(W^*)$54, the split-octonionic model displays three types of pure spinors: complex-structure type with stabilizer $\Lambda^\bullet(W^*)$55, paracomplex type with stabilizer $\Lambda^\bullet(W^*)$56, and mixed type with stabilizer $\Lambda^\bullet(W^*)$57. The same paper records the orbit types of complex Weyl spinors of $\Lambda^\bullet(W^*)$58, including an additional orbit when one of the real and imaginary parts is null (Bhoja et al., 2022).

The algebraic-square formalism also produces explicit Euclidean normal forms. In dimensions $\Lambda^\bullet(W^*)$59, $\Lambda^\bullet(W^*)$60, and $\Lambda^\bullet(W^*)$61, chiral complex-bilinear squares are decomposable holomorphic forms, while Hermitian squares are expressed through compatible real forms such as Kähler forms and their Hodge-dual companions. In eight Euclidean dimensions, the square of a generic irreducible complex chiral spinor can be described in terms of a constrained self-dual $\Lambda^\bullet(W^*)$62-form $\Lambda^\bullet(W^*)$63, with purity corresponding to $\Lambda^\bullet(W^*)$64 and generic impure spinors satisfying the nonlinear constraint

$\Lambda^\bullet(W^*)$65

This extends the pure-spinor picture to non-pure chiral spinors (Gil-García et al., 15 Oct 2025).

A distinct, explicitly stated usage of the term appears in recent work on $\Lambda^\bullet(W^*)$66-harmonic objects on $\Lambda^\bullet(W^*)$67. There, spinorial polyforms are homogeneous $\Lambda^\bullet(W^*)$68-twisted harmonic fields on $\Lambda^\bullet(W^*)$69—$\Lambda^\bullet(W^*)$70-forms, self-dual $\Lambda^\bullet(W^*)$71-forms, and spinors—defined on the complement of a conical singular set $\Lambda^\bullet(W^*)$72 and valued in a real line bundle with holonomy $\Lambda^\bullet(W^*)$73 around linking loops. The singular sets are cones on the $\Lambda^\bullet(W^*)$74-skeleta of regular $\Lambda^\bullet(W^*)$75-polytopes, and the homogeneous equations reduce to eigenproblems on $\Lambda^\bullet(W^*)$76. The main existence theorem constructs such homogeneous $\Lambda^\bullet(W^*)$77-harmonic $\Lambda^\bullet(W^*)$78-forms, self-dual $\Lambda^\bullet(W^*)$79-forms, and self-dual spinors for the $\Lambda^\bullet(W^*)$80-cell, $\Lambda^\bullet(W^*)$81-cell, $\Lambda^\bullet(W^*)$82-cell, $\Lambda^\bullet(W^*)$83-cell, and $\Lambda^\bullet(W^*)$84-cell (Taubes et al., 22 Apr 2026).

Taken together, these developments show that spinorial polyforms are not confined to one niche of spin geometry. They encompass Fock-space realizations of spinors, bilinear squares in the Kähler–Atiyah algebra, pure-spinor and mixed-structure classification across signatures, reformulations of Killing and supersymmetry equations, quaternionic and octonionic compression of gamma-matrix models, and, in a different but related usage, singular harmonic-field models in four dimensions.