La teoria delle rappresentazioni è una branca della matematica che studia le strutture algebriche astratte "rappresentando" i loro elementi come trasformazioni lineari di spazi vettoriali e studiando i moduli su queste strutture algebriche astratte. Sostanzialmente una rappresentazione rende più concreto un oggetto algebrico astratto descrivendo i suoi elementi mediante matrici. La teoria delle matrici e delle trasformazioni lineari è ben nota, quindi rappresentazioni di oggetti più astratti in termini di oggetti familiari dell'algebra lineare semplifica i calcoli e aiuta a capire e determinare le proprietà di questi oggetti astratti.
Un gruppo di Lie è un gruppo che è anche una varietà differenziabile. Molti gruppi classici di matrici sui numeri reali o complessi sono gruppi di Lie. Molti gruppi importanti in fisica e chimica sono gruppi di Lie e la loro teoria delle rappresentazioni è cruciale per l'applicazione della teoria dei gruppi in questi campi.
La teoria delle rappresentazioni è uno strumento utile in quanto riduce problemi di algebra astratta a problemi di algebra lineare. Inoltre lo spazio vettoriale su cui (per esempio) un gruppo è rappresentato può essere di dimensione infinita. Se questo, per esempio, è uno spazio di Hilbert, allora i metodi dell'analisi funzionale possono essere applicati alla teoria dei gruppi.. La teoria delle rappresentazioni è importante anche in fisica poiché, per esempio, descrive come il gruppo di simmetria di un sistema fisico influenza le soluzioni delle equazioni che descrivono il sistema..
La teoria delle rappresentazioni è presente in tutti i campi della matematica per due ragioni. In primo luogo, le applicazioni della teoria delle rappresentazioni sono diverse; oltre al suo impatto sull'algebra, la teoria delle rappresentazioni:
rende più chiara e generalizza l'analisi di Fourier tramite l'analisi armonica; è connessa alla geometria tramite la teoria degli invarianti e il programma di Erlangen; ha un impatto sulla teoria dei numeri tramite le forme automorfe e il programma Langlands.
In secondo luogo, ci sono diversi approcci alla teoria delle rappresentazioni. Gli stessi oggetti possono essere studiati usando metodi della geometria algebrica, della teoria dei moduli, della teoria analitica dei numeri, della geometria differenziale, della teoria degli operatori, della combinatoria algebrica e della topologia.
Il successo della teoria delle rappresentazioni ha portato a numerose generalizzazioni. Una delle versioni più generali si ha nella teoria delle categorie. Gli oggetti algebrici a cui si applica la teoria delle rappresentazioni possono essere visti come particolari tipi di categorie e le rappresentazioni come funtori dalla categoria degli oggetti algebrici considerati alla categoria degli spazi vettoriali. Questa descrizione indica due ovvie generalizzazioni: primo, gli oggetti algebrici possono essere sostituiti da categorie più generali; secondo, la categoria di arrivo degli spazi vettoriali può essere sostituita da altre categorie ben studiate.
Definizioni e concetti Sia uno spazio vettoriale su un campo . Per esempio supponiamo che sia o lo spazio vettoriale -dimensionale standard sui reali o sui complessi, rispettivamente. In questo caso, l'idea della teoria delle rappresentazioni è lavorare con l'algebra astratta in concreto usando le matrici di numeri reali o complessi.
Ci sono tre tipi principali di oggetti algebrici su cui può essere fatto: gruppi, algebre associative e algebre di Lie.
L'insieme di tutte le matrici invertibili di ordine è un gruppo rispetto alla moltiplicazione di matrici e la teoria delle rappresentazioni dei gruppi analizza un gruppo descrivendo ("rappresentando") i suoi elementi in termini di matrici invertibili. L'addizione e la moltiplicazione di matrici rendono l'insieme di tutte le matrici un'algebra associativa, e quindi esiste una corrispondente teoria delle rappresentazioni delle algebre associative. Se sostituiamo la moltiplicazione di matrici con il commutatore di matrici l'insieme delle matrici di ordine diventa invece un'algebra di Lie, portando a una teoria delle rappresentazioni delle algebre di Lie.
Questo si generalizza a qualsiasi campo e qualsiasi spazio vettoriale su sostituendo le matrici con le funzioni lineari e la moltiplicazione di matrici con la composizione; cioè, per ogni spazio vettoriale su esiste un gruppo GL(V,F) di automorfismi di essite un'algebra associativa di tutti endomorfismi di e una corrispondente algebra di Lie
Definizione Ci sono due modi per definire una rappresentazione. Il primo utilizza l'idea di azione di gruppo, generalizzando il modo in cui le matrici agiscono sui vettori colonna mediante la moltiplicazione matriciale. Una rappresentazione di un gruppo o di un'algebra (associativa o di Lie) su uno spazio vettoriale è una funzione
con due proprietà. Primo, per ogni (o ), la funzione
è lineare (su ). Secondo, se introduciamo la notazione per per ogni e :
dove è l'elemento neutro di e è il prodotto in Il requisito per le algebre associative è analogo, tranne per il fatto che le algebre associative non hanno sempre un elemento neutro, nel qual caso l'equazione (1) viene ignorata. L'equazione (2) è un'espressione astratta dell'associatività della moltiplicazione di matrici. Questo non vale per il commutatore di matrici e inoltre non vi è alcun elemento neutro per il commutatore. Quindi per le algebre di Lie, l'unico requisito è che per ogni e :
dove è la parentesi di Lie, che generalizza il commutatore di matrici
Il secondo modo per definire una rappresentazione è tramite la funzione che manda in una funzione lineare che soddisfa
e analogamente negli altri casi. Questo approccio è più conciso e più astratto. Da questo punto di vista:
una rappresentazione di un gruppo su uno spazio vettoriale è un omomorfismo di gruppi ; una rappresentazione di un'algebra associativa su uno spazio vettoriale è un omomorfismo di algebre ; una rappresentazione di un'algebra di Lie su uno spazio vettoriale è un omomorfismo di algebre di Lie .
Terminologia Lo spazio vettoriale è chiamato spazio di rappresentazione di e la sua dimensione (se finita) è chiamata dimensione della rappresentazione (a volte grado, come in Serre, Jean-Pierre (1977), Linear Representations of Finite Groups, Springer-Verlag, ISBN 978-0387901909). È anche pratica comune riferirsi a stesso come alla rappresentazione quando l'omomorfismo è chiaro dal contesto; altrimenti la notazione può essere usata per indicare una rappresentazione.
Quando è di dimensione finita si può scegliere una base per per identificare con e quindi recuperare una rappresentazione matriciale con elementi nel campo
Una rappresentazione effettiva o fedele è una rappresentazione per la quale l'omomorfismo è iniettivo.
Funzioni equivarianti e isomorfismi Se e sono spazi vettoriali su con rappresentazioni e di un gruppo allora una funzione equivariante da a è una funzione lineare tale che
per ogni e In termini di e questo significa
per ogni cioè, il diagramma seguente commuta:
Le funzioni equivarianti per le rappresentazioni di un'algebra associativa o di Lie sono definite in modo simile. Se è invertibile, allora si dice che è un isomorfismo, nel qual caso e (o, più precisamente, e ) sono rappresentazioni isomorfe, anche dette rappresentazioni equivalenti. Una funzione equivariante è spesso chiamata funzione intrecciata delle rappresentazioni. Inoltre, nel caso di un gruppo a volte è chiamato -funzione.
Le rappresentazioni isomorfe sono, per scopi pratici, "le stesse"; forniscono le stesse informazioni sul gruppo o sull'algebra rappresentati. La teoria delle rappresentazioni cerca quindi di classificare le rappresentazioni a meno di isomorfismo.
Sottorappresentazioni, quozienti e rappresentazioni irriducibili Se è una rappresentazione di un gruppo e è un sottospazio vettoriale di che è preservato dall'azione di ossia per ogni e si ha (Serre chiama stabile rispetto a ), quindi è chiamata sottorappresentazione. Definendo
dove è la restrizione di per allora è una rappresentazione di e l'inclusione di è una funzione equivariante. Anche lo spazio quoziente ha una struttura di rappresentazione di . Se ha esattamente due sottorappresentazioni, vale a dire il sottospazio banale e stessa, allora la rappresentazione è detta irriducibile. Se ha una sottorappresentazione non banale propria, si dice che la rappresentazione è riducibile.La rappresentazione {0} di dimensione zero è considerata non essere riducibile né irriducibile, analogamente al numero 1 che non è considerato compost né primo. La definizione di rappresentazione irriducibile implica il lemma di Schur: una funzione equivariante
tra rappresentazioni irriducibili o è la funzione zero o è un isomorfismo, poiché il nucleo e l'immagine sono sottorappresentazioni. In particolare, quando questo mostra che gli endomorfismi equivarianti di formano un'algebra di divisione associativa sul campo sottostante Se è algebricamente chiuso, gli unici endomorfismi equivarianti di una rappresentazione irriducibile sono i multipli scalari dell'identità. Le rappresentazioni irriducibili sono gli elementi costitutivi della teoria delle rappresentazioni per molti gruppi: se una rappresentazione non è irriducibile, allora è costruita a partire da una sottorappresentazione e da un quoziente entrambi, in un certo senso, "più semplici". Per esempio, se è di dimensione finita, allora sia la sottorappresentazione che il quoziente hanno dimensione minore. Ci sono controesempi in cui una rappresentazione ha una sottorappresentazione, ma ha solo una componente irriducibile non banale. Ad esempio, il gruppo additivo ha una rappresentazione bidimensionale
Questo gruppo ha il vettore fissato da questo omomorfismo, ma il sottospazio complementare manda
dando solo una sottorappresentazione irriducibile. Questo è vero per tutti i gruppi unipotenti, pag. 112.
Somme dirette e rappresentazioni indecomponibili Se e sono rappresentazioni di un gruppo allora la somma diretta di e è una rappresentazione, in modo canonico, tramite l'identificazione
La somma diretta di due rappresentazioni non dà maggiori informazioni sul gruppo rispetto a quelle che le due rappresentazioni danno individualmente. Se una rappresentazione è la somma diretta di due sottorappresentazioni proprie non banali, si dice decomponibile. Altrimenti, si dice indecomponibile.
Riducibilità completa In circostanze favorevoli, ogni rappresentazione di dimensione finita è una somma diretta di rappresentazioni irriducibili: tali rappresentazioni si dicono semisemplici. In questo caso, è sufficiente studiare solo le rappresentazioni irriducibili. Esempi in cui si verifica questo fenomeno di "riducibilità completa" includono i gruppi finiti (vedere il teorema di Maschke), i gruppi compatti e le algebre di Lie semisemplici.
Nei casi in cui la riducibilità completa non vale, si deve capire come le rappresentazioni indecomponibili possono essere costruite da rappresentazioni irriducibili come estensioni di un quoziente con una sottorappresentazione.
Prodotti tensoriali di rappresentazioni Supponiamo che e siano rappresentazioni di un gruppo Allora possiamo formare una rappresentazione di che agisce sullo spazio vettoriale del prodotto tensoriale nel seguente modo:
Se e sono rappresentazioni di un'algebra di Lie, la formula corretta da usare è
Questo prodotto può essere riconosciuto come un coprodotto su una coalgebra. In generale, il prodotto tensoriale di rappresentazioni irriducibili non è irriducibile. Il processo di decomposizione di un prodotto tensoriale come somma diretta di rappresentazioni irriducibili è noto come teoria di Clebsch-Gordan.