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

Back to manuscript

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

Nearby in this section