Locally finite solvable Lie algebras of derivations

Titolo: Algebre di Lie Solubili Localmente Finite di Derivazioni

Autore: Mikhail Zaidenberg
Contesto: Geometria Algebrica, Teoria dei Gruppi Algebrici, Algebre di Lie.

1. Il Problema

Il lavoro si concentra sulla proprietà di finità locale delle algebre di Lie di derivazioni su varietà affini.
Sia $X$ una varietà affine definita su un campo algebricamente chiuso $k$ di caratteristica zero. Si considera un'algebra di Lie $\mathfrak{h} \subseteq \text{Lie}(\text{Aut}(X))$ generata da una collezione finita di sottol-algebre locali finite $\mathfrak{h}_i$.

La domanda centrale (Question 1.1, tratta da [3]) è la seguente:

Se $\mathfrak{h} = \langle \mathfrak{h}_1, \dots, \mathfrak{h}_k \rangle_{\text{Lie}}$ è un'algebra di Lie solubile generata da sottol-algebre localmente finite, è vero che $\mathfrak{h}$ è essa stessa localmente finita?

Una derivazione è detta localmente finita se ogni elemento dell'anello delle coordinate $\mathcal{O}(X)$ appartiene a un sottospazio vettoriale di dimensione finita invariante sotto l'azione dell'algebra. È noto che un'algebra localmente finita è necessariamente di dimensione finita.

2. Metodologia e Struttura dell'Analisi

L'autore affronta il problema attraverso una serie di riduzioni sistematiche e l'analisi della struttura delle algebre di Lie, distinguendo tra il caso generale di varietà affini e il caso specifico del piano affine $\mathbb{A}^2$.

A. Riduzioni per Varietà Affini Generali (Sezione 2)

L'autore riduce il problema generale a casi più semplici tramite induzione e proprietà strutturali:

1. Riduzione al caso $k=2$: Basta considerare il caso in cui l'algebra è generata da due sottol-algebre $\mathfrak{a}$ e $\mathfrak{b}$.
2. Riduzione dimensionale: Si può assumere che una delle due algebre abbia dimensione 1 (quindi è abeliana).
3. Decomposizione di Jordan: Ogni derivazione localmente finita ammette una decomposizione additiva unica $\partial = \partial_s + \partial_n$ (semisemplice + nilpotente locale). L'autore introduce il concetto di algebre J-sature (che contengono sia la parte semisemplice che quella nilpotente di ogni loro elemento).
4. Criterio di Finitudine: Viene stabilito che per un'algebra solubile $\mathfrak{h}$, la finitezza della dimensione è equivalente alla nilpotenza dell'ideale derivato $[\mathfrak{h}, \mathfrak{h}]$ (Proposizione 1.3 / Lemma 2.10).
5. Caso dei generatori nilpotenti: Se tutti i generatori sono derivazioni localmente nilpotenti, il risultato è positivo (Teorema 1.4): $\mathfrak{h}$ è l'algebra di Lie di un sottogruppo algebrico unipotente.

B. Il Caso del Piano Affine $\mathbb{A}^2$ (Sezione 3)

Per $X = \mathbb{A}^2$, l'autore risolve la questione in modo definitivo. La strategia si basa sulla struttura di $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ come algebra di Lie bigradata.

• Struttura Bigradata: L'algebra delle derivazioni a divergenza costante è decomposta in spazi gradati $\partial_{a,b}$ con pesi $(a,b) \in \mathbb{Z}^2$.
• Poligoni di Newton: Viene introdotta l'analisi dei poligoni di Newton associati alle derivazioni per studiare le loro componenti omogenee.
• Triangolabilità: Viene dimostrato che ogni sottol-algebra solubile localmente finita di $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ è triangolabile (coniugata a una sottol-algebra contenuta nell'algebra di Lie del gruppo di de Jonquières, ovvero derivazioni triangolari superiori o inferiori).
• Analisi dei Casi:
  • Caso di derivazione semisemplice non algebrica: Se $\mathfrak{h}$ contiene una derivazione semisemplice con rapporto di autovalori irrazionale, si dimostra che $\mathfrak{h}$ deve essere contenuta in una sottol-algebra triangolare di dimensione finita.
  • Caso di derivazioni semisemplici algebriche: Si analizza la presenza di "coppie opportune" (una derivazione semisemplice $s$ e una nilpotente $\partial_n$ con relazioni di commutazione specifiche). Si dimostra che se l'algebra è di rango 2 e non torale, contiene tale coppia, portando alla triangolabilità.

3. Risultati Chiave e Contributi

1. Criterio di Finitezza (Proposizione 1.3): Per un'algebra solubile $\mathfrak{h}$ generata da sottol-algebre localmente finite, $\mathfrak{h}$ è di dimensione finita se e solo se il suo ideale derivato $[\mathfrak{h}, \mathfrak{h}]$ è nilpotente.
2. Risultato Positivo per Generatori Nilpotenti (Teorema 1.4): Se i generatori sono localmente nilpotenti, l'algebra generata è localmente finita e corrisponde a un sottogruppo unipotente algebrico.
3. Teorema Principale per il Piano Affine (Teorema 1.6 / Teorema 3.1):

   Sia $\mathfrak{h} \subseteq \text{Lie}(\text{Aut}(\mathbb{A}^2))$ un'algebra di Lie solubile generata da derivazioni localmente finite. Allora $\mathfrak{h}$ è localmente finita e triangolabile.

   Questo risponde affermativamente alla Question 1.1 nel caso specifico del piano affine.
4. Triangolabilità e Lunghezza Derivata: Si dimostra che ogni tale algebra ha lunghezza derivata al massimo 3 e che l'ideale derivato è abeliano o nilpotente di passo 2.
5. Controesempi in Dimensione Superiore: Viene notato (Remark 3.5) che il risultato di triangolabilità non vale in generale per $n \geq 3$ (citando la derivazione di Nagata su $\mathbb{A}^3$), rendendo il caso del piano affine un risultato peculiare e forte.

4. Significato e Implicazioni

• Conferma di una Congettura: Il lavoro risolve positivamente una domanda aperta sollevata in letteratura ([3]) per il caso bidimensionale, fornendo un quadro completo per le varietà affini piane.
• Struttura delle Simmetrie: Il risultato chiarisce la struttura delle simmetrie algebriche su $\mathbb{A}^2$, mostrando che le algebre di Lie solubili generate da azioni "ben comportate" (localmente finite) non possono generare strutture patologiche infinite, ma rimangono confinate in sottogruppi algebrici triangolari.
• Metodologia Innovativa: L'uso combinato della decomposizione di Jordan, della teoria dei poligoni di Newton e della struttura bigradata di $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ offre un potente strumento analitico per studiare le algebre di Lie di automorfismi.
• Limiti Dimensionali: Il lavoro evidenzia una netta distinzione tra la geometria del piano affine e quella di dimensioni superiori, suggerendo che la struttura del gruppo di automorfismi di $\mathbb{A}^2$ (il gruppo di Cremona) possiede proprietà di rigidità non presenti in dimensioni $n \geq 3$.

In sintesi, Zaidenberg stabilisce che nel contesto del piano affine, la proprietà di finitezza locale è stabile sotto la generazione di algebre solubili, e tale stabilità è intrinsecamente legata alla possibilità di triangolare tali algebre.