A Catalogue of the Lie Amaldi Classification with Structures Identified

Resumen Técnico: Un Catálogo de la Clasificación de Lie–Amaldi con Estructuras Identificadas

Planteamiento del Problema
La clasificación de las álgebras de Lie de campos de vectores de dimensión finita, establecida originalmente por Sophus Lie y Francesco Amaldi, ha permanecido históricamente en gran medida inaccesible en términos de identificación estructural explícita. Si bien E. Hillgarter proporcionó listas exhaustivas de estas álgebras en su tesis, las estructuras algebraicas específicas (por ejemplo, las descomposiciones de Levi, las propiedades del radical e los tipos de isomorfismo) de estas álgebras no habían sido identificadas sistemáticamente. Además, se sabe que la clasificación de las álgebras solubles es teóricamente incompleta, y los detalles estructurales de las álgebras nilpotentes no abelianas en dimensiones superiores han carecido de una descripción unificada.

Metodología
El autor, H. Azad, emplea un enfoque computacional automatizado utilizando el modelo de IA Claude para analizar las álgebras enumeradas en la tesis de Hillgarter. La metodología se basa en un protocolo estricto, paso a paso, ejecutado sobre los números complejos $\mathbb{C}$:

1. Verificación Computacional: Para cada álgebra, se computa la forma de Killing utilizando SymPy para determinar su rango y degeneración.
2. Descomposición Estructural: Si la forma de Killing es degenerada, se identifican el radical y el factor de Levi por separado.
3. Análisis del Sistema de Raíces: Se encuentra la subálgebra de Cartan, seguida de la computación de todas las raíces, raíces positivas y raíces simples.
4. Clasificación: Se derivan la matriz de Cartan y el diagrama de Dynkin para identificar el tipo algebraico (por ejemplo, $A_n$, $B_n$, etc.).
5. Validación: Los resultados se contrastan con resultados teóricos independientes (Proposiciones 1 y 2 relativas a rangos y complementos de Levi en $\mathbb{C}^2$ y $\mathbb{C}^3$) y con la clasificación de álgebras nilpotentes hallada en la literatura previa (específicamente [2]).

El autor enfatiza que se instruyó a la IA para nunca suponer ni conjeturar, asegurando que las descripciones estructurales se deriven estrictamente de los corchetes de Lie y los sistemas de raíces computados.

Contribuciones Clave y Resultados
El artículo proporciona un catálogo completo de la clasificación de Lie–Amaldi, identificando explícitamente la estructura algebraica de cada grupo como $g = (\text{factor de Levi}) \ltimes (\text{radical})$. Los resultados se organizan en las siguientes categorías:

• Grupos de Espacio Primitivos de Lie: El artículo enumera 8 grupos primitivos ($p_1$ a $p_8$). Confirma que todos los factores simples son de tipo $A$, con la excepción del tipo $B_2$ (isomorfo a $sp(4, \mathbb{C})$ y $so(5, \mathbb{C})$), que aparece solo en $\mathbb{C}^3$ como el álgebra de contacto ($p_4$) y el álgebra conforme ($p_8$).
• Grupos de Espacio Imprimitivos de Lie: El artículo detalla 31 grupos imprimitivos ($ip_1$ a $ip_{31}$), categorizados por sus sistemas de imprimitividad. Identifica los factores de Levi (productos de factores simples de tipo-$A$) y describe el radical en términos de los pesos máximos de módulos irreducibles (por ejemplo, $V(k)$, $V(h, 0)$).
• Grupos de Amaldi (Tipos A, B, C, D):
  • Tipo A: Abstractamente isomorfos a los grupos del plano.
  • Tipo D: Productos directos de grupos del plano con el $sl(2, \mathbb{C})$ estándar en el eje $z$.
  • Tipo B: Grupos Levi-descomponibles donde el radical incluye un ideal abeliano $K$ y funciones libres.
  • Tipo C: Grupos solubles pero no nilpotentes (nunca semisimples), caracterizados por un núcleo abeliano no nulo $K$ sobre el cual actúa el escalamiento.
• Álgebras Solubles y Nilpotentes: El artículo proporciona generadores explícitos para todas las álgebras solubles no nilpotentes y enumera todas las álgebras nilpotentes no abelianas, categorizadas por el rango y la dimensión de sus centros ($Z(g)$).

Significancia y Reivindicaciones
El artículo afirma que este catálogo es el primero en identificar explícitamente las estructuras algebraicas de la clasificación de Lie–Amaldi. Su significancia es doble:

1. Claridad Estructural: Cierra la brecha entre la lista de generadores proporcionada por Hillgarter y la estructura de álgebra de Lie abstracta, confirmando que la clasificación se alinea con las restricciones teóricas conocidas sobre álgebras semisimples y Levi-descomponibles en bajas dimensiones.
2. Completitud de las Listas Nilpotentes: Al comparar la enumeración de Amaldi con los resultados principales de la referencia [2], el artículo señala que la enumeración de álgebras nilpotentes en Amaldi es incompleta. Argumenta que la clasificación de álgebras solubles no abelianas es inherentemente limitada porque son extensiones abelianas de álgebras nilpotentes; una clasificación algorítmica completa se ve obstruida por la dificultad de construir el normalizador del conmutador para estas álgebras en tres o más variables.

El autor concluye que, si bien la identificación estructural de las clases conocidas de Lie–Amaldi es ahora completa, la clasificación más amplia de álgebras solubles en dimensiones superiores sigue siendo teóricamente incompleta debido a estas limitaciones algorítmicas.