The map to the orbifold base need not be an orbifold map

Cet article présente un contre-exemple explicite montrant que la fibration d'une variété projective lisse vers sa base orbifold au sens de Campana n'est pas nécessairement un morphisme d'orbifolds, tout en établissant que cette propriété est vraie sous certaines conditions de régularité et en discutant des implications de ce résultat pour les conjectures de Campana sur la densité des courbes entières et des points entiers.

L'essentiel

🗺️ Le Guide Perdu : Quand la carte ne mène pas au bon endroit

Imaginez que vous êtes un explorateur géométrique. Vous avez une carte (une variété mathématique) et vous essayez de comprendre comment elle est reliée à un autre territoire. Le but de cet article est de résoudre un petit casse-tête qui embête les mathématiciens depuis un moment : est-ce que la "carte officielle" d'un voyage nous donne toujours les bonnes règles pour voyager ?

1. Le Contexte : Deux façons de voir le monde

Dans le monde des mathématiques avancées (la géométrie algébrique), il existe deux façons de décrire un paysage avec ses obstacles :

• La "Base Orbifolde" (La Carte Brute) : C'est une carte qui note simplement où le terrain est "tordu" ou "replié" (comme un papier froissé). Elle dit : "Attention, ici, il y a un pli".
• Les "Paires C" (Les Règles du Voyageur) : C'est un ensemble de règles strictes pour voyager. Si vous voulez traverser une zone marquée comme "danger", vous devez le faire d'une manière très spécifique (par exemple, en glissant le long de la paroi plutôt qu'en sautant).

L'idée générale était : "Si je trace ma carte brute (la base orbifolde), est-ce que les règles de voyage (les paires C) s'appliquent automatiquement ?"
La réponse intuitive était "Oui". Finn Bartsch dit : "Pas toujours !"

2. Le Problème : La carte qui ment (Théorème A)

L'auteur construit un exemple concret (un voyage entre des formes géométriques complexes) pour montrer que la carte peut être trompeuse.

L'analogie du tunnel :
Imaginez que vous voyagez d'une montagne (X) vers une plaine (Y).

• Parfois, votre chemin traverse des tunnels qui se referment sur eux-mêmes.
• La "carte brute" (la base orbifolde) dit : "Il y a un obstacle ici, donc vous devez respecter une règle spéciale."
• Mais en réalité, votre chemin a été si tordu par les tunnels que vous ne pouvez pas appliquer la règle spéciale ! Vous êtes coincé.

En termes mathématiques, l'auteur montre qu'il existe des voyages (des applications entre variétés) où la "base orbifolde" existe, mais où le voyageur ne peut pas respecter les règles de la "paire C". La carte est là, mais elle ne fonctionne pas comme un guide valide pour ce trajet précis. C'est comme si le GPS vous disait "tournez à gauche" alors que le pont est effondré.

3. La Solution : Quand la carte fonctionne (Théorème B)

Alors, faut-il abandonner ? Non. L'auteur dit : "Cela ne se produit que si le voyage est 'sale' ou 'mal organisé'."

Il introduit un concept clé : le voyage "propre" (neat).

• Voyage sale : Vous écrasez des montagnes entières en des points minuscules (comme écraser une colline en un seul point). C'est là que la carte échoue.
• Voyage propre : Vous gardez la structure du terrain. Vous ne réduisez pas de grandes surfaces en points minuscules de manière désordonnée.

La morale : Si votre voyage est "propre" (neat) et que les obstacles sur la carte sont bien rangés (comme des lignes droites qui se croisent proprement), alors la carte fonctionne ! Vous pouvez utiliser les règles de la "paire C" sans problème. C'est une garantie de sécurité pour les mathématiciens.

4. Pourquoi c'est important ? (Les Applications)

Pourquoi se soucier de ces cartes et de ces règles ? Parce qu'elles permettent de prédire deux choses fascinantes sur les formes géométriques :

• Les courbes entières (Le voyageur infini) : Imaginez un voyageur qui marche pour toujours sur votre forme géométrique sans jamais s'arrêter.

  • Si la forme est "spéciale" (Campana-special), le voyageur peut errer partout, couvrant tout le territoire.
  • Si la forme est "générale" (comme un paysage complexe et accidenté), le voyageur est bloqué dans une petite zone.
  • L'article dit : "Si vous acceptez que les règles des paires C fonctionnent (grâce à notre théorème sur les voyages propres), alors vous pouvez prouver que les formes qui laissent errer un voyageur infini sont exactement les formes 'spéciales'." C'est un pont vers une grande conjecture (Green-Griffiths-Lang).

• Les points entiers (Les trésors cachés) : C'est la version "numérique" du problème. Au lieu de marcher, on cherche des points entiers (des coordonnées entières) sur la forme.

  • Si la forme est "générale", les points entiers sont rares et dispersés.
  • Si la forme est "spéciale", on peut en trouver une infinité qui couvrent tout le territoire.
  • Là encore, la validité de nos "règles de voyage" (paires C) permet de relier la géométrie à la théorie des nombres (conjecture de Bombieri-Lang).

En résumé

Finn Bartsch nous dit :

1. Attention ! Parfois, la carte mathématique que l'on utilise pour décrire les obstacles d'un voyage ne correspond pas aux règles de voyage. C'est un piège.
2. Mais rassurez-vous : Si le voyage est bien organisé (propre), la carte est fiable.
3. Le grand but : En s'assurant que la carte est fiable dans les bons cas, on peut enfin prouver des théories majeures sur la façon dont les formes géométriques se comportent, que ce soit pour des voyages infinis ou pour la recherche de nombres cachés.

C'est un travail de "plomberie mathématique" : l'auteur a trouvé une fuite dans le système, l'a colmatée, et a montré que maintenant, toute la maison (la théorie) tient debout.

Résumé technique

Voici un résumé technique détaillé de l'article « THE MAP TO THE ORBIFOLD BASE NEED NOT BE AN ORBIFOLD MAP » de Finn Bartsch, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans la théorie des variétés spéciales et des orbifolds développée par F. Campana. Le cœur du problème réside dans la relation entre deux notions de morphismes vers des paires $(Y, \Delta)$, où $Y$ est une variété et $\Delta$ un diviseur $\mathbb{Q}$-effectif :

1. La base orbifold $\Delta_f$ : Pour un morphisme dominant $f : X \to Y$ entre variétés lisses, Campana définit une « base orbifold » $\Delta_f$ sur $Y$. Ce diviseur encode les fibres non réduites de $f$. Si $f^*D = \sum a_i D_i + R$, alors $\Delta_f = \sum_D (1 - \frac{1}{m(f,D)})D$, où $m(f,D)$ est l'infimum des coefficients $a_i$.
2. Les morphismes de paires C (C-pair morphisms) : Une application $g : T \to (Y, \Delta)$ est un morphisme de paires C si, pour tout diviseur premier $D$ dans le support de $\Delta$, les coefficients de l'image réciproque $g^*D$ sont au moins égaux à la multiplicité de $D$ dans $\Delta$ (sauf si $g$ factorise à travers $D$).

Le problème central : Il est bien connu que si $f : X \to (Y, \Delta)$ est un morphisme de paires C, alors $\Delta \le \Delta_f$. La question inverse, cruciale pour les conjectures de Campana, est de savoir si le morphisme sous-jacent $f : X \to Y$ induit toujours un morphisme de paires C vers sa propre base orbifold, c'est-à-dire si $f : X \to (Y, \Delta_f)$ est un morphisme de paires C.

L'auteur démontre que la réponse est négative dans le cas général, même pour des morphismes propres, surjectifs et à fibres connexes entre variétés projectives lisses. Cela remet en cause certaines étapes implicites dans la littérature concernant la caractérisation algébrique des variétés admettant des courbes entières denses ou des points entiers potentiellement denses.

2. Méthodologie

L'article procède en trois temps méthodologiques :

• Construction de contre-exemples explicites : L'auteur construit des fibrations spécifiques entre variétés lisses où la condition de morphisme de paire C échoue. L'obstruction provient du fait que le morphisme $f$ contracte certains diviseurs de $X$ vers des sous-ensembles de codimension $\ge 2$ dans $Y$. Dans la définition de $\Delta_f$, ces diviseurs contractés sont ignorés (car ils ne dominent pas les diviseurs de $Y$), mais ils peuvent créer des singularités ou des comportements de ramification qui violent la condition de multiplicité requise pour un morphisme de paire C.
• Analyse par composition et sections : Pour prouver que le morphisme n'est pas un morphisme de paire C, l'auteur utilise une stratégie de réduction. Il compose le morphisme $f$ avec une projection vers une courbe. Si $f$ était un morphisme de paire C, la composition le serait aussi. Cependant, il montre que la composition a une base orbifold triviale (grâce à l'existence d'une section), ce qui crée une contradiction avec la non-trivialité de la base orbifold de $f$.
• Utilisation des différentielles symétriques : Pour établir des conditions suffisantes (Théorème B), l'auteur utilise la théorie des différentielles symétriques logarithmiques associées aux paires C (introduites par Campana, Kebekus et Rousseau). Il montre que si le morphisme est « propre » (neat) et que la base orbifold a un support à croisements normaux simples (snc), alors le tiré en arrière des différentielles symétriques se comporte correctement, garantissant la propriété de morphisme de paire C.

3. Contributions et Résultats Principaux

A. Contre-exemples (Théorème A)

L'auteur fournit deux exemples explicites montrant que la surjectivité et la connexité des fibres ne suffisent pas :

• Exemple 2.1 (Surfaces) : Un revêtement double d'une surface produit $C \times C$ par une involution, résolu en $\tilde{X}$. La contraction de diviseurs exceptionnels vers des points (codimension 2) dans la base fait échouer la condition de morphisme de paire C.
• Exemple 2.5 (Théorème A) : Une fibration $f : \tilde{X} \to Y$ d'une variété projective lisse de dimension 3 sur une surface projective lisse $Y$, avec fibres connexes.
  • Résultat : Le morphisme $f : \tilde{X} \to (Y, \Delta_f)$ n'est pas un morphisme de paire C.
  • Cause : Le diviseur $R$ dans la décomposition de $f^*D$ (les composantes contractées) contient des termes dont les coefficients sont strictement inférieurs à l'infimum $m(f,D)$ requis par la définition de $\Delta_f$.

B. Condition Suffisante (Théorème B)

L'auteur identifie une classe de morphismes pour lesquels la propriété est vraie :

• Hypothèses : $f : X \to Y$ est un morphisme dominant entre variétés lisses, $Y$ est quasi-projective, $f$ est propre (neat) (c'est-à-dire qu'il existe une modification birationnelle de $X$ telle que tout diviseur contracté par $f$ soit aussi contracté par cette modification), et le support de $\Delta_f$ est à croisements normaux simples (snc).
• Résultat : Sous ces hypothèses, $f$ est un morphisme de paire C vers $(Y, \Delta_f)$.
• Preuve : Elle repose sur l'extension du tiré en arrière des formes différentielles symétriques $S^n \Omega^1_{(Y, \Delta_f)}$ vers $Sym^n \Omega^1_X$.

C. Implications pour les Conjectures (Théorèmes C et D)

L'article relie ces résultats techniques aux conjectures de distribution de points et de courbes :

• Théorème C (Courbes entières) : En supposant la conjecture faible de Green-Griffiths-Lang pour les paires C, toute variété admettant une courbe entière de Zariski-dense est « Campana-spéciale » (c'est-à-dire qu'elle ne possède pas de fibration de type général vers une paire C).
• Théorème D (Points entiers) : En supposant la conjecture faible de Bombieri-Lang pour les paires C, toute variété admettant un ensemble potentiellement dense de points entiers est « Campana-spéciale ».

La démonstration de ces théorèmes nécessite impérativement que le morphisme vers la base orbifold soit un morphisme de paire C, ce qui justifie la nécessité du Théorème B pour rendre ces implications rigoureuses dans le cas des morphismes propres.

4. Signification et Impact

1. Correction d'une lacune dans la littérature : L'article clarifie que l'assertion « le morphisme vers la base orbifold est toujours un morphisme de paire C » est fausse sans hypothèses supplémentaires. Cela invalide certaines preuves implicites dans la littérature antérieure qui supposaient cette propriété sans la vérifier.
2. Rigueur des conjectures de Campana : Il établit un pont rigoureux entre la géométrie des variétés spéciales et les conjectures de Green-Griffiths-Lang et Bombieri-Lang. Il montre que la validité de ces conjectures pour les variétés classiques dépend de leur validité pour les paires C, à condition de pouvoir passer à un modèle « propre » (neat) où la propriété de morphisme de paire C est garantie.
3. Outils techniques : L'utilisation systématique des différentielles symétriques logarithmiques pour caractériser les morphismes de paires C offre un outil puissant pour l'analyse des fibrations en géométrie algébrique complexe et arithmétique.

En résumé, cet article pose les fondations nécessaires pour que les conjectures de Campana sur la distribution des courbes entières et des points rationnels/entiers soient formulées et prouvées de manière rigoureuse, en distinguant clairement les cas pathologiques des cas bien comportés (morphisms propres).