Un critère valuatif de K-polystabilité

Informations fondamentales

• ID de l'article: 2406.06176
• Titre: Un critère valuatif de K-polystabilité
• Auteur: Linsheng Wang
• Classification: math.AG (Géométrie algébrique)
• Date de publication: Juin 2024, prépublication arXiv
• Lien de l'article: https://arxiv.org/abs/2406.06176

Résumé

Pour toute paire log-Fano avec action torique, cet article associe un invariant calculable tel que la paire est (pondérée) K-polystable si et seulement si cet invariant est supérieur à 1. En application, l'article fournit des exemples de variétés de Fano admettant des $g$-solitons pour toute fonction de poids $g$.

Contexte et motivation de la recherche

Problème fondamental

La théorie de la K-stabilité est un domaine central de la géométrie algébrique moderne, initialement introduite par Tian et reformulée algébriquement par Donaldson. Elle constitue une condition algébrique pour détecter l'existence de métriques de Kähler-Einstein sur les variétés de Fano.

Motivations de la recherche

1. Défis computationnels: Bien que la K-stabilité uniforme soit équivalente à la K-stabilité, le calcul de l'invariant delta $\delta(X,\Delta)$ ou de l'invariant delta réduit $\delta_{red}^T(X,\Delta)$ s'avère extrêmement difficile en pratique.
2. Lacunes théoriques: Bien que l'estimation d'Abban-Zhuang permette de prouver $\delta(X,\Delta) > 1$ dans de nombreux cas, il manque des résultats explicites pour le calcul ou l'estimation de l'invariant delta réduit.
3. Besoins pratiques: Pour tester la K-polystabilité, il est nécessaire de disposer de critères de discrimination calculables, tandis que les méthodes existantes basées sur l'invariant alpha de Tian et la K-stabilité équivariante présentent encore des limitations.

Contributions principales

1. Théorème principal: Établit un critère valuatif de discrimination pour la K-polystabilité (Théorème 1.1), transformant le problème de K-polystabilité en calcul de l'invariant delta de triplets spécifiquement construits $(X_r, \Delta_r, W^{X_r}_\bullet)$.
2. Acuité de l'estimation d'Abban-Zhuang: Démontre les résultats d'acuité de l'estimation d'Abban-Zhuang (Théorème 3.2), fournissant une base théorique pour comprendre la précision de l'estimation.
3. Équivalence sous conditions quasi-complètes: Établit l'équivalence entre la K-polystabilité de la paire originale et la K-stabilité de la paire construite sous des conditions quasi-complètes (Théorème 1.6).
4. Existence de $g$-solitons: En application, démontre que certaines variétés de Fano de dimension trois (telles que les familles №2.28, №3.14 et №2.23(a0) de la liste de Mori-Mukai) admettent des $g$-solitons pour toute fonction de poids $g$.

Explication détaillée des méthodes

Formulation du problème

Étant donnée une paire log-Fano $(X,\Delta)$ avec action torique $T = \mathbb{G}_m^r$, construire un invariant calculable pour discriminer sa K-polystabilité.

Construction fondamentale (Construction 4.1)

Entrée: Paire log-Fano $(X,\Delta)$ et action torique $T \subseteq \text{Aut}(X,\Delta)$Sortie: Triplet $(X_r, \Delta_r, W^{X_r}_\bullet)$

Processus de construction:

1. Choisir une base $\{\xi_1, \cdots, \xi_r\}$ de $N = \text{Hom}(\mathbb{G}_m, T)$
2. Pour chaque $\xi_i$, construire le diviseur torique correspondant $E_{\xi_i}$
3. Effectuer successivement des adjoints et des raffinements:
   • Commencer par $(X_0, \Delta_0) = (X, \Delta)$
   • Pour $i = 1, \cdots, r$, construire $(X_i, \Delta_i)$ via l'action de $\langle\xi_i\rangle$
   • À chaque étape, préserver la propriété de type Fano klt et l'équivariance

Points d'innovation technique

1. Isomorphisme des espaces valuatifs: Utiliser le Lemme 2.17 pour établir l'isomorphisme $\text{Val}_{X_i} \times N(\langle\xi_i\rangle)_\mathbb{R} \to \text{Val}^{\langle\xi_i\rangle}_{X_{i-1}}$, préservant les propriétés de différence logarithmique.
2. Raffinement des systèmes linéaires multiples gradués: Construire via le raffinement successif des diviseurs toriques un système linéaire $N \times N^r$-gradué $W^{X_r}_\bullet$ préservant les relations de correspondance des diviseurs de base.
3. Condition d'annulation de l'invariant de Futaki: L'hypothèse clé $\text{Fut}|_N = 0$ assure que $\frac{A_{X,\Delta}(X_i)}{S(W^{X_{i-1}}_\bullet; X_i)} = 1$.

Théorèmes principaux

Théorème 1.1 (Résultat principal)

Si $T \subseteq \text{Aut}(X,\Delta)$ est un sous-tore maximal et $\text{Fut}|_N = 0$, alors la paire log-Fano $(X,\Delta)$ est K-polystable (K-semi-stable) si et seulement si $\delta(X_r, \Delta_{X_r}; W^{X_r}_\bullet) > (\geq) 1$

Théorème 3.2 (Acuité de l'estimation d'Abban-Zhuang)

Si $\text{ord}_F$ minimise $\delta_{Z,T}(X,\Delta; V_\bullet)$, alors $\frac{A_{X,\Delta}(F)}{S(V_\bullet; F)} = \delta_{Z,T}(X,\Delta; V_\bullet) \leq \inf_{Z' \to Z} \delta_{Z',T}(F, \Delta_F; W_\bullet)$

Théorème 1.6 (Conditions quasi-complètes)

En supposant $\text{Fut}|_N = 0$ et que le système linéaire multiples gradué $W^{X_r}_\bullet$ est quasi-complet par rapport à un certain diviseur ample $L$, il existe un diviseur $\mathbb{R}$-effectif $F$ tel que $(X,\Delta)$ est K-polystable si et seulement si $(X_r, \Delta_r + F)$ est K-stable ou K-polystable.

Exemples d'application

Existence de $g$-solitons pour les variétés de Fano de dimension trois

Théorème 1.8: Soit $X$ une variété de Fano de dimension trois de la famille №2.28 ou №3.14 de la liste de Mori-Mukai, ou $X = X_0$ une dégénérescence optimale de la famille №2.23(a) de variétés de Fano. Alors $X$ est $g$-pondérée K-polystable pour toute fonction de poids $g: P \to \mathbb{R}_{>0}$.

Analyse d'exemples concrets

1. Conique plane (Exemple 4.6): Pour $(P^2, cQ)$ où $Q$ est une conique lisse, on démontre que la K-polystabilité est équivalente à $0 \leq c < \frac{3}{4}$.
2. Variétés de Fano de dimension trois №2.28 et №3.14 (Exemple 5.5): En construisant une courbe cubique $C$ sur $H \subseteq P^3$, on établit l'équivalence entre la K-polystabilité $g$-pondérée et la GIT-stabilité de $C$.

Outils techniques

Construction de diviseurs toriques

Pour $\xi \in N$, construire la configuration de test produit: $(X_\xi, \Delta_{X_\xi}, L_\xi, \eta) = (X, \Delta, -(K_X + \Delta), (\xi, 1)) \times A^1$

Ceci induit les valeurs de poids spéciales $\text{wt}_\xi = c_\xi \cdot \text{ord}_{E_\xi}$, où $E_\xi$ est le diviseur torique relatif à l'action de $T$.

Théorie valuative $\xi$-tordue

Pour une valuation $T$-invariante $v = v_{\mu,\xi_0}$ et $\xi \in N_\mathbb{R}$, définir la $\xi$-torsion par $v_\xi := v_{\mu,\xi_0+\xi}$.

Propriété clé: Si $\text{Fut}|_N = 0$, alors $S(v_\xi) = S(v) + \theta_\xi(v)$ où $\theta_\xi(v) = A_{X,\Delta}(v_\xi) - A_{X,\Delta}(v)$.

Signification théorique et impact

Avantages computationnels

L'avantage du Théorème 1.1 réside dans le fait que tester la K-polystabilité ne nécessite que le calcul de l'invariant delta local en des points d'une sous-variété $C_X(X_r) \subseteq X$, sans considérer d'autres points $T$-invariants.

Insensibilité aux poids

Introduction du concept de "K-polystabilité $T$-équivariante insensible aux poids": Une paire log-Fano $(X,\Delta)$ est dite $T$-équivariante insensible aux poids K-polystable si pour toute fonction de poids $g$ sur $P(T)$, $(X,\Delta)$ est $T$-équivariante $g$-pondérée K-polystable.

Théorie des espaces de modules

Ces résultats fournissent des exemples pour la construction d'espaces de modules $g$-pondérés non triviaux, isomorphes aux espaces de modules GIT de courbes cubiques planes ou de courbes bidegré $(2,2)$ dans $P^1 \times P^1$.

Limitations et directions futures

Limitations principales

1. Condition d'annulation de Futaki: L'hypothèse $\text{Fut}|_N = 0$ peut ne pas être satisfaite dans les cas généraux, limitant l'applicabilité de la méthode.
2. Exigence d'action torique: La méthode est spécifiquement conçue pour les cas avec action torique et ne s'applique pas directement aux variétés de Fano générales.

Directions de recherche futures

1. Généralisation à des cas plus généraux: Étudier comment traiter le cas $\text{Fut}|_N \neq 0$.
2. Algorithmes computationnels: Développer des algorithmes efficaces pour calculer $\delta(X_r, \Delta_r; W^{X_r}_\bullet)$.
3. Applications supplémentaires: Chercher d'autres exemples de variétés de Fano K-polystables insensibles aux poids.

Évaluation approfondie

Points forts

1. Percée théorique: Premier critère de discrimination calculable pour la K-polystabilité, comblant une lacune théorique.
2. Innovation technique: Combinaison ingénieuse de la théorie valuative, de la géométrie torique et de la théorie de la K-stabilité.
3. Applications pratiques: Fournit des exemples concrets de variétés de Fano de dimension trois, démontrant l'utilité pratique de la théorie.
4. Complétude: Forme une chaîne de recherche complète allant de l'établissement théorique aux applications concrètes.

Contributions techniques

1. Acuité de l'estimation d'Abban-Zhuang: Approfondit la compréhension de la précision des estimations existantes.
2. Méthode de construction: Fournit deux méthodes pour construire $(X_r, \Delta_r, W^{X_r}_\bullet)$.
3. Théorie équivariante: Développe des méthodes valuatives pour la K-stabilité équivariante.

Évaluation de l'impact

Cet article occupe une position importante dans la théorie de la K-stabilité, fournissant de nouveaux outils computationnels et un cadre théorique au domaine, et devrait stimuler les progrès de la recherche connexe.

Références

L'article cite les travaux importants du domaine, notamment:

• Les travaux originaux de Tian sur la K-stabilité
• La reformulation algébrique de Donaldson
• La théorie de la génération finie de Liu-Xu-Zhuang
• Les travaux connexes sur l'estimation d'Abban-Zhuang
• Les recherches récentes sur l'existence de $g$-solitons