On the superadditivity of anticanonical Iitaka dimension

1. Problématique et Contexte

Le papier s'attaque à un problème fondamental en géométrie algébrique : l'inégalité de superadditivité de la dimension d'Iitaka pour les diviseurs anticanoniques.

• Conjecture d'Iitaka (Cas canonique) : Pour une fibration $f : X \to Y$ de variétés projectives lisses, on conjecture que $\kappa(X, K_X) \ge \kappa(X_y, K_{X_y}) + \kappa(Y, K_Y)$. Ce résultat est largement établi en caractéristique zéro via le Programme Minimal (MMP).
• Inégalité Anticanonique (Cas $-K_X$) : Récemment, le troisième auteur a démontré une inégalité inverse pour les diviseurs anticanoniques en caractéristique zéro : $\kappa(X, -K_X) \le \kappa(X_y, -K_{X_y}) + \kappa(Y, -K_Y)$, sous certaines hypothèses sur le lieu de base stable.
• Le Défi en Caractéristique Positive : L'extension de ces résultats aux corps de caractéristique $p > 0$ est obstructée par l'échec de la lissité générique. En caractéristique positive, la fibre générale $X_y$ peut être non normale, non réduite, ou posséder des singularités pathologiques qui empêchent l'application directe des formules du fibré canonique classiques (comme celle d'Ambro).

Objectif principal : Établir une version de l'inégalité de superadditivité pour les fibrations en caractéristique positive, en identifiant les conditions nécessaires sur les singularités de la fibre générale et de la série linéaire anticanonique.

2. Méthodologie

Les auteurs adoptent une approche hybride combinant la théorie des singularités en caractéristique positive (singularités $F$) et des techniques de descente de positivité.

A. Conditions de Singularités ($F$-singularités)

Au lieu d'utiliser les idéaux multiplicateurs (qui définissent les singularités en caractéristique 0), les auteurs utilisent les idéaux tests et les singularités $F$.

• Ils introduisent un sous-espace global $Q^0_y(X, 0) \subseteq H^0(X_y, \mathcal{O}_{X_y})$, qui est une version globale de l'idéal test asymptotique mesurant les singularités $F$ d'un élément général de la série linéaire $|-K_X|_{\mathbb{Q}}$ sur la fibre.
• L'hypothèse clé est que $Q^0_y(X, 0) = k(y)$, ce qui correspond à une condition de "bon comportement" de Frobenius (analogue à la trivialité de l'idéal multiplicateur en caractéristique 0).

B. Stratégie de Preuve

La preuve suit une structure en quatre étapes, inspirée des travaux de [Cha23] et [EG19], mais adaptée aux spécificités de la caractéristique $p$ :

1. Descente de la $\mathbb{Q}$-effectivité :

   • En caractéristique 0, on utilise la formule du fibré canonique d'Ambro.
   • En caractéristique $p$, les auteurs utilisent un résultat de Das et Schwede ([DS17]) qui fournit une formule de remplacement pour les fibrations dont la fibre générique est globalement $F$-split. Cela permet de déduire la $\mathbb{Q}$-effectivité de $-K_Y$ à partir de celle de $-K_X$.

2. Descente précise de la positivité :

   • Utilisation d'arguments de perturbation pour montrer que si $-K_X - f^*E$ est effectif, alors $-K_Y - \epsilon E$ l'est aussi.

3. Théorème d'Injectivité :

   • Démonstration que si $\kappa(Y, -K_Y) = 0$, l'application de restriction $\bigoplus H^0(X, -lK_X) \to \bigoplus H^0(X_y, -lK_{X_y})$ est injective. Cela repose sur l'existence de "compléments $F$" (F-complements) et sur l'analyse des singularités via les traces de Frobenius.

4. Réduction au cas de base Calabi-Yau :

   • Réduction du problème à une fibration sur la base de la fibration d'Iitaka de $-K_Y$.
   • Obstacle technique majeur : En caractéristique $p$, la fibration d'Iitaka peut ne pas être un morphisme, et les fibres peuvent ne pas être normales.
   • Solution : Les auteurs effectuent un changement de base par une puissance de l'application de Frobenius sur la base, suivie d'une normalisation. La théorie des feuilletages en caractéristique positive permet de contrôler la transformation du diviseur canonique sous ces opérations, garantissant que les nouvelles fibres sont normales.

3. Résultats Principaux

Théorème Principal (Théorème 1.3 / Théorème 7.2)

Soit $f : X \to Y$ une fibration génériquement lisse de variétés projectives lisses sur un corps algébriquement clos de caractéristique $p > 0$. Soit $y \in Y$ un point général.
Si :

1. $Q^0_y(X, 0) = k(y)$ (condition de singularités $F$ sur la fibre),
2. Il existe $m \ge 1$ non divisible par $p$ tel que le lieu de base stable $Bs(-mK_X)$ ne domine pas $Y$,

Alors l'inégalité suivante tient :
$$\kappa(X, -K_X) \le \kappa(X_y, -K_{X_y}) + \kappa(Y, -K_Y)$$
De plus, si $\kappa(Y, -K_Y) = 0$, l'égalité est atteinte.

Résultats en Caractéristique Zéro (Théorème 1.4)

Les auteurs généralisent également le résultat de [Cha23] en caractéristique 0. Ils montrent que l'inégalité tient si l'idéal multiplicateur asymptotique $I(X_y, 0; \|-K_X\|_y)$ est trivial. Cela renforce le lien entre les conditions de singularités en caractéristique 0 et $p$.

Conjectures et Comparaison (Section 8)

• Conjecture 8.2 : Les auteurs conjecturent que si l'inégalité tient en caractéristique 0 (avec idéal multiplicateur trivial), alors pour un modèle arithmétique, la condition $Q^0_{y_p}(X_p, 0) = k(p)$ est satisfaite pour une infinité de nombres premiers $p$.
• Ils introduisent la notion de $K$-globalement $F$-régulier (KGFR), qui interpole entre les variétés globalement $F$-régulières et globalement $F$-split, et la lient à la conjecture de densité des bons réduits modulo $p$.

4. Contributions Clés

1. Extension en Caractéristique Positive : C'est la première preuve d'une telle inégalité de superadditivité pour les diviseurs anticanoniques en caractéristique positive, au-delà de cas très spécifiques (comme les fibrations avec fibres lisses et $F$-split).
2. Nouvelles Conditions de Régularité : L'introduction de la condition $Q^0_y(X, 0) = k(y)$ comme substitut naturel à la trivialité de l'idéal multiplicateur en caractéristique positive.
3. Technique de Changement de Base Frobenius : L'utilisation ingénieuse du changement de base par Frobenius combinée à la théorie des feuilletages pour surmonter le problème de la non-normalité des fibres générales, un obstacle majeur dans la géométrie en caractéristique $p$.
4. Lien Arithmétique : La formulation de conjectures reliant les singularités en caractéristique 0 (idéaux multiplicateurs) et en caractéristique $p$ (idéaux tests), suggérant une correspondance profonde via la réduction modulo $p$.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Complétude de la Théorie des Fibrations : Il comble un vide important dans la compréhension du comportement des diviseurs anticanoniques dans les fibrations en caractéristique positive, un domaine où les résultats sont souvent plus fragiles qu'en caractéristique 0.
• Outils pour le MMP en Caractéristique $p$ : Les techniques développées, notamment l'adaptation de la formule du fibré canonique via les singularités $F$ et l'utilisation des feuilletages, offrent de nouveaux outils pour le Programme Minimal en caractéristique positive.
• Perspective Arithmétique : En reliant les propriétés géométriques complexes aux propriétés arithmétiques (réduction modulo $p$), l'article ouvre la voie à de nouvelles investigations sur la stabilité des singularités et des dimensions d'Iitaka dans les familles arithmétiques.

En résumé, cet article établit un cadre robuste pour l'étude de la superadditivité anticanonique en caractéristique positive, en remplaçant les outils de la géométrie complexe par leurs analogues $F$-théoriques, tout en posant des conjectures ambitieuses sur l'universalité de ces phénomènes.