Manuscript XIV-D@1 · XIV-D.tex · proposition · 1a7f173d
Proposition: Full B 6 leading fiber numerator
D2: the full joint-symbol test › A full fiber-tensor check for B 6 · lines 1112–1177 · proof included or linked
XIV-D@1#prop:B6tensor, XIV-D@1#eq:B6identity
The complete density variation satisfies
After the metric propagator fiber and the principal kinetic stress variation are contracted, the corresponding leading differential numerator is a fixed nonzero conventional factor times
It is not identically zero as a fiber-tensor polynomial.
Proof. The principal kinetic variation of the stress tensor has fiber coefficient
In four dimensions , so trace reversal gives
The signs and factors from and the fixed metric line are nonzero. The mass term has lower scalar-line differential order and is not part of this principal differential numerator.
Because , the term makes no contribution after contraction with . Write . The remaining quadratic expression is
For variation ,
Its directional derivative is therefore
proving (eq:B6identity).
The retarded divergence and observation scalar derivative supply the two factors of in (eq:B6identity). The frozen scalar line normalizations and the nonzero kinetic coefficient supply only fixed nonzero factors.
For example, with all other components zero, , and give . The original weights are nonzero at the retained configuration.
Displayed formulas in this passage
XIV-D@1#eq:B6identity · line 1115
unlabeled · line 1124
unlabeled · line 1133
unlabeled · line 1140
unlabeled · line 1152
unlabeled · line 1157
unlabeled · line 1162