Generalized Zariski cancellation for Brieskorn--Pham varieties

Resumen Técnico: Cancelación de Zariski Generalizada para Variedades de Brieskorn–Pham

Planteamiento del Problema
El artículo aborda el problema de la cancelación de Zariski generalizada sobre el cuerpo de los números complejos $\mathbb{C}$. Dada una variedad algebraica $X, Y$ y $Z$, el problema pregunta si el isomorfismo $X \times Z \cong Y \times Z$ implica que $X \cong Y$. Si bien el caso clásico ($Z = \mathbb{A}^1$) es conocido por fallar en general (por ejemplo, mediante las superficies de Danielewski), los autores investigan si la cancelación se mantiene para clases específicas de variedades cuando $Z$ es un esquema complejo separado que posee un punto suave. Específicamente, el artículo se centra en las variedades de Brieskorn–Pham, definidas como hipersuperficies afines $V_a = \text{Spec}(k[X_1, \dots, X_n]/(X_1^{a_1} + \dots + X_n^{a_n}))$ donde $a = (a_1, \dots, a_n) \in (\mathbb{N}_{\ge 2})^n$.

Metodología
La estrategia de prueba integra la geometría algebraica, la geometría analítica compleja y la teoría de singularidades a través de tres componentes primarios:

1. Rigidez de los Exponentes (Algebraica): Los autores establecen primero que la clase de isomorfismo de una variedad de Brieskorn–Pham sobre un cuerpo de característica cero está completamente determinada por su tupla de exponentes $a$, salvo por permutación. Esto se demuestra analizando los esquemas de intersección completa de dimensión cero que surgen de los ideales jacobianos de los polinomios definitorios. Al computar la serie de Hilbert de los anillos graduados asociados de los nilradicales, demuestran que la estructura algebraica del lugar singular recupera unívocamente los exponentes.
2. Reducción Analítica (Geométrica): El artículo utiliza el teorema de cancelación analítica de Hauser–Müller y las propiedades de factorización única para espacios algebroides. Los autores demuestran que si dos variedades algebraicas complejas con singularidades únicas se vuelven isomorfas tras tomar su producto con un esquema $Z$ que posee un punto suave, entonces sus gérmenes analíticos en los puntos singulares deben ser analíticamente isomorfos. Esto se basa en el teorema de aproximación de Artin y la indecomponibilidad de los gérmenes analíticos de variedades con singularidades aisladas.
3. Algebraización (Síntesis): Los autores combinan la reducción analítica con un teorema de R. V. Gurjar, que establece que para variedades afines que admiten "buenas" acciones $\mathbb{C}^*$ (gradaciones positivas con un único punto fijo), un isomorfismo analítico de los gérmenes en los vértices implica un isomorfismo algebraico de las variedades mismas.

Contribuciones Clave y Resultados

• Teorema de Rigidez de los Exponentes (Teorema C): El artículo demuestra que para las variedades de Brieskorn–Pham sobre un cuerpo $k$ de característica cero, el isomorfismo de las variedades (o sus gérmenes analíticos/completaciones formales asociados) es equivalente a la igualdad de sus tuplas de exponentes salvo por permutación ($a \sim b$). Esto extiende los resultados previos de rigidez topológica (por ejemplo, Yoshinaga–Suzuki) a las categorías algebraica y analítica.
• Cancelación Generalizada para $\mathbb{C}^*$-Variedades "Buenas" (Teorema A): Los autores establecen un teorema de cancelación para variedades afines irreducibles complejas que admiten buenas acciones $\mathbb{C}^*$ con una única singularidad. Si $V \times Z \cong W \times Z$ donde $Z$ tiene un punto suave, entonces $V \cong W$ como variedades afines complejas.
• Cancelación Generalizada para Variedades de Brieskorn–Pham (Teorema B): Este es el punto culminante del trabajo. Establece que para las variedades de Brieskorn–Pham $V_a$ y $V_b$, lo siguiente es equivalente:
  1. $V_a \times Z \cong_{\mathbb{C}} V_b \times Z$ para cualquier esquema separado $\mathbb{C}$ con un punto suave.
  2. $V_a \cong_{\mathbb{C}} V_b$.
  3. $V_a$ y $V_b$ son isomorfas como $\mathbb{C}^*$-variedades.
  4. Las tuplas de exponentes satisfacen $a \sim b$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una forma fuerte de la cancelación de Zariski generalizada para la familia clásica de las variedades de Brieskorn–Pham. A diferencia del problema de cancelación clásico donde el cilindro $Z$ está restringido a $\mathbb{A}^1$, este resultado se sostiene para cualquier esquema separado $Z$ que posea un punto suave.

La significancia radica en la interacción entre diferentes estructuras geométricas:

• Demuestra que la tupla de exponentes, un invariante combinatorio, determina completamente la clase de isomorfismo de la variedad en las categorías algebraica, analítica y formal.
• Cierra la brecha entre las propiedades analíticas locales (gérmenes en las singularidades) y las propiedades algebraicas globales mediante la estructura de la acción $\mathbb{C}^*$.
• Los autores señalan que, mientras que los invariantes más débiles (como la topología del enlace o el tipo de homotopía del lugar liso) fallan en distinguir las variedades de Brieskorn–Pham (como muestran los ejemplos de Yoshinaga de enlaces homeomorfos con exponentes distintos), las estructuras algebraicas y analíticas son lo suficientemente rígidas como para recuperar los exponentes de manera unívoca.

El trabajo se apoya en resultados establecidos de Hauser–Müller (cancelación analítica), Gurjar (algebraización de $\mathbb{C}^*$-variedades) y Artin, sintetizándolos para resolver el problema de la cancelación para esta clase específica y bien estudiada de singularidades.