Locally finite solvable Lie algebras of derivations

Resumen Técnico: Álgebras de Lie Solubles Localmente Finitas de Derivaciones

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la teoría de grupos de automorfismos de variedades afines y sus álgebras de Lie asociadas. Sea $X$ una variedad afín sobre un cuerpo algebraicamente cerrado $k$ de característica cero, y sea $\text{Lie}(\text{Aut}(X))$ el álgebra de Lie de las derivaciones de $\mathcal{O}(X)$.

El problema central, formulado en la Pregunta 1.1 (basada en trabajos previos de [3]), es el siguiente:

Sea $\mathfrak{h} = \langle \mathfrak{h}_1, \dots, \mathfrak{h}_k \rangle_{\text{Lie}}$ un subálgebra de Lie soluble de $\text{Lie}(\text{Aut}(X))$ generada por un número finito de subálgebras de Lie $\mathfrak{h}_i$ que son localmente finitas. ¿Es necesariamente $\mathfrak{h}$ localmente finita?

Se sabe que una subálgebra localmente finita es de dimensión finita. La pregunta se centra en si la propiedad de "localmente finita" se preserva bajo la generación de un álgebra soluble a partir de componentes localmente finitas.

2. Metodología y Reducciones

El autor emplea una estrategia de reducción progresiva para atacar el problema, dividiendo el análisis en variedades afines generales y el caso específico del plano afín $\mathbb{A}^2$.

A. Reducciones para Variedades Afines Generales (Sección 2):

• Inducción: Se reduce el problema al caso donde el álgebra $\mathfrak{h}$ está generada por dos subálgebras ($k=2$).
• Dimensión: Se asume que una de las subálgebras generadoras tiene dimensión 1 (es abeliana).
• Descomposición de Jordan: Se utiliza la descomposición aditiva única $\partial = \partial_s + \partial_n$ (semisimple + nilpotente localmente). Se introduce el concepto de subálgebra J-saturada (que contiene tanto la parte semisimple como la nilpotente de sus elementos).
• Criterio de Dimensión Finita: Se demuestra que para un álgebra soluble $\mathfrak{h}$, la finitud de dimensión es equivalente a que su ideal derivado $[\mathfrak{h}, \mathfrak{h}]$ sea nilpotente.
• Reducción a Generadores Específicos: El problema se reduce a estudiar álgebras generadas por derivaciones localmente nilpotentes y semisimples, donde las semisimples son algebraicas (generan toros algebraicos).

B. Caso del Plano Afín $\mathbb{A}^2$ (Sección 3):
Para el caso $X = \mathbb{A}^2$, el autor utiliza la estructura rica del grupo de automorfismos $\text{Aut}(\mathbb{A}^2)$:

• Grado Bigrado: Se explota la estructura de $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ como un álgebra de Lie bigraduada. Se definen puntos de Demazure y polígonos de Newton para las derivaciones.
• Triangularización: Se demuestra que cualquier subálgebra soluble localmente finita en $\mathbb{A}^2$ es triangulable (conjugada a una subálgebra de derivaciones triangulares superiores o inferiores). Esto contrasta con dimensiones $n \geq 3$, donde existen contraejemplos (como la derivación de Nagata).
• Descomposición Espectral: Se analiza la acción de derivaciones semisimples sobre el álgebra mediante descomposición espectral, clasificando los casos según si la derivación semisimple es algebraica o no.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1.6 / 3.1):

Sea $\mathfrak{h} \subset \text{Lie}(\text{Aut}(\mathbb{A}^2))$ una subálgebra de Lie soluble generada por derivaciones localmente finitas $\partial_1, \dots, \partial_k$. Entonces, $\mathfrak{h}$ es localmente finita y, además, es triangulable.

Resultados Intermedios y Criterios:

1. Criterio de Finitud (Proposición 1.3 / 2.12): Para una subálgebra soluble $\mathfrak{h}$ generada por subálgebras localmente finitas, $\mathfrak{h}$ es de dimensión finita si y solo si su ideal derivado $[\mathfrak{h}, \mathfrak{h}]$ es nilpotente.
2. Caso de Derivaciones Localmente Nilpotentes (Teorema 1.4): Si todas las generadoras son localmente nilpotentes, $\mathfrak{h}$ es el álgebra de Lie de un subgrupo algebraico unipotente $U$, por lo que es localmente finita.
3. Análisis de Derivaciones Semisimples:
   • Caso No Algebraico (Proposición 3.17): Si $\mathfrak{h}$ contiene una derivación semisimple no algebraica (donde la razón de sus coeficientes es irracional), se demuestra que $\mathfrak{h}$ debe estar contenida en una subálgebra triangular de dimensión finita, garantizando la local finitud.
   • Caso Algebraico (Proposición 3.22): Si todas las derivaciones semisimples son algebraicas, se utiliza la noción de pares oportunos (una derivación semisimple $s$ y una nilpotente $\partial_n$ que no conmutan pero cumplen ciertas relaciones de conmutación doble). Se prueba que si existe tal par, el álgebra tiene rango 2 y es localmente finita. Si no existe tal par, el álgebra es de rango 1 y también resulta localmente finita.

4. Significado e Implicaciones

• Resolución de una Conjetura: El artículo responde afirmativamente a la Pregunta 1.1 en el caso específico del plano afín $\mathbb{A}^2$, un resultado que no era obvio dado que la suma de álgebras localmente finitas no siempre es localmente finita en contextos generales.
• Estructura de Automorfismos: Refuerza la comprensión de la estructura de $\text{Aut}(\mathbb{A}^2)$, mostrando que las subálgebras solubles locales finitas tienen una estructura muy restringida (triangulables), a diferencia de las variedades de dimensión superior ($n \geq 3$) donde existen subálgebras no triangulables (ej. derivación de Nagata).
• Herramientas Nuevas: Introduce y aplica sistemáticamente el uso de polígonos de Newton y la bigraduación de derivaciones para analizar la finitud y la solubilidad de álgebras de derivaciones.
• Conjetura General: El autor sugiere que un análogo de este teorema podría ser válido para superficies toricas afines normales y variedades toricas afines más generales, abriendo una línea de investigación futura.

En conclusión, Zaidenberg establece que en el plano afín, la propiedad de ser localmente finita es estable bajo la generación de álgebras de Lie solubles, proporcionando criterios precisos basados en la nilpotencia del ideal derivado y la naturaleza algebraica o no de las derivaciones semisimples involucradas.