Utente:Mat4free/Representation theory

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

Branche e argomenti[modifica | modifica wikitesto]

La teoria delle rappresentazioni ha un notevole numero di branche e di approcci allo studio delle rappresentazioni di gruppi e algebre. Sebbene tutte le teorie abbiano in comune i concetti di base già discussi, differiscono notevolmente nei dettagli. Le differenze sono almeno tre:

  1. La teoria delle rappresentazioni dipende dal tipo di oggetto algebrico rappresentato. Esistono diverse classi di gruppi, algebre associative e algebre di Lie, e le loro teorie delle rappresentazioni hanno ciascuna una sua caratterizzazione.
  2. La teoria delle rappresentazioni dipende dalla natura dello spazio vettoriale su cui è rappresentato l'oggetto algebrico. La distinzione più importante è tra rappresentazioni a dimensione finita e rappresentazioni a dimensione infinita. Nel caso di dimensione infinita, le strutture aggiuntive sono particolarmente importanti (ad esempio, se lo spazio è uno spazio di Hilbert, uno spazio di Banach, ecc.). Strutture algebriche aggiuntive possono essere considerate anche nel caso di dimensione finita.
  3. La teoria delle rappresentazioni dipende dal tipo di campo su cui è definito lo spazio vettoriale. I casi più importanti sono il campo dei numeri complessi, il campo dei numeri reali, i campi finiti e i campi dei numeri p-adici. Ulteriori difficoltà sorgono per i campi di caratteristica positiva e per i campi che non sono chiusi algebricamente.

Gruppi finiti[modifica | modifica wikitesto]

Le rappresentazioni dei gruppi sono uno strumento molto importante nello studio dei gruppi finiti. Sorgono anche nelle applicazioni della teoria dei gruppi finiti alla geometria e alla cristallografia. Le rappresentazioni di gruppi finiti mostrano molte delle caratteristiche della teoria generale e suggeriscono gli approcci da adottare ad altre branche della teoria delle rappresentazioni.

Su un campo di caratteristica zero, la rappresentazione di un gruppo finito ha molte proprietà utili. In primo luogo, le rappresentazioni di sono semisemplici (ossia completamente riducibili). Questa è una conseguenza del teorema di Maschke, che afferma che qualsiasi sottorappresentazione di una -rappresentazione ha un complemento -invariante. Una dimostrazione si ha scegliendo una qualsiasi proiezione da a e sostituirla con la sua media definita da

La funzione è equivariante e il suo nucleo è il complemento richiesto.

Le rappresentazioni finito-dimensionali di possono essere ben studiate e comprese usando la teoria dei caratteri: il carattere di una rappresentazione è la funzione di classe definita da

dove è la traccia. Una proprietà fondamentali della teoria dei caratteri per gruppi finiti è che una rappresentazione irriducibile di è completamente determinata dal suo carattere.

Il teorema di Maschke vale più in generale per i campi di caratteristica positiva come i campi finiti, purché il primo sia coprimo con l'ordine di Quando divide ci sono rappresentazioni di che non sono semisemplici e che vengono studiate in un sottobranca chiamata teoria delle rappresentazioni modulari.

Le tecniche di calcolo della media mostrano anche che se è il campo reale o complesso, qualsiasi rappresentazione di preserva un prodotto scalare su nel senso che

per ogni e Quindi ogni rappresentazione di è unitaria.

Le rappresentazioni unitarie sono automaticamente semisemplici, poiché il risultato di Maschke può essere dimostrato prendendo il complemento ortogonale di una sottorappresentazione. Quando si studiano rappresentazioni di gruppi che non sono finiti, le rappresentazioni unitarie forniscono una buona generalizzazione delle rappresentazioni reali e complesse di un gruppo finito.

Risultati come il teorema di Maschke e la proprietà di essere unitaria, che si basano sulla media, possono essere generalizzati a gruppi più generali sostituendo la media discreta con un integrale, a condizione che sia possibile definire una nozione adeguata di integrale. Questo può essere fatto per gruppi topologici compatti (compresi i gruppi di Lie compatti), utilizzando la misura di Haar, e la teoria risultante è nota come analisi armonica astratta.

Su campi arbitrari, un'altra classe di gruppi finiti che hanno una buona teoria delle rappresentazioni sono i gruppi finiti di tipo Lie. Esempi importanti sono i gruppi algebrici lineari su campi finiti. La teoria delle rappresentazioni dei gruppi algebrici lineari e dei gruppi di Lie estende questi esempi a gruppi a dimensione infinita. Questi ultimi sono strettamente collegati alle rappresentazioni delle algebre di Lie. L'importanza della teoria dei caratteri per i gruppi finiti ha un analogo nella teoria dei pesi per le rappresentazioni dei gruppi di Lie e delle algebre di Lie.

Le rappresentazioni di un gruppo finito sono anche collegate direttamente alle rappresentazioni di algebre tramite l'algebra gruppo che è uno spazio vettoriale su con gli elementi di come base, dotato dell'operazione di moltiplicazione definita dall'operazione di gruppo, di linearità e del requisito che le operazioni di gruppo e la moltiplicazione per uno scalare commutino.

Rappresentazioni modulari[modifica | modifica wikitesto]

Le rappresentazioni modulari di un gruppo finito sono rappresentazioni su un campo la cui caratteristica non è coprima con quindi il teorema di Maschke non vale più (perché non è invertibile in e quindi non si può dividere per esso). Tuttavia, Richard Brauer estese gran parte della teoria dei caratteri alle rappresentazioni modulari, e questa teoria giocò un ruolo importante nei primi progressi verso la classificazione dei gruppi semplici finiti, specialmente per i gruppi semplici la cui caratterizzazione non era ottenibile con metodi puri di teoria dei gruppi perché i loro sottogruppi 2-Sylow erano "troppo piccoli".

Oltre ad avere applicazioni alla teoria dei gruppi, le rappresentazioni modulari sorgono naturalmente in altri rami della matematica, come la geometria algebrica, la teoria dei codici, la combinatoria e la teoria dei numeri.

Rappresentazioni unitarie[modifica | modifica wikitesto]

Una rappresentazione unitaria di un gruppo è una rappresentazione lineare di su uno spazio di Hilbert reale o (solitamente) complesso tale che è un operatore unitario per ogni Tali rappresentazioni sono state ampiamente applicate nella meccanica quantistica sin dagli anni '20, grazie, in particolare, all'influenza di Hermann Weyl, e questo ha ispirato lo sviluppo della teoria, in particolare attraverso l'analisi delle rappresentazioni del gruppo di Poincaré di Eugene Wigner. Uno dei pionieri nella costruzione di una teoria generale delle rappresentazioni unitarie (per qualsiasi gruppo piuttosto che solo per gruppi particolari utili nelle applicazioni) è stato George Mackey, e una teoria estesa è stata sviluppata da Harish-Chandra e altri negli anni '50 e '60.

Uno degli obiettivi principali è descrivere il "duale unitario", lo spazio delle rappresentazioni unitarie irriducibili di La teoria è più sviluppata nel caso in cui sia un gruppo topologico localmente compatto (di Hausdorff) e le rappresentazioni sono fortemente continue. Per abeliano, il duale unitario è solo lo spazio dei caratteri, mentre per compatto, il teorema di Peter-Weyl mostra che le rappresentazioni unitarie irriducibili sono di dimensione finita e il duale unitario è discreto. Ad esempio, se è il gruppo i caratteri sono dati da numeri interi e il duale unitario è

Per non compatto, la questione di quali rappresentazioni siano unitarie è sottile. Sebbene le rappresentazioni unitarie irriducibili debbano essere "ammissibili" (come i moduli di Harish-Chandra) ed è facile determinare quali rappresentazioni ammissibili hanno una forma sesquilineare invariante non degenere, è difficile determinare quando questa forma è definita positiva. Una descrizione efficace del duale unitario, anche per gruppi che si comportano relativamente bene come i gruppi di Lie riduttivi reali (discussi di seguito), rimane un importante problema aperto nella teoria delle rappresentazioni. È stato risolto per molti gruppi particolari, come e il gruppo Lorentz.

Analisi armonica[modifica | modifica wikitesto]

La dualità tra il gruppo e il gruppo degli interi o più in generale, tra un toro e è ben nota in analisi come teoria delle serie di Fourier, e la trasformata di Fourier esprime il fatto che lo spazio dei caratteri su uno spazio vettoriale reale è lo spazio vettoriale duale. Così la teoria della rappresentazioni unitarie e l'analisi armonica sono strettametne correlate, e l'analisi armonica astratta sfrutta questa relazione, sviluppando l'analisi di funzioni su gruppi topologici localmente compatti e spazi correlati.

Uno degli obiettivi principali è fornire una forma generale della trasformata di Fourier e del teorema di Plancherel. Ciò si ottiene costruendo una misura sul duale unitario e un isomorfismo tra la rappresentazione regolare di sullo spazio di funzioni a quadrato integrabile su e la sua rappresentazione sullo spazio delle funzioni sul duale unitario. La dualità di Pontryagin e il teorema di Peter-Weyl raggiungono questo obiettivo rispettivamente per abeliano e per compatto.

Un altro approccio consiste nel considerare tutte le rappresentazioni unitarie, non solo quelle irriducibili. Queste formano una categoria e la dualità Tannaka-Kerin fornisce un modo per recuperare un gruppo compatto dalla sua categoria di rappresentazioni unitarie.

Se il gruppo non è né abeliano né compatto, nessuna teoria generale è nota e non c'è un analogo del teorema di Plancherel o di inversione di Fourier, sebbene Alexander Grothendieck abbia esteso la dualità di Tannaka-Kerin a una relazione tra gruppi algebrici lineari e categorie tannakiane.

L'analisi armonica è stata estesa anche dall'analisi di funzioni su un gruppo a funzioni su spazi omogenei per La teoria è particolarmente ben sviluppata per gli spazi simmetrici e fornisce una teoria delle forme automorfe (discussa di seguito).

Gruppi di Lie[modifica | modifica wikitesto]

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 dei 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 quei campi.

La teoria delle rappresentazioni dei gruppi di Lie può essere sviluppata prima considerando i gruppi compatti, ai quali si applicano i risultati della teoria delle rappresentazioni compatte. Questa teoria può essere estesa a rappresentazioni di dimensione finita di gruppi di Lie semisemplici usando il trucco unitario di Weyl: ogni gruppo di Lie reale semisemplice ha una complessificazione, che è un gruppo di Lie complesso e questo gruppo di Lie complesso ha un sottogruppo compatto massimale Le rappresentazioni di dimensione finita di sono in stretta corrispondenza con quelle di

Un gruppo di Lie generale è un prodotto semidiretto di un gruppo di Lie risolubile e di un gruppo di Lie semisemplice (la decomposizione di Levi). La classificazione delle rappresentazioni di gruppi di Lie risolubili è intrattabile in generale, ma spesso facile nei casi pratici. Le rappresentazioni di prodotti semidiretti possono quindi essere analizzate mediante risultati generali denominati teoria di Mackey, che è una generalizzazione dei metodi utilizzati nella classificazione di Wigner delle rappresentazioni del gruppo di Poincaré.

Algebre di Lie[modifica | modifica wikitesto]

Un'algebra di Lie su un campo è uno spazio vettoriale su dotato di un'operazione bilineare antisimmetrica chiamata parentesi di Lie, che soddisfa l'identità di Jacobi. Le algebre di Lie sorgono in particolare come spazi tangenti dei gruppi di Lie all'elemento neutro, portando alla loro interpretazione come "simmetrie infinitesimali". Un approccio importante alla teoria delle rappresentazioni dei gruppi di Lie è studiare la corrispondente teoria delle rappresentazioni delle algebre di Lie, anche se le rappresentazioni delle algebre di Lie sono comunque di interesse indipendentemente dai gruppi di Lie.

Le algebre di Lie, come i gruppi di Lie, hanno una decomposizione di Levi in parti semisemplici e risolubili, con la teoria delle rappresentazioni delle algebre di Lie risolubili che è intrattabile in generale. Al contrario, le rappresentazioni finito-dimensionali delle algebre di Lie semisemplici sono completamente comprese, dopo il lavoro di Élie Cartan. Una rappresentazione di un'algebra di Lie semisemplice viene analizzata scegliendo una sottoalgebra di Cartan, che è essenzialmente una sottoalgebra massimale generica di su cui le parentesi di Lie sono nulle ("algebra abeliana"). La rappresentazione di può essere decomposta in spazi peso che sono autospazi per l'azione di e sono l'analogo infinitesimale dei caratteri. La struttura delle algebre di Lie semisemplici riduce quindi l'analisi delle rappresentazioni a un'analisi combinatoria facilmente comprensibile dei possibili pesi.

Algebre di Lie di dimensione infinita[modifica | modifica wikitesto]

Esistono molte classi di algebre di Lie a dimensione infinita le cui rappresentazioni sono state studiate. Tra queste, una classe importante sono le algebre di Kac–Moody. Prendono il nome da Victor Kac e Robert Moody, che le scoprirono indipendentemente. Queste algebre formano una generalizzazione delle algebre di Lie semisemplici di dimensione finita e condividono molte delle loro proprietà combinatorie. Ciò significa che hanno una classe di rappresentazioni che possono essere comprese allo stesso modo delle rappresentazioni delle algebre di Lie semisemplici.

Le algebre di Lie affini sono un caso speciale di algebre di Kac–Moody, che hanno particolare importanza in matematica e fisica teorica, in particolare nella teoria di campo conforme e nella teoria dei modelli risolvibili esattamente. Kac ha scoperto un'elegante dimostrazione di certe identità combinatorie, le identità di Macdonald, che si basa sulla teoria delle rappresentazioni delle algebre affini di Kac-Moody.

Superalgebre di Lie[modifica | modifica wikitesto]

Le superalgebre di Lie sono generalizzazioni delle algebre di Lie in cui lo spazio vettoriale sottostante ha una -graduazione, e la proprietà di antisimmetria delle parentesi di Lie e l'identità di Jacobi sono modificate con segni opportuni. La loro teoria delle rappresentazioni è simile alla teoria delle rappresentazioni delle algebre di Lie.

Gruppi algebrici lineari[modifica | modifica wikitesto]

I gruppi algebrici lineari (o più in generale, schemi gruppo affini) sono analoghi nella geometria algebrica dei gruppi di Lie, ma su campi più generali rispetto a o In particolare, su campi finiti, danno origine a gruppi finiti di tipo Lie. Sebbene i gruppi algebrici lineari abbiano una classificazione molto simile a quella dei gruppi di Lie, la loro teoria delle rappresentazioni è piuttosto diversa (e molto meno compresa) e richiede tecniche diverse, poiché la topologia di Zariski è relativamente debole e le tecniche dell'analisi non sono disponibili.

Teoria degli invarianti[modifica | modifica wikitesto]

La teoria degli invarianti studia le azioni sulle varietà algebriche dal punto di vista del loro effetto sulle funzioni, che formano le rappresentazioni del gruppo. Classicamente, la teoria affrontava la questione della descrizione esplicita di funzioni polinomiali che non cambiano, o sono invarianti, sotto le trasformazioni di un dato gruppo lineare. L'approccio moderno analizza la scomposizione di queste rappresentazioni in componenti irriducibili.

La teoria degli invarianti dei gruppi infiniti è indissolubilmente legata allo sviluppo dell'algebra lineare, in particolare, alle teorie delle forme quadratiche e dei determinanti. Un altro argomento con una forte influenza reciproca è la geometria proiettiva, in cui la teoria invariante può essere utilizzata per organizzare il soggetto, e durante gli anni '60 David Mumford ha dato nuova vita al soggetto sotto forma della sua teoria geometrica degli invarianti.

La teoria delle rappresentazioni di gruppi di Lie semisemplici ha le sue radici nella teoria degli invarianti e il forte legame fra teoria delle rappresentazioni e geometria algebrica ha molte similitudini con la geometria differenziale, a cominciare dal programma di Erlangen di Felix Klein e le connessioni di Élie Cartan, che pongono i gruppi e la simmetria al centro della geometria. Gli sviluppi moderni collegano la teoria delle rappresentazioni e la teoria degli invarianti ad aree diverse come l'olonomia, gli operatori differenziali e la teoria di più variabili complesse.

Forme automorfe e teoria dei numeri[modifica | modifica wikitesto]

Le forme automorfe sono una generalizzazione delle forme modulari a funzioni analitiche più generali, eventualmente di più variabili complesse, con proprietà di trasformazione simili. La generalizzazione prevede la sostituzione del gruppo modulare e del sottogruppo di congruenza scelto con un gruppo di Lie semisemplice e un sottogruppo discreto Proprio come le forme modulari possono essere viste come forme differenziali su un quoziente del semipiano superiore complesso le forme automorfe possono essere viste come forme differenziali (o oggetti simili) su dove è (tipicamente) un sottogruppo compatto massimale di Tuttavia, è necessaria una certa attenzione, poiché il quoziente ha tipicamente delle singolarità. Il quoziente di un gruppo di Lie semisemplice per un sottogruppo compatto è uno spazio simmetrico e quindi la teoria delle forme automorfe è strettamente correlata all'analisi armonica su spazi simmetrici.

Prima dello sviluppo della teoria generale, molti casi speciali importanti sono stati elaborati in dettaglio, comprese le forme modulari di Hilbert e le forme modulari di Siegel. Risultati importanti nella teoria includono la formula della traccia di Selberg e la realizzazione da parte di Robert Langlands che il teorema di Riemann-Roch potrebbe essere applicato per calcolare la dimensione dello spazio delle forme automorfe. La successiva nozione di "rappresentazione automorfa" si è dimostrata di grande valore tecnico per trattare il caso in cui è un gruppo algebrico, trattato come un gruppo algebrico adelico. Di conseguenza, un'intera filosofia, il programma Langlands, si è sviluppata attorno alla relazione tra le rappresentazioni e le proprietà aritmetiche delle forme automorfe.

Algebre associative[modifica | modifica wikitesto]

In un certo senso, le rappresentazioni di algebre associative generalizzano sia le rappresentazioni di gruppi che di algebre di Lie. Una rappresentazione di un gruppo induce una rappresentazione di un anello gruppo o di un'algebra gruppo corrispondente, mentre le rappresentazioni di un'algebra di Lie corrispondono biiettivamente alle rappresentazioni della sua algebra inviluppante universale. Tuttavia, la teoria delle rappresentazioni di generali algebre associative non ha tutte le belle proprietà della teoria delle rappresentazioni dei gruppi e delle algebre di Lie.

Teoria dei moduli[modifica | modifica wikitesto]

Quando si considerano le rappresentazioni di un'algebra associativa, si può dimenticare il campo sottostante e considerare semplicemente l'algebra associativa come un anello e le sue rappresentazioni come moduli. Questo approccio è sorprendentemente fruttuoso: molti risultati nella teoria delle rappresentazioni possono essere interpretati come casi speciali di risultati sui moduli su un anello.

Algebre di Hopf e gruppi quantistici[modifica | modifica wikitesto]

Le algebre di Hopf forniscono un modo per migliorare la teoria delle rappresentazioni delle algebre associative, pur mantenendo la teoria delle rappresentazioni dei gruppi e delle algebre di Lie come casi speciali. In particolare, il prodotto tensoriale di due rappresentazioni è una rappresentazione, così come lo spazio vettoriale duale.

Le algebre di Hopf associate ai gruppi hanno una struttura algebrica commutativa, e quindi le algebre di Hopf generali sono conosciute come gruppi quantici, sebbene questo termine sia spesso limitato a certe algebre di Hopf che sorgono come deformazioni di gruppi o loro algebre inviluppanti universali. La teoria delle rappresentazioni dei gruppi quantici ha aggiunto sorprendenti intuizioni alla teoria delle rappresentazioni dei gruppi di Lie e delle algebre di Lie, ad esempio attraverso la base cristallina di Kashiwara.

Generalizzazioni[modifica | modifica wikitesto]

Rappresentazioni di insiemi[modifica | modifica wikitesto]

Una rappresentazione di insieme (nota anche come azione di gruppo o rappresentazione di permutazione) di un gruppo su un insieme è data da una funzione da a l'insieme delle funzioni da a tale che per ogni e per ogni :

Queste condizioni e gli assiomi di un gruppo implicano che è una biiezione (o permutazione) per ogni Quindi possiamo definire in modo equivalente una rappresentazione di permutazione come un omomorfismo di gruppi da al gruppo simmetrico di

Rappresentazioni in altre categorie[modifica | modifica wikitesto]

Ogni gruppo può essere visto come una categoria con un unico oggetto; i morfismi in questa categoria sono solo gli elementi di Data una categoria arbitraria una rappresentazione di in è un funtore da a Un tale funtore seleziona un oggetto in e un omomorfismo di gruppi da ad il gruppo degli automorfismi di

Nel caso in cui sia la categoria degli spazi vettoriali su un campo questa definizione è equivalente a una rappresentazione lineare. Allo stesso modo, una rappresentazione di insieme è solo una rappresentazione di nella categoria degli insiemi.

Per un altro esempio si consideri la categoria degli spazi topologici, Top. Le rappresentazioni in Top sono omomorfismi da al gruppo degli omeomorfismi di uno spazio topologico

Due tipi di rappresentazioni strettamente correlate alle rappresentazioni lineari sono:

  • le rappresentazioni proiettive: nella categoria degli spazi proiettivi. Questi possono essere descritti come "rappresentazioni lineari a meno di trasformazioni scalari".
  • le rappresentazioni affini: nella categoria degli spazi affini. Ad esempio, il gruppo euclideo agisce in modo affine sullo spazio euclideo.

Rappresentazioni di categorie[modifica | modifica wikitesto]

Poiché i gruppi sono categorie, si possono anche considerare rappresentazioni di altre categorie. La generalizzazione più semplice è quella dei monoidi, che sono categorie con un oggetto. I gruppi sono monoidi per i quali ogni morfismo è invertibile. I monoidi generali hanno rappresentazioni in qualsiasi categoria. Nella categoria degli insiemi, queste sono azioni di monoidi, ma è possibile studiare rappresentazioni di monoidi su spazi vettoriali e altri oggetti.

Più in generale, si può allentare l'ipotesi che la categoria rappresentata abbia un solo oggetto. In generale, questa è semplicemente la teoria dei funtori tra categorie e si può dire poco.

Un caso speciale ha avuto un impatto significativo sulla teoria delle rappresentazioni, vale a dire la teoria delle rappresentazioni dei quiver. Un quiver è un grafo orientato (che consente cicli e frecce multiple), ma può essere trasformato in una categoria (e anche in un'algebra) considerando i cammini nel grafo. Le rappresentazioni di tali categorie/algebre hanno illuminato diversi aspetti della teoria delle rappresentazioni, ad esempio consentendo di ridurre in alcuni casi domande di teoria delle rappresentazioni non semisemplici a un gruppo a domande di teoria delle rappresentazioni semisemplici su un quiver.

Note[modifica | modifica wikitesto]

 

Bibliografia[modifica | modifica wikitesto]

Link esterni[modifica | modifica wikitesto]

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica