Images of toric variety and amplified endomorphism of weak Fano threefolds

Résumé Technique : Images de variétés toriques et endomorphisme amplifié de variétés Fano faibles

Énoncé du Problème
Cet article traite de deux conjectures liées concernant la classification des variétés projectives lisses sous des contraintes géométriques et dynamiques spécifiques.

1. La Conjecture de l'Image Torique (Occhetta-Wiśniewski) : Si une variété projective lisse $X$ admet une application surjective provenant d'une variété torique propre, $X$ est-elle elle-même torique ? Cela est connu pour les surfaces, les variétés Fano 3-folds, et le cas où le rang de Picard $\rho(X)=1$, mais reste ouvert dans les dimensions et rangs supérieurs.
2. La Conjecture de l'Endomorphisme Int-Amplifié (Fakhruddin, Meng, Zhang, Zhong) : Une variété projective lisse rationnellement connexe admettant un endomorphisme int-amplifié est-elle nécessairement torique ? Cela est connu pour les courbes, les surfaces, les hypersurfaces et les Fano 3-folds.

L'auteur se concentre sur le cas spécifique des variétés Fano faibles de dimension 3 (où $-K_X$ est nef et big) avec un rang de Picard $\rho(X)=2$. L'objectif est de déterminer si de telles variétés, sous les conditions d'être une « image torique » ou d'admettre un « endomorphisme int-amplifié », doivent être toriques.

Méthodologie
L'outil technique central employé est la vanité de Bott (et sa variante logarithmique). L'article utilise le cadre logique suivant :

• Approche par Contraposée : L'auteur établie que des classes spécifiques de variétés Fano faibles de dimension 3 de rang de Picard 2 ne satisfont pas la vanité de Bott.
• Lien Théorique : Il est un résultat connu (cité de [30]) que si une variété est une image torique ou admet un endomorphisme int-amplifié, elle doit satisfaire la vanité de Bott (ou la vanité de log Bott).
• Élimination : En prouvant que les candidats non-toriques ne satisfont pas la vanité de Bott, l'auteur élimine ces derniers de la liste des contre-exemples possibles. Par conséquent, toute variété satisfaisant les hypothèses (image torique ou endomorphisme int-amplifié) qui n'est pas Fano doit appartenir à une liste très spécifique d'exceptions qui sont montrées comme étant toriques.

Les preuves reposent fortement sur :

• Calculs de Hirzebruch-Riemann-Roch (HRR) : Calcul explicite des caractéristiques d'Euler $\chi(X, \Omega^2_X(L))$ pour diverses variétés algébriques linéaires $L$ afin de détecter la non-annulation de la cohomologie.
• Programme du Modèle Minimal (MMP) : Analyse de la structure du cône des courbes $NE(X)$, spécifiquement les contractions des deux rayons (un $K_X$-négatif, un $K_X$-trivial) pour le rang de Picard 2.
• Diagrammes de Flops : Utilisation du comportement des images toriques et des endomorphismes sous les flops (Lemme 5.5, Lemme 6.2) pour réduire les cas où une fibration n'existe pas à des cas où elle existe.
• Tables de Classification : Référence aux classifications existantes de variétés Fano faibles de dimension 3 (par exemple, [5], [13], [14]) pour tester des invariants numériques spécifiques contre les formules dérivées.

Contributions Clés et Résultats

1. Échec de la Vanité de Bott (Section 4)
L'auteur dérive des formules explicites pour la caractéristique d'Euler $-\chi(X, \Omega^2_X(H-K_X))$ et des termes connexes pour les variétés Fano faibles de dimension 3 de rang de Picard 2.

• Théorème 4.1 : Fournit des formules pour les variétés Fano faibles générales, pour les hypersurfaces dans des fibrés projectifs sur $\mathbb{P}^1$, et pour les fibrés projectifs sur $\mathbb{P}^2$.
• Corollaire 4.2 : Démontre que plusieurs classes importantes de variétés Fano faibles de dimension 3 de rang de Picard 2 ne possèdent pas la vanité de Bott. Celles-ci incluent :
  • Des fibrés de del Pezzo de degré 6 et 8 sur $\mathbb{P}^1$.
  • Des fibrés coniques sur $\mathbb{P}^2$ (avec des exceptions spécifiques).
  • Les variétés listées dans des tables spécifiques de la littérature antérieure ([5], [13], [14]).

2. Le Théorème de l'Image Torique (Théorème A)

• Énoncé : Soit $X$ une variété de dimension 3 lisse et projective avec $\rho(X)=2$ et $-K_X$ nef. Si $X$ est l'image d'une variété torique propre par une application surjective, alors $X$ est soit une variété Fano torique, soit l'une des trois variétés Fano faibles spécifiques suivantes :
  1. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(1)^{\oplus 2})$
  2. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}^{\oplus 2} \oplus \mathcal{O}_{\mathbb{P}^1}(2))$
  3. $\mathbb{P}_{\mathbb{P}^2}(\mathcal{O}_{\mathbb{P}^2} \oplus \mathcal{O}_{\mathbb{P}^2}(3))$
• Signification : Ceci prouve la conjecture d'Occhetta-Wiśniewski pour le cas du rang de Picard 2 et du fibré anticanonique nef. La preuve évite notablement la géométrie complexe des fans, s'appuyant plutôt sur l'échec de la vanité de Bott pour écarter les candidats non-toriques.

3. Le Théorème de l'Endomorphisme Int-Amplifié (Théorème B)

• Énoncé : Soit $X$ une variété Fano faible de dimension 3, lisse et projective avec $\rho(X)=2$. Si $X$ admet un endomorphisme int-amplifié, alors $X$ est soit une variété Fano torique, soit l'une des trois variétés spécifiques listées dans le Théorème A.
• Signification : Ceci prouve la conjecture de Fakhruddin et al. pour les variétés Fano faibles de dimension 3 de rang de Picard 2. L'argument reflète la preuve du Théorème A, utilisant le fait que les endomorphismes int-amplifiés impliquent la vanité de log Bott (Lemme 6.4).

Revendications de l'Auteur sur la Signification

• Extension des Travaux Précédents : Les résultats étendent les preuves précédentes de ces conjectures des variétés Fano 3-folds vers la classe plus large des variétés Fano faibles de dimension 3.
• Indépendance et Complémentarité : L'auteur note que bien qu'un preprint séparé [4] ait récemment prouvé la conjecture de l'endomorphisme int-amplifié pour les variétés rationnellement connexes de dimension 3 de rang de Picard 2 en utilisant des méthodes différentes (sans la vanité de Bott), la méthode de cet article est distincte. L'auteur affirme que ses arguments pour le Théorème B ne s'étendent pas au cas général de [4], mais inversement, la méthode de [4] ne prouve pas le Théorème A (le cas de l'image torique).
• Aperçu de la Classification : Comme sous-produit, l'article fournit une preuve que les trois variétés spécifiques listées dans le Théorème A sont les seules variétés Fano faibles toriques de dimension 3 de rang de Picard 2, sans dépendre de la combinatoire des fans.
• Généralisation (Remarque 6.5) : L'auteur suggère que la technique de preuve implique un énoncé plus général : toute variété Fano faible de dimension 3 de rang de Picard 2 qui est $F$-liftable est torique, ce qui est un cas particulier d'une conjecture de [1].

Conclusion
L'article résout avec succès les deux conjectures pour le cas spécifique mais non trivial des variétés Fano faibles de dimension 3 avec un rang de Picard 2. En établissant des obstructions numériques précises (l'échec de la vanité de Bott) pour les candidats non-toriques, l'auteur démontre que toute variété satisfaisant les conditions dynamiques ou de mapping doit être torique (ou l'une des trois variétés Fano faibles toriques explicitement identifiées).