An algebraic theory of Lojasiewicz exponents

Résumé Technique : Une Théorie Algébrique des Exposants de Lojasiewicz

1. Problématique et Contexte

L'exposant de Lojasiewicz est un invariant fondamental en géométrie analytique et en théorie des singularités. Il mesure le taux de domination asymptotique d'un objet analytique par un autre près d'un lieu singulier (ou à l'infini). Traditionnellement, ces exposants sont définis analytiquement via des inégalités de type $|g(x)|^\theta \le C |f(x)|$ et étudiés par des méthodes variées : arcs analytiques, sélection de courbes, polyèdres de Newton, ou compactifications projectives.

Cependant, ces invariants (locaux, gradient, à l'infini) ont souvent été traités avec des techniques disjointes. L'objectif principal de cet article est d'unifier ces approches en développant une théorie algébrique et valuative unifiée. L'auteur vise à reformuler les exposants de Lojasiewicz non plus comme des problèmes analytiques, mais comme des problèmes d'optimisation valuative gouvernés par l'inclusion asymptotique de filtrations d'idéaux et leur clôture intégrale.

2. Méthodologie et Cadre Théorique

L'approche repose sur trois piliers méthodologiques :

• Reformulation Algébrique :
  L'article introduit l'exposant de Lojasiewicz algébrique $L_{\mathfrak{b}_\bullet}(\mathfrak{a}_\bullet)$ pour une paire de filtrations d'idéaux $\mathfrak{a}_\bullet = \{\mathfrak{a}_p\}$ et $\mathfrak{b}_\bullet = \{\mathfrak{b}_q\}$. Cet exposant est défini comme le plus petit seuil asymptotique $q/p$ tel que $\mathfrak{b}_{qt} \subseteq \mathfrak{a}_{pt}$ pour $t \gg 1$.

  • Résultat clé : Il est démontré que cet invariant algébrique coïncide exactement avec l'exposant analytique classique (local, gradient ou à l'infini) via le critère de clôture intégrale de Lejeune-Jalabert et Teissier.

• Formules Valuatives et Principe « Finite-Max » :
  L'auteur établit que l'exposant est borné inférieurement par le supremum de ratios valuatifs :
  $$L_{\mathfrak{b}_\bullet}(\mathfrak{a}_\bullet) \ge \sup_{v} \frac{v(\mathfrak{a}_\bullet)}{v(\mathfrak{b}_\bullet)}$$
  où $v$ parcourt les valuations centrées sur l'idéal maximal. Le cœur de la contribution réside dans l'identification de conditions algébriques vérifiables sous lesquelles ce supremum devient un maximum fini, atteint par un nombre fini de valuations divisoires. Ce phénomène est appelé le principe « Finite-Max ».

• Deux Mécanismes de Finitude :

  1. Test Fini via Algèbres de Rees : Lorsque l'algèbre de Rees d'une filtration est de type fini (Noethérienne), l'inclusion de clôtures intégrales peut être testée sur un ensemble fini de valuations divisoires associées à l'éclatement normalisé (Théorème 5.9).
  2. Compacité des Espaces Valuatifs : Sous des hypothèses de bornitude linéaire des filtrations, la compacité de l'espace des valuations normalisées et la semi-continuité supérieure permettent d'assurer l'atteinte du supremum (Théorème 5.14).

3. Résultats Principaux

A. Structure et Formules de Calcul

• Théorème 5.8 & 5.9 : Sous des hypothèses de type fini (ex: idéaux monomiaux, idéaux non-dégénérés de Newton), l'exposant de Lojasiewicz est calculé par un maximum fini sur un ensemble de valuations divisoires explicites (souvent liées aux normales des facettes du polyèdre de Newton).
• Cas Torique et Monomial : Pour les idéaux monomiaux, l'exposant est déterminé par les données polyédrales (Théorème 10.11). L'optimisation valuative se réduit à une maximisation linéaire sur les normales primitives des facettes compactes du polyèdre de Newton.
• Cas à l'Infini : L'article étend ce cadre aux exposants à l'infini pour les applications polynomiales, en utilisant des compactifications toriques adaptées aux polyèdres de Newton (Théorèmes 11.1, 11.10).

B. Phénomènes de Rigidité et de Stratification

• Rigidité (Partie 5) : Si l'égalité est atteinte dans les inégalités structurelles (ex: inégalité $lct \cdot L \ge lct$), cela force l'existence d'une valuation extrémale commune qui calcule simultanément plusieurs invariants (Théorème 8.1).
• Stratification et Comportement « Wall-Chamber » : Dans les familles d'idéaux, l'espace des paramètres admet une stratification finie (décomposition en chambres). Sur chaque strate, l'identité de la valuation qui calcule l'exposant est constante, et l'exposant lui-même est donné par un rapport rationnel unique (Théorème 9.9).
• Linéarité Fractionnaire : Le long de chemins géodésiques de filtrations, l'inverse de l'exposant $1/L$ est une fonction fractionnaire linéaire par morceaux (Théorème 9.14).

C. Inégalités Structurelles et Dualités

• L'article établit des liens profonds avec les multiplicités mixtes et les inégalités de Teissier-Rees-Sharp.
• Une inégalité clé est démontrée : $lct(\mathfrak{a}_\bullet) \cdot L_{\mathfrak{b}_\bullet}(\mathfrak{a}_\bullet) \ge lct(\mathfrak{b}_\bullet)$, reliant le seuil de Lojasiewicz au seuil canonique log (Théorème 7.1).

D. Limites et Nécessité des Hypothèses

• La partie 12 démontre que les hypothèses de finitude ne sont pas triviales. Sans une structure polyédrale uniforme ou une algèbre de Rees de type fini, il n'existe pas nécessairement d'ensemble fini de valuations capable de tester toutes les inclusions (Théorème 12.4). Cela délimite précisément la portée de la théorie.

4. Signification et Impact

Cet article représente une avancée majeure dans la compréhension des singularités et des invariants asymptotiques :

1. Unification Conceptuelle : Il place les exposants de Lojasiewicz (locaux, gradient, à l'infini) dans un seul cadre algébrique cohérent, révélant leur nature fondamentale comme des problèmes d'optimisation sur l'espace des valuations.
2. Passage du Continu au Discret : Le principe « Finite-Max » transforme un problème analytique infini (supremum sur un espace continu de valuations) en un problème algébrique fini (maximisation sur un ensemble discret), rendant le calcul effectif possible dans de nombreux cas géométriques importants (cas torique, non-dégénéré).
3. Outils pour la Géométrie Algébrique : Les résultats sur la rigidité, la stratification et le comportement des familles fournissent de nouveaux outils pour l'étude de l'équisingularité et de la stabilité des invariants sous déformation.
4. Généralisation des Résultats Classiques : La théorie récupère et explique les résultats classiques sur les polyèdres de Newton et les variétés toriques, tout en offrant un cadre pour les généraliser aux filtrations plus complexes.

En conclusion, Tai Huy Ha propose une théorie robuste qui lie l'analyse complexe, l'algèbre commutative et la géométrie birationnelle, démontrant que la compréhension fine des singularités passe par l'analyse des valuations extrémales qui gouvernent les inclusions d'idéaux.