Rappresentazione aggiunta

particolare rappresentazione dei gruppi e delle algebre di Lie

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.

DefinizioneModifica

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 AdModifica

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 LieModifica

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

 

per tutti gli y in  . Si chiama endomorfismo aggiunto o azione aggiunta e viene indicato con   o con  ) 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 strutturaModifica

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).

EsempiModifica

  • 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).

ProprietàModifica

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 semisempliceModifica

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

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 ).

NoteModifica

  1. ^ Infatti, per la regola della catena,  

BibliografiaModifica

  • Shoshichi Kobayashi e Katsumi Nomizu, Foundations of Differential Geometry, Vol. 1, Newª ed., Wiley-Interscience, 1996, ISBN 978-0-471-15733-5.
  • Graduate Texts in Mathematics, vol. 222, 2nd, 2015, ISBN 978-3319134666. .
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica