A note on b-divisors and filtrations on a local ring

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie algébrique, plus précisément à l'intersection de la théorie des singularités, de la géométrie birationnelle et de la théorie de la stabilité K. Le travail vise à établir une correspondance rigoureuse entre deux objets fondamentaux définis sur des schémas noethériens normaux et excellents :

1. Les b-diviseurs de Shokurov : Des familles de diviseurs de Weil compatibles par rapport aux poussées en avant sur les modèles birationnels propres.
2. Les filtrations (ou suites graduées d'idéaux) : Des familles décroissantes d'idéaux $\{a_\lambda\}$ satisfaisant des conditions de multiplicité et de continuité.

Le problème central est de comprendre la relation bijective entre ces deux structures dans le cadre local (anneaux locaux noethériens) et d'utiliser cette correspondance pour résoudre une conjecture récente de Roé-Urbinati concernant les valuations sur les variétés projectives.

2. Méthodologie

L'auteur adopte une approche combinant l'algèbre commutative (théorie des filtrations, théorème de Rees) et la géométrie birationnelle (b-diviseurs, valuations divisoires). La méthodologie se décompose en plusieurs étapes clés :

• Cadre Local : L'étude se concentre sur un anneau local normal et excellent $(R, \mathfrak{m})$. On considère l'espace des b-diviseurs sur le point fermé $x = \mathfrak{m}$, noté $\text{Div}(X, x)$, et l'espace des filtrations $\mathfrak{m}$-primaires, noté $\text{Fil}_{R,\mathfrak{m}}$.
• Correspondance Fondamentale :
  • D'une filtration $a_\bullet$ vers un b-diviseur : Via la formule $Z_X(a_\bullet) := -\sum_{P/X} \text{ord}_P(a_\bullet) \cdot P$, où la somme porte sur les diviseurs premiers au-dessus de $X$.
  • D'un b-diviseur $W$ vers une filtration : Via les sections globales $a_\lambda(W) := \{f \in R \mid Z(f) \le \lambda W\}$.
• Restrictions Techniques : Pour établir une bijection, l'auteur impose des conditions de bornitude et de saturation :
  • Filtrations saturées : Une filtration est dite saturée si elle coïncide avec sa saturation définie par les valuations divisoires (concept introduit dans [BLQ24]).
  • Bornitude linéaire : Les filtrations sont comparées à la filtration canonique $\mathfrak{m}^\bullet$.
• Outils Théoriques :
  • Utilisation du théorème de Rees pour les filtrations (via [BLQ24]) pour prouver que les valuations linéairement bornées sont saturées.
  • Application d'une version généralisée de l'inégalité d'Izumi pour les valuations divisoires sur des domaines excellents.
  • Utilisation de la topologie coefficientielle sur les espaces de b-diviseurs et de filtrations.

3. Contributions Clés

La contribution principale de l'article est la preuve d'une correspondance bijective (à quelques inégalités près) entre les b-diviseurs bornés et les filtrations saturées dans le contexte local.

Théorème Principal (Théorème 1) :
Soit $(R, \mathfrak{m})$ un anneau local noethérien normal et excellent.

1. L'application $Z_X(\cdot)$ envoie l'ensemble des filtrations saturées et linéairement bornées ($\text{Fil}^s_{R,\mathfrak{m}}$) injectivement dans l'ensemble des b-diviseurs bornés ($\text{Div}_b(X, x)$). Cette application est continue.
2. L'application réciproque $a_\bullet(\cdot)$, définie par les sections globales, est surjective de $\text{Div}_b(X, x)$ vers $\text{Fil}^s_{R,\mathfrak{m}}$.
3. Relation d'inversion :
   • Pour toute filtration saturée $a_\bullet$, on a $a_\bullet(Z_X(a_\bullet)) = a_\bullet$.
   • Pour tout b-diviseur $W$, on a $Z_X(a_\bullet(W)) \le W$.

Lemme Technique Majeur (Lemme 13) :
L'auteur démontre que toute valuation linéairement bornée sur un anneau local donne lieu à une filtration saturée. Ce résultat repose sur le théorème de Rees pour les filtrations, reliant ainsi la géométrie des valuations à la structure algébrique des idéaux.

4. Résultats Principaux

• Correspondance Locale : L'article établit que l'espace des b-diviseurs bornés (anti-effectifs et majorés par une constante fois le diviseur canonique du point) est isomorphe à l'espace des filtrations saturées et bornées. Cela permet de traduire des problèmes géométriques sur les b-diviseurs en problèmes algébriques sur les filtrations, et vice-versa.
• Résolution de la Conjecture de Roé-Urbinati (Corollaire 3) :
  • Conjecture : Soit $X$ une variété projective normale sur un corps de caractéristique 0 et $v \in \text{Val}_X$ une valuation. Alors $v$ est b-divisorielle (c'est-à-dire $a_\bullet(v) = a_\bullet(Z_X(a_\bullet(v)))$) si et seulement si $Z_X(a_\bullet(v)) \neq 0$.
  • Résultat : En utilisant le Théorème 1 et l'inégalité d'Izumi généralisée, l'auteur prouve cette conjecture dans un cadre plus général que la dimension 2 (où elle était déjà connue), s'appliquant à toute variété projective normale.
• Structure de l'Espace : L'article confirme que l'espace des filtrations possède une structure métrique géodésique naturelle, analogue à la métrique de Darvas sur les potentiels Kähleriens, renforcée par la correspondance avec les b-diviseurs.

5. Signification et Impact

• Unification Théorique : Ce travail consolide le lien entre la théorie algébrique des singularités (filtrations, idéaux) et la géométrie birationnelle moderne (b-diviseurs, valuations). Il montre que les b-diviseurs ne sont pas seulement des objets géométriques abstraits, mais qu'ils codent fidèlement la structure des filtrations d'idéaux.
• Outils pour la Stabilité K : Les filtrations et les b-diviseurs sont des outils centraux dans la théorie de la stabilité K (K-stabilité). La correspondance établie fournit un cadre robuste pour étudier les invariants de stabilité et les limites de variétés, en particulier dans le contexte des variétés singulières.
• Généralisation : En prouvant la conjecture de Roé-Urbinati au-delà de la dimension 2, l'article ouvre la voie à l'étude des valuations sur des variétés de dimension supérieure, là où les méthodes géométriques classiques (comme la résolution des singularités explicite) sont plus complexes.
• Hypothèses Optimisées : L'utilisation des hypothèses d'« excellent » et de « normal » permet d'utiliser des propriétés fortes (comme l'irréductibilité analytique et la finitude de la normalisation) sans nécessiter de conditions de régularité trop restrictives, rendant les résultats applicables à une large classe de singularités.

En résumé, cet article fournit une fondation technique solide reliant les b-diviseurs et les filtrations, permettant de résoudre des conjectures ouvertes et d'approfondir la compréhension des valuations sur les variétés algébriques.