Manuscript XVI-M@1 · XVI-M.tex · proposition · 7346c909

Proposition: Completion obstruction inside the selected formal/ χ -plateau image

M.5 Counterterm-functionals ledger · lines 1503–1509

XVI-M@1#prop:completion

Back to manuscript

Under Gate V: the formal and -plateau variational images have for (Theorem thm:M4). The double-plateau Euler tensors of and have total degree , hence cannot lie in those images. Therefore the plateau matchings do not complete inside the already-stated selected formal/-plateau image. Any enlarged ansatz (retained switch/preparation derivatives, or additional diagrams) is a new domain, not a completion established by M.4.

Nearby in this section