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

Back to manuscript

is the exact rational kernel of the adjoint-defect map on the equivariant coordinates:

Reading
formal
-plateau
double plateau
  1. 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.

  2. 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