Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

Resumo Técnico: Superfícies Algébricas Reais Biholomorficamente Equivalentes mas Não Algebricamente Equivalentes

Enunciado do Problema
Este artigo aborda uma questão aberta de longa data na geometria complexa e na geometria algébrica real: se a equivalência biholomorfa implica equivalência algébrica para germes de variedades algébricas reais em $\mathbb{C}^n$. Especificamente, dados dois germes de variedades algébricas reais suaves $(M, 0)$ e $(M', 0)$ em $\mathbb{C}^n$, se existir um biholomorfismo $\Phi$ mapeando $M$ em $M'$, existe necessariamente um biholomorfismo $\Psi$ definido por séries de potências algébricas (isto é, séries de potências que satisfazem uma equação polinomial não trivial com coeficientes polinomiais) tal que $\Psi(M) = M'$?

Embora a resposta seja conhecida por ser positiva para várias classes importantes de variedades — incluindo hipersuperfícies algébricas reais não degeneradas de Levi (Webster, 1977) e variedades algébricas reais genéricas de tipo finito que são holomorficamente não degeneradas (Berteloot, Ebenfelt e Rakhimov, 1996) —, o caso geral para variedades algébricas reais permanecia sem resolução. Trabalhos anteriores de Moser e Webster (1983) demonstraram que a equivalência formal nem sempre implica equivalência convergente (biholomorfa) para superfícies de Bishop, mas a questão específica de saber se a equivalência convergente implica equivalência algébrica não havia sido resolvida.

Metodologia
O autor constrói um contraexemplo utilizando superfícies de Bishop, uma classe de superfícies reais em $\mathbb{C}^2$ caracterizada por possuir um espaço tangente totalmente real em todos os pontos, exceto na origem, onde o espaço tangente é uma linha complexa.

1. Construção do Contraexemplo:
   O artigo considera a família de superfícies de Bishop $M_\gamma$ definida por:
   $$M_\gamma := \{(z, w) \in \mathbb{C}^2 \mid w = |z|^2 + \gamma(z^2 + \bar{z}^2)\}$$
   onde $\gamma \in (0, 1/2)$ é um número transcendente.

2. Existência de Equivalência Biholomorfa:
   Citando Moser e Webster (1983), o artigo observa que, para $\gamma \in (0, 1/2)$, a superfície $M_\gamma$ admite um mapa biholomorfo convergente $\Phi$ para uma forma normal $N_{\gamma, \epsilon, s}$ (especificamente, uma superfície definida por $w = |z|^2 + (\gamma + \epsilon w^s)(z^2 + \bar{z}^2)$ com $\text{Im}(w)=0$). Assim, $M_\gamma$ é biholomorficamente equivalente à sua forma normal.

3. Prova da Não Equivalência Algébrica:
   O núcleo da prova procede por contradição. O autor assume que existe um biholomorfismo $\Phi = (\phi_1, \phi_2)$ com componentes no anel de séries de potências algébricas $\mathbb{C}\langle z, w \rangle$ que mapeia $M_\gamma$ para a forma normal (especificamente, mapeando-a para o hiperplano real $\text{Im}(w)=0$).

   • Análise da Estrutura Algébrica: A prova utiliza propriedades do anel de séries de potências algébricas, incluindo o Teorema da Função Implícita, a planidade fiel e o comportamento dos coeficientes sob extensões de corpo.
   • Redução do Corpo de Coeficientes: Usando o Lema 6 e o Lema 5, o autor reduz os coeficientes do mapa algébrico assumido para uma extensão de corpo finitamente gerada $L$ de $\mathbb{Q}(\gamma)$. Por análise adicional (Lema 7, um teorema do tipo Eisenstein), mostra-se que os coeficientes são funções racionais dos parâmetros transcendentais $\gamma_1, \dots, \gamma_r$.
   • Deformação de Parâmetros: O autor constrói uma família de superfícies $M_\delta$ parametrizada por $\delta \in \mathbb{R}$. Explorando a independência algébrica do transcendente $\gamma$, a prova mostra que, se uma equivalência algébrica existir para o transcendente $\gamma$, então uma equivalência algébrica deve existir para um parâmetro "próximo" $\delta_1$ escolhido de um conjunto denso de números reais.
   • Contradição via Parâmetros Excepcionais: O autor seleciona $\delta_1 > 1/2$ para ser um parâmetro "excepcional" (onde as soluções de $\gamma T^2 - T + \gamma = 0$ não são raízes da unidade). Moser e Webster (1983, Teorema 6.1) provaram que, para tais parâmetros excepcionais, não existe nenhum biholomorfismo convergente que mapeie a superfície para a forma normal. Como as séries de potências algébricas são convergentes, a existência de um mapa algébrico para $\delta_1$ implicaria a existência de um mapa convergente, o que é uma impossibilidade conhecida.

Contribuições e Resultados Principais

• Teorema 1: O artigo estabelece que, se $\gamma \in (0, 1/2)$ é um número transcendente, a superfície de Bishop $M_\gamma$ é biholomorficamente equivalente à sua forma normal, mas não por meio de um biholomorfismo algébrico.
• Resposta Negativa à Questão Geral: Este resultado fornece uma resposta negativa definitiva à questão colocada em [BER00] e [Mir13]: a equivalência biholomorfa não implica equivalência algébrica para germes de variedades algébricas reais em geral.
• Refinamento da Teoria das Superfícies de Bishop: O trabalho esclarece a distinção entre equivalências formais, convergentes e algébricas especificamente no contexto das superfícies de Bishop, destacando o papel dos invariantes transcendentais.

Significado
O artigo resolve um problema específico e aberto sobre a rigidez das estruturas algébricas reais sob mapeamentos biholomorfos. Demonstra que, embora a estrutura analítica dessas superfícies seja suficientemente rígida para admitir uma forma normal convergente (para $\gamma \in (0, 1/2)$), a estrutura algébrica não é preservada por essa equivalência. O resultado sublinha que a classe das séries de potências algébricas é estritamente menor que a classe das séries de potências convergentes no contexto do mapeamento de variedades algébricas reais, mesmo quando as próprias variedades são algébricas. O autor enquadra modestamente o trabalho como fornecendo um contraexemplo específico a uma conjectura geral, recorrendo aos resultados estabelecidos de não convergência para parâmetros excepcionais por Moser e Webster para gerar a contradição.