Generalized Zariski cancellation for Brieskorn--Pham varieties

Résumé technique : Annulation de Zariski généralisée pour les variétés de Brieskorn–Pham

Énoncé du problème
L'article traite du problème d'annulation de Zariski généralisé sur le corps des nombres complexes $\mathbb{C}$. Étant donné des variétés algébriques $X, Y,$ et $Z$, le problème demande si l'isomorphisme $X \times Z \cong Y \times Z$ implique $X \cong Y$. Bien que le cas classique ($Z = \mathbb{A}^1$) soit connu pour échouer de manière générale (par exemple, via les surfaces de Danielewski), les auteurs étudient si l'annulation est vérifiée pour des classes spécifiques de variétés lorsque $Z$ est un schéma séparé complexe possédant un point lisse. Plus précisément, l'article se concentre sur les variétés de Brieskorn–Pham, définies comme des hypersurfaces affines $V_a = \text{Spec}(k[X_1, \dots, X_n]/(X_1^{a_1} + \dots + X_n^{a_n}))$ où $a = (a_1, \dots, a_n) \in (\mathbb{N}_{\ge 2})^n$.

Méthodologie
La stratégie de preuve intègre la géométrie algébrique, la géométrie analytique complexe et la théorie des singularités à travers trois composantes principales :

1. Rigidité des exposants (Algébrique) : Les auteurs établissent d'abord que la classe d'isomorphisme d'une variété de Brieskorn–Pham sur un corps de caractéristique nulle est entièrement déterminée par son tuple d'exposants $a$, à permutation près. Ceci est prouvé en analysant les schémas d'intersection complète de dimension zéro issus des idéaux jacobiens des polynômes définissants. En calculant la série de Hilbert des anneaux gradués associés des nilradicaux, ils démontrent que la structure algébrique du lieu singulier permet de retrouver de manière unique les exposants.
2. Réduction analytique (Géométrique) : L'article utilise le théorème d'annulation analytique de Hauser–Müller et les propriétés de factorisation unique pour les espaces algebroïdes. Les auteurs prouvent que si deux variétés algébriques complexes possédant des singularités uniques deviennent isomorphes après produit avec un schéma $Z$ possédant un point lisse, alors leurs germes analytiques aux points singuliers doivent être analytiquement isomorphes. Cela repose sur le théorème d'approximation d'Artin et l'indécomposabilité des germes analytiques de variétés à singularités isolées.
3. Algébrisation (Synthèse) : Les auteurs combinent la réduction analytique avec un théorème de R. V. Gurjar, qui stipule que pour les variétés affines admettant de « bonnes » actions $\mathbb{C}^*$ (gradations positives avec un point fixe unique), un isomorphisme analytique des germes aux sommets implique un isomorphisme algébrique des variétés elles-mêmes.

Contributions clés et résultats

• Théorème de rigidité des exposants (Théorème C) : L'article prouve que pour les variétés de Brieskorn–Pham sur un corps $k$ de caractéristique nulle, l'isomorphisme des variétés (ou de leurs germes analytiques/complétions formelles associés) est équivalent à l'égalité de leurs tuples d'exposants à permutation près ($a \sim b$). Cela étend les résultats de rigidité topologique précédents (par exemple, Yoshinaga–Suzuki) aux catégories algébrique et analytique.
• Annulation généralisée pour les $\mathbb{C}^*$-variétés « bonnes » (Théorème A) : Les auteurs établissent un théorème d'annulation pour les variétés affines irréductibles complexes admettant de bonnes actions $\mathbb{C}^*$ avec une singularité unique. Si $V \times Z \cong W \times Z$ où $Z$ possède un point lisse, alors $V \cong W$ en tant que variétés affines complexes.
• Annulation généralisée pour les variétés de Brieskorn–Pham (Théorème B) : Il s'agit de l'aboutissement principal du travail. Il stipule que pour des variétés de Brieskorn–Pham $V_a$ et $V_b$, les propositions suivantes sont équivalentes :
  1. $V_a \times Z \cong_{\mathbb{C}} V_b \times Z$ pour tout schéma séparé $\mathbb{C}$ possédant un point lisse.
  2. $V_a \cong_{\mathbb{C}} V_b$.
  3. $V_a$ et $V_b$ sont isomorphes en tant que $\mathbb{C}^*$-variétés.
  4. Les tuples d'exposants satisfont $a \sim b$.

Signification et affirmations
L'article prétend fournir une forme forte d'annulation de Zariski généralisée pour la famille classique des variétés de Brieskorn–Pham. Contrairement au problème d'annulation classique où le cylindre $Z$ est restreint à $\mathbb{A}^1$, ce résultat est valable pour n'importe quel schéma séparé $Z$ possédant un point lisse.

La signification réside dans l'interaction entre différentes structures géométriques :

• Il démontre que le tuple d'exposants, un invariant combinatoire, détermine complètement la classe d'isomorphisme de la variété dans les catégories algébrique, analytique et formelle.
• Il comble le fossé entre les propriétés analytiques locales (germes aux singularités) et les propriétés algébriques globales via la structure de l'action $\mathbb{C}^*$.
• Les auteurs notent que si des invariants plus faibles (tels que la topologie du lien ou le type d'homotopie du lieu lisse) ne parviennent pas à distinguer les variétés de Brieskorn–Pham (comme le montrent les exemples de Yoshinaga de liens homéomorphes pour des exposants distincts), les structures algébriques et analytiques sont suffisamment rigides pour retrouver les exposants de manière unique.

Le travail s'appuie sur des résultats établis de Hauser–Müller (annulation analytique), de Gurjar (algébrisation des $\mathbb{C}^*$-variétés) et d'Artin, les synthétisant pour résoudre le problème d'annulation pour cette classe spécifique et bien étudiée de singularités.