Generalized Zariski cancellation for Brieskorn--Pham varieties

Resumo Técnico: Cancelamento de Zariski Generalizado para Variedades de Brieskorn–Pham

Enunciado do Problema
O artigo aborda o problema do cancelamento de Zariski generalizado sobre o corpo dos números complexos $\mathbb{C}$. Dada uma variedade algébrica $X, Y,$ e $Z$, o problema questiona se o isomorfismo $X \times Z \cong Y \times Z$ implica que $X \cong Y$. Embora o caso clássico ($Z = \mathbb{A}^1$) seja conhecido por falhar em geral (por exemplo, via superfícies de Danielewski), os autores investigam se o cancelamento ocorre para classes específicas de variedades quando $Z$ é um esquema complexo separado possuindo um ponto suave. Especificamente, o artigo foca nas variedades de Brieskorn–Pham, definidas como hipersuperfícies afins $V_a = \text{Spec}(k[X_1, \dots, X_n]/(X_1^{a_1} + \dots + X_n^{a_n}))$ onde $a = (a_1, \dots, a_n) \in (\mathbb{N}_{\ge 2})^n$.

Metodologia
A estratégia de prova integra geometria algébrica, geometria analítica complexa e teoria de singularidades através de três componentes primários:

1. Rigidez do Expoente (Algébrica): Os autores estabelecem primeiro que a classe de isomorfismo de uma variedade de Brieskorn–Pham sobre um corpo de característica zero é completamente determinada pela sua tupla de expoentes $a$, a menos que por permutação. Isso é provado através da análise dos esquemas de interseção completa de dimensão zero que surgem dos ideais jacobianos dos polinômios definidores. Ao computar a série de Hilbert dos anéis graduados associados dos nilradicais, eles demonstram que a estrutura algébrica do locus singular recupera unicamente os expoentes.
2. Redução Analítica (Geométrica): O artigo utiliza o teorema de cancelamento analítico de Hauser–Müller e propriedades de fatoração única para espaços algebroides. Os autores provam que, se duas variedades algébricas complexas com singularidades únicas tornam-se isomórficas após o produto com um esquema $Z$ que possui um ponto suave, então seus germes analíticos nos pontos singulares devem ser analiticamente isomórficos. Isso baseia-se no teorema de aproximação de Artin e na indecomponibilidade dos germes analíticos de variedades com singularidades isoladas.
3. Algebraização (Síntese): Os autores combinam a redução analítica com um teorema de R. V. Gurjar, que afirma que, para variedades afins que admitem "boas" $\mathbb{C}^*$-ações (graduações positivas com um único ponto fixo), um isomorfismo analítico dos germes nos vértices implica um isomorfismo algébrico das variedades mesmas.

Contribuições Principais e Resultados

• Teorema da Rigidez do Expoente (Teorema C): O artigo prova que, para variedades de Brieskorn–Pham sobre um corpo $k$ de característica zero, o isomorfismo das variedades (ou seus germes analíticos associados/completamentos formais) é equivalente à igualdade de suas tuplas de expoentes até por permutação ($a \sim b$). Isso estende resultados anteriores de rigidez topológica (por exemplo, Yoshinaga–Suzuki) para as categorias algébrica e analítica.
• Cancelamento Generalizado para $\mathbb{C}^*$-Variedades "Boas" (Teorema A): Os autores estabelecem um teorema de cancelamento para variedades afins irreduzíveis complexas que admitem boas $\mathbb{C}^*$-ações com uma única singularidade. Se $V \times Z \cong W \times Z$ onde $Z$ possui um ponto suave, então $V \cong W$ como variedades afins complexas.
• Cancelamento Generalizado para Variedades de Brieskorn–Pham (Teorema B): Este é o ápice principal do trabalho. Ele afirma que, para variedades de Brieskorn–Pham $V_a$ e $V_b$, os seguintes itens são equivalentes:
  1. $V_a \times Z \cong_{\mathbb{C}} V_b \times Z$ para qualquer esquema separado $\mathbb{C}$ com um ponto suave.
  2. $V_a \cong_{\mathbb{C}} V_b$.
  3. $V_a$ e $V_b$ são isomórficas como $\mathbb{C}^*$-variedades.
  4. As tuplas de expoentes satisfazem $a \sim b$.

Significância e Alegações
O artigo alega fornecer uma forma forte de cancelamento de Zariski generalizado para a família clássica de variedades de Brieskorn–Pham. Diferente do problema de cancelamento clássico onde o cilindro $Z$ é restrito a $\mathbb{A}^1$, este resultado é válido para qualquer esquema separado $Z$ que possua um ponto suave.

A significância reside na interação entre diferentes estruturas geométricas:

• Demonstra que a tupla de expoentes, um invariante combinatório, determina completamente a classe de isomorfismo da variedade nas categorias algébrica, analítica e formal.
• Une a lacuna entre propriedades analíticas locais (germes em singularidades) e propriedades algébricas globais via a estrutura de $\mathbb{C}^*$-ação.
• Os autores observam que, embora invariantes mais fracos (como a topologia do elo ou o tipo de homotopia do locus suave) falhem em distinguir variedades de Brieskorn–Pham (conforme mostrado pelos exemplos de Yoshinaga de elos homeomorfos com expoentes distintos), as estruturas algébricas e analíticas são rígidas o suficiente para recuperar os expoentes unicamente.

O trabalho baseia-se em resultados estabelecidos de Hauser–Müller (cancelamento analítico), Gurjar (algebraização de $\mathbb{C}^*$-variedades) e Artin, sintetizando-os para resolver o problema do cancelamento para esta classe específica e bem estudada de singularidades.