Where is {det = 0} a manifold?
Statement
- Show that is a smooth hypersurface (a manifold of dimension ) near every of rank .
- For , show that is not a topological manifold near .
Hint
The gradient of at is the transpose of the adjugate matrix. For part 2, diagonalise the quadratic form and see as a cone over a torus.
Show solutionHide solution
Solution
1. Gradient. Expanding along row : with the cofactor independent of the entries of row . So , i.e. (the cofactor matrix).
If , then : indeed and at least one minor of is nonzero (rank ), which is an entry of the cofactor matrix. So is a regular value of near and by the implicit function theorem is a smooth hypersurface near .
2. The case at . With , , , we have , and
So , a quadratic cone. Its intersection with the sphere of radius is , a product of two circles, a torus . Hence and is the open cone over .
* is not a manifold at .* Suppose had a neighbourhood in homeomorphic to . Then the local homology would equal . For a cone over a space , however,
which for and is . Contradiction. (Equivalently: the punctured neighbourhoods of retract onto a torus, which is not a -sphere; a punctured -ball would retract onto .)
Remark. The singular locus of is exactly , of codimension in . The hypersurface is smooth elsewhere, so singularities of are "rare" and invisible to a transversal curve.