Pseudo-effectivité du diviseur canonique relatif et unirationnalité en caractéristique positive

Informations fondamentales

• ID de l'article: 2009.07158
• Titre: Pseudo-effectivity of the relative canonical divisor and uniruledness in positive characteristic
• Auteur: Zsolt Patakfalvi (École Polytechnique Fédérale de Lausanne)
• Classification: math.AG (Géométrie algébrique)
• Journal de publication: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 7
• Lien de l'article: https://arxiv.org/abs/2009.07158

Résumé

Cet article démontre que sur un corps algébriquement clos $k$ de caractéristique $p > 0$, si $f: X \to T$ est un morphisme surjectif entre variétés projectives lisses et la fibre générique géométrique est géométriquement intègre et non-unirationnelle, alors $K_{X/T}$ est pseudo-effectif. La preuve repose sur le recouvrement de $X$ par des courbes rationnelles, ce qui produirait une contradiction si la base et la fibre générique étaient toutes deux unirationnelles. Cependant, l'article suppose uniquement que la fibre générique est non-unirationnelle, de sorte que la partie la plus difficile de la preuve consiste à construire un recouvrement fini lisse non-unirationnel de la base. L'auteur établit également un critère de non-unirationnalité cohomologique : une variété projective lisse $T$ de dimension $n$ est non-unirationnelle lorsque la dimension de la partie semi-stable de $H^n(T, \mathcal{O}_T)$ dépasse celle de $H^{n-1}(T, \mathcal{O}_T)$.

Contexte et motivation de la recherche

Contexte du problème

En caractéristique zéro, la théorie de la semi-positivité du faisceau canonique relatif est déjà bien développée. Pour une fibration $f: X \to T$, lorsque la fibre générique géométrique $X_η$ satisfait l'une des conditions équivalentes suivantes, $K_{X/T}$ est pseudo-effectif :

• (Psef) $K_{X_η}$ est pseudo-effectif
• (N-ur) $X_η$ est non-unirationnelle

Défis en caractéristique positive

En caractéristique positive, cette théorie fait face à des difficultés majeures :

1. Non-équivalence des conditions : En caractéristique positive, les conditions (Psef) et (N-ur) ne sont plus équivalentes
2. Existence de contre-exemples : L'énoncé (1.1) avec la condition (Psef) est connu pour échouer en caractéristique positive
3. Comportement sauvage : Il existe des comportements « sauvages » spécifiques à la caractéristique positive qui nécessitent des conditions supplémentaires pour être exclus

Motivation de la recherche

Étant donné que la condition (N-ur) peut tenir compte des comportements sauvages typiques, l'auteur souhaite vérifier si l'énoncé avec la condition (N-ur) reste valide en caractéristique positive. Ceci est non seulement important théoriquement, mais aussi crucial pour les applications suivantes :

• Sous-additivité de la dimension de Kodaira
• Construction d'espaces de modules de variétés K-stables/KSBA-stables
• Problèmes d'hyperbolicité
• Conjecture de non-annulation
• Géographie des variétés

Contributions principales

1. Théorème principal : Démonstration qu'en caractéristique positive, si la fibre générique géométrique est intègre et non-unirationnelle, alors $K_{X/T}$ est pseudo-effectif
2. Critère cohomologique : Établissement d'un critère de non-unirationnalité basé sur la partie semi-stable de Frobenius
3. Construction de recouvrements cycliques : Preuve que, sous des conditions appropriées, les recouvrements cycliques généraux sont non-unirationnels
4. Version singulière : Versions singulières de tous les résultats principaux
5. Applications en caractéristique mixte : Applications aux familles en caractéristique mixte sous la conjecture de faiblesse

Explication détaillée de la méthode

Énoncé de la tâche

Démontrer : Soit $f: X \to T$ un morphisme surjectif entre variétés projectives lisses sur un corps algébriquement clos $k$ de caractéristique $p > 0$. Si la fibre générique géométrique est géométriquement intègre et non-unirationnelle, alors $K_{X/T}$ est pseudo-effectif.

Stratégie de preuve

La stratégie générale de preuve est relativement directe, mais l'implémentation technique est extrêmement complexe :

1. Configuration par l'absurde : Supposer que $K_{X/T}$ n'est pas pseudo-effectif
2. Argument de flexion-rupture : Combinaison du recouvrement non-unirationnel de la base et de changements de base multiples par Frobenius
3. Dualité du cône pseudo-effectif : Utilisation du fait que le cône pseudo-effectif est le dual du cône des courbes mobiles

Difficultés techniques clés

1. Construction de recouvrements non-unirationnels

Le plus grand obstacle technique est la construction d'un recouvrement fini lisse non-unirationnel de la base $T$. Ceci est particulièrement difficile en caractéristique positive car :

• Il est difficile de prouver qu'une variété est non-unirationnelle
• Il faut donner directement la lissité, car la résolution des singularités n'est pas disponible

2. Critère cohomologique de Witt

Théorème 3.16 : Soit $X$ une variété projective lisse de dimension $n > 0$. Si $\dim_k H^{n-1}(X,\mathcal{O}_X)^{ss} < \dim_k H^n(X,\mathcal{O}_X)^{ss}$ alors $H^n(X,W\mathcal{O}_{X,\mathbb{Q}}) \neq 0$, et par conséquent $X$ est non-unirationnelle.

Ici, $H^i(X,\mathcal{O}_X)^{ss}$ désigne la partie semi-stable sous l'action de Frobenius.

3. Théorie des modules $W(k)^σ$

Pour traiter les groupes de cohomologie de la forme $H^i(X,W_j\mathcal{O}_X)$, l'auteur développe une théorie des modules $W(k)^σ$ de longueur finie sur $W(k)$ :

Définition 3.1 : Un module $W(k)^σ$ est une paire $(M,F)$ où $M$ est un module sur $W(k)$ et $F: M \to M$ est un homomorphisme additif satisfaisant $F(rm) = σ(r)F(m), \quad \forall m \in M, r \in W(k)$

Non-unirationnalité des recouvrements cycliques

Théorème 3.21 : Soit $X$ une variété projective $S_3$ de dimension $n$ et $H$ un faisceau en droites ample. Alors il existe un entier $s > 0$ tel que : pour tout $p \nmid d > 0$ et tout $D \in |H^{sd}|$ général, le recouvrement cyclique $d$-uple correspondant $Y := \text{Spec}_X \left( \bigoplus_{i=0}^{d-1} H^{-si} \right)$ satisfait $H^n(Y,W\mathcal{O}_{Y,\mathbb{Q}}) \neq 0$, et par conséquent est non-unirationnel.

Configuration expérimentale

Puisqu'il s'agit d'un article de mathématiques pures théoriques, il n'y a pas d'expériences numériques, mais plutôt une vérification des résultats théoriques par des démonstrations mathématiques rigoureuses.

Méthodes de vérification théorique

1. Preuve constructive : Construction explicite d'objets satisfaisant les conditions
2. Preuve par l'absurde : Supposer que la conclusion est fausse et dériver une contradiction
3. Induction mathématique : Utilisée dans certains lemmes techniques
4. Méthodes catégoriques : Utilisation des propriétés de la catégorie des modules $W(k)^σ$

Vérification des lemmes clés

• Lemme 4.1 : Preuve de la propagation de l'unirationnalité dans les fibrations
• Lemme 4.2 : Vérification de l'intégrité du produit fibré
• Proposition 3.18 : Théorie de la déformation des sous-espaces semi-stables
• Proposition 3.20 : Non-annulation de l'action de Frobenius spécifique

Résultats principaux

Théorème fondamental

Théorème 1.1 : Soit $f: X \to T$ un morphisme surjectif entre variétés projectives lisses sur un corps algébriquement clos $k$ de caractéristique $p > 0$. Si la fibre générique géométrique est intègre et non-unirationnelle, alors $K_{X/T}$ est pseudo-effectif.

Corollaires

Corollaire 1.2 (Sous-additivité de la dimension de Kodaira) : Si $f: X \to T$ est un morphisme surjectif entre variétés projectives lisses, $T$ est de type général, et la fibre générique géométrique $X_η$ est intègre, non-unirationnelle et $K_{X_η}$ est ample, alors $κ(X) \geq κ(K_{X_η}) + κ(T)$

Applications en caractéristique mixte

Corollaire 1.5 : Sous la conjecture de faiblesse, si une variété en caractéristique zéro $X$ satisfait $\dim H^{\dim X}(X,\mathcal{O}_X) > \dim H^{\dim X-1}(X,\mathcal{O}_X)$, alors dans son modèle en caractéristique mixte, les fibres non-unirationnelles forment un ensemble dense.

Points d'innovation technique

1. Techniques de cohomologie de Witt

• Développement d'une théorie des modules $W(k)^σ$ applicable à la cohomologie sur les variétés projectives
• Établissement d'un critère de non-unirationnalité basé sur la comparaison des dimensions de parties semi-stables
• Preuve du lien entre la non-annulation de la cohomologie de Witt et la non-unirationnalité

2. Théorie de la déformation

• Preuve de la propriété de déformation des sous-espaces semi-stables de Frobenius dans les familles
• Établissement de la non-dégénérescence de l'action de Frobenius induite par les diviseurs généraux

3. Construction de recouvrements

• Méthode générale pour construire des recouvrements cycliques non-unirationnels
• Preuve que la lissité et la non-unirationnalité du recouvrement peuvent être garanties simultanément

Travaux connexes

Théorie en caractéristique zéro

• Théorie classique de la semi-positivité du faisceau canonique relatif établie par Viehweg, Nakamura et autres
• Théorie fondamentale des variétés unirationnelles et des courbes rationnelles par Kollár

Développements en caractéristique positive

• Travaux antérieurs de Patakfalvi sur la semi-positivité en caractéristique positive
• Résultats connexes de Chen-Zhang, Ejiri-Zhang et autres
• Contre-exemples donnés par CEKZ, montrant que certains résultats de caractéristique zéro échouent en caractéristique positive

Cohomologie de Witt

• Travaux de Esnault, Patakfalvi-Zdanowicz sur la relation entre la cohomologie de Witt et la non-unirationnalité
• Théorie classique des vecteurs de Witt par Serre

Conclusions et discussion

Conclusions principales

1. En caractéristique positive, la pseudo-effectivité du faisceau canonique relatif reste valide sous l'hypothèse de non-unirationnalité
2. Le critère de non-unirationnalité basé sur la partie semi-stable cohomologique est efficace
3. Les recouvrements cycliques fournissent une méthode systématique pour construire des variétés non-unirationnelles

Limitations

1. Hypothèse d'intégrité géométrique : L'hypothèse que la fibre générique géométrique est intègre est toujours nécessaire
2. Pseudo-effectivité vs ampleur : Seule la plus faible semi-positivité (pseudo-effectivité) peut être obtenue
3. Restrictions singulières : La version singulière nécessite des restrictions à des singularités spéciales comme les intersections complètes, les singularités WO-rationnelles, etc.

Directions futures

1. Élimination de l'hypothèse d'intégrité : C'est la seule direction possible pour une généralisation ultérieure
2. Semi-positivité plus forte : Recherche de la possibilité d'obtenir la nefness ou l'ampleur
3. Question 3.22 : Préservation de la WO-rationalité sous les sections hyperplanes et les recouvrements cycliques

Évaluation approfondie

Avantages

1. Percée théorique : Résout un problème important en géométrie algébrique en caractéristique positive, comblant le fossé entre la théorie en caractéristique zéro et celle en caractéristique positive
2. Innovation technique : Les techniques de cohomologie de Witt développées et la théorie des modules $W(k)^σ$ ont une valeur indépendante
3. Systématicité de la méthode : Fournit un cadre général pour construire des recouvrements non-unirationnels
4. Applications larges : Les résultats ont des applications dans la théorie des espaces de modules, la géométrie hyperbolique et d'autres domaines

Insuffisances

1. Complexité technique : La preuve est extrêmement technique avec un seuil de compréhension élevé
2. Restrictions des hypothèses : L'hypothèse d'intégrité géométrique est toujours nécessaire, ne généralisant pas complètement les résultats de caractéristique zéro
3. Affaiblissement de la conclusion : Seule la pseudo-effectivité peut être obtenue, ce qui est plus faible que la nefness en caractéristique zéro

Impact

1. Contribution théorique : Fournit des outils importants pour la géométrie birationnelle en caractéristique positive
2. Valeur méthodologique : Les techniques de cohomologie de Witt peuvent avoir des applications à d'autres problèmes
3. Recherches ultérieures : Fournit un nouveau chemin technique pour la recherche ultérieure en géométrie en caractéristique positive

Domaines d'application

1. Géométrie birationnelle en caractéristique positive : Étude des propriétés birationnelles des variétés en caractéristique positive
2. Théorie des espaces de modules : Construction d'espaces de modules de variétés stables
3. Géométrie arithmétique : Étude des familles en caractéristique mixte
4. Géométrie sur les corps finis : Étude des propriétés des variétés sur les corps finis

Références

L'article cite les références clés suivantes :

• Nak04 Nakamura: Zariski-decomposition and abundance
• Kol96 Kollár: Rational curves on algebraic varieties
• PZ21 Patakfalvi-Zdanowicz: Ordinary varieties with trivial canonical bundle are not uniruled
• CEKZ21 Cascini-Ejiri-Kollár-Zhang: Subadditivity of Kodaira dimension does not hold in positive characteristic

Cet article résout un problème fondamental en géométrie algébrique en caractéristique positive. Bien que très technique, sa valeur théorique et ses contributions méthodologiques sont significatives, jetant les bases pour des développements ultérieurs dans ce domaine.