Pseudo-effectivity of the relative canonical divisor and uniruledness in positive characteristic

Cet article démontre que le diviseur canonique relatif est pseudo-efficace pour une fibration lisse dont la fibre générique n'est pas uniréglée en caractéristique positive, en établissant d'abord qu'un revêtement cyclique général d'une variété non uniréglée conserve cette propriété grâce à une nouvelle condition cohomologique.

L'essentiel

🌍 Le Grand Voyage : Comprendre la Géométrie Algébrique en Caractéristique $p$

Imaginez que vous êtes un architecte travaillant sur des structures géométriques très complexes (des variétés algébriques). En mathématiques, on étudie souvent comment ces structures se comportent lorsqu'on les "projette" ou les "décompose" en d'autres structures plus simples.

Dans ce papier, l'auteur, Zsolt Patakfalvi, s'intéresse à une question précise : Si on construit une grande structure complexe ($X$) au-dessus d'une base ($T$), peut-on dire quelque chose de positif sur la "forme" globale de cette construction ?

Plus précisément, il veut prouver que la "pente" de cette construction (appelée diviseur canonique relatif) est toujours "positive" ou du moins "non négative", à condition que la partie supérieure de la construction ne soit pas trop "désordonnée".

🚫 Le Problème : Le Chaos de la "Caractéristique $p$"

Pour comprendre l'enjeu, il faut savoir qu'il existe deux mondes en mathématiques :

1. Le monde classique (Caractéristique 0) : C'est comme travailler avec de l'eau ou du verre. Les règles sont douces, prévisibles. On sait depuis longtemps que si la partie supérieure de notre structure n'est pas "unirulée" (un terme technique qui signifie "remplie de lignes droites infinies" ou "trop simple"), alors la structure globale est stable.
2. Le monde sauvage (Caractéristique $p > 0$) : C'est comme travailler avec du sable mouvant ou des fractales. Ici, les règles changent radicalement. Des phénomènes bizarres (appelés "comportements sauvages") peuvent faire s'effondrer les théorèmes classiques.

Le défi de l'auteur : Prouver que, même dans ce monde de sable mouvant (la caractéristique $p$), la stabilité de la structure globale est garantie, à condition que la partie supérieure ne soit pas "unirulée".

🏗️ L'Analogie du Bâtiment et du Toit

Imaginons que $X$ soit un immense gratte-ciel et $T$ soit le sol sur lequel il est construit.

• La question : Si le toit du bâtiment (la fibre générique) n'est pas fait de simples poutres droites qui partent dans tous les sens (non-unirulé), est-ce que le bâtiment entier a une structure solide ?
• La réponse de l'auteur : Oui ! Même dans le monde chaotique de la caractéristique $p$, si le toit n'est pas "trop simple" (unirulé), alors le bâtiment entier possède une propriété de solidité appelée pseudo-efficacité.

🛠️ La Méthode : Comment prouver cela ?

L'auteur utilise une stratégie en trois étapes, comme un détective qui résout une énigme.

1. Le Piège des Courbes Rationnelles (Le "Bend-and-Break")

L'idée de départ est simple : si un bâtiment est "unirulé", il est rempli de courbes droites (des lignes de fer). Si vous essayez de le construire sur un terrain instable, ces lignes vont se briser ou se plier de manière étrange.
L'auteur utilise un argument célèbre appelé "bend-and-break" (plier et casser). Il dit : "Si je suppose que mon bâtiment n'est pas solide, je peux trouver une courbe qui se brise. Mais si je change de point de vue (en faisant un "revêtement"), je vais trouver une contradiction."

2. Le Problème du Terrain de Base ($T$)

Le gros problème, c'est que pour faire fonctionner cette preuve, il faut que le sol ($T$) lui-même ne soit pas "unirulé". Or, dans le monde de la caractéristique $p$, il est très difficile de prouver qu'un terrain n'est pas "unirulé". C'est comme essayer de prouver qu'un terrain de sable n'est pas fait de lignes droites invisibles.

3. La Solution Magique : Le "Revêtement Cyclique"

C'est ici que l'auteur fait sa grande découverte. Il dit : "Même si je ne peux pas prouver que le sol $T$ est solide, je peux construire un nouveau sol ($Y$) qui recouvre $T$ comme une couverture, et qui, lui, est garanti solide."

Comment ? En utilisant une astuce mathématique appelée revêtement cyclique.

• Imaginez que vous prenez votre terrain $T$ et que vous le "tissez" avec un motif complexe (un polynôme) pour créer une nouvelle surface $Y$.
• L'auteur prouve que si vous choisissez ce motif correctement (en utilisant des outils avancés appelés cohomologie de Witt), ce nouveau terrain $Y$ sera garanti non-unirulé.
• C'est comme si vous preniez un terrain de sable mouvant et que vous y plantiez des pieux profonds et complexes pour le rendre rigide et stable.

💡 La Découverte Clé : Le "Test de Stabilité"

Pour prouver que son nouveau terrain $Y$ est stable, l'auteur invente un test mathématique (Théorème 1.3).
Il dit : "Si vous regardez les 'couches profondes' de votre terrain (les groupes de cohomologie) et que la couche du bas est plus 'épaisse' que celle du dessus, alors votre terrain ne peut pas être fait de lignes droites."

C'est un peu comme dire : "Si le sous-sol de votre maison est plus massif que le rez-de-chaussée, alors votre maison ne peut pas s'effondrer en une simple ligne."

🎉 Le Résultat Final

En combinant tout cela :

1. Il construit un terrain de base solide ($Y$) pour remplacer le terrain instable ($T$).
2. Il montre que sur ce nouveau terrain, la preuve fonctionne parfaitement.
3. Il en déduit que la propriété de solidité (pseudo-efficacité) est vraie pour le bâtiment original, même dans le monde chaotique de la caractéristique $p$.

En résumé :
Ce papier est une victoire contre le chaos. Il montre que même dans un univers mathématique où les règles sont imprévisibles (la caractéristique $p$), la beauté et la stabilité des structures géométriques persistent, à condition que leur "toit" ne soit pas trop simple. L'auteur a dû inventer de nouveaux outils (des "pieux" mathématiques) pour stabiliser le sol et permettre à la preuve de tenir debout.

C'est une démonstration élégante qui dit : "Même dans le chaos, si vous ne vous laissez pas emporter par la simplicité, la structure tient bon."

Résumé technique

Voici un résumé technique détaillé de l'article « Pseudo-effectivity of the relative canonical divisor and uniruledness in positive characteristic » de Zsolt Patakfalvi, publié dans l'Épijournal de Géométrie Algébrique.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie algébrique en caractéristique positive ($p > 0$). Il vise à établir des propriétés de semi-positivité pour le diviseur canonique relatif $K_{X/T}$ d'une fibration $f : X \to T$ entre variétés projectives lisses.

En caractéristique nulle, il est bien connu que si la fibre générique géométrique $X_\eta$ n'est pas uniréglée (c'est-à-dire qu'elle n'est pas couverte par des courbes rationnelles), alors le diviseur canonique relatif $K_{X/T}$ est pseudo-effectif. Ce résultat est fondamental pour l'étude de la sous-additivité de la dimension de Kodaira et la construction d'espaces de modules.

En caractéristique positive, cette équivalence échoue si l'on se base uniquement sur la condition que $K_{X_\eta}$ soit pseudo-effectif (comme le montrent des contre-exemples récents). Cependant, la condition géométrique « $X_\eta$ n'est pas uniréglée » (notée N-ur) semble plus robuste car elle prend en compte certains comportements « sauvages » typiques de la caractéristique $p$.

Le problème central est donc de déterminer si l'implication suivante reste vraie en caractéristique positive :

Si $f : X \to T$ est une fibration sur un corps algébriquement clos de caractéristique $p > 0$ et si la fibre générique géométrique $X_\eta$ est intégrale et non uniréglée, alors $K_{X/T}$ est pseudo-effectif.

2. Méthodologie et Stratégie de Preuve

La preuve repose sur une stratégie par l'absurde combinant plusieurs outils techniques avancés propres à la caractéristique positive :

1. Argument de "Bend-and-Break" (Cassure et Brisure) :
   Si $K_{X/T}$ n'est pas pseudo-effectif, il existe une famille de courbes mobiles sur $X$ intersectant négativement $K_{X/T}$. L'auteur utilise un changement de base par des morphismes finis plats pour transformer l'espace total de manière à ce que l'existence de ces courbes implique l'existence de courbes rationnelles couvrant l'espace total, contredisant ainsi l'hypothèse que la fibre générique n'est pas uniréglée.

2. Construction d'un revêtement non uniréglé :
   Le défi majeur réside dans le fait que pour appliquer l'argument de bend-and-break de manière efficace, il faut pouvoir effectuer des changements de base sur la base $T$ tout en préservant la propriété « non uniréglée » et la régularité (ou des singularités contrôlées). En caractéristique $p$, la résolution des singularités n'est pas disponible de manière générale, et il est difficile de prouver qu'une variété n'est pas uniréglée.
   L'auteur construit donc un revêtement fini, lisse et non uniréglé de la base $T$.

3. Cohomologie de Witt et Opérateurs de Frobenius :
   Pour garantir l'existence d'un tel revêtement, l'article développe une théorie cohomologique basée sur les faisceaux de Witt $W\mathcal{O}_X$.

   • L'auteur définit une condition de cohomologie impliquant les parties semi-stables de l'action de Frobenius sur les groupes de cohomologie $H^i(X, \mathcal{O}_X)$.
   • Il montre que si $\dim_k H^{n-1}(X, \mathcal{O}_X)^{ss} < \dim_k H^n(X, \mathcal{O}_X)^{ss}$, alors $X$ n'est pas uniréglée.
   • La construction du revêtement utilise des revêtements cycliques d'un diviseur ample général. L'auteur démontre que pour un diviseur général $D$, le revêtement cyclique associé satisfait l'inégalité de dimension ci-dessus, garantissant ainsi qu'il n'est pas uniréglé.

4. Gestion des Singularités :
   La preuve est étendue au cas singulier (variétés avec singularités d'intersection complète locale, $WO$-rationnelles, etc.) en s'assurant que les changements de base (revêtements cycliques) préservent ces types de singularités, permettant l'application des théorèmes de bend-and-break.

3. Résultats Principaux

Théorème Principal (Théorème 1.1 / 4.3)

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 $X_\eta$ est intégrale et non uniréglée, alors le diviseur canonique relatif $K_{X/T}$ est pseudo-effectif.

Note : Ce résultat généralise les travaux antérieurs en caractéristique positive qui nécessitaient des hypothèses plus fortes (comme la semi-positivité de $f_* \omega_{X/T}$) ou échouaient pour certaines fibrations.

Critère de Non-Uniréglitude (Théorème 1.3)

L'article établit un critère cohomologique indépendant pour la non-uniréglitude. Soit $X$ une variété projective lisse de dimension $n$. Si :
$$\dim_k H^{n-1}(X, \mathcal{O}_X)^{ss} < \dim_k H^n(X, \mathcal{O}_X)^{ss}$$
où $H^i(X, \mathcal{O}_X)^{ss}$ désigne la partie semi-stable de l'action de Frobenius, alors $X$ n'est pas uniréglée.

Existence de Revêtements Non Uniréglés (Corollaire 1.4 / Théorème 3.21)

Pour toute variété projective lisse $X$ et tout fibré en droites ample $H$, il existe un entier $s$ tel que pour tout entier $d$ non divisible par $p$ et pour un diviseur général $D \in |H^{sd}|$, le revêtement cyclique $Y$ de degré $d$ défini par $D$ est non uniréglé.
Ce résultat est crucial car il fournit un moyen constructif de passer d'une variété quelconque à une variété non uniréglée via un revêtement fini lisse.

Conséquence : Sous-additivité de la dimension de Kodaira (Corollaire 1.2)

Sous les hypothèses du théorème principal, si $T$ est de type général et $K_{X_\eta}$ est gros, alors :
$$\kappa(X) \geq \kappa(K_{X_\eta}) + \kappa(T)$$
Ceci rétablit la sous-additivité de la dimension de Kodaira dans ce contexte de caractéristique positive.

4. Contributions Techniques et Significativité

1. Résolution d'un problème ouvert en caractéristique positive :
   L'article confirme que la condition géométrique « non uniréglée » est suffisante pour la pseudo-effectivité de $K_{X/T}$, comblant un vide laissé par les échecs de la condition « $K_{X_\eta}$ pseudo-effectif ». Cela valide l'usage de la condition (N-ur) dans les applications en caractéristique positive.

2. Nouveaux outils en cohomologie de Witt :
   L'auteur développe une théorie des modules $W(k)^\sigma$ de longueur finie pour traiter les groupes de cohomologie $H^i(X, W\mathcal{O}_X)$. Il montre comment l'inégalité des dimensions des parties semi-stables implique la non-vanishing de la cohomologie de Witt rationnelle, ce qui est un critère puissant de non-uniréglitude.

3. Construction de revêtements lisses :
   La démonstration que les revêtements cycliques généraux de variétés projectives lisses sont non uniréglés (sous certaines conditions de cohomologie) est un résultat technique fort. Elle contourne le problème de la résolution des singularités en caractéristique $p$ en produisant directement des variétés lisses non uniréglées.

4. Généralisation aux cas singuliers :
   Contrairement à de nombreux résultats antérieurs restreints au cas lisse, ce travail traite explicitement les singularités d'intersection complète locale et $WO$-rationnelles, élargissant ainsi le champ d'application des résultats de semi-positivité.

5. Implications pour la conjecture de l'ordinarité faible :
   L'article relie ces résultats à la conjecture de l'ordinarité faible, suggérant que pour les variétés satisfaisant certaines conditions de cohomologie, le lieu non uniréglé est dense dans les familles mixtes de caractéristiques.

En résumé, cet article constitue une avancée majeure en géométrie algébrique en caractéristique positive, reliant profondément la théorie des courbes rationnelles, la cohomologie de Witt et la géométrie des diviseurs canoniques, tout en fournissant des outils techniques nouveaux pour la construction de variétés non uniréglées.