Equivalence of germs (of mappings and sets) over k vs that over K

1. Formulação do Problema

O artigo aborda uma questão fundamental na Teoria das Singularidades e Geometria Algébrica: Quando a equivalência de germes de aplicações sobre um corpo de extensão $K$ implica equivalência sobre o corpo base $k$?

Especificamente, considere dois germes de aplicações $f, \tilde{f}$ definidos sobre um anel/corpo base $k$ (mapeando entre germes de espaços $X$ e $Y$). Se essas aplicações são equivalentes sob uma ação de grupo $G$ (Direita, Esquerda-Direita, Contato, etc.) quando a base é estendida para um corpo maior $K$ (isto é, $f \sim_{G_K} \tilde{f}$), segue-se que elas são equivalentes sobre o corpo original $k$ (isto é, $f \sim_{G_k} \tilde{f}$)?

• Contexto: Classicamente, resultados são frequentemente provados sobre $\mathbb{C}$ e depois aplicados a $\mathbb{R}$. No entanto, é bem conhecido que a equivalência $\mathbb{C}$ nem sempre implica equivalência $\mathbb{R}$ (por exemplo, o sinal de uma forma quadrática é preservado sob equivalência real, mas não complexa).
• A Lacuna: O artigo investiga se essa falha é de "baixa ordem" ou se condições específicas (como unipotência da transformação ou fechamento algébrico do corpo base) podem garantir a descida da equivalência de $K$ para $k$.
• Âmbito: O trabalho generaliza além do caso suave clássico ($\mathbb{R}^n \to \mathbb{R}^m$) para:
  • Singularidades arbitrárias na fonte e no alvo.
  • Germes formais, analíticos e de Nash (algébricos).
  • Anéis base $k$ arbitrários e extensões fielmente planas $k \subset K$.

2. Metodologia

O autor emprega uma combinação de Álgebra Comutativa, Teoria das Singularidades e Cohomologia de Galois. A metodologia estrutura-se em torno de vários pilares técnicos-chave:

A. Ações de Grupo Generalizadas e Espaços Tangentes

O artigo define rigorosamente os grupos de equivalência ($R, L, LR, C, K$) e suas ações em espaços de aplicações $\text{Maps}(X, Y)$, onde $X$ e $Y$ são germes singulares arbitrários.

• Define os espaços tangentes $T_G$ a esses grupos na identidade.
• Estabelece a ação desses espaços tangentes no espaço de aplicações, $T_G \times \text{Maps} \to T(\text{Maps})$.
• Crucialmente, trata o caso em que o alvo $Y$ é singular, um cenário frequentemente negligenciado na literatura clássica.

B. Filtrações e Unipotência

O artigo introduz filtrações nos grupos e em seus espaços tangentes (por exemplo, $G^{(j)}$).

• Unipotência: Uma transformação é considerada "unipotente" se sua parte linear (1-jato) for a identidade módulo termos de ordem superior.
• A estratégia central para o caso de característica 0 é reduzir o problema de equivalência não-linear a um problema linear no espaço tangente. Se a transformação $g_K$ é unipotente, ela pode ser expressa como a exponencial de um vetor tangente $\xi_K$. O problema torna-se então resolver para $\xi_K$ no produto tensorial $K \otimes T_G$.

C. Aproximação de Artin e Lemas de Artin-Rees

Para preencher a lacuna entre soluções de séries de potências formais e soluções analíticas/Nash, o autor utiliza:

• Aproximação de Artin: Para deduzir equivalência analítica/Nash a partir de equivalência formal.
• Aproximação Forte de Artin: Para lidar com casos em que a equivalência é conhecida apenas ordem a ordem (módulo $m^d$).
• Novos Lemas de Artin-Rees: O artigo prova versões inovadoras do lema de Artin-Rees adaptadas aos espaços tangentes imagem dessas ações de grupo ($T_G f$). Isso é essencial para provar que a interseção da órbita com uma vizinhança de alta ordem implica a pertinência a uma órbita de um subgrupo específico.

D. Geometria Algébrica e Cohomologia de Galois

Para o caso em que o corpo base é algebricamente fechado, o autor traduz a condição de equivalência em um sistema de equações polinomiais.

• Se uma solução existe sobre uma extensão $K$, o Teorema dos Zeros de Hilbert e propriedades de corpos algebricamente fechados são usados para mostrar que uma solução existe sobre $k$.
• Para extensões finitas, o artigo utiliza Cohomologia de Galois (especificamente $H^1$) para analisar a divisão de órbitas, referenciando o trabalho de Serre sobre corpos do tipo F.

3. Contribuições e Resultados Chave

Teorema Principal (Teorema 5.1)

O resultado central estabelece condições sob as quais a equivalência $G_K$ implica equivalência $G_k$:

1. Característica 0 (Caso Unipotente): Se $k \subset K$ é uma extensão fielmente plana e $\tilde{f} = g_K \cdot f$, onde $g_K$ possui uma parte linear unipotente (identidade módulo termos de ordem superior), então $\tilde{f} \sim_{G_k} f$.
   • Significado: Isso resolve a intuição de "baixa ordem". Se a transformação complexa está "próxima" da identidade, a equivalência real (ou $k$) vale.
2. Base Algebricamente Fechada: Se o corpo base $k$ é algebricamente fechado (de qualquer característica), então a equivalência $G_K$ implica equivalência $G_k$ para qualquer extensão $K$.
   • Significado: Isso confirma que o fechamento algébrico é uma condição suficiente para a descida da equivalência, independentemente da característica.

Corolários e Aplicações

• Estabilidade de Famílias (Corolário 5.6): Se uma família de aplicações $\{f_t\}$ é trivial sobre uma extensão $K$ (isto é, pode ser deformada para uma família constante), ela é trivial sobre $k$. Isso é crucial para a teoria de deformações e desdobramentos.
• Determinação Finita da Questão "k vs K" (Corolário 5.9): A questão de saber se duas aplicações são equivalentes sobre $k$, dado que são equivalentes sobre $K$, é finitamente determinada. Existe um inteiro $N$ tal que, se $f$ e $\tilde{f}$ concordam até a ordem $N$ e são $G_K$-equivalentes, elas são $G_k$-equivalentes.
• Divisão Finita de Órbitas (Corolário 5.10): Para corpos do "tipo F" (por exemplo, $\mathbb{R}$, corpos $p$-ádicos, corpos finitos) e extensões finitas $K$, a interseção de uma órbita complexa com o espaço real divide-se em um número finito de órbitas reais.
  • Contra-exemplo: O artigo mostra que para corpos não do tipo F (como $\mathbb{Q}$) ou extensões infinitas, essa divisão pode ser infinita.

Inovações Técnicas

• Alvos Singulares: O artigo fornece a primeira configuração abrangente para equivalência de contato e esquerda-direita quando o espaço alvo $Y$ é singular, definindo os espaços tangentes relevantes e ações de grupo.
• Artin-Rees Não-Linear: O autor prova uma versão não-linear do lema de Artin-Rees para as órbitas de grupo, o que é uma contribuição significativa para a Álgebra Comutativa.
• Contexto Nash/Algébrico: Os resultados são formulados para cobrir germes de Nash (séries de potências algébricas), preenchendo a lacuna entre geometria algébrica e análise real/complexa.

4. Significado

Este artigo resolve ambiguidades de longa data na Teoria das Singularidades relacionadas à relação entre equivalência real e complexa.

1. Esclarecimento de Real vs. Complexo: Esclarece exatamente quando a equivalência real falha em seguir da equivalência complexa (obstruções de baixa ordem) e quando é garantida (unipotência ou fechamento algébrico).
2. Teoria de Deformações: Os resultados fornecem uma base rigorosa para o estudo de deformações e desdobramentos sobre anéis base, garantindo que a trivialidade sobre uma extensão implique trivialidade sobre a base.
3. Utilidade Computacional: O resultado de "determinação finita" implica que verificar a equivalência sobre um corpo de extensão é um problema computacional finito em relação ao corpo base, o que é vital para a teoria algorítmica de singularidades.
4. Generalização: Ao estender esses resultados para alvos singulares e anéis base arbitrários, o artigo unifica o tratamento de germes formais, analíticos e de Nash, tornando a teoria aplicável a uma gama mais ampla de problemas geométricos e algébricos, incluindo os problemas de Nash-Tognoli e o 17º problema de Hilbert.

Em resumo, Kerner fornece uma estrutura teórica robusta que conecta a geometria das singularidades sobre diferentes corpos, provando que um "bom" comportamento (unipotência ou fechamento algébrico) garante que as propriedades geométricas locais são preservadas sob extensão e restrição de corpo.