Maths WorkshopMaths problems with full solutions
Exercise 1388Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL3Added 6 Nov 2026

Where is {det = 0} a manifold?

#determinant#implicit function theorem#singular point#cone#local homology

Statement

  1. Show that Σ={A∈Mn(R):det⁡A=0}\Sigma=\{A\in M_n(\mathbb{R}):\det A=0\} is a smooth hypersurface (a manifold of dimension n2−1n^2-1) near every AA of rank n−1n-1.
  2. For n=2n=2, show that Σ\Sigma is not a topological manifold near 00.
Hint

The gradient of det⁡\det at AA is the transpose of the adjugate matrix. For part 2, diagonalise the quadratic form ad−bcad-bc and see Σ\Sigma as a cone over a torus.

Show solutionHide solution

Solution

1. Gradient. Expanding det⁡\det along row ii: det⁡A=∑jaijCij\det A=\sum_ja_{ij}C_{ij} with the cofactor CijC_{ij} independent of the entries of row ii. So ∂det⁡∂aij=Cij\dfrac{\partial\det}{\partial a_{ij}}=C_{ij}, i.e. ∇det⁡(A)=adj⁡(A)T\nabla\det(A)=\operatorname{adj}(A)^T (the cofactor matrix).

If rank⁡A=n−1\operatorname{rank}A=n-1, then adj⁡A≠0\operatorname{adj}A\ne0: indeed Aadj⁡A=0A\operatorname{adj}A=0 and at least one (n−1)×(n−1)(n-1)\times(n-1) minor of AA is nonzero (rank n−1n-1), which is an entry of the cofactor matrix. So 00 is a regular value of det⁡\det near AA and by the implicit function theorem Σ\Sigma is a smooth hypersurface near AA.

2. The case n=2n=2 at 00. With s=a+ds=a+d, u=a−du=a-d, v=b+cv=b+c, w=b−cw=b-c we have a=s+u2a=\frac{s+u}2, d=s−u2d=\frac{s-u}2 and
ad−bc=s2−u24−v2−w24=s2+w2−u2−v24.ad-bc=\frac{s^2-u^2}4-\frac{v^2-w^2}4=\frac{s^2+w^2-u^2-v^2}4.
So Σ≅{(s,w,u,v)∈R4:s2+w2=u2+v2}\Sigma\cong\{(s,w,u,v)\in\mathbb{R}^4:s^2+w^2=u^2+v^2\}, a quadratic cone. Its intersection with the sphere of radius rr is {s2+w2=u2+v2=r2/2}\{s^2+w^2=u^2+v^2=r^2/2\}, a product of two circles, a torus T2T^2. Hence Σ∖{0}≅T2×(0,∞)\Sigma\setminus\{0\}\cong T^2\times(0,\infty) and Σ\Sigma is the open cone over T2T^2.

*Σ\Sigma is not a manifold at 00.* Suppose 00 had a neighbourhood in Σ\Sigma homeomorphic to R3\mathbb{R}^3. Then the local homology H2(Σ,Σ∖{0})H_2(\Sigma,\Sigma\setminus\{0\}) would equal H2(R3,R3∖0)≅H~1(S2)=0H_2(\mathbb{R}^3,\mathbb{R}^3\setminus0)\cong\tilde H_1(S^2)=0. For a cone Σ\Sigma over a space LL, however,
Hk(Σ,Σ∖0)≅H~k−1(L),H_k(\Sigma,\Sigma\setminus0)\cong\tilde H_{k-1}(L),
which for L=T2L=T^2 and k=2k=2 is H1(T2)=Z2≠0H_1(T^2)=\mathbb{Z}^2\ne0. Contradiction. (Equivalently: the punctured neighbourhoods of 00 retract onto a torus, which is not a 22-sphere; a punctured 33-ball would retract onto S2S^2.)

Remark. The singular locus of Σ\Sigma is exactly {rank⁡≤n−2}\{\operatorname{rank}\le n-2\}, of codimension 44 in Mn(R)M_n(\mathbb{R}). The hypersurface is smooth elsewhere, so singularities of {det⁡=0}\{\det=0\} are "rare" and invisible to a transversal curve.