Infinite transitivity and polynomial vector fields

Resumen Técnico: Transitividad Infinita y Campos Vectoriales Polinómicos

Planteamiento del Problema
El artículo investiga las condiciones bajo las cuales los grupos generados por subgrupos radicales (específicamente subgrupos $\mathbb{G}_a$ normalizados por un toro) actúan con transitividad infinita en el plano afín $\mathbb{C}^2$. Una acción es infinitamente transitiva si, para cualquier $m$, el grupo puede mapear cualquier $m$-tupla de puntos distintos a cualquier otra $m$-tupla de puntos distintos. Los autores se centran en el grupo $G_{r,s}$ generado por dos subgrupos unipotentes uniparamétricos específicos:
$$L_r: (x + \alpha y^r, y) \quad \text{y} \quad R_s: (x, y + \beta x^s),$$
donde $\alpha, \beta \in \mathbb{C}$ y $r, s$ son enteros no negativos.

Aunque ya se había establecido que $G_{r,s}$ actúa infinitamente transitivamente en su órbita abierta solo si $rs=2$ (y que $rs=2$ implica transitividad infinita en $\mathbb{C}^2 \setminus \{0\}$), el artículo aborda la pregunta más amplia de la transitividad infinita genérica. Específicamente, busca determinar cuándo la acción diagonal de $G_{r,s}$ en $(\mathbb{C}^2)^m$ posee una órbita abierta de Zariski para cualquier $m$.

Metodología
Los autores emplean un enfoque de dos frentes que combina la teoría de Lie algebraica con técnicas de aproximación analítica:

1. Análisis Algebraico de Lie: El estudio se centra en el álgebra de Lie $\mathcal{L}$ de campos vectoriales polinómicos en $\mathbb{C}^2$ con divergencia cero, que es isomorfa al álgebra de Lie de polinomios $\mathbb{C}[x, y]$ equipada con el corchete de Poisson estándar $\{f, h\} = \frac{\partial f}{\partial x}\frac{\partial h}{\partial y} - \frac{\partial f}{\partial y}\frac{\partial h}{\partial x}$. Los autores analizan subálgebras generadas por monomios específicos, como $\text{Lie}(x^p, y^q)$, para determinar su codimensión y propiedades de intersección con subálgebras de polinomios de una variable.
2. Aproximación de Flujos: Para cerrar la brecha entre álgebras de Lie y grupos de transformaciones, los autores utilizan un resultado de Varolin sobre la aproximación de flujos polinómicos. Esto les permite construir automorfismos componiendo flujos de derivaciones localmente nilpotentes. La demostración se basa en el Teorema de la Función Implícita y en la capacidad de aproximar flujos analíticos con otros algebraicos, asegurando que el grupo generado por los flujos de derivaciones específicas actúe con una órbita abierta.

Contribuciones y Resultados Clave

• Estructura de Subálgebras de Poisson: El artículo establece descripciones precisas de la subálgebra $\text{Lie}(x^p, y^q)$ generada por dos monomios.

  • Proposición 7: Para $\min(p, q) \ge 2$ y $\max(p, q) \ge 3$, la intersección de esta subálgebra con los polinomios de una variable viene dada por $\text{Lie}(x^p, y^q) \cap \mathbb{C}[x] = x^p \mathbb{C}[x^{pq-p-q}]$ (y análogamente para $y$).
  • Corolario 9: La subálgebra $\text{Lie}(x^p, y^q)$ tiene codimensión finita en $\mathbb{C}[x, y]$ si y solo si $(p, q) = (2, 3)$ o $(3, 2)$.
  • Teorema 10: Bajo las mismas condiciones, la subálgebra generada por $x^p - y$ y $y^q$ es el álgebra completa $\mathbb{C}[x, y]$.

• 2-Generación de Álgebras de Lie:

  • Proposición 1: El álgebra de Lie $\mathcal{L}$ de campos vectoriales polinómicos de divergencia cero es generada por dos derivaciones localmente nilpotentes: $\partial_1 = y^2 \frac{\partial}{\partial x}$ y $\partial_2 = \frac{\partial}{\partial x} - x \frac{\partial}{\partial y}$.
  • Proposición 11: El álgebra de Lie $\tilde{\mathcal{L}}$ de campos vectoriales polinómicos con divergencia constante (el álgebra tangente de $\text{Aut}(\mathbb{C}^2)$) también es 2-generada.

• Teoremas Principales sobre Transitividad:

  • Teorema 18 (Resultado Principal): La acción del grupo $G_{r,s}$ en $\mathbb{C}^2$ es genéricamente infinitamente transitiva si y solo si $rs \ge 2$. Esto extiende resultados previos que estaban limitados al caso $rs=2$ y al plano punteado.
  • Teorema 17: El grupo $G_{r,s}$ actúa infinitamente transitivamente en un subconjunto abierto $O \subseteq \mathbb{C}^2$ si y solo si $rs=2$. En este caso, $O = \mathbb{C}^2 \setminus \{0\}$. El artículo proporciona una nueva demostración de este resultado utilizando el marco algebraico de Lie.

• Generalizaciones:

  • Proposición 25: Los resultados se extienden a las superficies de Danielewski $Y_p = \{(x, y, z) \in \mathbb{C}^3 : xy = p(z)\}$, mostrando que los grupos generados por derivaciones localmente nilpotentes específicas actúan genéricamente infinitamente transitivamente en estas superficies.
  • Corolario 29: Los autores construyen un par específico de subgrupos $\mathbb{G}_a$ (uno de los cuales no es un subgrupo radical) que generan un grupo infinitamente transitivo en $\mathbb{C}^2$, utilizando la 2-generación del álgebra de Lie de divergencia cero.

Significado y Afirmaciones
El artículo afirma que su principal relevancia radica en conectar la propiedad de transitividad infinita con la estructura del álgebra de Lie tangente subyacente. Al demostrar que la acción es genéricamente infinitamente transitiva si y solo si la subálgebra asociada del álgebra de Lie tiene codimensión finita (específicamente cuando $rs \ge 2$), los autores proporcionan un criterio estructural para la transitividad.

Los autores señalan que, aunque los resultados algebraicos de Lie son puramente algebraicos y válidos sobre cualquier cuerpo de característica cero, los resultados de transitividad para acciones de grupos dependen de métodos analíticos (específicamente el Teorema de la Función Implícita y la aproximación de flujos). Declaran explícitamente que obtener criterios puramente algebraicos para la transitividad infinita sigue siendo un problema abierto e interesante. La obra también sirve como una prueba de concepto para aplicar estas técnicas algebraicas de Lie a otras superficies afines, como las superficies de Danielewski.