On Vanishing Theorems and Bogomolov's Inequality on Surfaces in Positive Characteristic

Cet article établit l'équivalence entre le théorème d'instabilité de Bogomolov et celui de Miyaoka-Sakai pour les surfaces en caractéristique positive, démontrant que le premier implique une version partielle du second suffisante pour obtenir le théorème de Mumford-Ramanujam, tout en identifiant des classes de surfaces où s'appliquent les théorèmes de vanishing de Kawamata-Viehweg et en fournissant une nouvelle preuve pour les surfaces de Del Pezzo lisses.

L'essentiel

Imaginez que vous êtes un architecte travaillant sur des bâtiments très complexes, appelés surfaces algébriques. Votre travail consiste à comprendre comment ces bâtiments se comportent sous la pluie, le vent et le soleil. En mathématiques, ce "météo" est régi par des règles très strictes appelées théorèmes de disparition (vanishing theorems).

Dans le monde "normal" (la caractéristique zéro, comme nos nombres habituels), ces règles sont solides comme du béton. Mais dans un monde étrange appelé caractéristique positive (où les mathématiques fonctionnent avec des nombres qui "tournent en boucle", comme dans une horloge), ces règles commencent à se fissurer. Des bâtiments qui devraient rester debout s'effondrent.

Voici ce que Fei Ye et Zhixian Zhu ont découvert dans leur article, expliqué simplement :

1. Le Problème : Les Règles qui Cassent

Pendant longtemps, les mathématiciens pensaient que certaines lois fondamentales (comme le théorème de Kodaira ou l'inégalité de Bogomolov) fonctionnaient partout.

• L'analogie : C'est comme si vous pensiez que tous les ponts résistaient au vent. Mais en caractéristique positive, on a découvert des ponts qui s'effondrent sans raison apparente.
• La conséquence : Des théorèmes puissants qui servent à construire d'autres théories (comme le programme des modèles minimaux) ne fonctionnent plus automatiquement.

2. La Solution : Trouver le Lien Manquant

Les auteurs ont voulu savoir : "Si une règle casse, est-ce que les autres règles cassent aussi ? Y a-t-il un lien entre elles ?"

Ils ont étudié deux géants de la théorie :

• Le Théorème de Bogomolov (L'Instabilité) : Il dit que si un bâtiment est trop "instable" (trop de poids, pas assez de fondations), il va s'effondrer d'une manière spécifique.
• Le Théorème de Miyaoka-Sakai : C'est une règle de sécurité qui dit : "Si un bâtiment est grand et instable, nous pouvons trouver un petit morceau de ce bâtiment (un diviseur) qui agit comme un contrepoids pour stabiliser le reste."

La découverte clé :
Les auteurs ont prouvé que ces deux théorèmes sont comme les deux faces d'une même pièce.

• Si vous acceptez le théorème de Miyaoka-Sakai, vous pouvez en déduire celui de Bogomolov.
• Inversement, si Bogomolov est vrai, alors Miyaoka-Sakai est vrai... mais avec une petite exception. Dans le monde "étrange" (caractéristique positive), Miyaoka-Sakai ne garantit pas toujours que tout le bâtiment est sec (la "disparition" totale), mais il garantit assez pour sauver la structure principale.

3. Les Zones de Sécurité : Où les Règles Fonctionnent Encore

Puisque les règles ne fonctionnent pas partout, les auteurs ont cartographié les zones sûres. Ils ont identifié des types de surfaces spécifiques où tout fonctionne bien, même dans ce monde étrange.

• Les Surfaces "Frobenius Split" (Les Bâtiments Résistants) : Imaginez des surfaces qui ont une armure spéciale contre la "pluie acide" de la caractéristique positive. Sur ces surfaces (comme les surfaces toriques ou certaines surfaces abéliennes), les règles de sécurité fonctionnent parfaitement.
• Les Surfaces Del Pezzo et Hirzebruch : Ce sont des formes géométriques très régulières (comme des pyramides ou des cylindres). Les auteurs ont prouvé que même dans le monde étrange, ces formes restent stables. Ils ont même donné une nouvelle preuve pour montrer pourquoi elles sont si solides.

4. L'Application : La Conjecture de Fujita

À la fin, ils utilisent ces découvertes pour répondre à une question célèbre : "Combien de fois faut-il ajouter des briques à un bâtiment pour qu'il soit parfaitement stable et utilisable ?" (C'est la conjecture de Fujita).
Grâce à leur travail, ils montrent que pour la plupart des surfaces (sauf quelques cas très pathologiques), on peut répondre à cette question avec précision.

En Résumé

Cet article est comme un guide de survie pour les architectes de l'univers mathématique en caractéristique positive.

1. Ils ont montré que deux règles de sécurité majeures sont intimement liées.
2. Ils ont identifié les "zones de sécurité" où ces règles fonctionnent toujours.
3. Ils ont prouvé que même si certaines règles parfaites ne fonctionnent plus, une version "affaiblie" suffit encore à construire des théories solides et à résoudre des problèmes complexes.

C'est une avancée majeure pour comprendre comment l'ordre mathématique peut persister même dans un environnement chaotique et étrange.

Résumé technique

Voici un résumé technique détaillé de l'article « On Vanishing Theorems and Bogomolov's Inequality on Surfaces in Positive Characteristic » par Fei Ye et Zhixian Zhu, rédigé en français.

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$). En caractéristique nulle, les théorèmes de nullité (vanishing theorems) tels que ceux de Kodaira, Kawamata-Viehweg et Mumford-Ramanujam, ainsi que le théorème d'instabilité de Bogomolov et l'inégalité de Bogomolov-Miyaoka-Yau, sont des piliers fondamentaux pour l'étude des variétés algébriques et du programme de modèles minimaux.

Cependant, depuis les contre-exemples de Raynaud (1978) et d'autres travaux ultérieurs, il est établi que ces théorèmes échouent fréquemment en caractéristique positive, en particulier pour les surfaces de type général ou les surfaces quasi-elliptiques de dimension de Kodaira 1.

Le problème central de cet article est d'établir les relations d'équivalence (ou d'implication) entre trois concepts clés en caractéristique positive :

1. Le théorème d'instabilité de Bogomolov.
2. Le théorème de Miyaoka-Sakai.
3. Les théorèmes de nullité (Kawamata-Viehweg, Mumford-Ramanujam).

Les auteurs cherchent à déterminer dans quelles conditions ces théorèmes restent valables et comment ils s'impliquent mutuellement dans ce contexte pathologique.

2. Méthodologie

Les auteurs adoptent une approche combinant la théorie des fibrés vectoriels, la décomposition de Zariski (notamment sa version entière et $\mathbb{Z}$-positive introduite par Enokizono) et l'analyse des morphismes de Frobenius.

• Approche cohomologique et fibrés : Ils utilisent la correspondance entre la non-nullité de $H^1(S, \mathcal{O}_S(-D))$ et l'existence de suites exactes non scindées de fibrés vectoriels de rang 2. Cela permet de relier les propriétés de cohomologie à l'instabilité des fibrés (théorème de Bogomolov).
• Décomposition de Zariski Intégrale : Ils s'appuient sur les travaux récents d'Enokizono concernant la décomposition intégrale des diviseurs big ($D = P_Z + N_Z$), où $P_Z$ est la partie $\mathbb{Z}$-positive. Cette décomposition est cruciale pour contourner les échecs des théorèmes de nullité classiques.
• Morphisme de Frobenius : L'étude de la partie nilpotente de Frobenius $H^1(S, \mathcal{O}_S)_n$ et des surfaces scindées par Frobenius ($F$-split) est centrale. Les auteurs exploitent le fait que pour ces surfaces, la cohomologie nilpotente s'annule, ce qui permet de restaurer certaines propriétés de nullité.
• Technique de "Reider" : Ils adaptent la méthode de Reider (via l'éclatement de points et l'analyse des diviseurs exceptionnels) pour obtenir des résultats sur la base libre et l'amplitude très ample des systèmes linéaires adjoints.

3. Contributions Clés et Résultats Principaux

A. Équivalence et Implications entre Théorèmes

Les auteurs clarifient la hiérarchie logique entre les théorèmes en caractéristique positive :

• Du Bogomolov au Miyaoka-Sakai : Ils montrent que le théorème d'instabilité de Bogomolov (version effective) implique une version effective du théorème de Miyaoka-Sakai.
• Du Miyaoka-Sakai au Bogomolov : Réciproquement, le théorème de Miyaoka-Sakai implique le théorème d'instabilité de Bogomolov, à condition d'avoir une propriété de nullité intermédiaire ($H^1(S, \mathcal{O}_S(-D+B)) = 0$).
• Version partielle : En l'absence de la conclusion de nullité complète, une version "faible" du théorème de Miyaoka-Sakai est suffisante pour déduire le théorème de nullité de Mumford-Ramanujam.

B. Identification de Classes de Surfaces Validant les Théorèmes

L'article identifie des classes de surfaces en caractéristique positive où les théorèmes de nullité et de Miyaoka-Sakai tiennent, même sans hypothèse de type général :

1. Surfaces Frobenius scindées ($F$-split) : Pour ces surfaces (incluant les surfaces toriques, les surfaces de Del Pezzo faibles en $p>5$, les surfaces réglées sur des courbes $F$-split, et les surfaces abéliennes ordinaires), le théorème de Kawamata-Viehweg est prouvé pour les diviseurs $\mathbb{Q}$-nefs et bigs.
2. Surfaces de Del Pezzo lisses : Les auteurs fournissent une nouvelle preuve du théorème de Kawamata-Viehweg sur les surfaces de Del Pezzo lisses, en utilisant la décomposition de Zariski intégrale et la positivité de la partie $P_Z$.
3. Surfaces de dimension de Kodaira $\kappa(S) \le 0$ : Pour les surfaces minimales de dimension de Kodaira 0 (K3, Enriques, abéliennes, hyperelliptiques) et les surfaces réglées, ils établissent le théorème de Miyaoka-Sakai (ou une variante faible).

C. Résultats de type Reider et Conjecture de Fujita

En appliquant le théorème de Miyaoka-Sakai, les auteurs obtiennent des résultats de type Reider pour les systèmes linéaires adjoints $K_S + D$ :

• Ils caractérisent les obstructions à la base libre et à l'amplitude très ample en termes de l'existence de diviseurs spécifiques $B$ satisfaisant certaines conditions d'intersection ($DB, B^2$).
• Ils confirment que la conjecture de Fujita (généralisée) tient pour les surfaces où $\kappa(S) \le 1$ (sauf les surfaces quasi-elliptiques de $\kappa=1$), car dans ces cas, le terme de correction $C_S$ dans l'inégalité de Bogomolov est nul.

D. Théorème de Nullité de Mumford-Ramanujam Généralisé

Une contribution majeure est la démonstration que le théorème de Mumford-Ramanujam ($H^1(S, \mathcal{O}_S(-D)) = 0$ pour $D$ nef et big) reste vrai pour les surfaces qui ne sont ni de type général, ni quasi-elliptiques de dimension de Kodaira 1. Cela est obtenu via une variante du théorème de Miyaoka-Sakai utilisant la cohomologie des formes différentielles et le morphisme de Frobenius.

4. Signification et Impact

Cet article est significatif pour plusieurs raisons :

1. Unification théorique : Il établit un cadre cohérent reliant l'instabilité des fibrés, les théorèmes de nullité et la géométrie des diviseurs en caractéristique positive, là où ces liens étaient auparavant fragmentés ou inconnus.
2. Contournement des contre-exemples : En identifiant précisément les classes de surfaces (comme les surfaces $F$-split ou de Del Pezzo) où les théorèmes classiques échouent moins souvent, il offre des outils robustes pour l'étude de ces variétés.
3. Nouvelles preuves : La nouvelle preuve du théorème de Kawamata-Viehweg sur les surfaces de Del Pezzo lisses, indépendante des méthodes de réduction modulo $p$ complexes, démontre la puissance de l'approche par décomposition de Zariski intégrale.
4. Outils pour le Programme de Modèles Minimaux (MMP) : Les résultats sur la conjecture de Fujita et les théorèmes de nullité sont des prérequis essentiels pour le développement du MMP en caractéristique positive, un domaine en pleine expansion mais encore limité par les pathologies de la caractéristique $p$.

En résumé, Ye et Zhu démontrent que bien que les théorèmes de nullité échouent en général en caractéristique positive, ils peuvent être restaurés ou adaptés via des conditions structurelles spécifiques (scindage de Frobenius, nature de la surface) et des versions modifiées des théorèmes de Miyaoka-Sakai, ouvrant ainsi de nouvelles perspectives pour la géométrie des surfaces en caractéristique positive.