Bornes explicites sur les surfaces feuilletées et le problème de Poincaré

Informations fondamentales

• ID de l'article: 2511.08388
• Titre: Explicit bounds on foliated surfaces and the Poincaré problem
• Auteur: Stefania Vassiliadis
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 11 novembre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2511.08388
• Institution: King's College London

Résumé

Cet article résout le problème de Poincaré (formulation de Cerveau et Lins Neto) en établissant une borne linéaire en fonction du genre $g$ pour le degré de la feuille générale d'une structure feuilletée de type général. L'auteur étudie la géométrie birationnelle des structures feuilletées par le biais du programme du modèle minimal (MMP), en étendant les méthodes de Spicer-Svaldi et Pereira-Svaldi. Elle étudie l'ensemble des seuils de pseudo-effectivité des diviseurs adjoints feuilletés, prouve qu'ils satisfont la condition de chaîne décroissante (DCC) et établit des bornes inférieures universelles explicites. Ces résultats produisent des énoncés birationnels effectifs pour les diviseurs adjoints de la forme $K_{\mathcal{F}} + \tau K_X$.

Contexte et motivation de la recherche

Problème fondamental

La recherche résout le problème de Poincaré classique : étant donnée une structure feuilletée $\mathcal{F}$ sur $\mathbb{P}^2$, peut-on borner le degré des solutions algébriques (feuilles) en fonction du degré de la structure feuilletée et du genre des solutions ? Ce problème a été posé pour la première fois par Poincaré en 1891 et constitue un problème central dans la théorie des équations différentielles ordinaires algébriquement intégrables.

Importance du problème

1. Signification théorique : Comprendre quand les équations différentielles ordinaires algébriquement intégrables admettent des solutions algébriquement intégrables est une question fondamentale de la géométrie algébrique
2. Signification géométrique : Fournit une compréhension profonde de la géométrie birationnelle des structures feuilletées
3. Valeur applicative : Fournit des outils quantitatifs pour la classification et l'étude des propriétés des structures feuilletées

Limitations des méthodes existantes

1. Pereira (2002) : Prouve que le degré de la feuille générale d'une structure feuilletée de type général peut être borné, mais la borne dépend du degré de la structure feuilletée et du genre, sans donner de borne explicite
2. Pereira-Svaldi (2019) : Pour les fibrés non équivariants de genre $g \geq 2$, donne une borne explicite mais dépendant exponentiellement du genre $g$
3. Obstacle fondamental : Absence de bornes universelles pour les paires adjointes feuilletées $(n,m) \in \mathbb{Z}_{>0} \times \mathbb{Z}_{>0}$ assurant que $h^0(X, K_{\mathcal{F}}^m \otimes K_X^n)$ est non nul

Motivation de la recherche

La motivation fondamentale de cet article est de fournir la première réponse explicite au Problème 1.1, c'est-à-dire de trouver des seuils universels garantissant la non-nullité des diviseurs adjoints et la birationnalité, améliorant ainsi la borne exponentielle de Pereira-Svaldi en une borne linéaire en fonction du genre $g$.

Contributions principales

Les principales contributions de cet article incluent :

1. Propriété DCC des seuils de pseudo-effectivité (Théorème 5.5) : Prouve que l'ensemble des seuils de pseudo-effectivité $R_{2,\eta,I,\epsilon}$ satisfait la condition de chaîne décroissante, résultat fondamental pour l'étude de la géométrie birationnelle des structures feuilletées
2. Bornes inférieures universelles explicites (Théorèmes 5.11 et 5.28) :
   • Pour les structures feuilletées canoniques sur les surfaces lisses, le seuil de pseudo-effectivité satisfait $\tau(X,\mathcal{F}) \geq \tau_0 := \frac{1}{3(2(2(3(2 \cdot 142151296)! + 1))^{128(3(2\cdot142151296)!+1)^5})!}$
   • Fournit une constante explicite $M_0(\epsilon)$ garantissant que $|m(K_{\mathcal{F}} + \epsilon K_X)|$ définit une application birationnelle
3. Existence du MMP adjoint (Théorème 4.4) : Pour tout $\epsilon > 0$, prouve l'existence du $K_{(X,\mathcal{F},\Delta)_\epsilon}$-MMP avec contrôle des singularités, étendant le résultat de SS23 pour $\epsilon \ll 1$
4. Solution explicite du problème de Poincaré (Théorème 6.1) : Pour les structures feuilletées sur $\mathbb{P}^2$ birationnellement équivalentes à des fibrés non équivariants de genre $g \geq 2$, le degré de la feuille générale $F$ satisfait $\deg F \leq M_0(\tau_0)\left(\frac{1}{\tau_0} + 1\right)(4g-4) \cdot \frac{1}{\tau_0} \deg \mathcal{F}$ Ceci est une borne linéaire en $g$, améliorant significativement la borne exponentielle précédente
5. Innovations techniques :
   • Extension du cadre des structures feuilletées adjointes à tout $\epsilon > 0$
   • Établissement de la théorie des singularités log-canoniques adjointes $\epsilon$
   • Développement du théorème du cône et du théorème de contraction pour les surfaces feuilletées

Explication détaillée de la méthode

Définition de la tâche

Étant donné un triplet feuilleté $(X, \mathcal{F}, \Delta)$, où :

• $X$ est une surface projective normale
• $\mathcal{F}$ est une structure feuilletée de rang un
• $\Delta \geq 0$ est un diviseur frontière

Objectif fondamental : Étudier la géométrie birationnelle du diviseur adjoint $K_{(X,\mathcal{F},\Delta)_\epsilon} := K_{\mathcal{F}} + \Delta^{n-inv} + \epsilon(K_X + \Delta^{n-inv})$, en particulier :

1. Déterminer le seuil de pseudo-effectivité $\tau(X,\mathcal{F},\Delta) := \sup\{t \in \mathbb{R} | K_{(X,\mathcal{F},\Delta)_t} \text{ est pseudo-effectif}\}$
2. Trouver une constante explicite $m$ garantissant que $|m(K_{\mathcal{F}} + \epsilon K_X)|$ définit une application birationnelle

Cadre théorique : structures feuilletées adjointes

Idée fondamentale : Au lieu d'étudier séparément le diviseur canonique $K_{\mathcal{F}}$ de la structure feuilletée, on considère des diviseurs de la forme $K_{\mathcal{F}} + \epsilon K_X$ (avec $0 < \epsilon \ll 1$), ce qui permet d'utiliser les résultats classiques sur $K_X$.

Diviseur log-canonique adjoint $\epsilon$ (Définition 2.11) : $K_{(X,\mathcal{F},\Delta)_\epsilon} := K_{\mathcal{F}} + \Delta^{n-inv} + \epsilon(K_X + \Delta^{n-inv})$

Singularités log-canoniques adjointes $\epsilon$ (Définition 2.12) : Pour tout morphisme birationnel $\pi: X' \to X$, $K_{(X',\mathcal{F}',\Delta')_\epsilon} = \pi^* K_{(X,\mathcal{F},\Delta)_\epsilon} + E$ où $E = \sum a_i E_i$ est $\pi$-exceptionnel, et $a_i \geq -(i_{\mathcal{F}}(E_i) + \epsilon)$

Technique fondamentale : MMP adjoint

Théorème 4.4 (Existence du MMP adjoint) : Pour tout $\epsilon > 0$ et tout triplet feuilleté $(X,\mathcal{F},\Delta)$ satisfaisant les conditions, il existe un $K_{(X,\mathcal{F},\Delta)_\epsilon}$-MMP : $X \xrightarrow{f_0} X_0 \xrightarrow{f_1} X_1 = Y$

où :

• Première phase $f_0$ : Contraction de toutes les courbes $K_{\mathcal{F}} + \Delta^{n-inv}$-négatives
• Deuxième phase $f_1$ : Contraction de toutes les courbes $K_{X_0} + \Delta_0$-négatives et $K_{\mathcal{F}_0} + \Delta_0^{n-inv}$-positives

Propriétés clés :

1. Si $K_{(X,\mathcal{F},\Delta)_\epsilon}$ est pseudo-effectif, alors $K_{(Y,\mathcal{F}',\Delta')_\epsilon}$ est nef
2. Si $K_{(X,\mathcal{F},\Delta)_\epsilon}$ n'est pas pseudo-effectif, alors $Y$ admet une contraction de type fibre
3. Contrôle des singularités : Si $(X,\Delta)$ est $\eta$-lc, alors $(X_i, \Delta_i)$ est $\eta' = \frac{\epsilon\eta}{\epsilon+1}$-lc

Innovations techniques :

• Extension à tout $\epsilon > 0$ (SS23 ne traite que $\epsilon \ll 1$)
• Décomposition en deux phases via la technique du Lemme 3.8
• Contrôle des singularités de l'espace de base via la Proposition 3.10

Étude des seuils de pseudo-effectivité

Définition de l'ensemble des seuils de pseudo-effectivité (5.4.3) : $R_{2,\eta,I,\epsilon} := \{\tau(X,\mathcal{F},\Delta) | \dim X = 2, (X,\mathcal{F},\Delta) \text{ satisfait les conditions}\}$

Théorème 5.5 (Propriété DCC) :

1. Si $I \subset [0,1]$ est un ensemble fini, alors $R_{2,\eta,I,\epsilon} \cap (0,\delta)$ est fini pour tout $\delta > 0$
2. Si $I \subset [0,1]$ satisfait DCC, alors $R_{2,\eta,I,\epsilon}$ satisfait DCC

Stratégie de preuve :

• Exécution du $K_{(X,\mathcal{F},\Delta)_\tau}$-MMP donnant $\phi: X \to Y$
• Application de la formule d'adjonction sur la fibre générale $F$ : $K_F + \Delta'|_F + \frac{1}{\tau}(K_{\mathcal{G}} + \Delta'^{n-inv})|_F \equiv_{\mathbb{R}} 0$
• Intersection avec un diviseur très ample $A$, donnant que $\frac{1}{\tau}$ appartient à un ensemble ACC

Établissement des bornes inférieures explicites

Théorème 5.11 (Borne inférieure explicite du seuil de pseudo-effectivité) : Pour les structures feuilletées log-canoniques sur les surfaces $\eta$-lc, $\tau(X,\mathcal{F},\Delta) \geq \tau'(\eta) := \frac{1}{3 \cdot \left\lfloor 2\left(\frac{2\eta\tau}{\tau+1}\right)^{(2)^7/(\frac{\eta\tau}{\tau+1})^5}\right\rfloor!}$

Stratégie de preuve :

1. Test initial : Considération de $K_{\mathcal{F}} + \frac{1}{6}(K_X + \Delta)$
2. Analyse du MMP : Exécution du $K_{(X,\mathcal{F},\Delta)_{1/6}}$-MMP
3. Classification des cas (Proposition 5.9) :
   • Si $K_X + \Delta$ est pseudo-effectif, alors $\tau = +\infty$
   • Si le MMP se termine par une fibration sur une courbe, alors $\tau > \frac{1}{2}$ (Lemme 5.2)
   • Si le MMP se termine sur une surface de Fano, utilisation de la borne de l'indice de Cartier (Lemme 5.8)
4. Décomposition de Zariski (Proposition 4.7) : Analyse des types de courbes contractées par le MMP
5. Amélioration récursive : Amélioration de la borne inférieure par résolution partielle et réexécution du MMP

Lemmes clés :

• Lemme 5.8 : Utilisation des résultats d'Alexeev-Mori pour borner l'indice de Cartier des surfaces de Fano
• Lemmes 3.5-3.7 : Formule d'adjonction et résolution partielle des centres log-canoniques

Birationnalité effective

Théorème 5.28 (Constante de birationnalité explicite) : Pour $\epsilon < \tau_0$, $|m(K_{\mathcal{F}} + \epsilon K_X)|$ définit une application birationnelle quand :

• $K_X$ n'est pas pseudo-effectif : $m \geq M(\eta,\epsilon) := 8!\left(2 + 8 \cdot \frac{1}{\epsilon} \cdot \left\lfloor 2\left(\frac{2\eta\epsilon}{\epsilon+1}\right)^{(2)^7/(\frac{\eta\epsilon}{\epsilon+1})^5}\right\rfloor!\right)$
• $K_X$ est pseudo-effectif et $\kappa(K_X) \neq 0$ : $m > v(\eta) \cdot 42 \cdot 84^{128 \cdot 42^5 + 168}$

Méthode de preuve :

1. Méthode de borne inférieure du volume (Lemme 5.16) : Utilisation des résultats de Birkar ; si $\text{Vol}(K_{\mathcal{F}} + \epsilon K_X) \geq v$, alors $m \geq \sqrt{v(\eta)/v}$ assure la birationnalité
2. Classification par dimension de Kodaira :
   • $\kappa(K_X) = 2$ : Utilisation de la borne d'Alexeev-Mori sur le volume (Lemme 5.18)
   • $\kappa(K_X) = 1$ : Utilisation du théorème d'annulation de Kawamata-Viehweg (Lemme 5.26)
   • $\kappa(K_X) = 0$ : La surface n'est pas rationnelle
   • $K_X$ n'est pas pseudo-effectif : Terminaison sur une surface de Fano, utilisation des résultats de Kollár (Lemme 5.19)
3. Technique du produit de Viehweg (Lemme 5.23) : Pour le cas des fibrés, étude du produit fibré $X^k := X \times_Y \cdots \times_Y X$

Configuration expérimentale

Cet article est un pur travail de mathématiques théoriques (géométrie algébrique) et ne comporte pas de configuration expérimentale, ensemble de données ou expériences informatiques. Tous les résultats sont obtenus par des preuves mathématiques rigoureuses.

Résultats principaux

Résumé des résultats théoriques

1. Borne inférieure universelle du seuil de pseudo-effectivité : $\tau_0 = \frac{1}{3(2(2(3(2 \cdot 142151296)! + 1))^{128(3(2\cdot142151296)!+1)^5})!}$ Ceci est un nombre positif extrêmement petit mais explicite
2. Constantes de birationnalité :
   • Cas de Fano : $M_0(\epsilon) = 8!\left(2 + 8 \cdot \frac{1}{\epsilon} \cdot \left\lfloor 2\left(\frac{2\epsilon}{1+\epsilon}\right)^{(2)^7/(\frac{\epsilon}{1+\epsilon})^5}\right\rfloor!\right)$
   • Cas de type général : $M_0 = 64 \cdot 193^2 \cdot 42 \cdot 84^{128 \cdot 42^5 + 168}$
3. Solution du problème de Poincaré (Théorème 6.1) : Pour les structures feuilletées sur $\mathbb{P}^2$ birationnellement équivalentes à des fibrés non équivariants de genre $g \geq 2$, $\deg F \leq M_0(\tau_0)\left(\frac{1}{\tau_0} + 1\right)(4g-4) \cdot \frac{1}{\tau_0} \deg \mathcal{F}$
   Amélioration clé : Ceci est une borne linéaire en $g$, tandis que la borne de Pereira-Svaldi (2019) croît exponentiellement

Résultats techniques

1. Théorie complète du MMP adjoint (Théorème 4.4) :
   • Existence pour tout $\epsilon > 0$
   • Décomposition explicite en deux phases
   • Contrôle des singularités : $\eta$-lc $\to$ $\frac{\epsilon\eta}{\epsilon+1}$-lc
2. Propriété DCC (Théorème 5.5) : L'ensemble des seuils de pseudo-effectivité satisfait la condition de chaîne décroissante
3. Théorème du cône et théorème de contraction (Théorème 4.1) : Extension de la théorie du MMP des surfaces à la situation des structures feuilletées

Vérification par des exemples

Exemple 5.4 : Pour une structure feuilletée de degré $d$ sur $\mathbb{P}^2$, $\tau = \frac{d-1}{3}$ car $K_{\mathcal{F}} = (d-1)H$, $K_{\mathbb{P}^2} = -3H$, où $H$ est la classe de la droite. Ceci valide la théorie.

Travaux connexes

Développement historique

1. Poincaré (1891) : Pose le problème pour la première fois, prouve que borner le degré de la feuille générale suffit à déterminer l'existence d'une première intégrale rationnelle
2. Pereira (2002) : Prouve que le degré de la feuille générale d'une structure feuilletée de type général peut être borné, mais ne donne pas de borne explicite
3. Pereira-Svaldi (2019) :
   • Donne une borne explicite mais dépendant exponentiellement du genre
   • Introduit le cadre des structures feuilletées adjointes
   • Pose le Problème 1.1 comme clé pour améliorer la borne
4. Spicer-Svaldi (2023) :
   • Développe la théorie des structures feuilletées adjointes pour les structures feuilletées de rang un
   • Prouve l'existence du MMP adjoint pour $\epsilon \ll 1$
   • Prouve la propriété DCC des seuils de pseudo-effectivité (pour $\epsilon \ll 1$)
5. Cascini-Spicer (2021, 2025) :
   • Établissent le MMP pour les structures feuilletées en dimension trois
   • Développent la théorie des corrections F-dlt
   • Formule d'adjonction

Positionnement de cet article

Cet article est le premier travail donnant une réponse explicite au Problème 1.1, avec les innovations principales suivantes :

1. Extension théorique : Extension des résultats de SS23 de $\epsilon \ll 1$ à tout $\epsilon > 0$
2. Bornes explicites : Fournit des expressions numériques explicites pour toutes les constantes clés
3. Amélioration linéaire : Améliore la borne exponentielle en une borne linéaire
4. Cadre complet : Établit une chaîne théorique complète du MMP à la birationnalité effective

Techniques connexes

1. Théorie du MMP : Kollár-Mori, Fujino et autres pour le MMP des surfaces
2. Théorie des surfaces de Fano : Résultats d'Alexeev-Mori pour les bornes
3. Théorie de l'adjonction : Théorie de la positivité faible de Viehweg
4. Birationnalité effective : Théorie ACC de Birkar, Hacon-McKernan-Xu

Conclusion et discussion

Conclusions principales

1. Résolution complète du problème de Poincaré : Fournit une solution explicite du problème de Poincaré dans la formulation de Cerveau-Lins Neto, avec une borne linéaire en fonction du genre $g$
2. Théorie complète des structures feuilletées adjointes :
   • Existence du MMP adjoint pour tout $\epsilon > 0$
   • Propriété DCC des seuils de pseudo-effectivité
   • Borne inférieure universelle explicite $\tau_0$
3. Birationnalité effective : Pour $\epsilon < \tau_0$, fournit une constante explicite $M_0(\epsilon)$ garantissant que $|m(K_{\mathcal{F}} + \epsilon K_X)|$ est birationnel

Limitations

L'auteur indique explicitement dans l'introduction :

1. Les constantes ne sont pas optimales : "While the constants above are far from optimal"
   • $\tau_0 \approx 10^{-10^{10^9}}$, extrêmement petit
   • $M_0$ implique des factorielles multiples, extrêmement grand
   • Des bornes meilleures peuvent exister en pratique
2. Limitations techniques :
   • S'applique uniquement aux surfaces (dimension 2)
   • Nécessite l'hypothèse de singularités log-canoniques adjointes $\epsilon$
   • Les résultats sont plus forts pour le cas $\Delta^{n-inv} = 0$
3. Dépendances méthodologiques :
   • Dépend fortement des bornes d'Alexeev-Mori pour les surfaces de Fano (elles-mêmes non optimales)
   • Utilise les résultats de birationnalité effective de Birkar (impliquant de grandes constantes)
   • La borne de l'indice de Cartier provient d'arguments combinatoires (croissance factorielle)

Directions futures

Les directions de recherche suggérées par l'article :

1. Optimisation des constantes :
   • Amélioration de la borne inférieure de $\tau_0$
   • Réduction du taux de croissance de $M_0$
   • Recherche de méthodes d'analyse plus fines
2. Généralisation en dimension supérieure :
   • Extension des résultats à la dimension trois ou plus
   • Combinaison avec la théorie des structures feuilletées algébriquement intégrables de CHL+24
   • Développement du MMP adjoint en dimension supérieure
3. Extensions applicatives :
   • Étude des bornes de degré pour d'autres types de structures feuilletées
   • Applications aux systèmes dynamiques
   • Combinaison avec la théorie des espaces de modules
4. Approfondissement théorique :
   • Compréhension de la nature précise des seuils de pseudo-effectivité
   • Étude de l'espace de modules des singularités adjointes $\epsilon$
   • Développement d'une théorie de classification plus fine

Évaluation approfondie

Avantages

1. Percée théorique

• Résolution d'un problème ouvert de longue date : Version explicite du problème de Poincaré (1891)
• Amélioration clé : De la borne exponentielle à la borne linéaire, progrès substantiel
• Théorie complète : Établit un cadre complet du MMP à la birationnalité effective

2. Innovations techniques

• Extension du MMP adjoint : De $\epsilon \ll 1$ à tout $\epsilon > 0$, difficulté technique significativement accrue
• Contrôle des singularités : La Proposition 3.10 fournit un contrôle précis des singularités de l'espace de base lors du MMP
• Technique de décomposition : Le Lemme 3.8 pour la décomposition du MMP est une innovation clé
• Analyse de la décomposition de Zariski : La Proposition 4.7 fournit une classification fine des courbes contractées

3. Caractère explicite

• Toutes les constantes explicites : Bien que non optimales, toutes sont calculables
• Vérifiabilité : Les prédictions théoriques peuvent être vérifiées sur des exemples concrets (comme l'Exemple 5.4)
• Potentiel algorithmique : Peut en principe être implémenté comme algorithme

4. Rigueur mathématique

• Preuve complète : Tous les résultats principaux ont des preuves détaillées
• Clarté logique : La chaîne logique des définitions de base au théorème final est complète
• Citations précises : Les références aux travaux antérieurs sont précises et bien comparées

Insuffisances

1. Praticité des constantes

• Extrêmement non optimales : $\tau_0$ est si petit que c'est pratiquement inutilisable, $M_0$ est si grand qu'il est impossible à calculer
• Absence de discussion sur l'amélioration : Pas de discussion approfondie sur comment améliorer ces constantes
• Manque d'exemples numériques : Pas d'exemples concrets de calcul pour des structures feuilletées spécifiques

2. Complexité technique

• Seuil de lecture élevé : Nécessite une solide formation en géométrie algébrique (MMP, théorie des structures feuilletées)
• Preuves longues : Certaines étapes de preuve pourraient être plus concises
• Notation lourde : L'abondance de notation peut affecter la lisibilité

3. Limitations des résultats

• Restriction dimensionnelle : S'applique uniquement aux surfaces
• Hypothèses techniques : Nécessite l'hypothèse de singularités log-canoniques adjointes $\epsilon$
• Généralité insuffisante : Les résultats sont plus faibles pour le cas $\Delta^{n-inv} \neq 0$

4. Présentation des applications

• Exemples insuffisants : Un seul exemple simple (structures feuilletées sur $\mathbb{P}^2$)
• Calculs manquants : Pas de calcul effectif pour des structures feuilletées concrètes
• Intuition géométrique : Manque d'explication géométrique des résultats

Évaluation de l'impact

Contribution au domaine

1. Résultat de référence : Résolution explicite du problème de Poincaré
2. Fondation théorique : Établit les bases pour une théorie effective des structures feuilletées
3. Méthodologie : Le cadre des structures feuilletées adjointes peut s'appliquer à d'autres problèmes

Valeur pratique

1. Valeur théorique élevée : Prouve la faisabilité en principe
2. Valeur pratique limitée : Les constantes sont trop grandes pour une utilisation réelle
3. Valeur inspiratrice : Fournit une direction pour les améliorations futures

Reproductibilité

1. Reproductibilité théorique : La preuve est complète, les experts peuvent vérifier
2. Reproductibilité computationnelle : Impossible en pratique, les constantes sont trop grandes
3. Transférabilité conceptuelle : Les méthodes peuvent s'appliquer à d'autres problèmes

Scénarios d'application

Recherche théorique

• Théorie de la classification des structures feuilletées
• Recherche en géométrie birationnelle
• Développements ultérieurs du MMP

Applications potentielles

• Systèmes dynamiques : Compréhension des solutions algébriques des systèmes intégrables
• Équations différentielles : Critères d'intégrabilité algébrique
• Géométrie algébrique : Espaces de modules des surfaces et structures feuilletées

Scénarios non applicables

• Calcul pratique : Les constantes sont trop grandes
• Simulation numérique : Nécessite du calcul symbolique
• Estimation de faible précision : Les bornes sont trop grossières

Détails des points techniques clés

1. Décomposition en deux phases du MMP adjoint

Cœur du Théorème 4.4 : $X \xrightarrow{f_0} X_0 \xrightarrow{f_1} X_1$

Première phase $f_0$ : Contraction des courbes $K_{\mathcal{F}} + \Delta^{n-inv}$-négatives

• Signification géométrique : Traitement des singularités de la structure feuilletée
• Clé technique : Utilisation du Corollaire 4.3 pour le $K_{\mathcal{F}} + \Delta^{n-inv}$-MMP

Deuxième phase $f_1$ : Contraction des courbes $K_{X_0} + \Delta_0$-négatives mais $K_{\mathcal{F}_0} + \Delta_0^{n-inv}$-positives

• Signification géométrique : Ajustement de la géométrie de l'espace de base
• Clé technique : Utilisation du MMP des surfaces de Fujino

Caractère innovant : Cette décomposition permet de contrôler indépendamment les singularités de la structure feuilletée et de l'espace de base, clé pour l'extension à tout $\epsilon > 0$.

2. Preuve de la propriété DCC des seuils de pseudo-effectivité

Stratégie de preuve du Théorème 5.5 :

1. Exécution du $K_{(X,\mathcal{F},\Delta)_\tau}$-MMP donnant un diviseur semi-ample
2. Application de la formule d'adjonction sur la fibre générale
3. Utilisation de la finitude des fibres, obtention de la propriété ACC pour $\frac{1}{\tau}$

Observation clé : $\frac{1}{\tau} = \frac{1}{d + \sum a_j b_j} \cdot \left(c - \sum a_j b_j\right)$ où $d, b_j, c$ sont tous des entiers bornés, les coefficients $a_j \in \Delta$ appartiennent à un ensemble DCC.

Finesse technique : Transformation d'un problème géométrique (pseudo-effectivité) en problème combinatoire (combinaisons rationnelles d'entiers bornés).

3. Contrôle de l'indice de Cartier des surfaces de Fano

Application du Lemme 5.8 :

• Utilisation d'Alexeev-Mori : Nombre de Picard $\rho \leq \frac{128}{\eta^5}$ pour les surfaces de Fano
• Déterminant de la matrice d'intersection $\det(E_{ij}) \leq 2 \cdot \left(\frac{2}{\eta}\right)^{128/\eta^5}$
• L'indice de Cartier divise $N = \left\lfloor 2 \cdot \left(\frac{2}{\eta}\right)^{128/\eta^5}\right\rfloor!$

Intuition géométrique : Les singularités $\eta$-lc limitent la complexité des surfaces de Fano, d'où la limitation de l'indice de Cartier.

Origine des constantes : L'apparition des factorielles multiples est inévitable, provenant d'arguments combinatoires.

Références (citations importantes)

1. Per02 Pereira, J. V. (2002). Poincaré problem for foliations of general type. Math. Ann., 323(2):217-226.
   • Première preuve que le degré peut être borné, mais non explicite
2. PS19 Pereira, J. V., Svaldi, R. (2019). Effective algebraic integration in bounded genus. Algebr. Geom., 6(4):454-485.
   • Pose le Problème 1.1, donne une borne exponentielle
3. SS23 Spicer, C., Svaldi, R. (2023). Effective generation for foliated surfaces: results and applications. J. Reine Angew. Math., 795:45-84.
   • Établit la théorie des structures feuilletées adjointes pour $\epsilon \ll 1$
4. CS21 Cascini, P., Spicer, C. (2021). MMP for co-rank one foliations on threefolds. Invent. Math., 225(2):603-690.
   • Théorie des corrections F-dlt
5. AM04 Alexeev, V., Mori, S. (2004). Bounding singular surfaces of general type.
   • Bornes pour les surfaces de Fano, source principale des constantes de cet article

Résumé

Cet article constitue une percée théorique importante dans le domaine de la géométrie birationnelle des structures feuilletées, résolvant complètement la version explicite du problème de Poincaré et améliorant la borne de l'exponentielle au linéaire. Bien que les constantes spécifiques ne soient pas optimales, l'article prouve la faisabilité en principe et établit une base solide pour les développements futurs du domaine. La profondeur technique et l'exhaustivité théorique de l'article atteignent un niveau très élevé, constituant un excellent travail en géométrie algébrique.

Publics recommandés :

• Chercheurs en géométrie algébrique (particulièrement en MMP et structures feuilletées)
• Chercheurs intéressés par le problème de Poincaré
• Mathématiciens travaillant sur la géométrie algébrique effective

Recommandations de lecture :

• Nécessite une solide formation en géométrie algébrique (MMP, théorie des singularités)
• Il est recommandé de d'abord lire PS19 et SS23 pour le contexte
• Concentrez-vous sur la stratégie de preuve plutôt que sur les valeurs numériques exactes des constantes