The Cox ring of an embedded variety

Résumé technique : L'anneau de Cox d'une variété plongée

Énoncé du problème
L'article aborde le problème computationnel de la détermination de l'anneau de Cox $R(X)$ d'une variété normale $X$ plongée dans une variété ambiante normale $Z$, où $Z$ est un espace de rêve de Mori (c'est-à-dire que $R(Z)$ est de type fini). Bien que l'anneau de Cox de l'espace ambiant soit connu, le calcul de l'anneau de Cox d'une sous-variété est non trivial. Les auteurs se concentrent sur le scénario spécifique où l'application d'pullback sur les groupes de classes de diviseurs, $\iota^*: \text{Cl}(Z) \to \text{Cl}(X)$, est un isomorphisme. Cette condition garantit que les groupes de classes de diviseurs des variétés ambiante et plongée sont structurellement identiques, permettant un transfert des propriétés structurelles de $Z$ vers $X$.

Méthodologie
Les auteurs développent une approche géométrique et algorithmique fondée sur la théorie des faisceaux de Cox et des espaces caractéristiques.

1. Cadre géométrique :

   • Soit $p_Z: \widehat{Z} \to Z$ l'espace caractéristique de $Z$ (le spectre relatif du faisceau de Cox).
   • Les auteurs définissent $\widehat{X}$ comme l'adhérence de Zariski de $p_Z^{-1}(X_0)$ dans $\widehat{Z}$, où $X_0 = X \cap Z_0$ est l'intersection de $X$ avec le lieu lisse de $Z$.
   • Ils introduisent un sous-ensemble ouvert intermédiaire $\widetilde{X}_1 \subseteq \widetilde{X}$ (où $\widetilde{X}$ est l'adhérence de $\widehat{X}$ dans l'espace des coordonnées totales $\overline{Z}$), obtenu en retirant les composantes irréductibles de codimension un du complémentaire $\widetilde{X} \setminus \widehat{X}$.
   • Sous des hypothèses spécifiques de « grandeur » et de normalité (spécifiquement que $X_0$ est grand dans $X$, que $p_Z^{-1}(X_0)$ est grand dans $\widehat{X}$, et que $\widetilde{X}_1$ est normal), les auteurs établissent que l'anneau de Cox de $X$ est isomorphe à l'anneau des sections globales du faisceau structural sur $\widetilde{X}_1$.

2. Caractérisation algébrique (Théorème 1) :

   • Le résultat technique principal stipule que $R(X)$ peut être calculé comme l'intersection de plusieurs localisations finies d'un quotient de $R(Z)$.
   • Plus précisément, si $R = R(Z)/I(\widetilde{X})$ et si $m_1, \dots, m_s$ sont des générateurs homogènes de l'idéal définissant le complémentaire $\widetilde{X} \setminus \widetilde{X}_1$, alors :
     $$R(X) = R_{m_1} \cap \dots \cap R_{m_s}$$
     où l'intersection est prise dans le corps des fractions commun.

3. Implémentation algorithmique (Algorithme 1) :

   • Pour calculer une telle intersection de localisations, les auteurs proposent un algorithme itératif.
   • L'algorithme commence avec l'anneau $R$ et vérifie si l'ensemble des zéros des éléments $m_i$ est de codimension $\ge 2$. Sinon, il identifie des éléments dans l'intersection qui ne sont pas dans l'anneau actuel en calculant des idéaux colonnes et des saturations.
   • De nouveaux générateurs sont adjoints à l'anneau, et le processus se répète.
   • Terminaison : L'algorithme termine si et seulement si l'anneau de Cox résultant $R(X)$ est de type fini. Cela fournit une procédure de décision pour la génération finie dans ce contexte.

Résultats clés et applications

• Hypersurfaces générales dans les variétés toriques (Théorème 2) :
  Les auteurs appliquent leur cadre aux hypersurfaces $X \in |H|$ dans une variété torique polarisée $(P, H)$. En supposant que le lieu non pertinent de $P$ possède une unique composante de codimension 2 $V(T_1, T_2)$ et que le polynôme définissant $f$ possède une multiplicité spécifique $d$ le long de cette composante, ils fournissent une présentation explicite pour $R(X)$.

  • L'anneau de Cox est présenté comme un quotient d'un anneau de polynômes dans les variables originales plus $d$ nouvelles variables $S_1, \dots, S_d$.
  • Les relations sont linéaires dans les nouvelles variables, rappelant les techniques d'« unprojection » (similaires à l'unprojection de Reid).
  • Cela généralise les résultats précédents d'Ottem (pour les produits d'espaces projectifs) et de Denisi (pour les espaces projectifs pondérés).

• Variétés toriques de rang de Picard 2 (Corollaire 3) :
  Les résultats sont spécialisés aux variétés toriques projectives lisses de rang de Picard 2. Les auteurs classifient les matrices de graduation et les idéaux non pertinents pour ces variétés et déterminent les conditions sous lesquelles l'anneau de Cox d'une hypersurface ample générale est de type fini et explicitement calculable.

• Hypersurfaces de Calabi-Yau (Corollaire 5.1) :
  La méthode est appliquée aux hypersurfaces anticanoniques générales dans les variétés toriques de Fano lisses de rang de Picard 2, fournissant des présentations explicites pour leurs anneaux de Cox.

• Exemples de génération finie versus intersections complètes (Section 6) :

  • Exemple 6.1 : Une hypersurface dans l'éclatement de $\mathbb{P}^4$ en deux points. L'algorithme produit un anneau de Cox qui est une intersection complète.
  • Exemple 6.2 : Une hypersurface dans un modèle torique obtenu par un anti-flip. L'algorithme produit un anneau de Cox qui est de type fini mais non une intersection complète. Cela démontre que l'anneau de Cox d'une variété plongée peut être de type fini sans hériter de la propriété d'intersection complète de l'espace ambiant ou de l'équation définissante.

Signification et affirmations
L'article prétend généraliser les travaux antérieurs sur le calcul des anneaux de Cox des variétés plongées (citant Hausen, Ottem et d'autres) en fournissant un cadre théorique unifié et un algorithme concret.

• Contribution algorithmique : La contribution principale est l'Algorithme 1, qui offre une méthode constructive pour calculer $R(X)$ comme une intersection de localisations. Crucialement, les auteurs prouvent que l'algorithme termine si et seulement si $R(X)$ est de type fini, fournissant ainsi un test pour la génération finie dans ce cadre.
• Descriptions explicites : L'article fournit des générateurs et des relations explicites pour les anneaux de Cox des hypersurfaces dans les variétés toriques, étendant les résultats connus à des classes plus larges d'espaces ambiants toriques.
• Insight structurel : L'ouvrage met en évidence que, bien que $R(X)$ soit dérivé de $R(Z)$, le processus de prise de l'intersection des localisations peut introduire de nouveaux générateurs et relations qui modifient la structure algébrique (par exemple, en perdant la propriété d'intersection complète), un phénomène explicitement démontré dans l'Exemple 6.2.

Les auteurs maintiennent un ton modeste concernant la portée, notant que leurs résultats reposent sur l'hypothèse que l'application d'pullback sur les groupes de classes de diviseurs est un isomorphisme et que des conditions géométriques spécifiques (grandeur des lieux, normalité des adhérences) sont remplies. Ils ne prétendent pas résoudre le problème pour des plongements arbitraires, mais fournissent plutôt une solution robuste pour la classe spécifique, bien que significative, des plongements au sein des espaces de rêve de Mori satisfaisant ces conditions.