Manuscript Oai282-B@1 · Oai282-B.tex · theorem · f2956de5
Theorem: Complete classification in the declared class
Coverage: classification before finite fitting › The admissible stress-tensor class · lines 1476–1561 · proof included or linked
Oai282-B@1#thm:classification, Oai282-B@1#eq:classform, Oai282-B@1#eq:classtrace
Every in Definition def:stressclass has a unique form
Its trace is
Its translation Ward action on the scalar is times the original translation action. Requiring the original translation normalization and zero trace forces
Proof. Dimension four and the available constant tensor contractions exhaust the monomials as follows.
A degree-two term has two derivatives and is a linear combination of
The last is zero on shell. A degree-four term has no derivatives and is a multiple of . A degree-one term would need three derivatives and an invariant constant tensor of odd total rank; none is built from . A degree-three term has one derivative and the same odd-rank obstruction. A degree-zero term of dimension four would require a forbidden dimensionful constant; derivatives of the identity vanish. No higher field degree is compatible with dimension four.
Thus, on shell,
Conservation gives
The vacuum-to-four-particle matrix of the last term is nonzero, whereas every quadratic term has zero such matrix. Hence . The vacuum-to-two-particle matrix of is nonzero for noncollinear positive-energy momenta, so
Since
the unique parameters are
Uniqueness also follows from the independent quadratic tensor polynomials on noncollinear two-particle momenta.
The trace is . For a translation, is a divergence superpotential. Its compact-slab commutator vanishes under the collar contract. The canonical tensor therefore contributes exactly times the original translation action. The last assertion follows.
Displayed formulas in this passage
Oai282-B@1#eq:classform · line 1479
Oai282-B@1#eq:classtrace · line 1485
unlabeled · line 1492
unlabeled · line 1503
unlabeled · line 1520
unlabeled · line 1528
unlabeled · line 1538
unlabeled · line 1543
unlabeled · line 1549