09.05.2013 Views

Algebre di Lie in caratteristica 0

Algebre di Lie in caratteristica 0

Algebre di Lie in caratteristica 0

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Algebre</strong> <strong>di</strong> <strong>Lie</strong> <strong>in</strong> <strong>caratteristica</strong> 0<br />

Denis Nar<strong>di</strong>n<br />

21 febbraio 2012


Capitolo 1<br />

Proprietà generali<br />

In questo sem<strong>in</strong>ario parlerò <strong>di</strong> algebre <strong>di</strong> <strong>Lie</strong> su <strong>di</strong> un campo k algebricamente<br />

chiuso e <strong>di</strong> <strong>caratteristica</strong> 0. In realtà non è davvero necessario richiedere che il<br />

campo sia algebricamente chiuso, tutto quello che <strong>di</strong>rò a parte un paio <strong>di</strong> lemmi<br />

varrà anche per campi non algebricamente chiusi e può essere ricavato da quel<br />

caso (usando astutamente la teoria <strong>di</strong> Galois). Tutti gli spazi vettoriali saranno<br />

f<strong>in</strong>ito-<strong>di</strong>mensionali salvo dove esplicitamente <strong>in</strong><strong>di</strong>cato.<br />

1.1 Sommario<br />

• Def<strong>in</strong>izione <strong>di</strong> algebra <strong>di</strong> <strong>Lie</strong>. Esempi (gl(V ), sl(V ), tn, un, l’algebra <strong>di</strong> <strong>Lie</strong><br />

<strong>di</strong> un’algebra associativa...)<br />

• Def<strong>in</strong>izione <strong>di</strong> rappresentazione <strong>di</strong> un’algebra <strong>di</strong> <strong>Lie</strong>. Esempi: rappresentazioni<br />

<strong>di</strong> def<strong>in</strong>izione, rappresentazione aggiunta. In gl(V ) ogni elemento<br />

nilpotente è ad-nilpotente.<br />

• Def<strong>in</strong>izione <strong>di</strong> algebra <strong>di</strong> <strong>Lie</strong> nilpotente. Teorema <strong>di</strong> Engel. Def<strong>in</strong>izione <strong>di</strong><br />

nilra<strong>di</strong>cale.<br />

• Def<strong>in</strong>izione <strong>di</strong> algebra <strong>di</strong> <strong>Lie</strong> risolubile. Proprietà elementari. Def<strong>in</strong>izione<br />

<strong>di</strong> ra<strong>di</strong>cale.<br />

• Def<strong>in</strong>izione <strong>di</strong> algebra <strong>di</strong> <strong>Lie</strong> semisemplice. [gg] = g (senza <strong>di</strong>mostrazione).<br />

1.2 <strong>Algebre</strong> <strong>di</strong> <strong>Lie</strong> e loro rappresentazioni<br />

Un’algebra <strong>di</strong> <strong>Lie</strong> su <strong>di</strong> un campo k è uno spazio vettoriale g con una mappa<br />

[, ] : g × g → g bil<strong>in</strong>eare tale che<br />

• [a, a] = 0 per ogni a ∈ g (cioè [, ] è alternante)<br />

1


• Vale l’identità <strong>di</strong> Jacobi:<br />

Un po’ <strong>di</strong> esempi <strong>di</strong> algebre <strong>di</strong> <strong>Lie</strong>:<br />

[a[bc]] + [b[ac]] + [c[ab]] = 0<br />

• Se V è uno spazio vettoriale f<strong>in</strong>ito <strong>di</strong>mensionale su k, gl(V ) è l’algebra <strong>di</strong><br />

<strong>Lie</strong> ottenuta prendendo come spazio vettoriale gli endomorfismi <strong>di</strong> V <strong>in</strong><br />

sè, e come bracket il commutatore<br />

[a, b] = ab − ba .<br />

Questo è <strong>in</strong> qualche senso l’esempio più importante. In<strong>di</strong>cheremo con<br />

gln(k) l’algebra <strong>di</strong> <strong>Lie</strong> delle matrici gl(k n ).<br />

• Se <strong>in</strong><strong>di</strong>chiamo con sl(V ) il sottospazio vettoriale <strong>di</strong> gl(V ) composto dalle<br />

matrici a traccia nulla abbiamo che è anche una sottoalgebra <strong>di</strong> <strong>Lie</strong>.<br />

• Il sottospazio <strong>di</strong> gln(k) composto dalle matrici triangolari superiori tn(k)<br />

è una sottoalgebra <strong>di</strong> <strong>Lie</strong>.<br />

• Il sottospazio <strong>di</strong> tn(k) composto dalle matrici strettamente triangolari<br />

superiori un(k) è una sottoalgebra <strong>di</strong> <strong>Lie</strong>.<br />

• Più <strong>in</strong> generale, se A è un’algebra associativa possiamo dare ad A una<br />

struttura <strong>di</strong> algebra <strong>di</strong> <strong>Lie</strong> prendendo come bracket il commutatore<br />

[a, b] = ab − ba .<br />

Questa è detta algebra <strong>di</strong> <strong>Lie</strong> associata all’algebra associativa A.<br />

Un ideale <strong>di</strong> un’algebra <strong>di</strong> <strong>Lie</strong> è una sottoalgebra I ⊆ g che assorbe il<br />

bracket. Si può quozientare per ideali (fai il quoziente come spazi vettoriali e il<br />

bracket passa al quoziente). Un esempio importante <strong>di</strong> ideale è l’ideale derivato<br />

[gg] def<strong>in</strong>ito da<br />

[g, g] = Span([xy] | x, y ∈ g) .<br />

Osserviamo che [gl(V ), gl(V )] = sl(V ) e che [tn(k), tn(k)] = un(k).<br />

Una rappresentazione <strong>di</strong> un’algebra <strong>di</strong> <strong>Lie</strong> g è uno spazio vettoriale V<br />

con un omomorfismo <strong>di</strong> algebre <strong>di</strong> <strong>Lie</strong> g → gl(V ). Esempi <strong>di</strong> rappresentazione.<br />

La rappresentazione aggiunta <strong>di</strong> un’algebra <strong>di</strong> <strong>Lie</strong> g è quella data<br />

dall’omomorfismo<br />

ad : g → gl(V ) ad(x) = [x·] .<br />

1.3 <strong>Algebre</strong> <strong>di</strong> <strong>Lie</strong> nilpotenti<br />

Un elemento x <strong>di</strong> g si <strong>di</strong>ce ad-nilpotente se ad x è nilpotente, ad-semisemplice<br />

se ad x è <strong>di</strong>agonalizzabile.<br />

2


Lemma 1. Per ogni x, y ∈ gl(V ) e per ogni i ≥ 1 vale<br />

(ad x) n y =<br />

n<br />

i=0<br />

<br />

n<br />

(−1)<br />

i<br />

i x i yx n−i .<br />

In particolare ogni elemento nilpotente è ad-nilpotente.<br />

Dimostrazione. Induzione su n, banale.<br />

Qu<strong>in</strong><strong>di</strong> ogni elemento nilpotente <strong>di</strong> gl(V ) è ad-nilpotente.<br />

Lemma 2. Sia g ⊆ gl(V ) una sottoalgebra <strong>di</strong> <strong>Lie</strong> composta <strong>di</strong> elementi nilpotenti.<br />

Allora esiste v ∈ V non nullo tale che gv = 0.<br />

Dimostrazione. Per <strong>in</strong>duzione su <strong>di</strong>m g. Infatti se <strong>di</strong>m g = 1 è ovvio. Pren<strong>di</strong>amo<br />

ora h sottoalgebra massimale <strong>di</strong> g. Allora h agisce <strong>in</strong> modo naturale sullo spazio<br />

g/h, per cui per ipotesi <strong>in</strong>duttiva (dato che <strong>di</strong>m h < <strong>di</strong>m g e ogni elemento <strong>di</strong> h<br />

è ad-nilpotente) abbiamo che esiste x ∈ g h tale che [hx] ⊆ h. Ma allora h ⊕ x<br />

è una sottoalgebra che contiene propriamente h, qu<strong>in</strong><strong>di</strong> è g. In particolare h è<br />

un ideale. Per ipotesi <strong>in</strong>duttiva<br />

W = {v ∈ V | hv = 0}<br />

è non banale. Inoltre xW ⊆ W con un rapido conto (h(xv) = [hx]v + x(hv) = 0<br />

per ogni v ∈ W ). Ma x è nilpotente, qu<strong>in</strong><strong>di</strong> ha il nucleo non banale. Perciò<br />

preso v ∈ W tale che xv = 0, da cui la tesi.<br />

La serie centrale <strong>di</strong> un’algebra <strong>di</strong> <strong>Lie</strong> è la successione <strong>di</strong> ideali<br />

g [0] = g, g [n+1] = [gg [n] ] .<br />

Un’algebra <strong>di</strong> <strong>Lie</strong> è detta nilpotente se g [n] = 0 per qualche n ≥ 0.<br />

Esempio: un(k) è nilpotente.<br />

Le algebre <strong>di</strong> <strong>Lie</strong> nilpotenti sono caratterizzate dal teorema <strong>di</strong> Engel:<br />

Teorema 1. Sia g un algebra <strong>di</strong> <strong>Lie</strong>. Allora è nilpotente se e solo se ogni<br />

elemento è ad-nilpotente.<br />

Dimostrazione. Infatti se è nilpotente è evidente che ogni elemento è ad-nilpotente<br />

(se g [n] = 0, allora (ad x) n = 0 per ogni x ∈ g). Viceversa per <strong>in</strong>duzione supponiamo<br />

ogni elemento <strong>di</strong> g è ad-nilpotente. Consideriamo ad g. Questa è una<br />

sottoalgebra <strong>di</strong> gl(g) fatta <strong>di</strong> elementi nilpotenti. Allora possiamo trovare x ∈ g<br />

tale che (ad y)x = [yx] = 0 per ogni y ∈ g. Perciò ky è un ideale. Allora l’algebra<br />

g/y è composta <strong>di</strong> elementi ad-nilpotenti e ha <strong>di</strong>mensione strettamente<br />

m<strong>in</strong>ore della <strong>di</strong>mensione <strong>di</strong> g. Per <strong>in</strong>duzione la tesi.<br />

Un ideale <strong>di</strong> g è ad-nilpotente se è composto da elementi ad-nilpotenti.<br />

Lemma 3. Sia g algebra <strong>di</strong> <strong>Lie</strong>. Allora la famiglia degli ideali ad-nilpotenti ha<br />

un massimo (chiamato il nilra<strong>di</strong>cale <strong>di</strong> g).<br />

3


Dimostrazione. Pren<strong>di</strong>amo una filtrazione <strong>in</strong> ideali<br />

g = I0 ⊇ I1 ⊇ · · · ⊇ In = 0<br />

<strong>in</strong> modo che Ii/Ii+1 sia un g-modulo irriducibile. Allora sia<br />

Ki = ker(g → gl(Ii/Ii+1))<br />

e poniamo N = ∩ n i=1 Ki. N è chiaramente un ideale ed è composto da elementi<br />

ad-nilpotenti (se x ∈ N, abbiamo che (ad x) n = 0).<br />

Sia ora I un ideale ad-nilpotente. Abbiamo che Ii/Ii+1 è una I-rappresentazione,<br />

per cui l’<strong>in</strong>sieme<br />

W = {v ∈ Ii/Ii+1 | Iv = 0}<br />

è non banale, per il teorema precedente. Ma si vede imme<strong>di</strong>atamente che gW ⊆<br />

W (perchè I è un ideale) e per l’irriducibilità <strong>di</strong> Ii/Ii+1 abbiamo che è tutto,<br />

perciò I ⊆ ker Ki.<br />

1.4 <strong>Algebre</strong> <strong>di</strong> <strong>Lie</strong> risolubili e semisemplici<br />

Consideriamo la successione g n data da<br />

g 0 = g, g n+1 = [g n g n ] .<br />

Un’algebra <strong>di</strong> <strong>Lie</strong> si <strong>di</strong>ce risolubile se g n = 0 per qualche n ≥ 0. Esempio: tn<br />

è risolubile.<br />

Esempio: tn(k) è risolubile.<br />

Analogamente al teorema <strong>di</strong> Engel c’è una caratterizzazione delle algebre <strong>di</strong><br />

<strong>Lie</strong> risolubili.<br />

Teorema 2. Un’algebra <strong>di</strong> <strong>Lie</strong> è risolubile se e solo se il suo ideale derivato [gg]<br />

è nilpotente.<br />

Dimostrazione. No <strong>di</strong>mostrazione.<br />

Noi saremo <strong>in</strong>teressati agli ideali risolubili <strong>di</strong> un’algebra.<br />

Proposizione 1. • Se g è un’algebra risolubile allora ogni sottoalgebra e<br />

ogni algebra quoziente è risolubile.<br />

• Se I è un ideale risolubile <strong>di</strong> g tale che g/I è risolubile allora g è risolubile.<br />

• Se I, J sono due ideali risolubili <strong>di</strong> g allora I + J è un ideale risolubile.<br />

Dimostrazione. Il primo fatto è banale (se h ⊆ g abbiamo che h n ⊆ g n e<br />

analogamente per i quozienti). Il secondo segue dal fatto che<br />

(g/I) n = 0 ⇒ g n ⊆ I<br />

Il terzo è perchè I è un ideale <strong>di</strong> I + J e (I + J)/I ∼ = J/(J ∩ I).<br />

4


Osserviamo qu<strong>in</strong><strong>di</strong> che esiste un unico ideale risolubile massimale, chiamato<br />

ra<strong>di</strong>cale <strong>di</strong> g.<br />

Un’algebra <strong>di</strong> <strong>Lie</strong> si <strong>di</strong>ce semisemplice se il suo ra<strong>di</strong>cale è banale.<br />

Proposizione 2. Se g è un’algebra <strong>di</strong> <strong>Lie</strong> semisemplice allora [gg] = g.<br />

In particolare l’unica rappresentazione uni<strong>di</strong>mensionale è quella banale, perchè<br />

se ρ : g → gl1(k) è una rappresentazione allora<br />

ρ(g) = ρ([gg]) ⊆ [gl1(k), gl1(k)] = sl1(k) = 0 .<br />

5

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!