Summary: Restricting the homogeneous coherent action to normalized derivatives of one spinor preserves its massive plane waves but gives an exactly nonlocal linear response, so this specified lift does not preserve finite propagation.
The carrier must have a physical realization
The homogeneous coherent action has exact simplex mass branches and finite propagation when its components are independent canonical fields in the specified spatial mode bundle. A different proposal identifies those components with derivatives of one smaller spinor. That proposal must retain both their compatibility conditions and their induced kinetic norm.
Here this identification is tested in a flat constant-coefficient control on ordinary physical spatial coordinates. The calculation does not choose a new geometry for the electron or compactify any directions. It excludes this particular derivative realization, not all reductions of the master field on the curved physical sector.
A complete, normalized derivative lift
For , define the coherent-normalized derivatives
where is a fixed physical normalization length. The coefficients are the same normalized cumulative occupations used in the local-current derivative calculation. They are not independent functions: differentiating a lower component fixes the appropriate higher one.
On a Fourier component of wavevector , the complete coefficient vector is the unnormalized coherent tensor generated by . Summing every occupation gives
Indeed, the degree- contribution is , by the multinomial theorem. When the lifted field has the canonical time derivative, the parent field's time metric is , not the identity.
The free constant-coefficient Dirac operator commutes with this lift. Restricting the complete action, rather than just substituting the source in one component, gives
This is a specified new action for the parent field. It is distinct from prolonging the original master equation by its product rule.
Exact massive plane waves survive
For a plane wave , the lifted field is pointwise coherent. If , the complete source is , with . Therefore (3) reduces exactly to
on its positive-energy branch. The induced norm cancels consistently in both the equation and . These are plane-wave controls, not localized particle solutions.
The complete perturbation response, however, contains information that the dispersion relation (4) does not test.
Compress the full Hessian with the same kinetic norm
Take the constant coherent background in the slack occupation, with unit positive-chirality spinor . Put , and
The full coherent Hessian of the independent action is complex-linear. Its degree-zero spin matrix is ; its degree- matrix is . Multiplying each by its contribution to (2) proves the complete canonical compression
The rotating-frame generator adds to (6). It is Hermitian at each real . Thus the calculation does not uncover an exponentially unstable Fourier mode. Its obstruction concerns spatial locality and finite propagation.
For , the response along the occupied spin line happens to have . This cancellation does not hold in all the other spinor polarizations. Retaining them is essential to the test.
The denominator cannot cancel
Let be the numerator of . The finite Vandermonde identity gives
One elementary proof draws objects without replacement from objects, of which are marked. The sum is inclusion-exclusion for drawing no marked objects. The direct probability is , equal to the last expression. This supplies an independent combinatorial derivation of the nonzero remainder.
Along a single physical Fourier direction, therefore has poles of order at . It is a nonpolynomial rational multiplier. A translation-invariant local generator has a convolution kernel supported at the origin, hence a polynomial Fourier symbol. Equation (7) proves that this compressed response is not local.
For a concrete spin channel in six dimensions, use the exterior-form Clifford representation and choose a positive two-form polarization orthogonal to the zero-form . Its partner under the first Clifford matrix is a negative one-form, also orthogonal to . This two-state channel is preserved by that one-direction Dirac symbol; vanishes on it. The nonlocal coefficient cannot be removed by the occupied-spin term in (6).
An explicit instantaneous tail
Already at ,
In one physical direction the second term has convolution kernel
For any nonnegative nonzero smooth perturbation supported in , the convolution is strictly positive for . The local Dirac derivative and local mass terms vanish there initially, while (9) gives a nonzero initial time derivative. The same rational symbol in physical coordinates is a nonlocal Helmholtz resolvent and has the same support obstruction.
Finite-speed differentiable evolution would require its generator to preserve initial support: outside that support, the solution is zero for a nonzero interval of time. Its derivative at time zero must then also vanish there. Equations (7)–(9) violate this necessary condition. The pole proof applies to every finite even and every , including the unchanged degrees and .
The nonlocality arises because the independent nonlinear source does not preserve the derivative constraints. Restricting its action projects the response back to the allowed derivatives through . That spatial projection is not an instantaneous local operation.
Why canonical independent jets impose a strong restriction
There is a general local explanation. Consider a first-derivative field with , in a fixed flat canonical metric. Suppose an algebraic source both comes from a real local potential and preserves this constraint for every smooth . Then
The second derivative is arbitrary at a point. Since the source is algebraic in , (10) forces and . Work in real and imaginary components. A real potential has a symmetric real Hessian. Its upper off-diagonal block is zero, so the lower one must also vanish:
Thus is affine. With phase covariance its constant term and conjugate-linear part vanish; it is one fixed Hermitian complex-linear map, repeated on the derivative components. A nonlinear local gradient on independent canonical jets generally fails this compatibility test.
This argument has stated limits: it assumes an algebraic source, a fixed flat canonical fibre metric and exact first-derivative compatibility. A dynamical complementary field, a different induced kinetic structure, or a frequency-dependent elimination is not covered by it. Such ingredients must be derived from modes of the same master field; they are not mediator particles or unspecified extra physical dimensions.
Consequence for the mass investigation
The homogeneous action remains a valid conditional construction on its independent kinetic bundle. Its interpretation as the particular normalized derivative lift (1) is excluded as an exact finite-speed law by the full response, despite the plane-wave success (4).
A viable master reduction must therefore specify how the carrier is realized, retain its actual norm and complementary response, and pass a propagation test on perturbations. Equality of carrier dimensions or an exact rest-frequency sequence does not supply those missing steps.
Verification
coherent_jet_causality_checks.py constructs every small-band derivative component, compresses the complete spinor Hessian with its induced norm, and measures the omitted response. It also verifies massive plane waves, exact rational pole coefficients through degree , and the nonzero convolution outside compact initial support. The analytic support argument, rather than a finite numerical cutoff, establishes the failure of finite propagation for this lift.