On complete intersection projective closures of monomial curves

Résumé technique : Closures projectives d'intersections complètes de courbes monomiales

Énoncé du problème
Cet article étudie les conditions sous lesquelles la clôture projective d'une courbe monomiale affine est une intersection complète. Si la propriété d'intersection complète pour les courbes monomiales affines est bien établie, le comportement de leurs clôtures projectives reste moins compris. La difficulté centrale réside dans le fait que l'homogénéisation de l'idéal toroïdal définissant une courbe affine peut augmenter le nombre minimal de générateurs et modifier la structure des équations définissantes. Par conséquent, le fait qu'une courbe monomiale affine soit une intersection complète est une condition nécessaire mais non suffisante pour que sa clôture projective partage cette propriété. L'article cible spécifiquement les courbes monomiales dans l'espace affine à quatre dimensions ($n=4$), visant à fournir une caractérisation complète et explicite de quand leurs clôtures projectives sont des intersections complètes et quand elles sont de Cohen–Macaulay arithmétiquement.

Méthodologie
L'analyse repose sur la classification structurelle des ensembles de générateurs binomiaux minimaux pour l'idéal toroïdal affine $I(\mathbf{a})$ d'une courbe monomiale $C(\mathbf{a})$ dans $\mathbb{A}^4$. L'auteur utilise l'ordre de la réversibilité de degré (degree reverse lexicographic order) et les techniques de base de Gröbner pour analyser l'idéal homogénéisé $I_h(\mathbf{a})$.

Les étapes méthodologiques clés incluent :

1. Classification structurelle : En s'appuyant sur le Théorème 2.3, l'ensemble générateur minimal de $I(\mathbf{a})$ est catégorisé en trois cas distincts basés sur les relations entre les entiers $c_i$ (les plus petits entiers positifs tels que $c_i a_i \in \sum_{j \neq i} \mathbb{N}a_j$).
2. Analyse de la base de Gröbner : Pour chaque cas structurel, l'article construit des ensembles spécifiques de binômes et vérifie si ces derniers forment une base de Gröbner pour $I(\mathbf{a})$ et, par la suite, pour $I_h(\mathbf{a})$.
3. Analyse des monômes initiaux : L'article applique le critère de Buchberger et les propriétés des monômes initiaux. Plus précisément, il utilise le fait que si les monômes initiaux d'un ensemble générateur sont premiers entre eux, l'ensemble forme une base de Gröbner.
4. Caractérisation de Cohen–Macaulay arithmétiquement (ACM) : L'article emploie des critères issus de la littérature existante (spécifiquement [6, Théorème 2.2]) qui lient la propriété ACM à la non-divisibilité des monômes initiaux par des variables spécifiques (typiquement $x_4$ ou $x_1$ selon l'ordre).

Contributions clés et résultats

L'article fournit des conditions nécessaires et suffisantes pour que la clôture projective $C(\mathbf{a}) \subset \mathbb{P}^4$ soit une intersection complète et/ou soit de Cohen–Macaulay arithmétiquement, divisées selon les trois cas structurels de l'idéal affine :

• Cas 1 : L'idéal affine est engendré par $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_4^{c_4}, x_1^{d_1}x_2^{d_2} - x_3^{d_3}x_4^{d_4}\}$.

  • Intersection complète : Les Théorèmes 2.4 et 2.6 établissent que $I_h(\mathbf{a})$ est une intersection complète si $d_2=c_2, d_3=c_3$ ou si $d_2=0, d_3=c_3$.
  • Propriété ACM : Les Théorèmes 2.7, 2.9, 2.10 et 2.12 fournissent des inégalités explicites impliquant les exposants $c_i$ et $d_i$ qui sont nécessaires et suffisantes pour que la courbe soit de Cohen–Macaulay arithmétiquement.
  • Corollaire : Les Corollaires 2.8 et 2.13 démontrent que dans des sous-cas spécifiques, la propriété ACM est équivalente à la propriété d'intersection complète.

• Cas 2 : L'idéal affine est engendré par $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_1^{c_1}, x_4^{c_4} - x_1^{d_1}x_2^{d_2}x_3^{d_3}\}$.

  • Intersection complète : Les Théorèmes 3.1, 3.8 et 3.12 fournissent des critères basés sur les tailles relatives des exposants (par exemple, $d_2=c_2$ et $d_3=c_3$) et les propriétés de factorisation des entiers $c_i a_i$.
  • Propriété ACM : Les Théorèmes 3.3 et 3.6 caractérisent la propriété ACM dans les sous-cas où $d_2 < c_2$ ou $d_3 < c_3$.
  • Familles infinies : La Proposition 3.11 construit des familles infinies de courbes monomiales dont la clôture projective est de Cohen–Macaulay arithmétiquement, bien que l'idéal toroïdal homogène ne soit pas une intersection complète et possède un nombre arbitrairement grand de générateurs minimaux ($2n+2$). Cela démontre explicitement que la propriété ACM n'implique pas la propriété d'intersection complète.

• Cas 3 : L'idéal affine est engendré par $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_1^{b_1}x_2^{b_2}, x_4^{c_4} - x_1^{d_1}x_2^{d_2}x_3^{d_3}\}$.

  • Intersection complète : Les Théorèmes 4.1, 4.3, 4.5, 4.7, 4.11 et 4.13 dérivent des critères explicites. Ces conditions impliquent souvent l'existence de factorisations spécifiques des entiers $c_3 a_3$ et $c_4 a_4$ en combinaisons linéaires de la séquence $\mathbf{a}$, sous réserve de contraintes sur la somme des coefficients.
  • Sous-cas : Les résultats distinguent les scénarios où $a_1$ est l'élément maximum, $a_3$ est le maximum, ou $a_4$ est le maximum, et subdivisent davantage selon les relations entre $c_3, b_1, b_2$ et $c_4, d_1, d_2, d_3$.

Signification et revendications
L'article prétend fournir la première caractérisation complète et explicite de la propriété d'intersection complète pour les clôtures projectives de courbes monomiales affines d'intersection complète dans l'espace affine à quatre dimensions. Les travaux précédents (par exemple, [1], [2]) n'abordaient que des familles spécifiques ou des cas simpliciaux, laissant un vide dans la classification générale.

L'auteur souligne que l'approche combine une analyse détaillée des générateurs avec des techniques de base de Gröbner pour résoudre les changements structurels induits par l'homogénéisation. Une découverte significative est la construction de familles où la clôture projective est de Cohen–Macaulay arithmétiquement mais échoue à être une intersection complète, mettant en évidence l'indépendance de ces deux propriétés algébriques dans le cadre projectif.

L'article reconnaît que, bien qu'une caractérisation complète de la propriété de Cohen–Macaulay arithmétique soit réalisée dans le Cas 1 et partiellement dans le Cas 2, la caractérisation complète pour les Cas 2 et 3 demeure un problème ouvert. Les résultats sont présentés sous forme de critères explicites exprimés en termes des générateurs binomiaux minimaux de l'idéal toroïdal affine, offrant un outil concret pour déterminer les propriétés géométriques et algébriques de ces courbes.