Manuscript III@2 · III.tex · proposition · 82dad3e5
Proposition: Fixed tangency witness
Moving the scalar: the massive free-shell obstruction › A positive smeared defect · lines 992–1027 · proof included or linked
III@2#prop:tangency-witness
There exist real compact-data , compact smooth , and nonnegative , , such that
For ,
Proof. Take equal to one near the origin and scalar data
For equal to one near zero, set
At the origin,
Thus . It exceeds on a neighborhood. A normalized nonnegative test supported there proves the first claim; proves the second.
Displayed formulas in this passage
unlabeled · line 996
unlabeled · line 1000
unlabeled · line 1009
unlabeled · line 1014
unlabeled · line 1019