Darstellungsring

Der Darstellungsring einer Gruppe ist in der Mathematik vor allem in der Darstellungstheorie, aber auch in Algebra, Topologie und K-Theorie von Bedeutung.

Definition

Der Darstellungsring einer Gruppe <math>G</math> wird definiert als die abelsche Gruppe der formalen Differenzen von Darstellungen, mit direkter Summe und Tensorprodukt als Addition und Multiplikation.

Für endliche oder kompakte Gruppen kann man den Darstellungsring äquivalent definieren als die abelsche Gruppe

<math>R(G)=\{ \sum_{j=1}^m a_j \tau_j | a_j\in\mathbb{Z}, \tau_j, j=1, \dotsc, m\,\, \text{ alle}\text{ irreduziblen}\text{ Darstellungen}\text{ von } G\text{ über }\Complex\,\, \text{ bis}\text{ auf}\text{ Isomorphie}\},</math>

die mit komponentenweiser Addition sowie der durch die Zerlegung des Tensorprodukts als direkte Summe irreduzibler Darstellungen als Multiplikation zum Ring wird. Die Elemente von <math>R(G)</math> heißen virtuelle Darstellungen.

Operationen

Direkte Summe

Seien <math>(\rho_1, V_{\rho_1})</math> und <math>(\rho_2, V_{\rho_2})</math> zwei Darstellungen einer Gruppe <math>G</math>. Die direkte Summe von Darstellungen definiert eine Addition

<math>\left[\rho_1\right]+\left[\rho_2\right]:=\left[\rho_1\oplus\rho_2\right]</math>

auf <math>R(G)</math>.

Tensorprodukt

Seien <math>G_1</math> und <math>G_2</math> zwei Gruppen mit jeweiligen Darstellungen <math>(\rho_1, V_{\rho_1})</math> und <math>(\rho_2, V_{\rho_2}),</math> dann ist <math>\rho_1\otimes\rho_2</math> eine Darstellung des direkten Produkts <math>G_1\times G_2</math>, das Tensorprodukt der beiden Darstellungen. Das definiert einen Homomorphismus

<math>R(G_1)\otimes_{\mathbb{Z}} R(G_2)\to R(G_1\times G_2),</math>

wobei <math>R(G_1)\otimes_{\mathbb{Z}} R(G_2)</math> das Tensorprodukt der Darstellungsringe als <math>\mathbb{Z}</math>-Moduln ist. Für <math>G_1=G_2</Math> erhält man durch Verknüpfung mit dem durch die Diagonaleinbettung <math>G\to G\times G</Math> definierten Homomorphismus <Math>R(G\times G)\to R(G)</Math> insbesondere eine Multiplikation

<Math>R(G)\otimes_{\mathbb{Z}} R(G)\to R(G)</Math>.

Äußeres Produkt

Für jede Darstellung einer Gruppe <math>G</math> und jede natürliche Zahl <math>n</math> kann man das <math>n</math>-te äußere Produkt definieren, welches wiederum eine Darstellung von <math>G</math> ist. Dies definiert eine Folge von Operationen

<math>\lambda^n\colon R(G)\to R(G)</math>,

die <math>R(G)</math> zu einem λ-Ring machen.

Adams-Operationen

Die Adams-Operationen <math>\Psi^k\colon R(G)\to R(G)</math> auf dem Darstellungsring einer kompakten Gruppe werden durch ihre Wirkung auf Charakteren definiert:

<math>\Psi^k(\chi(g))=\chi(g^k)</math>.

Sie definieren Ringhomomorphismen und ihre Wirkung auf <math>d</math>-dimensionalen Darstellungen lässt sich beschreiben durch

<math>\Psi^k(\rho)=N_k(\Lambda^1\rho,\Lambda^2\rho,\ldots,\Lambda^d\rho)</math>

wobei <math>\Lambda^i\rho</math> die äußeren Potenzen von <math>\rho</math> sind und <math>N_k</math> die <math>k</math>-te Potenzsumme als Summe der elementarsymmetrischen Funktionen in <math>d</math> Variablen ausdrückt.

Beispiele

• Für die zyklische Gruppe <math>\Z/n\Z</math> ist

<math>R(\Z/n\Z)=\Z\left[X\right]/(X^n-1)</math>,

wobei <math>X</math> einer 1-dimensionalen Darstellung entspricht, die den Erzeuger von <math>\Z/n\Z</math> auf eine <math>n</math>-te primitive Einheitswurzel abbildet.

• Für die symmetrische Gruppe <math>S_3</math> ist

<math>R(S_3)=\Z\left[X,Y\right]/(XY-Y,X^2-1,Y^2-X-Y-1)</math>,

wobei <math>X</math> der 1-dimensionalen alternierenden Darstellung und <math>Y</math> der 2-dimensionalen irreduziblen Darstellung von <math>S_3</math> entspricht.

• Für die Kreisgruppe <math>S^1=\R/\Z</math> ist

<math>R(S^1)=\Z\left[X,X^{-1}\right]</math>.

• Für die spezielle unitäre Gruppe <math>SU(n)</math> ist

<math>R(SU(n))=\Z\left[X_1,\ldots,X_n\right]/(X_1\ldots X_n-1)</math>,

wobei <math>X_i</math> der Darstellung entspricht, die eine Diagonalmatrix auf ihren <math>i</math>-ten Diagonaleintrag abbildet.

Darstellungsringe kompakter Gruppen

Im Folgenden sei <math>G</math> eine kompakte (z. B. endliche) Gruppe.

Charaktere und Darstellungsringe

Der Charakter definiert einen Ringhomomorphismus in die Menge aller Klassenfunktionen auf <math> G</math> mit komplexen Werten

<math>

\begin{align} \chi: R(G)&\to\mathbb{C}_{\text{class}}(G)\\ \sum a_j \tau_j &\mapsto \sum a_j \chi_j , \end{align} </math>

wobei <math>\chi_j</math> die zu <math>\tau_j</math> gehörigen irreduziblen Charaktere sind.

Für kompakte Gruppen <math>G</math> wird eine Darstellung durch ihren Charakter festgelegt, demzufolge ist <math>\chi</math> injektiv. Die Bilder von <math>\chi</math> heißen virtuelle Charaktere.
Da die irreduziblen Charaktere eine Orthonormalbasis von <math>\mathbb{C}_{\text{class}}</math> bilden, induziert <math>\chi</math> einen Isomorphismus

<math>

\chi_\mathbb{C}: R(G)\otimes\mathbb{C} \longrightarrow \mathbb{C}_{\text{class}}(G), </math> indem man die Abbildung auf einer Basis aus reinen Tensoren <math>(\tau_j\otimes1)_{j=1, \dotsc, m}</math> definiert durch <math>\chi_{\mathbb{C}}(\tau_j\otimes1)=\chi_j</math> bzw. <math>\chi_{\mathbb{C}}(\tau_j\otimes z)=z\chi_j,</math> und dann bilinear fortsetzt.

Wir schreiben <math>\mathcal{R}^+(G)</math> für die Menge aller Charaktere auf <math>G</math> und <math>\mathcal{R}(G)</math> für die von <math>\mathcal{R}^+(G)</math> erzeugte Gruppe, d. h., für die Menge aller Differenzen von zwei Charakteren. Es gilt

<math>\mathcal{R}(G)=\mathbb{Z}\chi_1\oplus \cdots \oplus \mathbb{Z}\chi_m\,\,\, \text{und}\,\,\,\mathcal{R}(G)=\text{Im}(\chi)=\chi(R(G)).</math>

Damit gilt also <math>R(G)\cong\mathcal{R}(G),</math> also entsprechen sich virtuelle Charaktere und virtuelle Darstellungen in optimaler Weise.

Da <math>\text{Im}(\chi)=\mathcal{R}(G),</math> ist <math>\mathcal{R}(G)</math> die Menge aller virtuellen Charaktere. Da das Produkt zweier Charaktere einen Charakter liefert, ist <math>\mathcal{R}(G)</math> ein Unterring des Rings <math>\mathbb{C}_{\text{class}}(G)</math> aller Klassenfunktionen auf <math>G.</math> Da die <math>\chi_i</math> eine Basis von <math>\mathbb{C}_{\text{class}}(G)</math> bilden, erhalten wir, wie schon für <math>R(G),</math> die Isomorphie <math>\mathbb{C}\otimes \mathcal{R}(G)\cong\mathbb{C}_{\text{class}}(G).</math>

Einschränkung und Induktion

Sei <math>H</math> eine Untergruppe von <math>G,</math> so definiert die Einschränkung einen Ringhomomorphismus

<math>\begin{align}\mathcal{R}(G)&\to \mathcal{R}(H)\\

\phi &\mapsto \phi|_H,\end{align}</math> den wir mit <math>\text{Res}^G_H</math> oder <math>\text{Res}</math> bezeichnen. Ebenso definiert die Induktion auf Klassenfunktionen einen Homomorphismus abelscher Gruppen <math>\textstyle\mathcal{R}(H)\to \mathcal{R}(G),</math> der mit <math>\text{Ind}^G_H</math> bzw. <math>\text{Ind}</math> bezeichnet wird.
Nach der Frobeniusreziprozität sind die beiden Homomorphismen adjungiert zueinander bezüglich der bilinearen Formen <math>\langle \cdot ,\cdot \rangle_H</math> und <math>\langle \cdot ,\cdot \rangle_G.</math> Weiterhin zeigt die Formel

<math>\text{Ind}(\varphi\cdot \text{Res}(\psi))=\text{Ind}(\varphi)\cdot \psi,</math>

dass das Bild von <math>\text{Ind}:\mathcal{R}(H)\to \mathcal{R}(G)</math> ein Ideal des Ringes <math>\mathcal{R}(G)</math> ist.
Analog kann man über die Einschränkung von Darstellungen die Abbildung <math>\text{Res}</math> und über die Induktion die Abbildung <math>\text{Ind}</math> für <math>R(G)</math> definieren. Mit der Frobeniusreziprozität erhält man dann, dass die Abbildungen adjungiert zueinander sind und dass das Bild <math>\text{Im}(\text{Ind})=\text{Ind}(R(H))</math> ein Ideal in <math>R(G)</math> ist.

Falls <math>A</math> ein kommutativer Ring ist, lassen sich die Homomorphismen <math>\text{Res}</math> und <math>\text{Ind}</math> zu <math>A</math>-linearen Abbildungen fortsetzen:

<math>

\begin{align}

A\otimes \text{Res}: A\otimes R(G) &\to A\otimes R(H)\\

(a \otimes \sum a_i \tau_i)&\mapsto (a \otimes \sum a_i \text{Res}(\tau_i)) \end{align}</math>

<math>

\begin{align}

A\otimes \text{Ind}: A\otimes R(H) &\to A\otimes R(G)\\

(a \otimes \sum a_j \eta_j)&\mapsto (a \otimes \sum a_j \text{Ind}(\eta_j)) ,\end{align}</math>

wobei <math>\eta_j</math> die irreduziblen Darstellungen von <math>H</math> bis auf Isomorphie sind.

Mit <math>A=\mathbb{C}</math> erhalten wir insbesondere, dass <math>\text{Ind}</math> und <math>\text{Res}</math> Homomorphismen zwischen <math>\mathbb{C}_{\text{class}}(G)</math> und <math>\mathbb{C}_{\text{class}}(H)</math> liefern.

Maximale Tori

Für eine kompakte, zusammenhängende Lie-Gruppe <math>G</math> hat man einen durch Einschränkung definierten Isomorphismus

<math>R(G)\simeq R(T)^W</math>,

wobei <math>T\subset G</math> ein maximaler Torus und <math>W</math> die auf <math>T</math> wirkende Weyl-Gruppe ist.

Darstellungsring des Produkts kompakter Gruppen

Alle irreduziblen Darstellungen von <math>G_1\times G_2</math> sind genau die Darstellungen <math>\eta_1\otimes\eta_2</math>, für die <math>\eta_1, \eta_2</math> irreduzible Darstellungen von <math>G_1</math> bzw. <math>G_2</math> sind. Dies überträgt sich auf den Darstellungsring als Identität

<math>R(G_1\times G_2)=R(G_1)\otimes_{\mathbb{Z}} R(G_2).</math>

Satz von Artin

→ Hauptartikel: „Satz von Artin“ im Artikel Induzierte Darstellung

Sei <math>X</math> eine Familie von Untergruppen einer endlichen Gruppe <math>G.</math> Sei <math>\text{Ind}\colon \bigoplus_{H\in X}R(H) \to R(G)</math> der Homomorphismus, definiert durch die Familie der <math>\text{Ind}^G_H, \,\, H\in X.</math> Dann sind die folgenden Eigenschaften äquivalent:

• Der Kokern von <math>\text{Ind}: \bigoplus_{H\in X}R(H) \to R(G)</math> ist endlich.
• <math>G</math> ist die Vereinigung der Konjugate der zu <math>X</math> gehörenden Untergruppen, also <math>G=\bigcup_{H\in X \atop s\in G}sHs^{-1}.</math>

Beziehung zur K-Theorie

Der Darstellungsring ist isomorph zur algebraischen K-Theorie der Gruppenalgebra:

<Math>R(G)\simeq K_0(\Complex G)</Math>.

Der Darstellungsring einer kompakten Lie-Gruppe ist isomorph zur äquivarianten K-Theorie des Punktes:

<math>R(G)\simeq K_G(*)</math>.

Literatur

• Jean-Pierre Serre: Linear Representations of Finite Groups. Springer Verlag, New York 1977.
• Graeme Segal: The representation ring of a compact Lie group, Publications Mathématiques de l’Institut des Hautes Études Scientifiques January 1968, Volume 34, Issue 1, pp 113–128

Weblinks

• Representation Ring (nLab)