K-stabilité pour les variétés à classe anticanonique grande

Informations fondamentales

• ID de l'article: 2210.16631
• Titre: K-stabilité pour les variétés à classe anticanonique grande
• Auteur: Chenyang Xu (Université de Princeton)
• Classification: math.AG (géométrie algébrique), math.DG (géométrie différentielle)
• Journal de publication: Épijournal de Géométrie Algébrique, Volume spécial en l'honneur de C. Voisin, Article n° 7 (2023)
• Lien de l'article: https://arxiv.org/abs/2210.16631

Résumé

Cet article étend la théorie algébrique de la K-stabilité aux paires klt projectives possédant une classe anticanonique grande. Bien que de telles paires puissent présenter des phénomènes pathologiques en général, l'article observe que la condition de K-semi-stabilité les force à posséder un modèle anticanonique klt dont les propriétés de stabilité sont identiques à celles de la paire originale.

Contexte et motivation de la recherche

Contexte du problème

1. Succès de la théorie de la K-stabilité: La théorie algébrique de la K-stabilité pour les paires log Fano a connu des progrès considérables, fournissant une approche algébrique pour étudier l'existence de métriques de Kähler-Einstein.
2. Besoin d'extension: Des travaux récents DZ22 et DR22 ont considéré le problème de Kähler-Einstein pour les variétés kählériennes $(X,ω)$ où $-K_X$ est grand, en particulier DZ22 a prouvé un théorème de Yau-Tian-Donaldson transcendant pour les métriques de Kähler-Einstein tordues grandes.
3. Phénomènes pathologiques: Pour les variétés projectives $X$ possédant une classe anticanonique grande $-K_X$, il peut exister des exemples pathologiques, par exemple l'anneau anticanonique $R(X,-K_X) = \bigoplus_{m \in \mathbb{N}} H^0(X,-mK_X)$ n'est pas nécessairement de type fini.

Motivation de la recherche

Cet article vise à démontrer que pour les paires klt projectives possédant une classe anticanonique grande, la théorie de la K-stabilité se réduit essentiellement au cas (log) Fano original, c'est-à-dire que la condition de K-stabilité force ces paires à posséder des propriétés de type log Fano.

Contributions principales

1. Établissement du lien entre K-semi-stabilité et type log Fano: On démontre que si $(X,\Delta)$ est une paire klt projective possédant un $-K_X-\Delta$ grand et $\delta(X,\Delta) \geq 1$, alors il existe un Q-diviseur effectif $\Gamma$ tel que $(X,\Delta+\Gamma)$ soit une paire log Fano.
2. Preuve de la finitude de la génération: Sous la condition de K-semi-stabilité, l'anneau anticanonique $R(X,-r(K_X+\Delta))$ est de type fini.
3. Établissement de l'équivalence de stabilité: On démontre que $(X,\Delta)$ et son modèle anticanonique $(Z,\Delta_Z)$ possèdent les mêmes propriétés de K-stabilité.
4. Unification du concept de stabilité: On démontre que pour cette classe de paires, la K-stabilité uniforme est équivalente à la K-stabilité.

Explication détaillée des méthodes

Définition de la tâche

Étudier la K-stabilité des paires klt projectives $(X,\Delta)$ possédant une classe anticanonique grande, où $-K_X-\Delta$ est grand mais pas nécessairement ample.

Cadre technique fondamental

Définition de l'invariant S

Pour une paire normale projective $n$-dimensionnelle $(X,\Delta)$ telle que $-K_X-\Delta$ soit grand, pour tout diviseur premier $E$ apparaissant sur un modèle birationnel $\mu: Y \to X$, l'invariant S est défini par:

$S_{X,\Delta}(E) := \frac{1}{\text{vol}(-K_X-\Delta)} \int_0^{\infty} \text{vol}(-\mu^*(K_X+\Delta)-tE) dt$

Invariant δ

Si $(X,\Delta)$ est klt, on définit: $\delta(X,\Delta) := \inf_E \frac{A_{X,\Delta}(E)}{S_{X,\Delta}(E)}$

où $E$ parcourt toutes les valuations sur $(X,\Delta)$, et $A_{X,\Delta}(E)$ est la discordance logarithmique.

Paramètre clé $a(X,\Delta)$

On définit la constante $a(X,\Delta)$ par: $a(X,\Delta) = \sup\{t \in \mathbb{R} : \exists \text{ diviseur ample } A \text{ tel que } A-t(K_X+\Delta) \text{ ample et } -K_X-\Delta-A \text{ pseudo-effectif}\}$

Stratégie de preuve des théorèmes principaux

Idée de preuve du théorème 1.1

1. Cas direct: Lorsque $\delta(X,\Delta) > 1$, on applique directement le lemme 3.1 via le seuil log canonique des diviseurs de base.
2. Argument de perturbation: Lorsque $\delta(X,\Delta) \leq 1$ mais que la condition (3.2) est satisfaite, on utilise un diviseur ample $A$ pour perturber et construire un Q-complément approprié pour obtenir la propriété log Fano.

Noyau de la preuve du théorème 1.2

En utilisant une résolution commune $Y$, on établit la relation: $\pi^*(K_Z+\Delta_Z) - \mu^*(K_X+\Delta) = B \geq 0$

On démontre que pour tout diviseur premier $E$:

• $A_{X,\Delta}(E) = A_{Z,\Delta_Z}(E) + \text{ord}_E(B)$
• $S_{X,\Delta}(E) = S_{Z,\Delta_Z}(E) + \text{ord}_E(B)$

Configuration expérimentale

Vérification théorique

Cet article est principalement un travail théorique, vérifiant les résultats par des preuves mathématiques rigoureuses.

Construction de contre-exemples

Exemple 3.8: Construction d'un contre-exemple concret illustrant les phénomènes pathologiques:

• Soit $S$ l'éclatement de $\mathbb{P}^2$ en neuf points très généraux
• $-K_S$ est nef mais pas semi-ample
• Construction de $X = \mathbb{P}_S(\mathcal{E})$, où $\mathcal{E} := \mathcal{O}_S + \mathcal{O}_S(H)$
• Preuve que $-K_X$ est grand mais l'algèbre correspondante n'est pas de type fini
• Vérification directe que $\delta(X) < \frac{3}{5} < 1$

Résultats expérimentaux

Résultats principaux

Théorème 3.4 (Finitude de la génération)

Soit $(X,\Delta)$ satisfaisant l'hypothèse 3.3, c'est-à-dire: $\delta(X,\Delta) > \frac{n+1}{n+1+a_0}$ où $a_0 = a(X,\Delta)$, alors $(X,\Delta)$ est de type log Fano, en particulier, tout diviseur de Cartier $E$ satisfait que $R(X,E) := \bigoplus_{m \in \mathbb{N}} H^0(X,mE)$ est de type fini.

Corollaire 3.5 (Propriétés du modèle anticanonique)

Sous les conditions du théorème 3.4, le modèle anticanonique $(Z,\Delta_Z)$ est une paire log Fano.

Résultats d'équivalence de stabilité

Théorème 1.2: $(X,\Delta)$ est K-semi-stable (resp. K-stable, uniformément K-stable) si et seulement si $(Z,\Delta_Z)$ est K-semi-stable (resp. K-stable, uniformément K-stable).

Résultats techniques

Lemme 2.6: Si $A$ est un Q-diviseur effectif et ample sur $X$ tel que $-K_X-\Delta-A$ soit pseudo-effectif, alors $S_{X,\Delta}(A) \geq \frac{1}{n+1}$.

Travaux connexes

Développement de la théorie de la K-stabilité

1. Théorie classique: Le critère de Fujita-Li Fuj19, Li17, BX19 établit l'équivalence entre la définition de la K-stabilité utilisant les valuations et la définition originale utilisant les configurations de test.
2. Cas de classe anticanonique grande: DZ22 a formulé la définition actuelle pour le cas possédant une classe anticanonique grande.
3. Stabilité de Ding: DR22 a développé le concept de stabilité de Ding pour les paires klt projectives possédant un $-K_X-\Delta$ grand.

Techniques de géométrie birationnelle

Utilisation des résultats de finitude de la génération de BCH+10 et des techniques standard du programme des modèles minimaux.

Conclusion et discussion

Conclusions principales

1. La condition de K-semi-stabilité force les paires klt possédant une classe anticanonique grande à avoir des propriétés de type log Fano
2. Le problème de K-stabilité pour ces paires se réduit au problème correspondant pour leur modèle anticanonique
3. Pour cette classe de paires, la K-stabilité uniforme est équivalente à la K-stabilité

Signification théorique

Les résultats de cet article montrent que, bien que les paires possédant une classe anticanonique grande puissent présenter un comportement pathologique, la condition de K-stabilité fournit des contraintes suffisantes pour garantir de bonnes propriétés géométriques.

Perspectives d'application

Ces résultats fournissent une base théorique pour appliquer les techniques existantes de géométrie birationnelle à l'étude des problèmes de K-stabilité dans des cadres plus généraux.

Évaluation approfondie

Avantages

1. Profondeur théorique: Extension réussie de la théorie de la K-stabilité à des cadres géométriques plus généraux
2. Innovation technique: Réduction ingénieuse des cas pathologiques au cas log Fano classique
3. Complétude: Fourniture d'un cadre théorique complet, incluant la finitude de la génération et l'équivalence de stabilité
4. Rigueur: Arguments mathématiques rigoureux et logique claire

Contributions techniques

1. Introduction du paramètre $a(X,\Delta)$: Fournit un outil efficace pour quantifier le degré de "grandeur"
2. Technique de perturbation: L'argument de perturbation utilisé dans la preuve possède une valeur générale
3. Cadre unifié: Unification de différents concepts de stabilité dans un même cadre

Limitations

1. Restrictions des conditions: Les résultats principaux nécessitent des hypothèses relativement fortes
2. Calculs concrets: Pour des exemples spécifiques, la vérification des conditions peut être difficile
3. Portée d'application: Les résultats sont principalement théoriques, le développement d'applications pratiques nécessite des travaux supplémentaires

Impact

Cet article apporte une contribution importante au développement de la théorie de la K-stabilité, en particulier en fournissant une base théorique pour traiter des objets géométriques plus généraux. On s'attend à ce qu'il ait un impact durable sur les domaines de la géométrie algébrique et de la géométrie complexe.

Références

• BJ20 H. Blum and M. Jonsson, Thresholds, valuations, and K-stability
• DZ22 T. Darvas and K. Zhang, Twisted Kähler-Einstein metrics in big classes
• DR22 R. Dervan and R. Reboulet, Ding stability and Kähler-Einstein metrics on manifolds with big anticanonical class
• LXZ22 Y. Liu, C. Xu, and Z. Zhuang, Finite generation for valuations computing stability thresholds and applications to K-stability