A canonicity criterion for toric varieties and the classification of canonical 4-simplices

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie algébrique, plus précisément dans l'étude des variétés toriques et de la symétrie miroir. Le problème central est la caractérisation et la classification des singularités des variétés toriques, en particulier les singularités canoniques et terminales. Ces notions sont cruciales car elles déterminent la nature des modèles canoniques des hypersurfaces de Calabi-Yau associées.

Les polytopes de réseau (lattice polytopes) contenant l'origine comme unique point intérieur sont appelés polytopes canoniques. Ils jouent un rôle fondamental comme polytopes de Newton candidats pour les hypersurfaces de Calabi-Yau. Bien que des classifications existent pour les cas réflexifs et canoniques en dimensions inférieures, l'auteur vise à développer une nouvelle approche pour classifier les espaces projectifs pondérés factices (fake weighted projective spaces, ou fwps) en dimension 4, qui correspondent à des simplexes canoniques de dimension 4.

2. Méthodologie

L'auteur propose une approche novatrice basée sur la théorie des groupes de classes locaux et le critère de Reid–Shepherd-Barron–Tai.

A. Critère de Canonicité via les Groupes de Classes Locaux

L'approche repose sur la construction de quotient de Cox. Pour une variété torique projective $X$ de type $\mathbb{Q}$-factoriel, définie par un éventail simplicial $\Sigma$, l'auteur considère la présentation $X = \hat{X}/H$, où $H$ est un quasi-tore agissant sur un sous-variété ouverte $\hat{X} \subseteq \mathbb{C}^r$.

• Pour chaque point fixe torique $x_i \in X$, on associe un sous-groupe fini $H_i \subseteq H$ dont le groupe de caractères est isomorphe au groupe de classes local $Cl(X, x_i)$.
• L'auteur reformule le critère de canonicité en termes de l'âge (age) des éléments de ces groupes d'isotropie. L'âge d'un élément $h \in GL(n, \mathbb{C})$ est la somme des parties fractionnaires de ses valeurs propres.

Théorème 2.7 (Critère principal) :
Une variété torique $X$ est :

• Canonique si et seulement si pour tout point fixe $x_i$ et tout $1 \neq h \in H_i$, l'âge satisfait $age(h) \ge 1$.
• Terminale si et seulement si pour tout $1 \neq h \in H_i$, $age(h) > 1$.

B. Spécialisation aux Espaces Projectifs Pondérés Factices (fwps)

En se restreignant aux variétés de nombre de Picard égal à 1 (les fwps), l'auteur traduit ces conditions géométriques en conditions arithmétiques sur les matrices de degrés et les vecteurs de torsion.

• Il définit des conditions explicites impliquant des entiers ($R_{ij}(c, b)$) dérivés des matrices de générateurs et de degrés.
• Cela permet de formuler un algorithme de classification (Algorithme 3.10) qui construit itérativement les matrices de degrés canoniques en partant de vecteurs de poids valides et en ajoutant des lignes de torsion tout en préservant les conditions de canonicité et de minimalité (pour éviter les redondances d'isomorphisme).

C. Analyse des Intérieurs de Fine

Une fois les simplexes canoniques en dimension 4 générés, l'auteur calcule leur intérieur de Fine ($F(\Delta)$).

• L'intérieur de Fine est un polytope rationnel défini par des inégalités linéaires liées à l'ordre des points du réseau.
• Selon les travaux de Batyrev, la dimension de l'intérieur de Fine détermine le dimension de Kodaira du modèle canonique de l'hypersurface associée. Si $\dim F(\Delta) = 0$, le modèle est de type Calabi-Yau.

3. Contributions Clés

1. Nouveau Critère de Canonicité : Établissement d'un critère de canonicité et de terminalité pour les variétés toriques simpliciales basé exclusivement sur l'action des groupes de classes locaux (âge des éléments du groupe d'isotropie), évitant ainsi des calculs de résolutions de singularités plus complexes.
2. Algorithme de Classification : Développement d'un algorithme efficace capable de classifier les fwps canoniques et terminaux en toute dimension, en utilisant des propriétés de minimalité des matrices de torsion pour réduire l'espace de recherche.
3. Classification en Dimension 4 : Application réussie de l'algorithme pour obtenir une classification complète et non ambiguë (à isomorphisme près) des espaces projectifs pondérés factices canoniques en dimension 4.
4. Analyse Combinatoire des Modèles Calabi-Yau : Calcul systématique des intérieurs de Fine pour tous les simplexes générés et détermination des nombres d'Euler "stringy" pour les modèles Calabi-Yau associés.

4. Résultats Principaux

• Classification des fwps canoniques en dimension 4 :
  L'algorithme a permis d'identifier 710 450 espaces projectifs pondérés factices canoniques de dimension 4 (à isomorphisme près).

  • Performance : L'exécution sur un ordinateur standard (16 threads) a pris environ 12 minutes.
  • Comparaison : L'algorithme reproduit correctement les résultats connus en dimension 3 (225 cas) et 4 pour le cas terminal (35 947 cas), validant ainsi la méthode.

• Distribution des Intérieurs de Fine :
  Pour les 710 450 simplexes, la distribution par dimension de l'intérieur de Fine $F(\Delta)$ est la suivante :

  • Dimension 0 : 387 310 simplexes (cas Calabi-Yau).
  • Dimension 1 : 112 672 simplexes.
  • Dimension 2 : 95 713 simplexes.
  • Dimension 3 : 70 130 simplexes.
  • Dimension 4 : 44 625 simplexes.
  • Observation : Contrairement à la dimension 3 où le cas de dimension 0 est dominant, en dimension 4, la répartition est plus équilibrée, bien que le cas Calabi-Yau reste le plus fréquent.

• Nombres d'Euler Stringy :
  Pour les 387 310 modèles Calabi-Yau (dimension 0), l'auteur a calculé les nombres d'Euler stringy.

  • Il existe 94 233 valeurs distinctes.
  • Seules 852 de ces valeurs sont des entiers.
  • La distribution de fréquence de ces valeurs est présentée dans l'article (Figure 1).

• Invariants Birationnels :
  L'étude montre que les intérieurs de Fine sont des invariants birationnels puissants. Par exemple, en dimension 1, il n'existe que 46 intérieurs de Fine distincts (segments spécifiques), ce qui implique que de nombreux simplexes différents peuvent donner lieu au même modèle birationnel, mais que des intérieurs distincts garantissent des modèles non birationnellement équivalents.

5. Signification et Impact

Ce travail apporte une contribution majeure à la géométrie torique et à la théorie des singularités :

• Unification Théorique : Il relie de manière élégante la géométrie des singularités toriques (via les groupes de classes) aux critères de canonicité, offrant un outil computationnel puissant.
• Données de Référence : La classification de 710 450 objets en dimension 4 fournit une base de données massive pour les recherches futures en symétrie miroir et en géométrie birationnelle.
• Compréhension des Modèles Calabi-Yau : En analysant les intérieurs de Fine, l'article éclaire la structure des modèles canoniques associés aux polytopes de Newton, en particulier la fréquence des modèles Calabi-Yau et la nature de leurs invariants topologiques (nombres d'Euler).
• Accessibilité : Les données brutes des polytopes sont rendues disponibles, facilitant leur réutilisation par la communauté scientifique.

En résumé, Ghirlanda fournit non seulement une classification exhaustive d'une classe importante de variétés toriques, mais aussi un cadre méthodologique robuste pour étudier la canonicité et les propriétés birationnelles des hypersurfaces associées.