Le sous-schéma ou sous-ensemble de l'espace de paramètres ou de la base défini par la nullité simultanée d'un ensemble prescrit de mineurs d'une matrice de présentation. Les points de ce lieu sont exactement ceux où les inégalités de rang attendues échouent et où des faisceaux ou des applications associées perdent du rang.

Principe

Les mineurs d'une matrice engendrent les idéaux déterminant le rang : la nullité de tous les mineurs de taille (r+1) caractérise le lieu où le rang ≤ r. Ces lieux sont en général fermés et définissent des variétés déterminantales de codimension attendue en situation générique.

Démonstration

Exemple standard : la variété déterminantale des matrices m×n de rang ≤ r est coupée dans l'espace affine des matrices par l'annulation de tous les mineurs (r+1)×(r+1). Géométriquement, pour un morphisme de fibrés vectoriels E→F sur un schéma, le lieu où le morphisme a rang ≤ r est défini par les mineurs appropriés de toute matrice locale présentant le morphisme.

Mauvaise application

Supposer que la nullité d'un ensemble non maximal de mineurs suffit à contrôler globalement le rang, ou ignorer la saturation et les composantes intégrées quand on traduit des mineurs en conditions schématiques. Une erreur fréquente est aussi de calculer des mineurs dans une base inadaptée sans suivre le comportement par changement de base.

Conséquence

Identifier le lieu de nullité des mineurs fournit une structure déterminantale canonique pour les lieux de dégénérescence, donne des équations pour des conditions de module et stratifie la base selon le rang. Cela prédit aussi les codimensions et singularités attendues, guidant les résolutions nécessaires.

Inversion

Le lieu complémentaire où certains mineurs prescrits sont non nuls ; là la matrice atteint le rang attendu et des énoncés de trivialité locale (trames, scindements) sont valides. Dans de nombreux arguments on travaille sur cet ouvert pour éviter les dégénérescences.

Limite

Dépend du choix de matrice de présentation et de subtilités schématiques : les idéaux engendrés par des mineurs peuvent demander saturation, et sur des bases non réduites les mineurs peuvent induire en erreur. La description est locale pour la topologie de Zariski et peut ne pas capturer les points intégrés ou la structure non réduite sans soin schématique.

Tension sémantique

Il existe une tension entre la description algébrique combinatoire (idéaux de mineurs) et la notion géométrique de rang ; « lieu de nullité des mineurs » peut se confondre avec son support réduit ou avec des inégalités de rang naïves. Il y a aussi un compromis entre l'usage de mineurs et d'invariants plus intrinsèques (idéaux de Fitting, complexes déterminantaux).

Synthèse

Le Lieu de Nullité des Mineurs est le sous-schéma déterminantal où des mineurs prescrits d'une présentation s'annulent, équivalemment le lieu de défaillance de rang d'une matrice ou d'un morphisme. Il fournit des équations concrètes pour la dégénérescence, prédit codimension et singularités en situation générique, et doit être manié avec précision schématique (saturation, changement de base) pour être un outil fiable en classification et résolution.