Stacky geometry and logarithmic topology of transversely affine foliations

Résumé technique : Géométrie stacky et topologie logarithmique des feuilletages transversalement affines

Énoncé du problème
L'article traite des structures géométriques et topologiques sous-jacentes aux feuilletages transversalement affines sur les variétés complexes. Alors que le théorème classique de Singer sur les intégrales premières liouvilliennes établit que de tels feuilletages sont régis par des quadratures, des exponentielles de primitives et des extensions algébriques, les auteurs cherchent à reformuler cette rigidité dans un cadre géométrique moderne. Plus précisément, ce travail vise à fournir une description unifiée de la « coordonnée de développement transverse » et de ses reparamétrisations en utilisant deux perspectives complémentaires :

1. Géométrie stacky : Décrire la coordonnée de développement multiplicative et sa monodromie via des champs de quotients.
2. Topologie logarithmique : Analyser le comportement aux frontières, les résidus et les dynamiques induites via l'espace de Kato–Nakayama.

Le défi central consiste à concilier la nature algébrique des opérations de Singer (reparamétrisations et extensions algébriques) avec les données analytiques et topologiques du feuilletage, en particulier lorsque le groupe d'holonomie est non discret ou que l'action est non propre.

Méthodologie
Les auteurs adoptent une approche duale combinant la théorie des champs, la géométrie logarithmique et les systèmes dynamiques :

1. Formulation par la théorie des champs :

   • Les auteurs associent un feuilletage transversalement affine $(\omega, \eta)$ à un caractère de monodromie linéaire $\rho: \pi_1(U) \to \mathbb{C}^*$.
   • Ils définissent le champ de quotient $[\mathbb{C}^*/\Gamma]$, où $\Gamma = \text{im}(\rho)$, comme la base géométrique naturelle pour la coordonnée de développement multiplicative.
   • En utilisant le formalisme Morita/bibundle, ils caractérisent les morphismes entre ces champs. Ils distinguent les applications semi-équivariantes strictes sur l'atlas des 2-morphismes intrinsèques du champ.
   • Ils introduisent des raffinements de Kummer (racines) $[\mathbb{C}^*/(\mu_N \times \Gamma)]$ pour modéliser géométriquement les étapes d'extension algébrique de Singer.

2. Analyse topologique logarithmique :

   • Les auteurs passent à l'espace de Kato–Nakayama $X^{\log}$, le éclat réel orienté du diviseur $D$ avec des fibres en tore au-dessus des strates frontières.
   • Ils analysent le pull-back de la forme logarithmique $\eta$ vers $X^{\log}$, montrant qu'il induit un feuilletage de codimension réelle deux.
   • Ils étudient la restriction de ce feuilletage aux tores frontières, démontrant que la dynamique est linéaire et régie par l'arithmétique du vecteur de résidus.

3. Synthèse :

   • L'article construit un relevé logarithmique canonique de l'application de développement, $F_{\log}: X^{\log} \to [\mathbb{C}^*/\Gamma]$, qui unifie la description stacky intérieure avec les données topologiques frontières.

Contributions et résultats clés

• Le théorème stacky de Singer (Proposition 3.15) :
  Les auteurs prouvent que toute intégrale première stacky holomorphe pour un feuilletage transversalement affine est obtenue, à un 2-isomorphisme près, en post-composant le morphisme de développement canonique $F: U \to [\mathbb{C}^*/\Gamma]$ avec un endomorphisme du champ $[\mathbb{C}^*/\Gamma]$. Cela établit que la « liberté de reparamétrisation » est entièrement capturée par le monoïde des endomorphismes du champ de quotient.

• Classification des reparamétrisations par régime (Section 5) :
  L'article fournit une classification rigoureuse des endomorphismes de $[\mathbb{C}^*/\Gamma]$ basée sur la topologie du groupe d'holonomie $\Gamma$ :

  • Cas propres/discrets : Si $\Gamma$ est fini (torsion) ou cyclique infini avec $|q| \neq 1$ (régime elliptique), le quotient est une courbe de Deligne–Mumford ou une courbe elliptique. Ici, les automorphismes analytiques coïncident avec les algébriques (GAGA).
  • Cas sauvages/non discrets : Si $\Gamma$ n'est pas fermé (par exemple dense dans $\mathbb{C}^*$ ou s'accumulant en 1), le quotient grossier est non séparé (non-Hausdorff). Les auteurs montrent que, malgré cela, la base stacky reste bien définie. Dans ces régimes d'« accumulation », les endomorphismes holomorphes et méromorphes sont rigides : ils sont nécessairement des applications monomiales ($z \mapsto az^n$) ou leurs inverses.

• Raffinements de Kummer comme extensions algébriques (Théorème 4.5) :
  L'article identifie les changements de base de Kummer (passage aux champs de racines) comme la réalisation géométrique de l'étape d'extension algébrique de Singer. Il prouve que toute intégrale première stacky peut être factorisée à travers un raffinement de Kummer suivi d'un endomorphisme méromorphe de la base raffinée.

• Dynamique logarithmique sur la frontière (Section 7) :
  Sur l'espace de Kato–Nakayama $X^{\log}$, les résidus de $\eta$ définissent des caractères canoniques à la frontière. Le feuilletage réel induit sur les tores frontières est linéaire. Les auteurs classifient la topologie des feuilles :

  • Les feuilles sont des translatés de sous-torus.
  • Leurs fermetures sont déterminées par l'enveloppe rationnelle du vecteur de résidus (dichotomie de type Kronecker : fermées, denses dans le tore, ou denses dans un sous-tore propre).
  • Le comportement radial (attractif, répulsif ou neutre) est déterminé par la partie réelle des résidus.

• Le relevé logarithmique et réalisations complémentaires (Théorème 8.15) :
  Les auteurs construisent un morphisme canonique $F_{\log}: X^{\log} \to [\mathbb{C}^*/\Gamma]$. Ils démontrent que les mêmes données de résidus admettent deux réalisations frontières complémentaires :

  1. Réalisation de Kummer : Élimine la torsion dans la monodromie méridienne via des constructions de racines (extension algébrique).
  2. Réalisation de Kato–Nakayama : Conserve les données angulaires de la frontière et la dynamique linéaire induite, qui sont invisibles dans une compactification purement radiale.

Portée et affirmations
L'article prétend fournir un « équivalent géométrique » du théorème classique de Singer. Sa signification principale réside dans :

1. Unification : Il comble le fossé entre les opérations algébriques de l'algèbre différentielle (clôture de Singer) et la géométrie analytique des feuilletages en les interprétant comme des morphismes de champs de quotients.
2. Gestion des actions non propres : Il démontre que les champs de quotients sont les objets géométriques corrects pour étudier les feuilletages transversalement affines même lorsque le groupe d'holonomie est non discret et que le quotient grossier est pathologique (non séparé). Le champ conserve les informations nécessaires de monodromie et d'isotropie.
3. Insight dynamique : Il révèle que l'espace de Kato–Nakayama n'est pas simplement un outil topologique auxiliaire, mais le cadre naturel où la « frontière logarithmique » acquiert une forme géométrique et dynamique concrète. Les résidus régissent non seulement la monodromie, mais aussi la dynamique linéaire réelle sur les tores frontières.
4. Rigidité : Il établit des résultats de rigidité forts pour les reparamétrisations dans les régimes non discrets, montrant que la nature « sauvage » de l'holonomie force les reparamétrisations à être monomiales, simplifiant ainsi la classification des intégrales premières dans ces cas.

Les auteurs concluent que le champ de quotient $[\mathbb{C}^*/\Gamma]$ contrôle les aspects linéaires et théoriques de la reparamétrisation de la théorie, tandis que l'espace de Kato–Nakayama fournit le cadre topologique et dynamique naturel où la géométrie frontière des feuilletages transversalement affines devient visible.