Characterization of the singular locus by matrix rank

Characterize the singular locus of the determinantal quintic hypersurface \(\mathcal{Q}=\{\mathbf{p}\in\mathbb{A}^5\mid \det\mathbf{M}(\mathbf{p})=0\}\) at generic points by proving or disproving that it equals the locus where the symmetric matrix \(\mathbf{M}(\mathbf{p})\) has rank \(3\).

Background

The paper studies the determinantal quintic hypersurface Q\mathcal{Q} defined by the vanishing of the determinant of a symmetric 5×55\times5 matrix M\mathbf{M} whose entries are trace coordinates and boundary parameters for the SL2(C)\mathrm{SL}_2(\mathbb{C}) character variety of the five-punctured sphere. The authors derive an explicit description of the singular locus using the kernel vector v\mathbf{v} and identify both an essential component, where the matrix has corank at least two, and accidental components occurring when a boundary trace satisfies ba=±2b_a=\pm2.

At a generic point, the authors state that the singular locus is two-dimensional and conjecturally coincides with the rank-three locus of M\mathbf{M}. Establishing this equality would justify the subsequent local description of the generic singularity as an A1A_1 singularity with exceptional fiber P1\mathbb{P}^1.

References

At a generic point, the singular locus of~$\mathcal{Q}$ is 2-dimensional, and we expect that

\Sing( \mathcal{Q})= \left{ \mathbf{p} \in \mathbb{A}5 ~\middle|~ \rank \mathbf{M}(\mathbf{p})=3 \right} .

— Character variety of the five-punctured sphere and the determinantal quintic hypersurface  (2610.12092 - Hikami, 8 Oct 2026) in Section 2, subsection “Determinantal Quintic Hypersurface,” immediately after equation (\ref{singular_locus_b}) and before equation (\ref{Singular_rank_3})