Summary: The minimal massless spatial Dirac module admits complete kinetic scalar-null classes at every odd spatial depth, while even depths have no such constant linear class; this parity result does not select a particle or a physical charge.

State the dynamical question

The complete source derivative distinguishes a zero background scalar from a zero response to every perturbation. A further question is whether spatial motion preserves a proposed family of zero-source fields.

Consider the specified local equation in dd ordinary flat spatial directions, with ℏ=c=1\hbar=c=1:

i∂tΨ=−i∑j=1dαj∂jΨ+g(Ψ†βΨ)βΨ.(1) i\partial_t\Psi=-i\sum_{j=1}^d\alpha_j\partial_j\Psi +g(\Psi^\dagger\beta\Psi)\beta\Psi. \tag{1}

The Hermitian matrices αj,β\alpha_j,\beta square to one and anticommute pairwise. Use one minimal irreducible complex module of their full Clifford algebra, of dimension n=2⌊(d+1)/2⌋n=2^{\lfloor(d+1)/2\rfloor}. Components of this module are field amplitudes over ordinary space. The calculation introduces neither compactification nor a choice of global physical topology.

We classify constant complex-linear subspaces E⊂CnE\subset\mathbb C^n with two properties: all spatial derivatives preserve fields valued in EE, and every such field has zero scalar source. For the orthogonal projector PEP_E, these conditions are precisely

[PE,αj]=0(1≤j≤d),PEβPE=0.(2) [P_E,\alpha_j]=0\quad(1\le j\le d),\qquad P_E\beta P_E=0. \tag{2}

Hermiticity makes an invariant subspace reducing, giving the commutator condition. The scalar condition follows from complex polarization of u†βu=0u^\dagger\beta u=0 for all u∈Eu\in E. It retains every relative phase; testing just a few real vectors would be insufficient.

Odd spatial depth

For odd dd, define

C=i(d−1)/2α1⋯αd,P±=I±C2.(3) C=i^{(d-1)/2}\alpha_1\cdots\alpha_d,\qquad P_\pm=\frac{I\pm C}{2}. \tag{3}

Moving a matrix through the product gives

C†=C,C2=I,[C,αj]=0,{C,β}=0.(4) C^\dagger=C,\quad C^2=I,\quad [C,\alpha_j]=0,\quad \{C,\beta\}=0. \tag{4}

Thus β\beta exchanges the two eigenspaces, each of complex dimension n/2n/2, and

P±βP±=0.(5) \boxed{P_\pm\beta P_\pm=0.} \tag{5}

For any sufficiently regular initial field with P±Ψ=ΨP_\pm\Psi=\Psi, the free massless Dirac evolution stays in that same space. Equation (5) makes its nonlinear scalar term vanish pointwise for the entire evolution. It is therefore also an exact solution of (1). Spatially varying complex polarization and all momentum directions are allowed. The positive-frequency spectral projection of α⋅p\alpha\cdot p commutes with CC, so positive-frequency wavepackets can be prepared in these classes as well.

If two full fields belong to the same class, their sum does too:

(Ψ1+Ψ2)†β(Ψ1+Ψ2)=0.(6) (\Psi_1+\Psi_2)^\dagger\beta(\Psi_1+\Psi_2)=0. \tag{6}

Their local scalar interaction vanishes even where their spatial profiles overlap. Opposite classes have a possible cross scalar 2Re⁡(Ψ+†βΨ−)2\operatorname{Re}(\Psi_+^\dagger\beta\Psi_-), determined by their actual profiles and phases. This is a dynamical sufficient condition for a source zero, complementing the traveling-pulse conditions in local polarized coupling.

Completeness and the even-depth result

The usual complex Clifford classification states that an even number of generators gives one full matrix algebra, while an odd number gives two simple blocks. See the complex case in Etingof's Mathematical Ideas and Notions of Quantum Field Theory, section 11.3. Here its application concerns the kinetic generators alone, inside the larger module that also contains β\beta.

For even dd, the 2d=n22^d=n^2 products of distinct αj\alpha_j form a basis of Mat⁡n(C)\operatorname{Mat}_n(\mathbb C). Consequently a projector commuting with them is either 00 or II. The latter fails PβP=0P\beta P=0. There is no nonzero class satisfying (2).

For odd dd, the kinetic algebra acts irreducibly on each CC eigenspace, with commutant exactly span⁡C{I,C}\operatorname{span}_{\mathbb C}\{I,C\}. Its orthogonal projectors are 0,I,P+,P−0,I,P_+,P_-; only P+P_+ and P−P_- are nonzero and scalar-null. Thus (3) supplies the complete answer under the stated module and constant-subspace assumptions.

An explicit matrix check of the commutant avoids choosing a polarization basis. The commuting conjugation projections give

E(X)=∏j=1dI+Ad⁡αj2(X)={Tr⁡XnI,d even,Tr⁡XnI+Tr⁡(CX)nC,d odd.(7) \mathcal E(X)= \prod_{j=1}^d\frac{I+\operatorname{Ad}_{\alpha_j}}2(X) = \begin{cases} \dfrac{\operatorname{Tr}X}{n}I,&d\ {\rm even},\\[6pt] \dfrac{\operatorname{Tr}X}{n}I+ \dfrac{\operatorname{Tr}(CX)}n C,&d\ {\rm odd}. \end{cases} \tag{7}

Ordinary spatial depth dd Full complex module nn Dimension of each nonzero class
11 22 11
22 22 none
33 44 22
44 44 none
55 88 44
66 88 none
77 1616 88
88 1616 none
99 3232 1616
1010 3232 none

Multiple module copies or additional independent action terms change the problem and can enlarge or break these invariant spaces. A position-dependent projector requires its own connection terms. Equation (7) does not classify those extensions, nonlinear families, or all individual zero-source solutions at even depth.

Propagation through containing spatial directions

The dimension dd in (1) counts all derivatives retained in that equation. Applying it to a lower particle while omitting its permitted normal propagation is a further restriction. Use the containing Clifford module when that propagation is present, as in normal Dirac propagation.

For an odd set of lower directions, form CdC_d from their αj\alpha_j. Every additional normal kinetic matrix αa\alpha_a anticommutes with it:

{Cd,αa}=0,P±αaP±=0.(8) \{C_d,\alpha_a\}=0,\qquad P_\pm\alpha_aP_\pm=0. \tag{8}

The extra derivative maps the lower class into its complementary class. For a normal momentum kk, its full symbol obeys

AN(k)=∑akaαa,AN(k)2=∣k∣2I.(9) A_N(k)=\sum_a k_a\alpha_a,\qquad A_N(k)^2=|k|^2I. \tag{9}

If an initial field lies in P+P_+ and evolves under this normal kinetic term alone, the fraction in P−P_- is sin⁡2(∣k∣t)\sin^2(|k|t). Projecting back onto P+P_+ at every step would delete the actual propagation.

More generally, a smooth ambient field constrained to the fixed lower class for all times would have to satisfy DNΨ=0D_N\Psi=0. For flat normal Rq\mathbb R^q, (9) shows that a square-integrable normal profile satisfying this condition is zero: its Fourier transform vanishes at every nonzero kk, and an L2L^2 function cannot be supported at the single point k=0k=0. This concerns the stated smooth ambient extension and fixed projector. It does not exclude a field defined on a lower spatial submanifold, other confinement dynamics, or a complete containing-space symmetry.

In particular, an odd-dimensional containing space has its own kinetic involution. That complete class can preserve scalar nullity while the lower class mixes. A full positive-frequency plane also has zero scalar at every spatial depth. Lower-class mixing alone is therefore not a proof of nonzero scalar interaction. The positive-frequency vertex calculation tests both the complete angular current and these containing-direction qualifications.

Physical scope

This is a parity result; depths three, five, seven and nine share it. It does not single out the depth-five assignment. Within either class the written scalar term supplies no self-binding, so the theorem does not construct a localized particle.

Exact invariance also differs from stability against perturbations outside the class. The complete null-plane response has a density-dependent instability even though its background scalar vanishes identically.

The operator CC anticommutes with β\beta. It therefore fails the general scalar-potential charge condition in conserved spatial charge. Its sign has not been identified with electric charge or an observed weak representation. The neutrino control still requires electric neutrality and nonzero weak vertices. The two signs are not assigned particle and antiparticle meanings.

This kinetic involution also differs from the even-bound-depth Ξ=βΓb\Xi=\beta\Gamma_b in collective translation waves, which commutes with β\beta, and from the rest Spin(6) polarization in the massive current projection. They solve different spatial representation problems.

Verification

scalar_plane_response_checks.py checks the involution, every kinetic commutator, scalar-null complex superpositions, arbitrary spatial derivatives, and the full commutant projection for every depth from one through ten. scalar_plane_response.py provides the shared Clifford involution and complete plane-response operators. The results test the specified equation and representation, not the physical realization of a particle sector.