Manuscript XV-B@2 · XV-B.tex · proposition · 4d3f12e8

Proposition: The retained stratum is not a point puncture

The retained target and the available inherited formulas › Full branch content and the characteristic locus · lines 1727–1746 · proof included or linked

XV-B@2#prop:dimension

Back to manuscript

On the stated nondegenerate patch, the stratum in (eq:N) has dimension eight and codimension eight in .

Proof. The parameters are , the two scalars , and , giving dimension . The displayed parametrization has a smooth inverse on its image:

The positivity of makes the inverse smooth. Thus the parametrization is an embedding on the retained patch. Since , the codimension is eight.

Displayed formulas in this passage

  • unlabeled · line 1737

Nearby in this section