The subscheme or subset of a parameter or base space defined by the simultaneous vanishing of a prescribed collection of minors of a presentation matrix. Points of this locus are precisely those where expected rank inequalities fail and where associated sheaves or maps drop rank.

Principle

Minors of a matrix generate the determinantal ideals that control rank conditions: the vanishing of all (r+1)-minors characterizes the locus where rank ≤ r. Such loci are typically closed and define determinantal varieties with predictable codimension in generic situations.

Demonstration

Standard example: the determinantal variety of m×n matrices of rank ≤ r is cut out inside the affine space of matrices by the vanishing of all (r+1)×(r+1) minors. Geometrically, for a map of vector bundles E→F over a scheme, the locus where the map has rank ≤ r is defined by the corresponding minors of any local matrix presenting the map.

Misapplication

Assuming that vanishing of a nonmaximal set of minors suffices to control rank globally, or ignoring saturation and embedded components when translating minors into scheme-theoretic conditions. Another frequent mistake is using minors computed in an inappropriate basis or failing to track base change behaviour.

Consequence

Identifying the vanishing minors locus provides a canonical determinantal structure for degeneracy loci, supplies equations for moduli conditions and stratifies the base by rank. It also predicts expected codimensions and singularities, guiding resolutions or desingularizations when necessary.

Reversal

Complement locus where some prescribed minors are nonvanishing; there the matrix attains the expected rank and local triviality statements (frames, splittings) hold. In many arguments one works on this open set to avoid degeneracies.

Boundary

Depends on the choice of presenting matrix and on scheme-theoretic subtleties: ideals generated by minors may require saturation, and over nonreduced bases minors can mislead. The description is local in the Zariski topology and may fail to capture embedded points or nonreduced structure without scheme-theoretic care.

Semantic Tension

Tension exists between the combinatorial algebraic description (ideals of minors) and geometric rank notions; 'vanishing minors locus' can be conflated with its reduced support or with naive rank inequalities. There is also a trade-off between using minors versus more intrinsic invariants (Fitting ideals, determinantal complexes).

Synthesis

The Vanishing Minors Locus is the determinantal subscheme where specified minors of a presentation vanish, equivalently the locus of rank failure for a matrix or map. It provides concrete equations for degeneracy, predicts codimension and singularity structure in generic settings, and must be handled with scheme-theoretic precision (saturation, base change) to serve as a reliable tool in classification and resolution problems.