Infinite transitivity and polynomial vector fields

Resumo Técnico: Transitividade Infinita e Campos Vetoriais Polinomiais

Enunciado do Problema
O artigo investiga as condições sob as quais grupos gerados por subgrupos radiciais (especificamente subgrupos $\mathbb{G}_a$ normalizados por um toro) atuam com transitividade infinita no plano afim $\mathbb{C}^2$. Uma ação é infinitamente transitiva se, para qualquer $m$, o grupo puder mapear qualquer $m$-tupla de pontos distintos para qualquer outra $m$-tupla de pontos distintos. Os autores focam no grupo $G_{r,s}$ gerado por dois subgrupos unipotentes uniparamétricos específicos:
$$L_r: (x + \alpha y^r, y) \quad \text{e} \quad R_s: (x, y + \beta x^s),$$
onde $\alpha, \beta \in \mathbb{C}$ e $r, s$ são inteiros não negativos.

Embora já estivesse estabelecido que $G_{r,s}$ atua infinitamente transitivamente em sua órbita aberta apenas se $rs=2$ (e que $rs=2$ implica transitividade infinita em $\mathbb{C}^2 \setminus \{0\}$), o artigo aborda a questão mais ampla da transitividade infinita genérica. Especificamente, busca determinar quando a ação diagonal de $G_{r,s}$ em $(\mathbb{C}^2)^m$ possui uma órbita aberta de Zariski para qualquer $m$.

Metodologia
Os autores empregam uma abordagem de duas frentes, combinando teoria de Lie algébrica com técnicas de aproximação analítica:

1. Análise Algébrica de Lie: O estudo centra-se na álgebra de Lie $\mathcal{L}$ de campos vetoriais polinomiais em $\mathbb{C}^2$ com divergência nula, que é isomórfica à álgebra de Lie de polinômios $\mathbb{C}[x, y]$ equipada com o colchete de Poisson padrão $\{f, h\} = \frac{\partial f}{\partial x}\frac{\partial h}{\partial y} - \frac{\partial f}{\partial y}\frac{\partial h}{\partial x}$. Os autores analisam subálgebras geradas por monômios específicos, como $\text{Lie}(x^p, y^q)$, para determinar sua codimensão e propriedades de interseção com subálgebras de polinômios univariados.
2. Aproximação de Fluxos: Para preencher a lacuna entre álgebras de Lie e grupos de transformações, os autores utilizam um resultado de Varolin sobre a aproximação de fluxos polinomiais. Isso permite-lhes construir automorfismos compondo fluxos de derivações localmente nilpotentes. A prova baseia-se no Teorema da Função Implícita e na capacidade de aproximar fluxos analíticos por fluxos algébricos, garantindo que o grupo gerado pelos fluxos de derivações específicas atue com uma órbita aberta.

Principais Contribuições e Resultados

• Estrutura de Subálgebras de Poisson: O artigo estabelece descrições precisas da subálgebra $\text{Lie}(x^p, y^q)$ gerada por dois monômios.

  • Proposição 7: Para $\min(p, q) \ge 2$ e $\max(p, q) \ge 3$, a interseção desta subálgebra com polinômios univariados é dada por $\text{Lie}(x^p, y^q) \cap \mathbb{C}[x] = x^p \mathbb{C}[x^{pq-p-q}]$ (e similarmente para $y$).
  • Corolário 9: A subálgebra $\text{Lie}(x^p, y^q)$ tem codimensão finita em $\mathbb{C}[x, y]$ se e somente se $(p, q) = (2, 3)$ ou $(3, 2)$.
  • Teorema 10: Sob as mesmas condições, a subálgebra gerada por $x^p - y$ e $y^q$ é a álgebra inteira $\mathbb{C}[x, y]$.

• 2-Geração de Álgebras de Lie:

  • Proposição 1: A álgebra de Lie $\mathcal{L}$ de campos vetoriais polinomiais de divergência nula é gerada por duas derivações localmente nilpotentes: $\partial_1 = y^2 \frac{\partial}{\partial x}$ e $\partial_2 = \frac{\partial}{\partial x} - x \frac{\partial}{\partial y}$.
  • Proposição 11: A álgebra de Lie $\tilde{\mathcal{L}}$ de campos vetoriais polinomiais com divergência constante (a álgebra tangente de $\text{Aut}(\mathbb{C}^2)$) também é 2-gerada.

• Teoremas Principais sobre Transitividade:

  • Teorema 18 (Resultado Principal): A ação do grupo $G_{r,s}$ em $\mathbb{C}^2$ é genericamente infinitamente transitiva se e somente se $rs \ge 2$. Isso estende resultados anteriores que estavam limitados ao caso $rs=2$ e ao plano perfurado.
  • Teorema 17: O grupo $G_{r,s}$ atua infinitamente transitivamente em um subconjunto aberto $O \subseteq \mathbb{C}^2$ se e somente se $rs=2$. Neste caso, $O = \mathbb{C}^2 \setminus \{0\}$. O artigo fornece uma nova prova deste resultado utilizando o quadro da álgebra de Lie.

• Generalizações:

  • Proposição 25: Os resultados são estendidos para superfícies de Danielewski $Y_p = \{(x, y, z) \in \mathbb{C}^3 : xy = p(z)\}$, mostrando que grupos gerados por derivações localmente nilpotentes específicas atuam genericamente infinitamente transitivamente nestas superfícies.
  • Corolário 29: Os autores constroem um par específico de subgrupos $\mathbb{G}_a$ (um dos quais não é um subgrupo radicial) que geram um grupo infinitamente transitivo em $\mathbb{C}^2$, utilizando a 2-geração da álgebra de Lie de divergência nula.

Significado e Afirmações
O artigo afirma que seu significado primário reside em conectar a propriedade de transitividade infinita à estrutura da álgebra de Lie tangente subjacente. Ao provar que a ação é genericamente infinitamente transitiva se e somente se a subálgebra associada da álgebra de Lie tiver codimensão finita (especificamente quando $rs \ge 2$), os autores fornecem um critério estrutural para a transitividade.

Os autores observam que, embora os resultados da álgebra de Lie sejam puramente algébricos e válidos sobre qualquer corpo de característica zero, os resultados de transitividade para ações de grupo dependem de métodos analíticos (especificamente o Teorema da Função Implícita e a aproximação de fluxos). Eles afirmam explicitamente que obter critérios puramente algébricos para transitividade infinita permanece um problema aberto e interessante. O trabalho também serve como uma prova de conceito para aplicar essas técnicas de álgebra de Lie a outras superfícies afins, como as superfícies de Danielewski.