Vai al contenuto

Rappresentazione aggiunta

Da Wikipedia, l'enciclopedia libera.

In matematica, la rappresentazione aggiunta (o azione aggiunta) di un gruppo di Lie è un modo di rappresentare gli elementi del gruppo come trasformazioni lineari dell'algebra di Lie del gruppo, considerata come uno spazio vettoriale. Ad esempio, dato il gruppo , il gruppo di Lie di matrici invertibili reali n per n, allora la rappresentazione aggiunta è l'omomorfismo di gruppo che manda una matrice n-per-n invertibile a un endomorfismo dello spazio vettoriale di tutte le trasformazioni lineari di definito da .

Per ogni gruppo di Lie, questa rappresentazione naturale si ottiene linearizzando (cioè prendendo il differenziale) l'azione del gruppo su se stesso per coniugazione. La rappresentazione aggiunta può essere definita per gruppi algebrici lineari su campi arbitrari.

Sia G un gruppo di Lie e sia

la mappa che manda , con , il gruppo di automorfismi di e dato dall'automorfismo interno (coniugazione)

Questo è un omomorfismo di gruppi di Lie.

Per ogni g in G, si definisca come la derivata di all'origine:

dove d è il differenziale e è lo spazio tangente all'origine (dove è l'elemento identico del gruppo). Siccome è un automorfismo del gruppo di Lie, è un automorfismo dell'algebra di Lie; cioè, una trasformazione lineare invertibile di a se stesso che conserva la parentesi di Lie. Inoltre, poiché è un omomorfismo di gruppo, anche questo è un omomorfismo di gruppo.[1] Quindi, la mappa

è una rappresentazione di gruppo chiamata rappresentazione aggiunta di G.

Se G è un sottogruppo di Lie immerso del gruppo lineare generale (chiamato gruppo di Lie immersamente lineare), quindi l'algebra di Lie consiste di matrici e la mappa esponenziale è la matrice esponenziale per matrici X con norme di operatori piccole. Quindi, per g in G e X piccolo in , prendendo la derivata di a t = 0, si ottiene:

dove a destra abbiamo i prodotti delle matrici. Se è un sottogruppo chiuso (ovvero, G è un gruppo di Lie di matrici), allora questa formula è valida per tutti i g in G e tutti gli X in .

In breve, una rappresentazione aggiunta è una rappresentazione di isotropia associata all'azione di coniugazione di G attorno all'elemento identità di G .

Derivata di Ad

[modifica | modifica wikitesto]

Si può sempre passare da una rappresentazione di un gruppo di Lie G ad una rappresentazione della sua algebra di Lie prendendo la derivata all'identità.

Fare la derivata della mappa aggiunta

all'elemento identico fornisce la rappresentazione aggiunta dell'algebra di Lie di G :

dove è l'algebra di Lie di che può essere identificato con l'algebra differenziale di . Si può dimostrare che

per ogni , dove il membro destro è dato (indotto) dalla parentesi di Lie dei campi vettoriali. Infatti, ricordiamo che, vedendo come l'algebra di Lie dei campi vettoriali invarianti a sinistra su G, la parentesi su è dato da: per i campi vettoriali invarianti a sinistra X, Y ,

dove denota il flusso generato da X. Come risulta, , più o meno perché entrambi i lati soddisfano la stessa ODE che definisce il flusso. Questo è dove denota la giusta moltiplicazione per . D'altra parte, poiché , per regola della catena,

poiché Y è invariante a sinistra. Quindi,

,

Così, coincide con quello definito al paragrafo "Rappresentazione aggiunta di un'algebra di Lie". e sono correlati attraverso la mappa esponenziale: In particolare, per tutti gli x nell'algebra di Lie. È una conseguenza del risultato generale relativo agli omomorfismi del gruppo di Lie e dell'algebra di Lie tramite la mappa esponenziale.

Se G è un gruppo di Lie immersamente lineare, allora il calcolo di cui sopra si semplifica: infatti, come notato in precedenza, e quindi con ,

.

Facendo la derivata di questo a , noi abbiamo:

.

Il caso generale si deduce anche dal caso lineare: infatti, poniamo essere un gruppo di Lie immersamente lineare avente la stessa algebra di Lie di quella di G . Allora la derivata di Ad all'elemento di identità per G e quella per G ' coincidono; quindi, senza perdita di generalità, G può essere assunto G '

La notazione maiuscola/minuscola è ampiamente utilizzata in letteratura. Così, per esempio, un vettore x nell'algebra genera un campo vettoriale X nel gruppo G . Allo stesso modo, la mappa aggiunta di vettori in è omomorfa alla derivata di Lie dei campi vettoriali sul gruppo G considerato come varietà.

Rappresentazione aggiunta di un'algebra di Lie

[modifica | modifica wikitesto]

Sia un'algebra di Lie su un campo. Dato un elemento x dell'algebra , si definisce l'azione aggiunta di x su come la mappa

per tutti gli y in . L'applicazione indicata anche con si chiama endomorfismo aggiunto o azione aggiunta. Poiché una parentesi è bilineare, questo determina la mappa lineare

dato da . All'interno di , la parentesi è, per definizione, data dal commutatore dei due operatori:

dove denota la composizione di mappe lineari. Usando la precedente definizione della parentesi, l'identità di Jacobi

prende la forma

dove x, y e z sono elementi arbitrari di .

Quest'ultima identità dice che ad è un omomorfismo tra algebre di Lie; cioè, una mappatura lineare che porta parentesi in parentesi. Quindi, è una rappresentazione di un'algebra di Lie ed è chiamata rappresentazione aggiunta dell'algebra .

Se è di dimensione finita, allora è isomorfo a , l'algebra di Lie del gruppo lineare generale dello spazio vettoriale e se viene scelta una base per esso, la composizione corrisponde alla moltiplicazione matriciale.

Il kernel di ad è il centro di (questo è solo riformulare la definizione). D'altra parte, per ogni elemento z in , la mappatura lineare obbedisce alla regola di Leibniz:

per ogni x e y nell'algebra (una riformulazione dell'identità di Jacobi). Vale a dire, è una derivazione e l'immagine di sotto ad è una sottoalgebra di , lo spazio di tutte le derivazioni di .

Quando è l'algebra di Lie di un gruppo di Lie G, è il differenziale di all'elemento identità di G.

C'è la seguente formula simile alla formula di Leibniz: per scalari ed elementi di algebra di Lie ,

.

Costanti di struttura

[modifica | modifica wikitesto]

Gli elementi matriciali espliciti della rappresentazione aggiunta sono dati dalle costanti di struttura dell'algebra. Cioè, sia un insieme di vettori di base per l'algebra, con

Allora gli elementi di matrice per sono dati da

Così, per esempio, la rappresentazione aggiunta di su(2) è la rappresentazione definente (o naturale) di so(3).

  • Se G è abeliano di dimensione n, la rappresentazione aggiunta di G è la banale rappresentazione n -dimensionale.
  • Se G è un gruppo di Lie di matrici (cioè un sottogruppo chiuso di GL(n , ℂ)), allora la sua algebra di Lie è un'algebra di n × n matrici con il commutatore per una parentesi di Lie (cioè una sottoalgebra di ). In questo caso, la mappa aggiunta è data da Ad g ( x ) = gxg−1 .
  • Se G è SL(2, R) (matrici reali 2×2 con determinante 1), l'algebra di Lie di G è costituita da matrici reali 2×2 con traccia 0. La rappresentazione è equivalente a quella data dall'azione di G per sostituzione lineare sullo spazio delle forme quadratiche binarie (cioè 2 variabili).

La tabella seguente riassume le proprietà delle varie mappe citate nella definizione

Omomorfismo del gruppo di Lie:
Automorfismo del gruppo di Lie:
Omomorfismo del gruppo di Lie:
Automorfismo dell'algebra di Lie:
  • è lineare
Omomorfismo dell'algebra di Lie:
  • è lineare
Derivazione dell'algebra di Lie:
  • è lineare

L'immagine di G sotto la rappresentazione aggiunta è indicata con Ad(G). Se G è connesso, il nucleo (kernel) della rappresentazione aggiunta coincide con il nucleo di Ψ che è proprio il centro di G. Pertanto, la rappresentazione aggiunta di un gruppo di Lie connesso G è fedele se e solo se G è senza centro. Più in generale, se G non è connesso, allora il kernel della mappa aggiunta è il centralizzatore della componente identità G0 di G . Per il primo teorema di isomorfismo si ha

Data un'algebra di Lie reale di dimensione finita , per il terzo teorema di Lie, esiste un gruppo di Lie connesso la cui algebra di Lie è l'immagine della rappresentazione aggiunta di (cioè, ). Si chiama gruppo aggiunto di .

Ora se è l'algebra di Lie di un gruppo di Lie connesso G, allora è l'immagine della rappresentazione aggiunta di G: .

Radici di un gruppo di Lie semisemplice

[modifica | modifica wikitesto]

Se G è semisemplice , i pesi non nulli della rappresentazione aggiunta formano un sistema di radici. (In generale, prima di procedere, occorre passare alla complessificazione dell'algebra di Lie.) Per vedere come funziona, si consideri il caso G = SL( n, R ). Possiamo prendere il gruppo di matrici diagonali diag( t 1 , ..., t n ) come il nostro toro massimo T. La coniugazione con un elemento di T manda

Quindi, T agisce banalmente sulla parte diagonale dell'algebra di Lie di G e con autovettori t i t j − 1 sui vari elementi fuori diagonale. Le radici di G sono i pesi diag( t 1, ..., t n ) → t i t j − 1 . Questo spiega la descrizione standard del sistema radicale di G = SL n ( R ) come l'insieme dei vettori della forma e ie j .

Esempio SL(2, R)

[modifica | modifica wikitesto]

Quando si calcola il sistema di radici per uno dei casi più semplici di gruppi di Lie, il gruppo SL(2, R ) di matrici bidimensionali con determinante 1 è costituito dall'insieme di matrici della forma:

con a, b, c, d reale e ad-bc=1.

Un sottogruppo di Lie abeliano connesso massimale compatto, o toro massimale T, è dato dal sottoinsieme di tutte le matrici della forma

insieme a . L'algebra di Lie del toro massimo è la sottoalgebra di Cartan costituita dalle matrici

Coniugando un elemento di SL(2, R ) con un elemento della sottoalgebra di Cartan si ottiene

Le matrici

sono quindi 'autovettori' dell'operazione di coniugazione con autovalori . La funzione Λ che dà è un carattere moltiplicativo, o omomorfismo dal toro del gruppo al campo sottostante R. La funzione λ che dà θ è un peso dell'algebra di Lie con spazio dei pesi dato dallo span delle matrici.

È soddisfacente mostrare la molteplicità del carattere e la linearità del peso. Si può inoltre dimostrare che il differenziale di Λ può essere utilizzato per creare un peso. È anche educativo considerare il caso di SL(3, R ).

  1. ^ Infatti, per la regola della catena,
  • Shoshichi Kobayashi e Katsumi Nomizu, Foundations of Differential Geometry, Vol. 1, nuova, Wiley-Interscience, 1996, ISBN 978-0-471-15733-5.
  • Brian Hall, Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222, 2ª ed., 2015, ISBN 978-3319134666..
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica