Manuscript VII-B@1 · VII-B.tex · section · be632835

Exclusion of the first geometric insertion

Exclusion of the first geometric insertion · lines 871–877

The obstruction for the bilinear insertion is stronger than the existence of exceptional bad test covectors. Every nonzero real smearing $f$ produces a failure somewhere in the smooth configuration space.

Nearby in this section

lemma: Lemma: A nonzero boundary trace for every nonzero smearing
theorem: Theorem: Sharp-boundary obstruction
corollary: Corollary: The problem is already in the quadratic kernel
section: Exclusion of the first geometric insertion