Lipschitz Geometry of Mixed Pham-Brieskorn Singularities

Résumé Technique : Géométrie de Lipschitz des Singularités Mixtes de Pham-Brieskorn

Énoncé du Problème
L'article étudie la géométrie de Lipschitz des singularités mixtes de type Pham-Brieskorn. Celles-ci sont définies par des germes de fonctions $f_{a,b}: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ de la forme :
$$f_{a,b} = z_1^{a_1+b_1}\bar{z}_1^{b_1} + \dots + z_n^{a_n+b_n}\bar{z}_n^{b_n}$$
où $a = (a_1, \dots, a_n)$ et $b = (b_1, \dots, b_n)$ sont des vecteurs entiers avec $0 < a_1 \le \dots \le a_n$ et $b_i \ge 0$. Le polynôme holomorphe de Pham-Brieskorn associé est $g_a = z_1^{a_1} + \dots + z_n^{a_n}$.

Bien que la relation topologique entre $f_{a,b}$ et $g_a$ soit bien établie (elles sont topologiquement équivalentes sous certaines conditions, et $f_{a,b}$ admet une fibration de Milnor), l'article comble le fossé entre les classifications topologiques et analytiques. Plus précisément, il cherche à déterminer les conditions sous lesquelles deux germes mixtes de Pham-Brieskorn sont bi-Lipschitziens équivalents. La question centrale est de savoir si le type bi-Lipschitzien est déterminé uniquement par les vecteurs d'exposants $a$ et $b$, et si l'équivalence topologique implique l'équivalence bi-Lipschitzienne au sein de cette famille.

Méthodologie
L'auteur utilise des outils issus de la géométrie de Lipschitz, de la théorie des singularités et de la théorie des germes pondérés homogènes. La méthodologie procède par plusieurs étapes clés :

1. Formes Normales Topologiques : L'article utilise un homéomorphisme $\phi$ pour relier $f_{a,b}$ à une « forme normale topologique ». Si $a_i \ge 1$ pour tout $i$, $f_{a,b}$ est topologiquement équivalente à $g_a$. Si certains $a_i=0$, elle est équivalente à une forme mixte impliquant des normes réelles $\|z_i\|^{2b_i}$.
2. Multiplicité et Décomposition : Pour analyser l'équivalence bi-Lipschitzienne, l'auteur adapte une version du « Lemme de Décomposition » pour les singularités. Le théorème 4.1 établit que pour des germes de fonctions lisses à variables séparées et à singularités isolées, si les multiplicités des composantes sont strictement ordonnées, les multiplicités des composantes correspondantes dans un germe bi-Lipschitzien équivalent doivent coïncider.
3. Cônes Tangents et Invariants : Pour le cas des surfaces mixtes ($n=2$), l'article analyse les cônes tangents des ensembles nuls $X_{a,b} = f_{a,b}^{-1}(0)$. Il introduit l'invariant $\mu_{a,b} = \frac{a_2 + 2b_2}{a_1 + 2b_1}$ pour classifier la géométrie du cône tangent.
4. Contact d'Arcs et Métriques Intérieure/Extérieure : La classification de la géométrie bi-Lipschitzienne intérieure repose sur l'ordre de contact des arcs semi-algébriques (en utilisant la classification par les cornes $\beta$ de Birbrair). Pour la géométrie extérieure, l'article examine la propriété d'embedding normal de Lipschitz et le comportement des chemins reliant des points sur différentes branches de la singularité.

Contributions et Résultats Clés

• Classification Bi-Lipschitzienne des Germes Mixtes de Pham-Brieskorn :
  L'article démontre que le type bi-Lipschitzien de $f_{a,b}$ est déterminé par les vecteurs $a$ et $b$.

  • Théorème 4.3 : Si $f_{a,b}$ et $f_{c,d}$ sont bi-Lipschitziens équivalents, alors les vecteurs d'exposants doivent satisfaire des relations de permutation spécifiques. Plus précisément, si $a_i, c_i \ge 2$, alors $a=c$ et les sommes $a_i + 2b_i$ doivent coïncider avec $c_{\sigma(i)} + 2d_{\sigma(i)}$ pour une certaine permutation $\sigma$.
  • Corollaire 4.4 : Un polynôme mixte $f_{a,b}$ est bi-Lipschitzien équivalent à son homologue holomorphe $g_c$ si et seulement si $b=0$ (c'est-à-dire que le terme mixte s'annule), sauf dans le cas des submersions topologiques où des relations linéaires spécifiques s'appliquent.

• Trivialité Topologique vs Types de Lipschitz Distincts :
  Une contribution majeure est la construction de familles infinies de singularités mixtes qui sont topologiquement triviales (équivalentes à une forme standard) mais possèdent des types bi-Lipschitziens distincts.

  • Proposition 5.1 : Pour un vecteur $a$ fixe, il existe des sous-familles de $f_{a,b}$ (en faisant varier $b$) qui sont toutes topologiquement équivalentes à la même forme normale mais contiennent une infinité de classes bi-Lipschitziennes distinctes. Cela démontre que la géométrie de Lipschitz capture des invariants plus fins que la topologie seule.

• Géométrie des Surfaces Mixtes ($n=2$) :
  Pour les surfaces définies par $f_{a,b}: (\mathbb{C}^2, 0) \to (\mathbb{C}, 0)$, l'article fournit une classification détaillée basée sur l'invariant $\mu_{a,b}$ :

  • Cônes Tangents : La structure du cône tangent $C(X_{a,b}, 0)$ est déterminée par $\mu_{a,b}$ et les valeurs de $a_1, a_2$. Par exemple, si $\mu_{a,b} > 1$ et $a_1 \ge 1$, le cône tangent est le plan $\{z_1=0\}$.
  • Embedding Normal de Lipschitz : L'article détermine exactement quand ces surfaces sont normalement plongées de Lipschitz (où les métriques intérieure et extérieure sont équivalentes).
    • Les surfaces de « Type (2) » et « Type (5) » (homogènes avec singularités isolées) sont normalement plongées.
    • Les surfaces de « Type (4) » avec $a_2 \ge 2$ ne sont pas normalement plongées.
    • Les surfaces de « Type (1) » avec $a_1 + 2b_1$ pair ne sont pas normalement plongées.
  • Invariant de Géométrie Extérieure : Le théorème 6.8 établit que pour les surfaces de Type (1), la valeur $\mu_{a,b}$ est un invariant de la géométrie bi-Lipschitzienne extérieure sous-analytique. Si $\mu_{a,b} \neq \mu_{c,d}$, les surfaces ne sont pas bi-Lipschitziennes équivalentes extérieurement.

• Géométrie Intérieure :
  L'article montre que la plupart des surfaces mixtes sont bi-Lipschitziennes intérieurement équivalentes au cône métrique standard (la corne $\beta$ avec $\beta=1$). Cependant, les surfaces de Type (3) (où $a_1=0$ et $\mu_{a,b} > 1$) sont intérieurement équivalentes à des cornes $\beta$ avec $\beta = \mu_{a,b}$, fournissant une classification intérieure complète pour ce cas spécifique.

Signification et Affirmations
L'article prétend fournir un cadre rigoureux pour distinguer les singularités mixtes de Pham-Brieskorn en utilisant des invariants de Lipschitz. Il met en évidence que, bien que ces singularités partagent souvent le même type topologique que leurs homologues holomorphes (ou des formes réelles simples), leur géométrie métrique est nettement plus riche et plus sensible aux exposants spécifiques $a$ et $b$.

La signification réside dans :

1. Affinement de la Classification : Aller au-delà de l'équivalence topologique pour montrer que le « domaine de Lipschitz » se situe strictement entre la topologie et la géométrie analytique, offrant un nouvel ensemble d'invariants (comme $\mu_{a,b}$ et les sommes spécifiques $a_i + 2b_i$).
2. Contre-exemples à l'Intuition : Démontrer que la trivialité topologique n'implique pas la trivialité bi-Lipschitzienne, même au sein d'une famille hautement structurée de polynômes.
3. Invariants Géométriques : Identifier $\mu_{a,b}$ comme un invariant concret et calculable pour la géométrie extérieure des surfaces mixtes, qui est déterminé uniquement par les exposants.

L'œuvre s'appuie sur des résultats établis concernant les fibrations de Milnor, la théorie des cônes tangents (Whitney, Seade, Ruas) et la classification des surfaces semi-algébriques (Birbrair), les étendant au contexte des fonctions mixtes. Elle ne propose pas de nouvelles applications expérimentales, mais approfondit plutôt la compréhension théorique de la géométrie des singularités.