Affine cohomology classes for filiform Lie algebras

Sintesi Tecnica: Classi di Coomologia Affine per Lie Algebre Filiformi

Enunciato del Problema
Il documento affronta la formulazione algebrica della domanda di Milnor riguardante l'esistenza di strutture affini complete sinistramente invarianti su gruppi Lie solvibili. Sebbene Auslander abbia dimostrato che tali gruppi devono essere solvibili, il caso opposto è stato smentito dalla scoperta di gruppi Lie nilpotenti (specificamente algebre filiformi di dimensioni $10 \le n \le 13$) che non ammettono strutture affini. Il problema centrale è determinare quali algebre Lie nilpotenti ammettano strutture affini. Ciò è legato all'esistenza di moduli fedeli di dimensione $n+1$ per un'algebra Lie di dimensione $n$. Il documento si concentra specificamente sulle algebre Lie nilpotenti filiformi, che sono note per produrre limiti inferiori per i numeri di Betti e sono i principali candidati per controesempi all'esistenza di strutture affini. L'obiettivo specifico è classificare gli spazi di coomologia del secondo ordine $H^2(\mathfrak{g}, K)$ e determinare l'esistenza di "classi di coomologia affine" in essi.

Metodologia
L'autore utilizza la classificazione delle algebre Lie filiformi tramite basi adattate e costanti di struttura.

1. Basi Adattate e Costanti di Struttura: Utilizzando il risultato di Vergne, ogni algebra Lie filiforme di dimensione $n$ è isomorfa a una deformazione $L_\psi$ dell'algebra filiforme graduata standard $L(n)$. I legami di Lie sono determinati da un 2-cociclo $\psi = \sum \alpha_{k,s} \psi_{k,s}$, dove $\alpha_{k,s}$ sono le costanti di struttura.
2. Classificazione in Sottoclassi: Il documento divide le algebre filiformi in specifiche sottoclassi ($A_{n,i}(K)$) basate su uguaglianze e disuguaglianze delle loro costanti di struttura (ad esempio, $\alpha_{3,6} \neq 0$). Ciò evita la necessità di una classificazione completa di tutte le algebre filiformi.
3. Calcolo della Coomologia: L'autore calcola lo spazio dei 2-cicli $Z^2(\mathfrak{g}, K)$ e il gruppo di coomologia del secondo ordine $H^2(\mathfrak{g}, K) = Z^2/B^2$. Ciò comporta la risoluzione delle equazioni della condizione di ciclo derivate dalle relazioni del legame di Lie. I calcoli per le dimensioni $n \le 11$ sono stati eseguiti utilizzando il pacchetto di algebra computazionale REDUCE.
4. Definizione di Classi Affini: Un 2-ciclo $\omega$ è definito come "affine" se è non nullo sul prodotto esterno del centro $z(\mathfrak{g})$ e l'algebra $\mathfrak{g}$. Una classe di coomologia è affine se contiene un rappresentante affine.

Contributi Chiave e Risultati

• Classificazione di $H^2(\mathfrak{g}, K)$ per $n \le 11$: Il documento fornisce una tabella completa degli spazi di coomologia $H^2(\mathfrak{g}, K)$ per tutte le algebre Lie filiformi di dimensione $3 \le n \le 11$. Per ogni sottoclasse, la base dello spazio di coomologia è descritta esplicitamente in termini di specifici 2-cicli ($\omega_1, \omega_2, \dots$) e indica se esiste una classe di coomologia affine.
• Relazione tra Coomologia Affine e Strutture Affini:
  • Teorema 3.5: Dimostra che se un'algebra Lie filiforme $\mathfrak{g}$ ammette un'estensione $0 \to \mathfrak{a} \to \mathfrak{h} \to \mathfrak{g} \to 0$ dove $\mathfrak{a}$ è il centro di $\mathfrak{h}$, allora $\mathfrak{g}$ ammette una struttura affine.
  • Proposizione 3.4: Come corollario, l'esistenza di una classe di coomologia affine $[\omega] \in H^2(\mathfrak{g}, K)$ implica l'esistenza di una struttura affine di "tipo canonico" su $\mathfrak{g}$.
• Numeri di Betti Minimi e Non Esistenza:
  • Proposizione 4.4: Le algebre filiformi con numero di Betti del secondo ordine minimo $b_2(\mathfrak{g}) = 2$ non ammettono una classe di coomologia affine.
  • Teorema 4.11: Per la dimensione $n=13$, il documento dimostra che nessuna algebra Lie nella classe $A^2_{13}(K)$ (che ha $b_2(\mathfrak{g})=2$) ammette alcuna struttura affine. Ciò è dimostrato mostrando che la dimensione minima di un modulo fedele $\mu(\mathfrak{g}) \ge 15$, mentre una struttura affine richiederebbe $\mu(\mathfrak{g}) \le 14$.
• Risultati per Dimensioni Superiori ($n \ge 12$):
  • Teorema 4.8: Per le algebre nella classe $A^1_n(K)$ ($n \ge 12$), $b_2(\mathfrak{g}) \ge 3$, e una classe di coomologia affine esiste sempre; pertanto, esse ammettono una struttura affine canonica.
  • Teorema 4.10: Per la classe $A^2_n(K)$ ($n \ge 13$), l'esistenza di una classe di coomologia affine dipende da una specifica condizione polinomiale $P_n \equiv 0$ sulle costanti di struttura. Se la condizione non è soddisfatta, $b_2(\mathfrak{g}) = 2$ e non esiste una classe di coomologia affine.

Significato e Rivendicazioni

Il documento stabilisce un legame diretto tra la proprietà coomologica di avere un "2-ciclo affine" e la proprietà geometrica di ammettere una struttura affine canonica. Conferma che per le algebre filiformi con numeri di Betti del secondo ordine minimi ($b_2=2$), l'assenza di una classe di coomologia affine è un forte indicatore della non esistenza di strutture affini.

L'autore afferma esplicitamente che per certe algebre filiformi (specificamente quelle nella classe $A^2_{13}(K)$), l'assenza di una classe di coomologia affine implica la non esistenza di qualsiasi struttura affine, non solo del tipo canonico. Ciò fornisce un insieme concreto di controesempi alla domanda di Milnor in dimensione 13.

Il documento nota con modestia che, sebbene provi la non esistenza di strutture affini per $n=13$ nella specifica sottoclasse $A^2_{13}(K)$, la questione generale se esistano controesempi in ogni dimensione $n \ge 10$ rimane aperta. Pone inoltre un problema aperto: se la condizione $\mu(\mathfrak{g}) \ge n+2$ sia equivalente alla non esistenza di una classe di coomologia affine per le algebre in $A^2_n(K)$ per $n \ge 13$. I risultati presentati sono parziali, con alcune dimostrazioni rimandate a una versione estesa dell'articolo.