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

Back to manuscript

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