Classifying additive smooth Fano toric varieties

Résumé Technique : Classification des variétés toriques de Fano lisses additives

Énoncé du Problème
L'article traite de la classification des variétés toriques de Fano lisses additives et uniquement additives sur un corps algébriquement clos $K$ de caractéristique nulle. Une variété algébrique irréductible $X$ de dimension $n$ est dite additive si elle admet une action régulière du groupe additif $(K^n, +)$ avec une orbite ouverte. Elle est uniquement additive si cette action est unique à un isomorphisme près. Alors que Huang et Montero ont précédemment déterminé ces variétés pour les dimensions $n \le 3$, ce travail étend la classification aux dimensions allant jusqu'à $n=6$. Les auteurs visent à déterminer de manière computationnelle l'existence et l'unicité pour toutes les variétés toriques de Fano lisses dans ces dimensions et à fournir une classification structurelle détaillée pour $n \le 4$.

Méthodologie
Les auteurs s'appuient sur la correspondance entre les actions additives sur une variété torique $X_\Sigma$ et les propriétés combinatoires de son faisceau associé $\Sigma$, spécifiquement les racines de Demazure.

1. Cadre Théorique :

   • L'existence d'une action additive est équivalente à l'existence d'une collection complète de racines de Demazure (Théorème 2.4).
   • L'unicité est déterminée par la condition que pour une base spécifique du réseau $N$, l'ensemble des racines de Demazure associées à chaque rayon de la base contient exactement un élément (Théorème 2.9).
   • Les auteurs utilisent les Corollaires 2.11 et 2.12, qui réduisent l'espace de recherche en liant l'additivité à l'existence d'un cône maximal $\sigma \in \Sigma$ dont les rayons extrémaux forment une base $B$ du réseau $N$, de telle sorte que tous les autres rayons de $\Sigma$ se situent dans l'octant négatif de $B$.
   • Pour les variétés dont le nombre de Picard est $\rho(X)=2$, les auteurs prouvent un résultat général (Proposition 3.2) selon lequel toutes ces variétés toriques lisses complètes sont additives, l'unicité ne tenant que pour $\mathbb{P}^1 \times \mathbb{P}^1$.

2. Implémentation Computationnelle :

   • Les auteurs introduisent le package AdditiveToricVarieties pour Macaulay2.
   • Le package inclut des méthodes pour calculer les racines de Demazure (demazureRoots), vérifier l'additivité et l'unicité (additiveActions), et lister les variétés classifiées (listAdditiveSmoothFanoToricVarieties, listUniquelyAdditiveSmoothFanoToricVarieties).
   • Le package exploite une base de données pré-traitée de variétés toriques de Fano lisses (jusqu'à la dimension 6) dérivée de la Graded Ring Database (GRDB) et des classifications algorithmiques d'Øbro.
   • L'approche computationnelle consiste à vérifier la condition de l'octant négatif pour les cônes maximaux et à vérifier la cardinalité des ensembles de racines de Demazure pour chaque rayon.

Contributions Clés et Résultats

• Nouvelles Données de Classification :

  • Dimension 2 : Les 5 classes d'isomorphisme de surfaces toriques de Fano lisses sont analysées. 1 est non-additive, 2 sont additives mais non uniquement additives, et 2 sont uniquement additives.
  • Dimension 3 : Sur les 18 classes, 4 sont non- additives, 12 sont additives (non uniques), et 2 sont uniquement additives. Ceci confirme et étend les résultats géométriques précédents de Huang et Montero.
  • Dimension 4 : Sur les 124 classes, 45 sont non-additives, 75 sont additives (non uniques), et 4 sont uniquement additives.
  • Dimensions 5 et 6 : Les auteurs fournissent les décomptes pour la première fois.
    • 5-variétés : 866 classes au total ; 396 non-additives, 466 additives (non uniques), 4 uniquement additives.
    • 6-variétés : 7 622 classes au total ; 4 194 non-additives, 3 420 additives (non uniques), 8 uniquement additives.

• Caractérisation Structurelle :

  • Les auteurs prouvent que toute variété torique complète lisse avec un nombre de Picard $\rho(X)=2$ est additive (Proposition 3.2).
  • Ils caractérisent les variétés uniquement additives dans les dimensions $\le 6$ (Théorème 5.11). Une variété torique de Fano lisse $X$ de dimension $n \le 6$ est uniquement additive si et seulement si elle est isomorphe à :
    1. Un produit de droites projectives $(\mathbb{P}^1)^n$.
    2. Un fibré de $\mathbb{P}^1$ (blow-up) de $(\mathbb{P}^1)^n$ (pour $n$ pair) en un point invariant par le tore.
    3. En dimension 6, une variété spécifique correspondant au polytope d'ID 5816 dans la GRDB.
  • Cela implique que les variétés uniquement additives sont construites à partir de produits de $\mathbb{P}^1$ et de fibrés spécifiques, excluant les polytopes de del Pezzo (qui ne sont jamais additives) et les polytopes pseudo-del Pezzo (qui sont uniquement additives).

• Outil Logiciel :

  • Le package AdditiveToricVarieties est mis à disposition comme un outil fonctionnel pour la communauté de la géométrie algébrique, permettant la vérification automatisée de l'additivité et la génération de listes de classification pour les variétés toriques de Fano lisses jusqu'à la dimension 6.

Signification et Revendications
L'article affirme fournir la première classification computationnelle complète des variétés toriques de Fano lisses additives et uniquement additives pour les dimensions allant jusqu'à 6. Les auteurs notent que bien que des résultats existentiels pour $n \le 3$ aient été obtenus précédemment via des techniques géométriques, les résultats de dimension supérieure ($n \ge 4$) et les résultats d'unicité pour $n=3$ sont nouveaux.

Ce travail souligne la faisabilité de l'utilisation de la géométrie algébrique computationnelle pour résoudre des problèmes de classification dans des dimensions plus élevées, particulièrement pour les variétés de Fano lisses, où le nombre de classes d'isomorphisme croît nettement plus lentement que celui des variétés de Fano de Gorenstein générales. Ils suggèrent modestement que l'énumération des variétés uniquement additives est « très simple » jusqu'à $n=6$ et proposent que la caractérisation de ces classes pour un $n$ arbitraire et l'énumération des variétés toriques complètes additives générales sont des directions naturelles pour des recherches futures. Ils notent également un lien avec la conjecture d'Ewald concernant l'incorporation des polytopes de Fano lisses, bien qu'ils observent que non toutes les variétés additives satisfont les conditions de la conjecture de manière computationnelle.