Induzierte Darstellung
# Induzierte Darstellung

* Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen.
* Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen)
Im mathematischen Gebiet der Darstellungstheorie von Gruppen kann man mittels der induzierten Darstellung aus einer Darstellung einer Untergruppe eine Darstellung der sie enthaltenden Gruppe konstruieren.

## Problemstellung

Mit Hilfe der Einschränkung (engl.: restriction) kann man aus einer Darstellung $\phi$ einer Gruppe eine Darstellung ${\text{Res}}(\phi )$ einer Untergruppe erhalten. Die Frage, die sich nun stellt, ist die nach dem umgekehrten Prozess. Kann man aus einer gegebenen Darstellung $\psi$ einer Untergruppe eine Darstellung der ganzen Gruppe erhalten? Man stellt fest, dass die im Folgenden definierte induzierte Darstellung ${\text{Ind}}(\psi )$ genau das Gesuchte liefert. Allerdings ist diese Konstruktion nicht invers, sondern adjungiert zur Einschränkung.

## Definition

Sei $\rho \colon G\to {\text{GL}}(V_{\rho })$ eine lineare Darstellung von $G.$ Sei $H$ eine Untergruppe und $\rho |_{H}$ die Einschränkung. Sei $W$ eine Teildarstellung von $\rho |_{H}.$ Schreibe $\theta \colon H\to {\text{GL}}(W)$ für diese Darstellung. Sei $s\in G,$ der Vektorraum $\rho (s)(W)$ hängt nur von der Linksnebenklasse $sH$ von $s$ ab. Sei $R$ ein Vertretersystem von $G/H,$ dann ist $\textstyle \sum _{r\in R}\rho (r)(W)$ eine Teildarstellung von $V_{\rho }.$
Eine Darstellung $\rho$ von $G$ in $V_{\rho }$ heißt induziert durch die Darstellung $\theta$ von $H$ in $W,$ falls $\textstyle V_{\rho }=\bigoplus _{r\in R}W_{r}.$ Dabei ist $R$ ein Vertretersystem von $G/H$ wie oben und $W_{r}=\rho (s)(W)$ für jedes $s\in rH.$
Anders formuliert: Die Darstellung $(\rho ,V_{\rho })$ ist induziert von $(\theta ,W),$ falls jedes $v\in V_{\rho }$ eindeutig als $\textstyle \sum _{r\in R}w_{r}$ geschrieben werden kann, wobei $w_{r}\in W_{r}$ für jedes $r\in R.$
Wir schreiben ${\text{Ind}}_{H}^{G}(\theta )$ oder kurz, falls keine Verwechslungsgefahr besteht, ${\text{Ind}}(\theta )$ für die von der Darstellung $\theta$ von $H$ induzierte Darstellung von $G.$ Man verwendet auch oft die Darstellungsräume anstatt der Darstellungsabbildung und schreibt $V={\text{Ind}}_{H}^{G}(W)$ bzw. kurz ${\text{Ind}}(W),$ falls die Darstellung $V$ von $W$ induziert ist.
Alternative Beschreibung der induzierten Darstellung
Über die Gruppenalgebra erhalten wir eine alternative Beschreibung der induzierten Darstellung: Sei $G$ eine Gruppe, $V$ ein $\mathbb {C} [G]$-Modul und $W$ ein $\mathbb {C} [H]$-Untermodul von $V$ zur Untergruppe $H$ von $G.$ Dann heißt $V$ von $W$ induziert, falls $V=\mathbb {C} [G]\otimes _{\mathbb {C} [H]}W,$ wobei $G$ auf dem ersten Faktor operiert: $s\cdot (e_{t}\otimes w)=e_{st}\otimes w$ für alle $s,t\in G,w\in W.$

## Eigenschaften

Die in diesem Abschnitt vorgestellten Ergebnisse werden ohne Beweis präsentiert. Diese können in nachgelesen werden.
Eindeutigkeit und Existenz der induzierten Darstellung
Sei $(\theta ,W_{\theta })$ eine lineare Darstellung einer Untergruppe $H$ von $G.$ Dann existiert eine lineare Darstellung $(\rho ,V_{\rho })$ von $G,$ die von $(\theta ,W_{\theta })$ induziert wird und diese ist bis auf Isomorphie eindeutig.
Transitivität der Induktion
Sei $W$ eine Darstellung von $H.$ Für eine aufsteigende Kette von Gruppen $H\leq G\leq K$ gilt
    ${\text{Ind}}_{G}^{K}({\text{Ind}}_{H}^{G}(W))\cong {\text{Ind}}_{H}^{K}(W).$
Lemma: Sei $(\rho ,V_{\rho })$ von $(\theta ,W_{\theta })$ induziert und sei $\rho '\colon G\to {\text{GL}}(V')$ eine lineare Darstellung von $G$ und sei $F\colon W_{\theta }\to V'$ eine lineare Abbildung mit der Eigenschaft, dass $F\circ \theta (t)=\rho '(t)\circ F$ für alle $t\in G.$ Dann existiert eine eindeutig bestimmte lineare Abbildung $F'\colon V_{\rho }\to V',$ die $F$ fortsetzt und für die $F'\circ \rho (s)=\rho '(s)\circ F'$ für alle $s\in G$ gilt. D. h., wenn man $V'$ als $\mathbb {C} [G]$-Modul auffasst, gilt: ${\text{Hom}}^{H}(W_{\theta },V')\cong {\text{Hom}}^{G}(V_{\rho },V')$, wobei ${\text{Hom}}^{G}(V_{\rho },V')$ den Vektorraum aller $\mathbb {C} [G]$-Homomorphismen von $V_{\rho }$ nach $V'$ bezeichnet. Gleiches gilt für ${\text{Hom}}^{H}(W_{\theta },V').$
Induktion auf Klassenfunktionen
Wie bei Darstellungen können wir auch, über sog. Induktion, aus Klassenfunktionen auf einer Untergruppe eine Klassenfunktion auf der großen Gruppe erhalten. Sei $\varphi$ eine Klassenfunktion auf $H.$ Definiere die Funktion $\varphi '$ auf $G$ durch
    $\varphi '(s)={\frac {1}{|H|}}\sum _{t\in G \atop t^{-1}st\in H}^\varphi (t^{-1}st).$
Wir sagen, $\varphi '$ ist von $\varphi$ induziert und schreiben ${\text{Ind}}_{H}^{G}(\varphi )=\varphi '$ oder ${\text{Ind}}(\varphi )=\varphi '.$
Proposition: Die Funktion ${\text{Ind}}(\varphi )$ ist eine Klassenfunktion auf $G.$ Falls $\varphi$ der Charakter einer Darstellung $W$ von $H$ ist, dann ist ${\text{Ind}}(\varphi )$ der Charakter der induzierten Darstellung ${\text{Ind}}(W)$ von $G.$
Lemma: Falls $\psi$ eine Klassenfunktion auf $H$ ist und $\varphi$ eine Klassenfunktion auf $G,$ gilt:
    ${\text{Ind}}(\psi \cdot {\text{Res}}\varphi )=({\text{Ind}}\psi )\cdot \varphi .$
Satz: Sei $(\rho ,V_{\rho })$ die durch die Darstellung $(\theta ,W_{\theta })$ der Untergruppe $H$ induzierte Darstellung von $G$ und seien $\chi _{\rho },\chi _{\theta }$ die korrespondierenden Charaktere. Sei $R$ ein Vertretersystem von $G/H.$ Für jedes $t\in G$ gilt:
    $\chi _{\rho }(t)=\sum _{r\in R, \atop r^{-1}tr\in H}^\chi _{\theta }(r^{-1}tr)={\frac {1}{|H|}}\sum _{s\in G, \atop s^{-1}ts\in H}^\chi _{\theta }(s^{-1}ts).$

### Frobeniusreziprozität

Die Frobeniusreziprozität sagt einerseits, dass die Abbildungen ${\text{Res}}$ und ${\text{Ind}}$ adjungiert zueinander sind. Betrachten wir andererseits mit $W$ eine irreduzible Darstellung von $H$ und sei $V$ eine irreduzible Darstellung von $G,$ dann erhalten wir mit der Frobeniusreziprozität außerdem, dass $W$ so oft in ${\text{Res}}(V)$ enthalten ist wie ${\text{Ind}}(W)$ in $V.$
Sei $\psi \in \mathbb {C} _{\text{class}}(H)$ und sei $\varphi \in \mathbb {C} _{\text{class}}(G)$, dann gilt
    $\langle \psi ,{\text{Res}}\varphi \rangle _{H}=\langle {\text{Ind}}\psi ,\varphi \rangle _{G}$
Die Aussage gilt ebenso für das Skalarprodukt.

### Kriterium von Mackey

Die induzierte Darstellung $V={\text{Ind}}_{H}^{G}(W)$ ist genau dann irreduzibel, wenn die folgenden Bedingungen erfüllt sind:
* $W$ ist irreduzibel.
* Für jedes $s\in G\setminus H$ sind die zwei Darstellungen $\rho ^{s}$ und ${\text{Res}}_{s}(\rho )$ von $H_{s}$ disjunkt.

### Anwendungen auf spezielle Gruppen

In diesem Abschnitt werden einige Anwendungen der bisher vorgestellten Theorie auf normale Untergruppen und auf eine besondere Gruppe, das semidirekte Produkt einer Untergruppe mit einem abelschen Normalteiler, vorgestellt.
Proposition: Sei $A$ eine normale Untergruppe der Gruppe $G$ und sei $\rho \colon G\to {\text{GL}}(V)$ eine irreduzible Darstellung von $G.$ Dann gilt:
* Entweder gibt es eine echte Untergruppe $H$ von $G,$ die $A$ enthält und eine irreduzible Darstellung $\eta$ von $H,$ die $\rho$ induziert
* oder die Einschränkung von $\rho$ auf $A$ ist isotypisch.
Falls $A$ abelsch ist, ist der zweite Punkt der obigen Proposition äquivalent dazu, dass $\rho (a)$ eine Homothetie ist für jedes $a\in A.$
Wir erhalten außerdem das folgende
Korollar: Sei $A$ eine abelsche, normale Untergruppe von $G$ und $\tau$ eine beliebige irreduzible Darstellung von $G.$ Sei $(G:A)$ der Index von $A$ in $G.$ Dann gilt: ${\text{deg}}(\tau )|(G:A).$ Ist $A$ eine abelsche Untergruppe von $G$ (nicht unbedingt normal), so gilt im Allgemeinen nicht mehr ${\text{deg}}(\tau )|(G:A),$ jedoch gilt weiterhin ${\text{deg}}(\tau )\leq (G:A).$
Im Folgenden zeigen wir, wie alle irreduziblen Darstellungen einer Gruppe $G,$ die semidirekte Produkte eines abelschen Normalteilers $A\vartriangleleft G$ und einer Untergruppe $H\leq G$ sind, klassifiziert werden.
Seien im Folgenden $A$ und $H$ Untergruppen der Gruppe $G,$ wobei $A$ normal ist. Im Folgenden nehmen wir an, dass $A$ abelsch ist, und $G$ das semidirekte Produkt von $H$ und $A,$ also $G=A\rtimes H$. Nun klassifizieren wir die irreduziblen Darstellungen einer solchen Gruppe $G,$ indem wir zeigen, dass die irreduziblen Darstellungen von $G$ aus bestimmten Untergruppen von $H$ konstruiert werden können. Dies ist die Methode der „kleinen Gruppen“ von Wigner und Mackey.
Da $A$ abelsch ist, haben die irreduziblen Darstellungen von $A$ Grad $1$ und die zugehörigen Charaktere bilden eine Gruppe $\mathrm {X} ={\text{Hom}}(A,\mathbb {C} ^{\times })$. Die Gruppe $G$ operiert auf $\mathrm {X}$ durch $(s\chi )(a)=\chi (s^{-1}as)$ für $s\in G,\chi \in \mathrm {X} ,a\in A.$ Sei $(\chi _{j})_{j\in \mathrm {X} /H}$ ein Vertretersystem der Bahn von $H$ in $\mathrm {X} .$ Für jedes $j\in \mathrm {X} /H$ sei $H_{j}=\{t\in H\mid t\chi _{j}=\chi _{j}\}.$ Dies ist eine Untergruppe von $H.$ Sei $G_{j}=A\cdot H_{j}$ die korrespondierende Untergruppe von $G.$ Dann dehnen wir die Funktion $\chi _{j}$ auf $G_{j}$ aus, in dem wir $\chi _{j}(at)=\chi _{j}(a)$ für $a\in A,t\in H_{j}$ setzen. Damit ist $\chi _{j}$ eine Klassenfunktion auf $G_{j}.$ Da $t\chi _{j}=\chi _{j}$ für alle $t\in H_{j},$ kann man zeigen, dass $\chi _{j}$ außerdem ein Gruppenhomomorphismus von $G_{j}$ nach $\mathbb {C} ^{\times }$ ist. Es handelt sich also um eine Darstellung von $G_{j}$ vom Grad $1$, die ihrem eigenen Charakter entspricht. Sei nun $\rho$ eine irreduzible Darstellung von $H_{j}.$ Dann erhält man eine irreduzible Darstellung ${\tilde {\rho }}$ von $G_{j},$ in dem man $\rho$ mit der kanonischen Projektion $G_{j}\to H_{j}$ verknüpft. Schließlich bilden wir das Tensorprodukt von $\chi _{j}$ und ${\tilde {\rho }}$ und erhalten eine irreduzible Darstellung $\chi _{j}\otimes {\tilde {\rho }}$ von $G_{j}.$ Um nun die Klassifizierung zu zeigen, betrachten wir die Darstellung $\theta _{j,\rho }$ von $G,$ die von $\chi _{j}\otimes {\tilde {\rho }}$ induziert ist. Damit erhalten wir folgendes Ergebnis:
Proposition:
* $\theta _{j,\rho }$ ist irreduzibel.
* Falls $\theta _{j,\rho }$ und $\theta _{j',\rho '}$ isomorph sind, dann ist $j=j'$ und $\rho$ ist isomorph zu $\rho '.$
* Jede irreduzible Darstellung von $G$ ist isomorph zu einer der $\theta _{j,\rho }.$
Für den Beweis der Proposition wird unter anderem das Kriterium von Mackey und eine Folgerung aus der Frobeniusreziprozität benötigt. Mehr Details finden sich in. D. h., wir haben alle irreduziblen Darstellungen der Gruppe $G=A\rtimes H$ klassifiziert.

## Satz von Artin

Satz: Sei $X$ eine Familie von Untergruppen einer endlichen Gruppe $G.$ Sei ${\text{Ind}}\colon \bigoplus _{H\in X}{\mathcal {R}}(H)\to {\mathcal {R}}(G)$ der Homomorphismus, definiert durch die Familie der ${\text{Ind}}_{H}^{G},\,\,H\in X.$ Dann sind die folgenden Eigenschaften äquivalent:
* Der Kokern von ${\text{Ind}}:\bigoplus _{H\in X}{\mathcal {R}}(H)\to {\mathcal {R}}(G)$ ist endlich.
* $G$ ist die Vereinigung der Konjugate der zu $X$ gehörenden Untergruppen, also $G=\bigcup _{H\in X \atop s\in G}sHs^{-1}.$
Da ${\mathcal {R}}(G)$ als Gruppe endlich erzeugt ist, kann man den ersten Punkt wie folgt umformulieren:
* Für jeden Charakter $\chi$ von $G$ existieren virtuelle Charaktere $\chi _{H}\in {\mathcal {R}}(H),\,H\in X$ und eine ganze Zahl $d\geq 1,$ sodass $d\cdot \chi =\sum _{H\in X}{\text{Ind}}_{H}^{G}(\chi _{H}).$
Der Satz gilt analog für die Ringe $R(H)$ und $R(G),$ da $R(G)\cong {\mathcal {R}}(G).$
Dieser Satzes wird in bewiesen.
Korollar: Jeder Charakter von $G$ ist eine rationale Linearkombination von Charakteren, die von Charakteren zyklischer Untergruppen von $G$ induziert werden.
Dies folgt sofort aus dem Satz von Artin, da $G$ die Vereinigung aller Konjugate seiner zyklischen Untergruppen ist.

## Induzierte Darstellungen für kompakte Gruppen

Falls $H$ eine abgeschlossene Untergruppe von endlichem Index in der kompakten Gruppe $G$ ist, kann die Definition der induzierten Darstellung wie bei endlichen Gruppen übernommen werden. Die induzierte Darstellung kann jedoch auch allgemeiner definiert werden, sodass die Definition auch gültig ist, falls der Index von $H$ in $G$ nicht endlich ist. Sei dazu $(\eta ,V_{\eta })$ eine unitäre Darstellung der abgeschlossenen Untergruppe $H.$ Die stetig induzierte Darstellung ${\text{Ind}}_{H}^{G}(\eta )=(I,V_{I})$ wird wie folgt definiert: Mit $V_{I}$ bezeichnen wir den Hilbertraum aller messbaren, quadratisch integrierbaren Funktionen $\Phi \colon G\to V_{\eta }$ mit der Eigenschaft, dass $\Phi (ls)=\eta (l)\Phi (s)$ für alle $l\in H,s\in G.$ Die Norm ist $||\Phi ||_{G}={\text{sup}}_{s\in G}||\Phi (s)||$ und die Darstellung $I$ ist gegeben durch Rechtstranslation: $I(s)\Phi (k)=\Phi (ks).$ Die induzierte Darstellung ist dann wieder eine unitäre Darstellung. Da $G$ kompakt ist, zerfällt die induzierte Darstellung in die direkte Summe irreduzibler Darstellungen von $G.$ Dabei gilt, dass alle irreduziblen Darstellungen, die zum gleichen Isotyp gehören, mit der Vielfachheit auftreten, die ${\text{dim}}({\text{Hom}}_{G}(V_{\eta },V_{I}))$ entspricht. Sei $(\rho ,V_{\rho })$ eine Darstellung von $G,$ dann gibt es einen kanonischen Isomorphismus
    $T\colon {\text{Hom}}_{G}(V_{\rho },I_{H}^{G}(\eta ))\to {\text{Hom}}_{H}(V_{\rho }|_{H},V_{\eta })=\langle V_{\eta },V_{I}\rangle _{G}.$
Die Frobeniusreziprozität überträgt sich mit der modifizierten Definition des Skalarproduktes und der Bilinearform auf kompakte Gruppen, wobei der Satz anstatt für Klassenfunktionen, hier für quadratisch integrierbare Funktionen auf $G$ gilt und die Untergruppe $H$ abgeschlossen sein muss.