Affine cohomology classes for filiform Lie algebras

Resumen Técnico: Clases de Cohomología Afín para Álgebras de Lie Filiformes

Planteamiento del Problema
El artículo aborda la formulación algebraica de la pregunta de Milnor sobre la existencia de estructuras afines completas invariantes por la izquierda en grupos de Lie solubles. Si bien Auslander demostró que tales grupos deben ser solubles, el reverso fue refutado por el descubrimiento de grupos de Lie nilpotentes (específicamente álgebras filiformes de dimensiones $10 \le n \le 13$) que no admiten estructuras afines. El problema central es determinar qué álgebras de Lie nilpotentes admiten estructuras afines. Esto está vinculado a la existencia de módulos fieles de dimensión $n+1$ para un álgebra de Lie de dimensión $n$. El artículo se centra específicamente en álgebras de Lie nilpotentes filiformes, las cuales son conocidas por producir cotas inferiores para los números de Betti y son las principales candidatas a contraejemplos de la existencia de estructuras afines. El objetivo específico es clasificar los espacios de segundo cohomología $H^2(\mathfrak{g}, K)$ y determinar la existencia de "clases de cohomología afín" dentro de ellos.

Metodología
El autor emplea la clasificación de álgebras de Lie filiformes mediante bases adaptadas y constantes de estructura.

1. Bases Adaptadas y Constantes de Estructura: Utilizando el resultado de Vergne, cualquier álgebra de Lie filiforme de dimensión $n$ es isomórfica a una deformación $L_\psi$ del álgebra filiforme graduada estándar $L(n)$. Los corchetes de Lie están determinados por un 2-cociclo $\psi = \sum \alpha_{k,s} \psi_{k,s}$, donde $\alpha_{k,s}$ son constantes de estructura.
2. Clasificación en Subclases: El artículo divide los álgebras filiformes en subclases específicas ($A_{n,i}(K)$) basadas en igualdades e desigualdades de estas constantes de estructura (por ejemplo, $\alpha_{3,6} \neq 0$). Esto evita la necesidad de una clasificación completa de todos los álgebras filiformes.
3. Cálculo de Cohomología: El autor calcula el espacio de 2-cículos $Z^2(\mathfrak{g}, K)$ y el grupo de segunda cohomología $H^2(\mathfrak{g}, K) = Z^2/B^2$. Esto implica resolver las ecuaciones de la condición de cociclo derivadas de las relaciones del corchete de Lie. Los cálculos para dimensiones $n \le 11$ se realizaron utilizando el paquete de álgebra computacional REDUCE.
4. Definición de Clases Afines: Un 2-cociclo $\omega$ se define como "afín" si es no nulo sobre el producto exterior del centro $z(\mathfrak{g})$ y el álgebra $\mathfrak{g}$. Una clase de cohomología es afín si contiene un representante afín.

Contribuciones Clave y Resultados

• Clasificación de $H^2(\mathfrak{g}, K)$ para $n \le 11$: El artículo proporciona una tabla completa de los espacios de cohomología $H^2(\mathfrak{g}, K)$ para todos los álgebras de Lie filiformes de dimensión $3 \le n \le 11$. Para cada subclase, se describe explícitamente la base del espacio de cohomología en términos de 2-cículos específicos ($\omega_1, \omega_2, \dots$) e indica si existe una clase de cohomología afín.
• Relación entre Cohomología Afín y Estructuras Afines:
  • Teorema 3.5: Demuestra que si un álgebra de Lie filiforme $\mathfrak{g}$ admite una extensión $0 \to \mathfrak{a} \to \mathfrak{h} \to \mathfrak{g} \to 0$ donde $\mathfrak{a}$ es el centro de $\mathfrak{h}$, entonces $\mathfrak{g}$ admite una estructura afín.
  • Proposición 3.4: Como corolario, la existencia de una clase de cohomología afín $[\omega] \in H^2(\mathfrak{g}, K)$ implica la existencia de una estructura afín de "tipo canónico" en $\mathfrak{g}$.
• Números de Betti Mínimos y No Existencia:
  • Proposición 4.4: Los álgebras filiformes con el segundo número de Betti mínimo $b_2(\mathfrak{g}) = 2$ no admiten una clase de cohomología afín.
  • Teorema 4.11: Para la dimensión $n=13$, el artículo demuestra que ningún álgebra de Lie en la clase $A^2_{13}(K)$ (que tiene $b_2(\mathfrak{g})=2$) admite ninguna estructura afín. Esto se demuestra mostrando que la dimensión mínima de un módulo fiel $\mu(\mathfrak{g}) \ge 15$, mientras que una estructura afín requeriría $\mu(\mathfrak{g}) \le 14$.
• Resultados para Dimensiones Superiores ($n \ge 12$):
  • Teorema 4.8: Para los álgebras en la clase $A^1_n(K)$ ($n \ge 12$), $b_2(\mathfrak{g}) \ge 3$, y siempre existe una clase de cohomología afín; por lo tanto, admiten una estructura afín canónica.
  • Teorema 4.10: Para la clase $A^2_n(K)$ ($n \ge 13$), la existencia de una clase de cohomología afín depende de una condición polinómica específica $P_n \equiv 0$ sobre las constantes de estructura. Si la condición no se cumple, $b_2(\mathfrak{g}) = 2$ y no existe una clase de cohomología afín.

Significado y Reivindicaciones

El artículo establece un vínculo directo entre la propiedad cohomológica de tener un "2-cociclo afín" y la propiedad geométrica de admitir una estructura afín canónica. Confirma que para los álgebras filiformes con números de Betti segundos mínimos ($b_2=2$), la ausencia de una clase de cohomología afín es un fuerte indicador de la no existencia de estructuras afines.

El autor afirma explícitamente que para ciertos álgebras filiformes (específicamente aquellas en $A^2_{13}(K)$), la ausencia de una clase de cohomología afín implica la inexistencia de cualquier estructura afín, no solo de tipo canónico. Esto proporciona un conjunto concreto de contraejemplos a la pregunta de Milnor en dimensión 13.

El artículo señala modestamente que, si bien demuestra la no existencia de estructuras afines para $n=13$ en la subclase específica $A^2_{13}(K)$, la cuestión general de si existen contraejemplos en cada dimensión $n \ge 10$ permanece abierta. También plantea un problema abierto: si la condición $\mu(\mathfrak{g}) \ge n+2$ es equivalente a la no existencia de una clase de cohomología afín para los álgebras en $A^2_n(K)$ para $n \ge 13$. Los resultados presentados son parciales, con algunas demostraciones diferidas a una versión extendida del artículo.