Summary: A complete Killing-spinor frame transfers the scalar simplex operator to a local spinor operator, but its two Dirac branches and the real action distinguish this spectrum from an algebraic scalar mass.

An exact transfer, with the mass question kept explicit

The critical conformal scalar operator has normalized eigenvalues S(ℓ,d)=(ℓ+d−1d)S(\ell,d)=\binom{\ell+d-1}{d}. It can be transferred to the full ordinary spinor bundle using Killing spinors. The transferred operator is local and self-adjoint, with coefficients fixed by the specified geometry.

Its direct insertion into the scalar mass position of the canonical Dirac Hamiltonian is not self-adjoint. Taking the real action changes the coefficient to the average of adjacent simplex values. Both facts follow from retaining the two Dirac signs and the full variation.

Its squared Dirac polynomial has the same simplex value on both signs and admits a Hermitian scalar insertion. The obstruction proved here concerns the stated round-sphere transfer, rather than all spatial spinor operators.

Throughout, SRdS_R^d is an assumed actual physical spatial geometry, d=2hd=2h, with undetermined radius RR. All dd directions are ordinary macroscopic spatial directions. The calculation neither compactifies dimensions nor selects physical topology. Spinor components and a mathematical frame do not add spatial dimensions.

The complete Killing frame

Use skew-Hermitian Clifford multiplication and the self-adjoint spatial Dirac operator:

c(v)c(w)+c(w)c(v)=−2g(v,w)I,D=c(ea)∇ea.(1) c(v)c(w)+c(w)c(v)=-2g(v,w)I,\qquad \mathscr D=c(e_a)\nabla_{e_a}. \tag{1}

Let β\beta be the parallel Hermitian chirality operator, with β2=I\beta^2=I and {β,D}=0\{\beta,\mathscr D\}=0. These are the canonical Hamiltonian conventions of the spatial mass reduction. Neither chirality nor a Dirac sign is identified with electric charge or an antiparticle.

A positive Killing spinor satisfies

∇Xε=−12Rc(X)ε,Dε=hRε.(2) \nabla_X\varepsilon=-\frac1{2R}c(X)\varepsilon,\qquad \mathscr D\varepsilon=\frac hR\varepsilon. \tag{2}

There are r=2hr=2^h independent such spinors on the round sphere. Their pairwise inner products are constant, because differentiation gives two cancelling terms by skew-Hermiticity. Orthonormal values at one point therefore give a pointwise unitary frame UU of the entire spinor bundle.

The metric connection

∇XK=∇X+12Rc(X)(3) \nabla^K_X=\nabla_X+\frac1{2R}c(X) \tag{3}

has these columns as parallel sections and has zero curvature on the round sphere. It is not the ordinary Clifford-compatible spin connection: the extra term in its Clifford compatibility equation is [c(X),c(Y)]/(2R)[c(X),c(Y)]/(2R).

The scalar/Killing-spinor construction and its multiplicity correction are also given in Herzog and Shamir, Section 6.2, equations (6.12)–(6.14). Only their round-sphere spectral construction is used here.

Derive the full differential transfer

Let Δ\Delta be the nonnegative scalar Laplacian. For every smooth complex scalar function ff, the Clifford product rule gives

D(fε)=c(df)ε+hRfε,D(c(df)ε)=(Δf)ε+1−hRc(df)ε.(4) \begin{aligned} \mathscr D(f\varepsilon) &=c(df)\varepsilon+\frac hR f\varepsilon,\\ \mathscr D(c(df)\varepsilon) &=(\Delta f)\varepsilon+\frac{1-h}{R}c(df)\varepsilon. \end{aligned} \tag{4}

The symmetric Hessian contracts to Δf\Delta f in the second line; ∑ac(ea)c(df)c(ea)=(d−2)c(df)\sum_a c(e_a)c(df)c(e_a)=(d-2)c(df) supplies its connection term. Applying D\mathscr D again in the first line proves

LK(fε)=(Δf)ε,LK=D2−1RD−h(h−1)R2.(5) \boxed{ L_K(f\varepsilon)=(\Delta f)\varepsilon,\qquad L_K=\mathscr D^2-\frac1R\mathscr D-\frac{h(h-1)}{R^2}. } \tag{5}

Equivalently, LK=(∇K)†∇KL_K=(\nabla^K)^\dagger\nabla^K. For a full coefficient vector F=(f1,…,fr)F=(f_1,\ldots,f_r) and ψ=UF\psi=UF, this gives LKU=U(Δ⊗Ir)L_KU=U(\Delta\otimes I_r). All complex polarizations are retained.

Put A=RDA=R\mathscr D and define

Qd(A)=∏j=1h(A−j)(A+j−1),Q^d=Qd(A)d!.(6) Q_d(A)=\prod_{j=1}^h(A-j)(A+j-1),\qquad \widehat Q_d=\frac{Q_d(A)}{d!}. \tag{6}

Every transferred scalar factor becomes

R2LK+(h−j)(h+j−1)=A2−A−j(j−1)=(A−j)(A+j−1).(7) R^2L_K+(h-j)(h+j-1) =A^2-A-j(j-1)=(A-j)(A+j-1). \tag{7}

Thus the normalized critical scalar operator P^d=RdPd,R/d!\widehat P_d=R^dP_{d,R}/d! obeys

Q^d U=U(P^d⊗Ir).(8) \boxed{\widehat Q_d\,U=U(\widehat P_d\otimes I_r).} \tag{8}

This is an exact unitary transfer, not a projection onto one spinor line. In particular,

Q6(A)=(A−3)A(A2−1)(A2−4),Q10(A)=(A−5)A(A2−1)(A2−4)(A2−9)(A2−16).(9) \begin{aligned} Q_6(A)&=(A-3)A(A^2-1)(A^2-4),\\ Q_{10}(A)&=(A-5)A(A^2-1)(A^2-4)(A^2-9)(A^2-16). \end{aligned} \tag{9}

The factor Cd−1(A)=A∏j=1h−1(A2−j2)C_{d-1}(A)=A\prod_{j=1}^{h-1}(A^2-j^2) is the standard odd conformal Dirac power of Clerc and Ørsted, Theorem 7.1. The extra factor A−hA-h in Qd=(A−h)Cd−1Q_d=(A-h)C_{d-1} is essential. The transferred operator uses the Killing connection; it is not the standard critical spinorial conformal intertwiner with its half-integer shift.

Both spectral branches and their multiplicities

For a degree-ℓ\ell scalar harmonic, let Λ=ℓ(ℓ+d−1)\Lambda=\ell(\ell+d-1). On the formal pair (fε,Rc(df)ε)(f\varepsilon,Rc(df)\varepsilon), (4) reads

A=(hΛ11−h).(10) A=\begin{pmatrix}h&\Lambda\\1&1-h\end{pmatrix}. \tag{10}

Its eigenvalues are ℓ+h\ell+h and −(ℓ+h−1)-(\ell+h-1). At ℓ=0\ell=0, the derivative partner vanishes and only the positive Killing eigenvalue remains. For higher degrees, both branches have the same value S(ℓ,d)S(\ell,d) under Q^d\widehat Q_d.

Using instead the standard Dirac level k=0,1,…k=0,1,\ldots, the two signs give

A=+(k+h):Q^d=S(k,d),A=−(k+h):Q^d=S(k+1,d),(11) \boxed{ \begin{array}{ll} A=+(k+h):&\widehat Q_d=S(k,d),\\ A=-(k+h):&\widehat Q_d=S(k+1,d), \end{array}} \tag{11}

where S(0,d)=0S(0,d)=0. The polynomial is symmetric under A↦1−AA\mapsto1-A, not under A↦−AA\mapsto-A. At fixed ℓ≥1\ell\ge1, the equal-value spaces are positive level ℓ\ell and negative level ℓ−1\ell-1. Their dimension is

r(ℓ+d−1d−1)+r(ℓ+d−2d−1)=r[(ℓ+dd)−(ℓ+d−2d)].(12) r\binom{\ell+d-1}{d-1}+r\binom{\ell+d-2}{d-1} =r\left[\binom{\ell+d}{d}-\binom{\ell+d-2}{d}\right]. \tag{12}

The bracket is the scalar harmonic multiplicity, in agreement with the complete frame (8). The zero eigenspace is the rank-rr positive Killing space. No modes have been discarded or counted twice. Identifying a Dirac level with an occupied particle mode remains an additional physical requirement.

What the real mass action actually varies into

For self-adjoint MM, the scalar Hamiltonian contribution βM\beta M is self-adjoint only if [M,β]=0[M,\beta]=0. Here

βQd(A)β=Qd(−A)≠Qd(A).(13) \beta Q_d(A)\beta=Q_d(-A)\ne Q_d(A). \tag{13}

Hence D+μβQ^d\mathscr D+\mu\beta\widehat Q_d, for real nonzero μ\mu, does not preserve the canonical norm. This is a failure of that mass insertion, not of the self-adjoint operator Q^d\widehat Q_d itself.

Taking the real quadratic energy and varying every complex component gives instead

δ Re⁡⟨ψ,μβQ^dψ⟩δψ†=μ2(βQ^d+Q^dβ)ψ=μβQ^d evenψ,(14) \frac{\delta\,\operatorname{Re}\langle\psi,\mu\beta\widehat Q_d\psi\rangle} {\delta\psi^\dagger} =\frac\mu2(\beta\widehat Q_d+\widehat Q_d\beta)\psi =\mu\beta\widehat Q_d^{\,\mathrm{even}}\psi, \tag{14}

where

Q^d even=A2d!∏j=1h−1(A2−j2).(15) \boxed{ \widehat Q_d^{\,\mathrm{even}} =\frac{A^2}{d!}\prod_{j=1}^{h-1}(A^2-j^2). } \tag{15}

Its coefficient on either sign of Dirac level kk is [S(k,d)+S(k+1,d)]/2[S(k,d)+S(k+1,d)]/2.

Dimension Dirac level Positive-branch simplex value Coefficient after the real scalar insertion
66 1313 18 56418\,564 22 84822\,848
66 3535 3 838 3803\,838\,380 4 167 3844\,167\,384
1010 2323 64 512 24064\,512\,240 78 536 64078\,536\,640

The change depends on the level, so a common scale does not undo it. Adding μQ^d\mu\widehat Q_d directly to the Hamiltonian is self-adjoint, but gives frequencies (k+h)/R+μS(k,d)(k+h)/R+\mu S(k,d) and −(k+h)/R+μS(k+1,d)-(k+h)/R+\mu S(k+1,d). That is a different equation from a scalar Dirac mass insertion.

No finite polynomial in A2A^2 agrees with Qd(A)Q_d(A) at every positive Dirac level: infinitely many equal values would force a polynomial identity, whereas QdQ_d has a nonzero odd part. This limitation does not classify all geometric operators or nonlinear effective actions.

A nonlocal spectral candidate and the kinetic term

The spectral operator

M^d=1d!Qd(∣A∣)(16) \widehat M_d=\frac1{d!}Q_d(|A|) \tag{16}

is positive, self-adjoint and commutes with D\mathscr D and β\beta. It has value S(k,d)S(k,d) on both signs of level kk. The factor ∣A∣=A2|A|=\sqrt{A^2} makes it spatially nonlocal. No elimination of master-field modes has yet been shown to produce the complete operator.

An explicit normal Dirac extension does obtain the absolute Dirac operator from ordinary spatial continuation of a full parent spinor. The same reduction induces a nontrivial kinetic norm: a constant bulk scalar coefficient remains constant after canonical normalization. The assumed half-cylinder boundary and nonlinear normal profiles remain to be derived from the master field.

Even this specified candidate retains the spatial kinetic contribution. The canonical Hamiltonian D+μβM^d\mathscr D+\mu\beta\widehat M_d gives

ωk,±=±(k+h)2R2+μ2S(k,d)2.(17) \boxed{ \omega_{k,\pm} =\pm\sqrt{\frac{(k+h)^2}{R^2}+\mu^2S(k,d)^2}. } \tag{17}

Reading the second term alone as an observed rest mass requires a physical separation and state identification that have not been derived.

The local scalar interaction survives the change of frame

A unitary change of field variables does not turn the written local quartic into a high-order differential interaction. Under ψ=UF\psi=UF,

J=ψ†βψ=F†B(q)F,B(q)=U(q)†βU(q).(18) J=\psi^\dagger\beta\psi=F^\dagger B(q)F,\qquad B(q)=U(q)^\dagger\beta U(q). \tag{18}

At unit radius, in stereographic coordinates, put C=xiciC=x_ic_i, s=∣x∣2s=|x|^2, with constant Clifford matrices cic_i. An explicit frame is

U(x)=I−C1+s,B(x)=(1−s)I+2C1+s β.(19) U(x)=\frac{I-C}{\sqrt{1+s}},\qquad B(x)=\frac{(1-s)I+2C}{1+s}\,\beta. \tag{19}

It has U†U=IU^\dagger U=I, B2=IB^2=I, and its columns satisfy (2). The current retains a spatially varying polarization matrix even when FF is constant. Replacing it by F†FF^\dagger F would change the physical interaction.

The local energy κ∫J2/2\kappa\int J^2/2 therefore still varies into κJBF\kappa JBF in this frame. It does not become P^dF\widehat P_dF. The physical derivative calculation likewise shows that a change of representation does not create an interaction eigenvalue.

Equation (8) closes a mathematical scalar-to-spinor construction. An admissible mass term inherited from the master action, occupied states and common sector normalization remain separate requirements.

Verification

killing_spinor_simplex_checks.py uses (19) and independently differentiates the full stereographic Dirac operator twice. Arbitrary complex spinor values, gradients and symmetric Hessians verify (5) in dimensions two, four, six and ten. That spatial check does not use a scalar eigenvalue formula.

Exact symbolic matrix products check (6)–(12). Separate complex variations verify the real mass action, norm change of the direct insertion, adjacent-count average and kinetic identity (17). These checks establish the specified mathematical constructions, not a physical mass mechanism.