On canonical bundle formula for fibrations of curves with arithmetic genus one

Cet article établit des formules du fibré canonique pour des fibrations de courbes de genre arithmétique un en caractéristique positive, distinguant les cas séparable et inséparable, et en déduit que pour un couple klt dont l'opposé du fibré canonique est nef, un morphisme d'Albanese de dimension relative un implique que la variété est un fibré sur sa variété d'Albanese.

L'essentiel

Imaginez que vous êtes un architecte qui tente de comprendre la structure d'un immense château (l'espace mathématique $X$) en regardant comment il est construit à partir de ses fondations et de ses étages. Ce château est situé dans un monde très étrange et coloré, appelé la « caractéristique $p$ » (un univers mathématique où les règles de l'arithmétique sont un peu différentes de celles que nous connaissons, comme si l'on comptait en modulo 5 ou modulo 7).

L'article que vous avez soumis est comme un manuel de construction avancé pour ce type de château. Voici une explication simplifiée de ce que les auteurs, Chen, Wang et Zhang, ont découvert, en utilisant des analogies du quotidien.

1. Le Problème : Comment décrire un château qui a des étages bizarres ?

En mathématiques, on étudie souvent des « fibrations ». Imaginez que votre château $X$ est un immeuble dont chaque étage est une courbe (une ligne). Si vous regardez l'immeuble de loin, vous voyez une base $S$ (le sol) et des étages qui montent vers le ciel.

• Le but : Les mathématiciens veulent une formule magique (la « formule du fibré canonique ») qui relie la géométrie de l'immeuble entier ($X$) à celle de son sol ($S$).
• Le défi : Dans le monde normal (les nombres complexes), on connaît bien cette formule. Mais dans le monde « caractéristique $p$ » (notre monde étrange), les étages peuvent être très déformés. Parfois, ils sont lisses, parfois ils sont cassés, et parfois, ils sont si bizarres qu'ils se comportent comme des fantômes (des objets géométriques qui ne sont pas « réduits », c'est-à-dire qu'ils ont une structure invisible mais réelle).

2. La Solution : Deux Scénarios pour deux types de chemins

Les auteurs ont divisé leur travail en deux grands cas, selon la façon dont les étages sont connectés au sol.

Cas A : Le chemin est « Séparable » (La route est claire)

Imaginez que vous montez l'escalier de l'immeuble. Si l'escalier est bien construit, chaque marche correspond clairement à une marche du sol. C'est le cas « séparable ».

• La découverte : Les auteurs montrent que même si les étages sont un peu abîmés, on peut toujours trouver une formule similaire à celle des mathématiciens classiques. Ils disent : « Si vous regardez le sol de très près (en faisant un petit voyage mathématique appelé « changement de base »), vous verrez que la formule fonctionne presque comme prévu, avec quelques ajustements pour les fissures. »

Cas B : Le chemin est « Inséparable » (La route est brouillée)

C'est ici que ça devient fascinant. Parfois, l'escalier est si tordu que plusieurs marches de l'immeuble semblent se superposer sur une seule marche du sol. C'est le cas « inséparable ». Cela n'arrive que dans des caractéristiques très spécifiques (comme $p=2$ ou $p=3$).

• L'analogie : Imaginez que vous essayez de projeter une ombre sur un mur, mais que la source de lumière est si bizarre que l'ombre est floue et déformée.
• La stratégie : Pour comprendre cette ombre floue, les auteurs utilisent un outil appelé « feuilletage » (foliation). Imaginez que l'immeuble est rempli de courants d'air invisibles qui guident la structure. En étudiant ces courants, ils peuvent « nettoyer » l'image floue.
• Le résultat clé : Ils prouvent que si le sol de l'immeuble ($S$) a une structure très particulière (appelée « dimension d'Albanese maximale », ce qui signifie qu'il est très lié à un tore ou une forme géométrique complexe), alors on peut quand même écrire une formule, même si les étages sont très malades.

3. L'Application : Quand le château a un toit « anti-gravité »

La partie la plus excitante de l'article est l'application de ces formules à un problème concret : Quel est le destin d'un château dont le toit repousse la gravité ?

En mathématiques, on dit qu'un objet a un « diviseur anticanonique nef » si, d'une certaine manière, il est « positif » ou « stable » et qu'il ne s'effondre pas.

• La question : Si vous avez un château $X$ avec un toit qui repousse la gravité, et que la porte principale (l'application d'Albanese) mène vers un grand lac (une variété abélienne), est-ce que cette porte est une vraie porte qui mène à l'intérieur, ou est-ce juste une illusion ?
• La réponse des auteurs : Ils prouvent que c'est une vraie porte ! Si la porte mène à un lac et que la hauteur de l'immeuble par rapport au lac est de 1 (c'est-à-dire que les étages sont des courbes), alors l'immeuble est réellement construit au-dessus de ce lac. Il n'y a pas d'illusion. C'est une structure solide.

4. Pourquoi est-ce important ?

Imaginez que vous essayez de classer tous les types de châteaux possibles dans l'univers.

• Avant ce papier, on savait classer les châteaux en caractéristique 0 (le monde normal).
• Dans le monde $p > 0$ (le monde étrange), on avait des trous dans notre classification, surtout pour les châteaux avec des étages très déformés (comme les courbes quasi-elliptiques).
• Ce papier comble ces trous. Il fournit les outils (les formules) pour dire : « Ah, ce château bizarre, je sais exactement comment il est construit et comment il se relie à son sol. »

En résumé

Ces mathématiciens ont développé un nouveau dictionnaire pour traduire la géométrie complexe des espaces déformés en caractéristique $p$ vers des objets plus simples.

• Ils ont appris à lire les ombres (les fibrations inséparables) en utilisant des courants invisibles (les feuilletages).
• Ils ont prouvé que si un objet mathématique a une certaine stabilité (toit anti-gravité), il doit avoir une structure très régulière et prévisible, même dans un monde où les règles de l'arithmétique sont tordues.

C'est comme si, après avoir longtemps pensé que certains châteaux étaient des mirages, ils avaient enfin trouvé la clé pour prouver qu'ils sont bien réels, solides et construits sur des fondations mathématiques saines.

Résumé technique

Voici un résumé technique détaillé du papier « On Canonical Bundle Formula for Fibrations of Curves with Arithmetic Genus One » de Jingshan Chen, Chongning Wang et Lei Zhang.

1. Problématique et Contexte

Le papier s'intéresse à la formule du fibré canonique dans le contexte de la géométrie birationnelle en caractéristique positive ($p > 0$).

• Contexte classique : Sur le corps des nombres complexes ($\mathbb{C}$), la formule du fibré canonique est un outil fondamental pour étudier les fibrations $f : X \to S$ dont les fibres générales ont un diviseur canonique (log) numériquement trivial. Elle exprime le diviseur $K_X + \Delta$ en fonction du diviseur canonique de la base $K_S$, d'un diviseur de discriminant $\Delta_S$ (capturant les singularités des fibres) et d'un diviseur modulaire.
• Défi en caractéristique positive : En caractéristique $p > 0$, les résultats sont beaucoup plus rares et complexes. Contrairement au cas complexe, les fibres génériques peuvent être très singulières (par exemple, des courbes rationnelles singulières de genre arithmétique 1, appelées fibrations quasi-elliptiques, qui n'existent que pour $p=2$ ou $p=3$). De plus, les morphismes peuvent être inséparables, ce qui brise les outils classiques de la théorie de Hodge et de la théorie des modules.
• Objectif spécifique : Développer une formule du fibré canonique pour des fibrations de dimension relative 1, où la fibre générique a un genre arithmétique égal à 1, en traitant séparément les cas de morphismes séparables et inséparables. Une application majeure vise à comprendre la structure des variétés dont le diviseur anticanonique est nef.

2. Méthodologie

Les auteurs utilisent une combinaison sophistiquée d'outils de géométrie algébrique en caractéristique positive :

• Théorie des feuilletages (Foliations) : Ils exploitent la correspondance entre les morphismes purement inséparables de hauteur 1 et les feuilletages sur les variétés. Cela permet de comparer les diviseurs canoniques sous des changements de base inséparables.
• Changements de base et normalisation : Pour traiter les fibres non réduites ou non normales, les auteurs effectuent des changements de base itératifs (via le morphisme de Frobenius absolu) et étudient la normalisation des fibres géométriques.
• Analyse des courbes de genre arithmétique 1 : Une partie cruciale du papier (Section 4) est consacrée à l'analyse fine des courbes régulières mais non lisses de genre 1 sur des corps imparfaits. Ils classifient le comportement des points singuliers et des diviseurs sous des extensions de corps inséparables.
• Systèmes linéaires et parties mobiles : L'analyse des systèmes linéaires associés aux déterminants des faisceaux différentiels ($\det \Omega^1$) permet de distinguer les composantes horizontales mobiles, essentielles pour établir les inégalités de positivité.
• Morphisme d'Albanese : L'étude est fortement liée au morphisme d'Albanese, en particulier lorsque la base $S$ est de dimension d'Albanese maximale (m.A.d.).

3. Contributions et Résultats Clés

Le papier établit plusieurs théorèmes fondamentaux :

A. Formule du fibré canonique pour les fibrations séparables (Théorème 1.2)

Pour une fibration séparable $f : X \to S$ de dimension relative 1 avec $(X, \Delta)$ log canonique (lc) et $K_X + \Delta \sim_{\mathbb{Q}} f^*D$ :

• Il existe une chaîne de morphismes purement inséparables $\tau_1, \tau_2$ et un diviseur effectif $E$ tels que :
  $$\tau_2^* \tau_1^* D \sim_{\mathbb{Q}} a K_{\bar{T}'} + b \tau_2^* K_{\bar{T}} + c \tau_2^* \tau_1^* K_S + E$$
• Si la paire est klt, le coefficient $c$ est strictement positif ($c \geq c_0 > 0$), dépendant uniquement des coefficients maximaux de $\Delta$. Ce résultat généralise et affine le théorème de Witaszek [36].

B. Formule du fibré canonique pour les fibrations inséparables (Théorème 1.3)

Pour une fibration inséparable où la base $S$ est de dimension d'Albanese maximale (m.A.d.) :

• Cas séparable du morphisme d'Albanese ($a_S$) : On obtient $D - \frac{1}{2p}K_S \succeq_{\mathbb{Q}} 0$, impliquant $\kappa(S, D) \geq \kappa(S)$.
• Cas inséparable du morphisme d'Albanese : On a $\kappa(S, D) \geq 0$. Si la fibre générique est klt et que $a_S$ est fini, alors $\kappa(S, D) \geq 1$, sauf dans des cas très spécifiques (morphisme purement inséparable de hauteur 1).

C. Structure des variétés à diviseur anticanonique nef (Théorème 1.5)

C'est l'application principale. Soit $(X, \Delta)$ une paire klt projective normale telle que $-(K_X + \Delta)$ soit nef.

• Si le morphisme d'Albanese $a_X : X \to A$ est de dimension relative 1, alors $a_X$ est une fibration (c'est-à-dire que les fibres sont connexes et $a_{X*}\mathcal{O}_X = \mathcal{O}_A$).
• Ce résultat complète les travaux antérieurs d'Ejiri et Patakfalvi en éliminant l'hypothèse de séparabilité sur les morphismes intermédiaires dans la factorisation de Stein.

4. Signification et Impact

• Complétion de la théorie en caractéristique positive : Ce papier comble un vide important en fournissant des formules canoniques robustes pour les fibrations de courbes de genre 1, y compris les cas pathologiques (fibres non réduites, fibrations quasi-elliptiques) qui n'apparaissent qu'en caractéristique $p=2, 3$.
• Outils pour la classification : Les résultats sur les variétés à diviseur anticanonique nef sont cruciaux pour la classification des variétés de dimension supérieure en caractéristique positive. Ils suggèrent que ces variétés ont une structure de fibré sur une variété abélienne, généralisant des résultats connus sur $\mathbb{C}$.
• Innovation méthodologique : L'utilisation systématique de la théorie des feuilletages pour gérer les morphismes inséparables et les changements de base offre une nouvelle approche puissante pour contourner les difficultés liées à la non-réduction des fibres géométriques.
• Préparation pour des travaux futurs : Les auteurs indiquent que ces résultats préparent le terrain pour une étude plus approfondie des variétés avec $K_X \equiv 0$ (dimension 3), où ils prévoient de décrire ces variétés comme des quotients de produits de variétés abéliennes et de courbes elliptiques ou rationnelles.

En résumé, ce travail constitue une avancée majeure en géométrie birationnelle positive, établissant des ponts solides entre la théorie des fibrations, la théorie des feuilletages et la structure des variétés à courbure négative (ou anticanonique nef) en caractéristique $p$.