The arithmetic rank of the residual intersections of a complete intersection ideal

1. Problématique et Contexte

L'article s'intéresse à la rang arithmétique ($ara(I)$) d'un idéal $I$ dans un anneau de polynômes sur un corps algébriquement clos. Le rang arithmétique est défini comme le nombre minimal d'équations nécessaires pour définir le lieu d'annulation de l'idéal $I$ ensemblistement (c'est-à-dire à radical près : $\sqrt{(f_1, \dots, f_k)} = \sqrt{I}$).

Le problème central est de déterminer ce rang pour les intersections résiduelles d'idéaux de type complet (complete intersection ideals).
Soit $I = (f_1, \dots, f_n)$ un idéal de type complet dans un anneau local noethérien $(R, \mathfrak{m})$. Soit $\mathfrak{a} \subsetneq I$ un idéal engendré par $m$ éléments ($m \ge n$). L'intersection résiduelle est définie par $J = \mathfrak{a} : I$.
Si la hauteur de $J$ est au moins $m$, $J$ est appelée une $m$-intersection résiduelle.

La difficulté réside dans le fait que les générateurs ensemblistes peuvent être très différents des générateurs algébriques de l'idéal et que le rang arithmétique peut dépendre de la caractéristique du corps de base.

2. Méthodologie

Les auteurs adoptent une approche combinant l'invariant theory, la théorie des anneaux commutatifs (ASL), la cohomologie locale et la topologie algébrique.

A. Réduction à l'intersection résiduelle générique

Au lieu d'étudier une intersection résiduelle arbitraire, les auteurs se concentrent sur l'intersection résiduelle générique $RI(m, \mathbf{y})$.

• Ils remplacent la suite régulière $f$ par des indéterminées $\mathbf{y} = (y_1, \dots, y_n)$.
• Ils considèrent une matrice $X$ de taille $m \times n$ d'indéterminées.
• L'idéal est $RI(m, \mathbf{y}) = I_n(X) + (X\mathbf{y})$, où $I_n(X)$ est l'idéal des mineurs d'ordre $n$ de $X$.
• Grâce à des résultats de spécialisation ([HU88]), le rang arithmétique de toute intersection résiduelle est borné supérieurement par celui de l'intersection générique.

B. Connexion avec la théorie des invariants (Caractéristique 0)

Pour la caractéristique nulle, les auteurs identifient un lien fort avec la théorie des invariants classiques du groupe spécial linéaire $SL_n(K)$.

• L'anneau des invariants $K[B]$ (où $B$ est l'ensemble des entrées de $X\mathbf{y}$ et des mineurs $n \times n$ de $X$) est isomorphe à l'anneau des invariants de l'action de $SL_n$ sur $K[X, \mathbf{y}]$.
• L'idéal $RI(m, \mathbf{y})$ correspond à l'idéal du cône nul de cette action.
• Ils utilisent un résultat de [JPSW25] reliant le rang arithmétique à la dimension de l'anneau des invariants via l'obstruction de la cohomologie locale.

C. Structure d'Anneau avec Loi de Redressement (ASL)

Pour traiter toutes les caractéristiques (y compris positive) et obtenir des générateurs explicites, les auteurs étudient la structure de l'anneau auxiliaire $K[B]$.

• Ils montrent que $K[B]$ est un ASL (Algebra with a Straightening Law) sur un poset bien défini.
• Ils prouvent que cet anneau est un domaine factoriel de Gorenstein.
• En caractéristique positive, ils démontrent que l'anneau est F-régulier (en utilisant la normalité de son sous-algèbre initiale via un ordre monomial). Cela permet de contourner l'obstruction de cohomologie locale qui disparaît en caractéristique positive.

D. Approche Topologique (Bornes Inférieures)

Pour établir la borne inférieure du rang arithmétique, surtout en caractéristique positive où la cohomologie locale ne suffit pas :

• Ils étudient la topologie du complémentaire de la variété $V(RI(m, \mathbf{y}))$.
• Ils utilisent la suite exacte de Mayer-Vietoris pour la cohomologie singulière (en caractéristique 0) et la cohomologie étale (en caractéristique $p$).
• L'argument consiste à montrer que ce complémentaire ne peut pas être couvert par un nombre « petit » d'ouverts affines, ce qui force le rang arithmétique à être élevé.

3. Résultats Principaux

Le théorème principal (Théorème 4.7) établit le rang arithmétique exact pour l'intersection résiduelle générique $RI(m, \mathbf{y})$ dans le anneau de polynômes $K[X, \mathbf{y}]$ (où $K$ est un corps ou $\mathbb{Z}$) :

$$ara(RI(m, \mathbf{y})) = \begin{cases} n(m - n + 1) + 1 & \text{si } n \ge 2 \\ m & \text{si } n = 1 \end{cases}$$

Conséquences et bornes :

1. Borne supérieure universelle : Pour n'importe quelle intersection résiduelle $J$ d'un idéal de type complet dans un anneau local noethérien, on a :
   $$ara(J) \le n(m - n + 1) + 1 \quad (\text{pour } n \ge 2)$$
   Cette borne est nettement meilleure que les bornes précédentes connues pour les idéaux colonnes.
2. Non-complétude ensembliste : En caractéristique nulle, pour tout idéal de type complet de hauteur $\ge 2$, ses intersections résiduelles génériques (y compris leur lien générique) ne sont pas des intersections complètes ensemblistes (set-theoretic complete intersections). En effet, la hauteur de $J$ est $m$, mais le rang arithmétique est $n(m-n+1)+1$, ce qui est strictement supérieur à $m$ dès que $n \ge 2$ et $m > n$.
3. Générateurs explicites : Les auteurs fournissent une description explicite des générateurs ensemblistes de $RI(m, \mathbf{y})$ en utilisant un système de paramètres homogène de l'anneau des invariants $K[B]$ (Théorème 3.7).

4. Contributions Techniques Clés

• Structure ASL de l'anneau auxiliaire : La preuve que l'anneau engendré par les mineurs et les produits $X\mathbf{y}$ est un ASL est cruciale. Elle permet de construire un système de paramètres explicite et de prouver la normalité et la régularité F dans toutes les caractéristiques.
• Obstruction topologique en caractéristique positive : L'article réussit à étendre les arguments topologiques (cohomologie étale) pour obtenir une borne inférieure en caractéristique positive, comblant ainsi le vide laissé par la disparition de l'obstruction de cohomologie locale.
• Indépendance de la caractéristique : Le résultat final est valable pour tout corps (ou $\mathbb{Z}$), montrant que le rang arithmétique de ces idéaux est indépendant de la caractéristique, contrairement à de nombreux autres problèmes en géométrie algébrique.

5. Signification

Ce travail résout un problème ouvert concernant le rang arithmétique des intersections résiduelles d'idéaux de type complet.

• Il fournit une borne supérieure tranchée (sharp upper bound) qui est atteinte dans le cas générique.
• Il démontre que, contrairement aux idéaux de type complet eux-mêmes (qui sont des intersections complètes ensemblistes), leurs intersections résiduelles génériques échouent à être des intersections complètes ensemblistes dès que la codimension est suffisante ($n \ge 2$).
• La méthode combinant la théorie des invariants, la théorie des singularités (F-regularité) et la topologie algébrique offre un cadre puissant pour l'étude d'autres idéaux définis par des complexes ou des variétés de déterminants.

En résumé, l'article établit que le coût ensembliste (nombre d'équations) pour définir une intersection résiduelle générique est exactement $n(m-n+1)+1$, une formule qui dépend linéairement de la taille de la matrice et de la hauteur de l'idéal initial, mais qui dépasse systématiquement la hauteur de l'idéal résiduel lui-même.