Proposition 3.5 . [02BC]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proposition 3.5.

For any $\eta>0$ there is a function $g$ on $Y$ , smooth on $Y^{{\rm reg}}$ , supported in the $\eta$ -neighbourhood of $\Sigma_{Y}$ , equal to $1$ on some neighbourhood of $\Sigma_{Y}$ and with

\|\nabla g\|_{L^{2}}\leq\eta.