Manuscript XVI-M@1 · XVI-M.tex · proposition · 7346c909
Proposition: Equivariant SA, exact; Gate V
M.7 Covariance and Ward-compatibility constraints · lines 1980–2004
XVI-M@1#prop:M7-inter
is the exact rational kernel of the adjoint-defect map on the equivariant coordinates:
| Reading | ||||||
|---|---|---|---|---|---|---|
| formal | ||||||
| -plateau | ||||||
| double plateau |
Formal and -plateau: is the line of at (, ), contained in ; is spanned by the Euler tensor of (ratio in the formal reading), i.e.\ the matched ultralocal line of Proposition prop:match.
Double plateau: , of which dimensions lie in . is all of (), but only () consists of SA assignments; the remaining projected directions have nonzero adjoint defect and are not SA assignments. Likewise () while has dimension . Check: .
Every basis vector of , and is re-verified from scratch against all constraints: equivariance (six generators, all grades) and zero adjoint defect; regression_M.py re-verifies them independently, including the Helmholtz route .
Mod- ranks at three primes agree and are supplementary only.
Prescription-covariant variational contacts exist but do not by themselves produce a Ward identity.
Nearby in this section
- section: M.7 Covariance and Ward-compatibility constraints
- proposition: Proposition: so(1,3) action on B N and on W N
- proposition: Proposition: Boost verification on μδ ; exact
- section: M.7 Covariance and Ward-compatibility constraints
- theorem: Theorem: Equivariant contact assignments
- section: M.7 Covariance and Ward-compatibility constraints
- section: M.7 Covariance and Ward-compatibility constraints
- proposition: Proposition: Linear divergence identities; not Ward identities