Manuscript XIV-J@1 · XIV-J.tex · section · 1c0e72ca
The full ambient conormal is still the relevant one
J2d: a conditional extension interface, not an extension map › The full ambient conormal is still the relevant one · lines 1568–1590
Locally choose further coordinates on with and . If a coefficient extension were conormal to inside , its insertion would have covectors
These are precisely full ambient conormal covectors of in .
Thus the normal-jet interface retains all eight ambient normal directions. It does not discard the attachment directions, and it assigns no degree from the relative three-dimensional notation.
No conormal landing condition or uniform estimate for the coefficient extensions is proved here.
Displayed formulas in this passage
unlabeled · line 1574