Darstellung (Algebra)

Die Darstellungstheorie von Algebren ist ein Teilgebiet der Mathematik, das sich mit der Darstellung von Algebren auf Vektorräumen beschäftigt. Auf diese Weise werden beliebige assoziative Algebren mittels Homomorphismen mit Algebren von Operatoren in Zusammenhang gebracht. Untersuchungsgegenstand sind die Struktur solcher Homomorphismen und deren Klassifikation. Die Darstellungstheorie einer Algebra ist zur Theorie ihrer Moduln äquivalent. Speziellere Darstellungstheorien behandeln Gruppen, Lie-Algebren oder C*-Algebren.

Wir betrachten im Folgenden der Einfachheit halber Algebren mit Einselement 1. Hat man eine Algebra ohne Einselement, so adjungiere man eines.

Definitionen

Es seien ein Körper und eine -Algebra. Eine Darstellung von ist ein Algebrenhomomorphismus $\pi :A\rightarrow L(V)$ , wobei ein -Vektorraum und L(V) die Algebra aller linearen Operatoren auf ist, genauer spricht man von einer Darstellung von auf .

Die Vektorraumdimension von wird als Dimension von $\pi$ bezeichnet. Endlichdimensionale Darstellungen nennt man auch Matrix-Darstellungen, denn durch Wahl einer Vektorraumbasis lässt sich jedes Element aus L(V) als Matrix schreiben. Injektive Darstellungen heißen treu.

Zwei Darstellungen $\pi _{1}:A\rightarrow L(V_{1})$ und $\pi _{2}:A\rightarrow L(V_{2})$ heißen äquivalent, wenn es einen Vektorraum-Isomorphismus $T:V_{1}\rightarrow V_{2}$ gibt mit $\pi _{1}(a)=T^{{-1}}\pi _{2}(a)T$ für alle $a\in A$ . Dafür schreibt man abkürzend auch $\pi _{1}\sim \pi _{2}$ .

Die so definierte Äquivalenz ist eine Äquivalenzrelation auf der Klasse aller Darstellungen. Die Begriffsbildungen in der Darstellungstheorie sind so angelegt, dass sie beim Übergang zu einer äquivalenten Darstellung erhalten bleiben, Dimension und Treue sind erste Beispiele.

Beispiele

Der Nullhomomorphismus $A\rightarrow L(V)$ , der jedes Algebrenelement auf den Nulloperator abbildet, heißt Nulldarstellung oder triviale Darstellung.
Die identische Abbildung $L(V)\rightarrow L(V)$ ist eine treue Darstellung von auf .
Es sei die $\mathbb {R}$ -Algebra der reellwertigen (stetigen) Funktionen $a:[0,1]\rightarrow \mathbb{R}$ . Dann ist

$\pi :C[0,1]\rightarrow L(\mathbb{R} ^{2}),\quad a\mapsto {\begin{pmatrix}a(0)&0\\0&a(1)\end{pmatrix}}$

eine zweidimensionale, nicht-treue Darstellung von C[0,1].

Ist eine -Algebra, so ist $\pi _{l}:A\rightarrow L(A)$ , wobei $\pi _{l}(a)\in L(A)$ durch $\pi _{l}(a)b:=ab$ definiert sei, eine Darstellung von . Diese spezielle Darstellung nennt man auch die linksreguläre Darstellung, da sie auf die Menge aller Linksmultiplikationen mit Elementen aus abbildet. Die Formel $\pi _{l}(a)1=a$ zeigt die Treue der linksregulären Darstellung, insbesondere besitzt jede Algebra eine treue Darstellung.

Die Multiplikativität der linksregulären Darstellung bedeutet $\pi _{l}(ab)=\pi _{l}(a)\pi _{l}(b)$ für alle $a,b\in A$ und das heißt $\pi _{l}(ab)c=\pi _{l}(a)(\pi _{l}(b)c)$ für alle $a,b,c\in A$ und das ist nichts anderes als (ab)c=a(bc) für alle $a,b,c\in A$ . Diese Überlegung macht die Rolle des Assoziativgesetzes deutlich.

Direkte Summen

Sind $\pi _{1}:A\rightarrow L(V_{1})$ und $\pi _{2}:A\rightarrow L(V_{2})$ zwei Darstellungen, so definiert

$\pi :A\rightarrow L(V_{1}\oplus V_{2}),\quad a\mapsto \pi _{1}(a)\oplus \pi _{2}(a)$

offenbar wieder eine Darstellung von , wobei $\pi _{1}(a)\oplus \pi _{2}(a)$ komponentenweise auf der direkten Summe $V_{1}\oplus V_{2}$ operiert, das heißt $(\pi _{1}(a)\oplus \pi _{2}(a))(\xi _{1}\oplus \xi _{2}):=\pi _{1}(a)\xi _{1}\oplus \pi _{2}(a)\xi _{2}$ für alle $\xi _{i}\in V_{i}$ . Diese Darstellung nennt man die direkte Summe aus $\pi _{1}$ und $\pi _{2}$ und bezeichnet sie mit $\pi _{1}\oplus \pi _{2}$ .

Diese Konstruktion lässt sich offenbar für direkte Summen beliebig vieler Summanden verallgemeinern. Ist $(\pi _{i})_{{i\in I}}$ eine Familie von Darstellungen, so auch

$\bigoplus _{{i\in I}}\pi :A\rightarrow L(\bigoplus _{{i\in I}}V_{i}),\,a\mapsto \bigoplus _{{i\in I}}\pi _{i}(a)$ .

Teildarstellungen

Sei $\pi :A\rightarrow L(V)$ eine Darstellung. Ein Untervektorraum $W\subset V$ heißt invariant (genauer $\pi$ -invariant), falls $\pi (a)W\subset W$ für alle $a\in A$ .

Offenbar ist

${\tilde {\pi }}:A\rightarrow L(W),\quad a\mapsto {\tilde {\pi }}(a):=\pi (a)|_{W}$

wieder eine Darstellung von , die man die Einschränkung von $\pi$ auf nennt und mit $\pi |_{W}$ bezeichnet.

Ist $W^{c}$ ein zu komplementärer Unterraum, der ebenfalls invariant ist, so gilt offenbar $\pi \sim \pi |_{W}\oplus \pi |_{{W^{c}}}$ , wobei die Äquivalenz durch den Isomorphismus $W\oplus W^{c}\rightarrow V,(w_{1},w_{2})\mapsto w_{1}+w_{2}$ vermittelt wird.

Die invarianten Unterräume der linksregulären Darstellung einer Algebra sind genau die Linksideale der Algebra.

Weitere Darstellungen

Ein wichtiger Untersuchungsgegenstand der Darstellungstheorie ist Zerlegung von Darstellungen als Summe von Teildarstellungen. Dabei interessiert man sich natürlich für Darstellungen, die sich nicht weiter zerlegen lassen. Das führt zwanglos auf den folgenden Begriff:

Irreduzible Darstellungen

Eine Darstellung $\pi \colon A\rightarrow L(V)$ heißt irreduzibel, wenn es außer $\{0\}$ und keine weiteren invarianten Unterräume von gibt. Für eine äquivalente Charakterisierung siehe Lemma von Schur. Eine Darstellung heißt vollständig reduzibel, wenn sie zu einer direkten Summe irreduzibler Darstellungen äquivalent ist.

Das obige Beispiel einer zweidimensionalen Darstellung von C[0,1] ist offenbar äquivalent zur direkten Summe zweier eindimensionaler und damit irreduzibler Darstellungen. Die identische Darstellung $L(K^{n})\rightarrow L(K^{n})$ der Matrizenalgebra auf $K^{n}$ ist eine -dimensionale irreduzible Darstellung, von der man zeigen kann, dass sie bis auf Äquivalenz die einzige ist. Ein häufiges Ziel der Darstellungstheorie ist die Klassifizierung aller Äquivalenzklassen irreduzibler Darstellungen einer gegebenen Algebra.

Nicht-degenerierte Darstellungen

Eine Darstellung $\pi$ einer Algebra auf dem Vektorraum heißt nicht-degeneriert, wenn aus $\pi (a)\xi =0$ für alle $a\in A$ stets $\xi =0$ folgt.

Ist $\pi :A\rightarrow L(V)$ eine beliebige Darstellung, so sind

$V_{0}:=\{\xi \in V;\,\pi (a)\xi =0\,\forall a\in A\}={\mathrm {ker}}(\pi (1))$ und

$V_{1}:=\{\sum _{{i=1}}^{n}\pi (a_{i})\xi _{i};\,n\in \mathbb{N} ,\,a_{1},\ldots a_{n}\in A,\,\xi _{1},\ldots \xi _{n}\in V\}$

offenbar invariante Teilräume, $V_{0}$ heißt auch Nullraum der Darstellung. Es ist $\pi (1)\in L(V)$ die Projektion auf V_1 und $V_{0}=({\mathrm {id}}_{V}-\pi (1))V$ der zugehörige Komplementärraum. Da $\pi |_{{V_{0}}}$ die Nulldarstellung und $\pi |_{{V_{1}}}$ nicht-degeneriert ist, haben wir das Ergebnis, dass jede Darstellung die Summe aus einer nicht-degenierten und einer Nulldarstellung ist. Häufig betrachtet man daher nur nicht-degenerierte Darstellungen und nimmt ohne Einschränkung $\pi (1)={\mathrm {id}}_{V}$ an.

Zyklische Darstellungen

Eine Darstellung $\pi :A\rightarrow L(V)$ heißt zyklisch, wenn es ein $\xi \in V$ gibt mit $V=\{\pi (a)\xi ;\,a\in A\}$ , der Vektor $\xi$ heißt zyklischer Vektor. Ist $\pi :A\rightarrow L(V)$ eine beliebige Darstellung und $\xi \in V$ , so ist $V_{\xi }:=\{\pi (a)\xi ;\,a\in A\}$ offenbar ein invarianter Unterraum und $\pi |_{{V_{\xi }}}$ ist eine zyklische Darstellung mit $\pi (1)\xi$ als einem zyklischen Vektor. Oft fordert man noch, dass $\xi$ nicht im Nullraum liegt, um Triviales zu vermeiden.

Zusammenhang mit Moduln

→ Hauptartikel: Modul (Mathematik)

Ist $\pi :A\rightarrow L(V)$ eine nicht-degenerierte Darstellung, so wird durch die Festlegung $a\cdot \xi :=\pi (a)\xi$ zu einem -Modul. Die Nicht-Degeneriertheit benötigt man für $1\cdot \xi =\xi$ für alle $\xi \in V$ , die anderen Modulaxiome führt man leicht auf die Homomorphieeigenschaften von $\pi$ zurück.

Ist umgekehrt ein -Modul, so ist mit der durch $k\cdot \xi :=(k\cdot 1)\cdot \xi ,k\in K$ erklärten Skalarmultiplikation ein -Vektorraum. Definiert man für $a\in A$ einen Endomorphismus $\pi (a)\in L(V)$ durch die Formel $\pi (a)\xi :=a\cdot \xi$ , so erhält man offenbar eine Darstellung $\pi :A\rightarrow L(V)$ .

Bei dieser Konstruktion sind zwei Darstellungen genau dann äquivalent, wenn die zugehörigen -Moduln isomorph sind. Die Darstellungstheorie der -Algebra ist daher gleichwertig zur Theorie der -Moduln. Die Teildarstellungen entsprechen den Untermoduln, eine irreduzible Darstellung entspricht einem einfachen-Modul, eine vollständig reduzible Darstellung einem halbeinfachen Modul. Zyklische Darstellungen korrespondieren zu von einem Element erzeugten Moduln. Der zur linksregulären Darstellung gehörige -Modul ist nichts anderes als $A=A^{1}$ selbst.

Hat man nur einen Ring ohne die Operation eines Körpers, so kann man nur über $\mathbb {Z}$ -Moduln reden. Die Theorie der Moduln über einem Ring ist in diesem Sinne eine Verallgemeinerung der Darstellungstheorie von Algebren auf Ringe.

Gruppendarstellungen

→ Hauptartikel: Darstellungstheorie (Gruppentheorie)

Ist eine Gruppe, so ist die Gruppenalgebra eine -Algebra, die in der Gruppe der invertierbaren Elemente mit $\{1\cdot g;\,g\in G\}$ eine zu isomorphe Untergruppe enthält, die man mit identifiziert. Jede nicht-degenerierte Darstellung der Gruppenalgebra liefert daher durch Einschränkung auf eine Darstellung der Gruppe. Ist umgekehrt $\lambda :G\rightarrow L(V)$ eine Gruppendarstellung, so ist durch $\pi (\sum _{{i=1}}^{n}k_{i}g_{i}):=\sum _{{i=1}}^{n}k_{i}\lambda (g_{i})$ eine Darstellung der Gruppenalgebra gegeben. In diesem Sinne ordnet sich die Darstellungstheorie der Gruppen der hier behandelten Darstellungstheorie von Algebren unter.

Darstellungen von Lie-Algebren

Lie-Algebren ${\mathfrak {g}}$ sind zwar nicht assoziativ, aber dennoch ist man an Homomorphismen $\pi$ auf Unteralgebren von L(V) interessiert, wobei die Lie-Klammer auf den Kommutator abgebildet wird, das heißt wobei $\pi ([x_{1},x_{2}])\,=\,\pi (x_{1})\pi (x_{2})-\pi (x_{2})\pi (x_{1})$ für alle $x_{1},x_{2}\in {\mathfrak {g}}$ gilt. Eine zugehörige universelle Konstruktion führt zur universellen einhüllenden Algebra, womit die Darstellungen von Lie-Algebren in Beziehung zu den hier behandelten Darstellungen assoziativer Algebren gesetzt sind.

Hilbertraumdarstellungen

→ Hauptartikel: Hilbertraum-Darstellung

Zur Untersuchung von Banach-*-Algebren, insbesondere von C*-Algebren und Gruppenalgebren L^1(G) lokalkompakter Gruppen, sucht man nach Darstellungen, die auch die topologischen Verhältnisse sowie die Involution widerspiegeln. Das führt zwanglos zur Untersuchung von Darstellungen auf Hilberträumen, was umgekehrt wieder zu Klassen solcher Algebren führt, so zum Beispiel zum wichtigen Begriff der Typ-I-C*-Algebra, der durch die Darstellungstheorie der C*-Algebra definiert werden kann. Die Tatsache, dass C*-Algebren treue Hilbertraumdarstellungen besitzen, ist als Satz von Gelfand-Neumark bekannt.

Basierend auf einem Artikel in:

Wikipedia.de