Gruppo di Lie

In matematica un gruppo di Lie è un gruppo munito di una struttura di varietà differenziabile compatibile con le operazioni di gruppo. Il termine groupes de Lie venne utilizzato per la prima volta in Francia nel 1893 nella tesi di dottorato di Arthur Tresse in onore del matematico norvegese Sophus Lie, che di Tresse fu uno dei due relatori. [1]

Definizione

Un gruppo di Lie è un gruppo G {\displaystyle G} munito di una struttura di varietà differenziabile tale che le operazioni

G × G → G {\displaystyle G\times G\to G}
( a , b ) ↦ a ⋅ b {\displaystyle (a,b)\mapsto a\cdot b}

e

G → G {\displaystyle G\to G}
a ↦ a − 1 {\displaystyle a\mapsto a^{-1}}

sono entrambe differenziabili.

Omomorfismi e categoria dei gruppi di Lie

Dati due gruppi di Lie G {\displaystyle G} e H {\displaystyle H} , un morfismo di gruppi di Lie è un omomorfismo differenziabile, vale a dire un'applicazione f : G → H {\displaystyle f\colon G\to H} che sia un omomorfismo per la struttura astratta di gruppo ( f ( a b ) = f ( a ) f ( b ) {\displaystyle f(ab)=f(a)f(b)} ) e un'applicazione differenziabile per la struttura di varietà di G {\displaystyle G} e H {\displaystyle H} .

I gruppi di Lie con i loro morfismi costituiscono una categoria.

Classificazioni dei gruppi di Lie

I gruppi di Lie possono essere classificati in relazione a diversi generi di proprietà:

  • proprietà algebriche: semplice, semisemplice, risolubile, nilpotente, abeliano;
  • proprietà di connessione: gruppi connessi o gruppi semplicemente connessi;
  • proprietà di compattezza.

L'algebra di Lie associata a un gruppo di Lie

Ad ogni gruppo di Lie si può associare un'algebra di Lie che è in grado di esprimere interamente la struttura locale del gruppo. La relazione gruppo - algebra non riguarda invece le caratteristiche globali, come connessione o semplice connessione, diversi gruppi di Lie possono quindi avere la stessa algebra; in particolare, esiste un teorema che stabilisce che due gruppi di Lie finito dimensionali localmente isomorfi hanno algebre di Lie isomorfe, quindi identificabili.

Lo studio delle proprietà e la classificazione delle algebre di Lie è molto più agevole rispetto all'analogo studio dei gruppi, per questo risultano molto utili una serie di teoremi che permettono di mettere in relazione le proprietà delle algebre a quelle dei gruppi corrispondenti. La relazione tra algebre e gruppi di Lie può essere vista come funtore tra categorie.

In particolare, sia G {\displaystyle G} un gruppo di Lie e f ( t ) {\displaystyle f(t)} una funzione continua che passi per l'elemento neutro u {\displaystyle u} di G {\displaystyle G} per cui f ( 0 ) = u {\displaystyle f(0)=u} .

Sia invece T ( G ) {\displaystyle T(G)} lo spazio tangente a G {\displaystyle G} in u {\displaystyle u} che corrisponde, utilizzando la nozione di derivata, a f ′ ( 0 ) {\displaystyle f'(0)} .

Si può dimostrare che T ( G ) {\displaystyle T(G)} è, su R {\displaystyle \mathbb {R} } , uno spazio vettoriale.

Ora, ponendo ε ∈ R {\displaystyle \varepsilon \in \mathbb {R} } e ε {\displaystyle \varepsilon } positivo piccolo a piacere si potrà scrivere, sviluppando in serie di Taylor al prim'ordine:

f ( ε ) ≈ u + ε f ′ ( 0 ) {\displaystyle f(\varepsilon )\approx u+\varepsilon f'(0)} .

Sia ora ε = t / n {\displaystyle \varepsilon =t/n} . Se n {\displaystyle n} tende all'infinito,

f ( ε ) n ≈ ( u + t f ′ ( 0 ) n ) n ≈ e t f ′ ( 0 ) {\displaystyle f(\varepsilon )^{n}\approx \left(u+{\frac {tf'(0)}{n}}\right)^{n}\approx e^{tf'(0)}} .

Nella relazione precedente si è fatto uso del limite notevole che definisce la funzione esponenziale.

Allora esiste una mappa da R × T ( G ) {\displaystyle \mathbb {R} \times T(G)} a G {\displaystyle G} e gli elementi di T ( G ) {\displaystyle T(G)} sono quelli dell'algebra di Lie associata a G {\displaystyle G} .

Per esempio, si consideri il gruppo S O ( 2 ) {\displaystyle SO(2)} , il cui generico elemento può essere scritto come

[ cos ⁡ θ − sin ⁡ θ sin ⁡ θ cos ⁡ θ ] {\displaystyle {\begin{bmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{bmatrix}}}

Eseguendo la derivata e calcolandola in zero si ha

[ 0 − 1 1 0 ] {\displaystyle {\begin{bmatrix}0&-1\\1&0\end{bmatrix}}}

Gli elementi ottenuti moltiplicando tale matrice per qualunque reale k {\displaystyle k} sono i componenti l'algebra di Lie s o ( 2 ) {\displaystyle {\mathfrak {so}}(2)} e corrispondono ai numeri immaginari puri i k {\displaystyle ik} .[2]

I gruppi di Lie reali come varietà topologiche

I gruppi di Lie reali si possono definire come varietà topologiche munite delle operazioni di gruppo continuo. L'equivalenza di questa definizione con quella data sopra costituisce una interpretazione del quinto problema di Hilbert (si veda però anche congettura di Hilbert-Smith).

Un preciso enunciato su tale equivalenza è il seguente:
Se G è una varietà topologica munita delle operazioni di gruppo continuo, allora esiste esattamente una struttura differenziabile su G che fa di esso un gruppo di Lie secondo la definizione data inizialmente.

Questo teorema è stato dimostrato da Andrew Gleason, Deane Montgomery e Leo Zippin negli anni 1950.

Come conseguenza si possono definire i gruppi di Lie ricorrendo alle funzioni lisce: questo è l'approccio ora prevalente nei testi introduttivi ai gruppi di Lie.

Note

  1. ^ (FR) Arthur Tresse, Sur les invariants différentiels des groupes continus de transformations, in Acta Mathematica, vol. 18, 1893, p. 3.
  2. ^ (EN) Michael Weiss, Lie Algebras, su Lie Groups and Quantum Mechanics, 2001. URL consultato il 26 giugno 2013.

Bibliografia

  • (EN) Jean Dieudonné (1977): Treatise on Analysis. Volume V: Compact Lie Groups and Semisimple Lie Groups, Academic Press, ISBN 0-12-215505-X.
  • (EN) Nicolas Bourbaki (1989): Elements of Mathematics. Lie groups and Lie algebras, Springer, ISBN 3-540-50218-1.
  • (EN) John Frank Adams, Lectures on Lie Groups, Chicago Lectures in Mathematics, Chicago, Univ. of Chicago Press, 1969, ISBN 0-226-00527-5.
  • (EN) Lie Groups. Representation Theory and Symmetric Spaces Wolfgang Ziller, Vorlesung 2010.

Voci correlate

Altri progetti

Altri progetti

  • Wikimedia Commons
  • Collabora a Wikimedia Commons Wikimedia Commons contiene immagini o altri file su gruppo di Lie

Collegamenti esterni

Controllo di autoritàThesaurus BNCF 19550 · LCCN (EN) sh85076786 · GND (DE) 4035695-4 · BNE (ES) XX535210 (data) · BNF (FR) cb11946908c (data) · J9U (EN, HE) 987007529233305171 · NDL (EN, JA) 00567368
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica