Weakly Noetherian Lie Algebra and the Sierra-Walton Conjecture

Resumen Técnico: Álgebras de Lie Débilmente Noetherianas y la Conjetura de Sierra-Walton

Enunciado del Problema
El artículo aborda la teoría estructural de álgebras de Lie de dimensión infinita sobre un cuerpo $K$ de característica cero, motivado por la Conjetura de Sierra-Walton (Conjetura 1). Esta conjetura postula que si un álgebra de Lie $\mathfrak{g}$ es de dimensión infinita, su álgebra envolvente $U(\mathfrak{g})$ no es Noetheriana. Aunque la conjetura fue establecida para casos específicos (por ejemplo, el álgebra de Witt por Sierra y Walton, y las álgebras de Krichever-Novikov), faltaba una caracterización estructural general de las álgebras de Lie cuyas álgebras envolventes podrían ser Noetherianas. El autor busca definir una clase de álgebras de Lie que capture las restricciones necesarias para la Noetherianidad y determinar su estructura.

Metodología y Definiciones
El autor introduce una jerarquía de condiciones de Noetherianidad para álgebras de Lie $G$:

1. Débilmente Noetheriana: Para cada subálgebra $\mathfrak{m} \subset G$, la abelianización $\mathfrak{m}/[\mathfrak{m}, \mathfrak{m}]$ es de dimensión finita.
2. Noetheriana: Un álgebra débilmente Noetheriana que satisface la condición de cadena ascendente (CCA) sobre ideales característicos.
3. Estrictamente Débilmente Noetheriana: $G \otimes_K L$ es débilmente Noetheriana para cualquier extensión finita de cuerpos $L/K$.
4. Fuertemente Noetheriana: Cada subálgebra de $G$ es finitamente generada.

El artículo emplea un argumento de inducción transfinita para construir una filtración descendente de subálgebras de Lie $G = G^{(0)} \supset G^{(1)} \supset \dots \supset G^{(\alpha)} \dots$, definida mediante la serie derivada de radicales. Las demostraciones se basan en una síntesis de varios resultados profundos de la teoría de Lie y la teoría de anillos, incluyendo:

• La teoría de Tits de álgebras de Lie afines.
• La teoría de Formanek y Razmyslov de identidades centrales (identidades polinómicas en álgebras de matrices).
• Los teoremas de Grabowski sobre la simplicidad y las derivaciones externas de las álgebras de Krichever-Novikov.
• El Teorema de Densidad de Jacobson y propiedades de los centroides.

Contribuciones y Resultados Clave

1. La Estructura de las Álgebras de Lie Débilmente Noetherianas (Teorema A)
El resultado central, el Teorema A, establece que las álgebras de Lie débilmente Noetherianas poseen una estructura altamente restringida. Para un álgebra de Lie débilmente Noetheriana $G$ que satisface hipótesis simplificatorias específicas (perfección y ausencia de cocientes simples de dimensión finita), la filtración $G^{(\alpha)}$ produce lo siguiente:

• Cada $G^{(\alpha)}$ es un ideal perfecto.
• El cociente $G^{(\alpha)}/G^{(\alpha+1)}$ es una extensión central de $G^{(\alpha)}/\text{rad}(G^{(\alpha)})$ por un centro de dimensión finita.
• Cualquier cociente simple de $G^{(\alpha)}$ es de dimensión infinita.
• Ninguna álgebra de Krichever-Novikov aparece como cociente de $G^{(\alpha)}$ para $\alpha \geq 1$.
• Si $G$ es Noetheriana, la filtración termina ($G^{(\alpha)} = 0$) para $\alpha$ suficientemente grande.

Un resultado intermedio crucial (Teorema 41) demuestra que en un álgebra de Lie débilmente Noetheriana, cualquier ideal maximal de codimensión $>1$ es un ideal característico. Esto depende de mostrar que tales álgebras contienen solo un número finito de ideales maximales de una codimensión finita dada (Teorema 25), un resultado derivado de la teoría de identidades centrales de Formanek-Razmyslov.

2. Clasificación de Álgebras de Lie Graduadas Perfectas (Teorema B)
Para el caso específico de álgebras de Lie $\mathbb{Z}^n$-graduadas con componentes homogéneas de dimensión finita, el artículo proporciona una clasificación explícita (Teorema B). Si $L$ es un álgebra de Lie $\mathbb{Z}^n$-graduada perfecta y estrictamente débilmente Noetheriana, su extensión central universal $\hat{L}$ es isomorfa a:
$$\hat{L} \cong \mathfrak{g} \oplus \left( \bigoplus_{i=1}^n \text{Witt}(E_i) \right) \oplus \left( \bigoplus_{j=1}^m \widehat{\text{Vir}}(F_j) \right)$$
donde:

• $\mathfrak{g}$ es un álgebra de Lie perfecta de dimensión finita.
• $E_i$ y $F_j$ son extensiones finitas de $K$.
• $\text{Witt}(E)$ y $\text{Vir}(E)$ denotan las álgebras de Witt y Virasoro sobre estos cuerpos.
• $\widehat{\text{Vir}}$ denota la extensión central universal.

Esta clasificación implica que los únicos componentes simples de dimensión infinita permitidos en tales álgebras son las álgebras de Witt y Virasoro (y sus extensiones finitas de cuerpos).

3. Implicaciones para la Conjetura de Sierra-Walton
El artículo deriva el Corolario 65, que establece que para un álgebra de Lie $\mathbb{Z}^n$-graduada perfecta $L$, el álgebra envolvente $U(L)$ es Noetheriana por la izquierda solo si $L$ es de dimensión finita. Esto confirma la conjetura de Sierra-Walton para toda la clase de álgebras de Lie $\mathbb{Z}^n$-graduadas perfectas.

Además, el Corolario 45 reduce la conjetura general de Sierra-Walton a tres tipos específicos de álgebras de Lie "justo-infinitas":

• Tipo A: Simples.
• Tipo B: Residualmente nilpotentes.
• Tipo C: Perfectas, residualmente semisimples y que no satisfacen ninguna identidad polinómica.
  El autor señala que, aunque el Tipo A (por ejemplo, Krichever-Novikov) y el Tipo B (por ejemplo, campos vectoriales que se anulan en un punto) son comprendidos, actualmente no se conocen ejemplos de álgebras de Lie Noetherianas del Tipo C.

Significado y Afirmaciones
El artículo afirma proporcionar la primera teoría estructural general para álgebras de Lie de dimensión infinita que satisfacen condiciones de Noetherianidad. Al definir álgebras "débilmente Noetherianas", el autor demuestra que la propiedad de tener un álgebra envolvente Noetheriana impone restricciones severas a la estructura interna del álgebra, descartando efectivamente la mayoría de los comportamientos "salvajes" de dimensión infinita.

El autor sugiere modestamente que, aunque la conjetura se reduce a tres casos, el estado de la conjetura para álgebras de Lie simples del Tipo C (o potencialmente álgebras simples en general) podría ser indecidible, citando argumentos intuitivos sobre la complejidad de las derivaciones externas y los ordinales no recursivos. El trabajo mejora el célebre teorema de Sierra-Walton al extender el resultado desde el álgebra de Witt a todas las álgebras de Lie $\mathbb{Z}^n$-graduadas perfectas y proporcionar una descomposición estructural para ellas.