Orthogonalitätsrelationen

Im mathematischen Teilgebiet der Gruppentheorie sind die Orthogonalitätsrelationen bestimmte Beziehungen zwischen Charakteren von Darstellungen einer Gruppe. Der Name rührt daher, dass man auf einem geeigneten Funktionenraum, der die Charaktere enthält, ein inneres Produkt definieren kann, bzgl. dessen verschiedene Charaktere tatsächlich orthogonal sind.

Definitionen

Im Folgenden sei $G$ eine endliche Gruppe. Für einen Körper $K$ betrachten wir die Menge $S(G,K)$ aller Funktionen $\alpha :G\to K$. Da man solche Funktionen mittels der Definition

$(\alpha +k\beta )(g):=\alpha (g)+k\beta (g)$   für   $\alpha ,\beta \in S(G,K),k\in K,g\in G$

addieren und mit Elementen aus dem Körper multiplizieren kann, liegt ganz offenbar ein K-Vektorraum vor. Man kann zwei solche Funktionen sogar multiplizieren, das heißt, es handelt sich sogar um eine K-Algebra.

Endlichdimensionale Darstellungen der Gruppe $G$ über einem Körper $K$ sind Homomorphismen $\rho :G\to \mathrm{G}\mathrm{L}(V)$ in die allgemeine lineare Gruppe über einem endlichdimensionalen $K$-Vektorraum $V$. Bezeichnet $\mathrm{t}\mathrm{r}$ die Spur $\mathrm{G}\mathrm{L}(V)\to K$, so nennt man die Komposition $\mathrm{t}\mathrm{r}\circ \rho :G\to K$ den Charakter der Darstellung. Charaktere von Darstellungen sind offenbar Elemente des Raums $S(G,K)$. Den Charakter einer irreduziblen Darstellung nennt man ebenfalls irreduzibel.

Wir betrachten von nun an den Fall, dass die Charakteristik des Körpers kein Teiler der Gruppenordnung ist. Das ist bei Körpern der Charakteristik 0 und damit für die wichtigen Körper $\mathbb{Q},ℝ$ oder $ℂ$ stets gegeben. Insbesondere können wir im Körper durch die Gruppenordnung $|G|$ dividieren und damit

$⟨\alpha ,\beta {⟩}_G:=\frac{1}{|G|}\sum _{x\in G}\alpha (x)\beta (x^{-1})$

definieren. Leicht zeigt man, dass $⟨,{⟩}_G$ eine symmetrische, nicht-ausgeartete K-Bilinearform auf $S(G,K)$ ist. Man spricht daher von einem inneren Produkt, auch wenn diese Bezeichnung bei vielen Autoren für die Körper $ℝ$ oder $ℂ$ reserviert ist. $K=ℂ$ ist wegen der zusätzlichen algebraischen Abgeschlossenheit der weitaus wichtigste Anwendungsfall.

Die Orthogonalitätsrelationen

Es seien $G$ eine endliche Gruppe, $K$ ein Körper, dessen Charakteristik kein Teiler der Gruppenordnung ist, und $\chi$ und $\psi$ seien zwei verschiedene, irreduzible Charaktere der Gruppe über $K$. Dann gilt:

• $⟨\chi ,\psi {⟩}_G=0$, das heißt, verschiedene irreduzible Charaktere sind orthogonal.
• Ist $K$ algebraisch abgeschlossen, so gilt $⟨\chi ,\chi {⟩}_G=1$, das heißt, die irreduziblen Charaktere sind orthonormal.

Charaktertafel

Vorlage:Hauptartikel Wir betrachten den Körper $ℂ$. Eine endliche Gruppe hat bekanntlich genau so viele irreduzible Charaktere ${\chi }_1,\dots ,{\chi }_r$ wie Konjugationsklassen $C_1,\dots ,C_r$. Ferner sind die Charaktere auf Konjugationsklassen konstant, sodass es genügt, die Werte ${\chi }_i(c_j)$ für beliebig gewählte Elemente $c_j\in C_j$ zu kennen. Legt man fest, dass $C_1$ stets die einelementige Konjugationsklasse des neutralen Elements und ${\chi }_1$ stets der Charakter der trivialen Darstellung sein soll, dann kann man die Gesamtheit der Charaktere leicht in folgendem, Charaktertafel genannten, quadratischen Schema überblicken, wobei die Einträge $d_i={\chi }_i(1)$ die Dimensionen der zu den Charakteren gehörigen irreduziblen Darstellungen sind.

$G$	$1$	$|C_2|$	$\dots$	$|C_r|$
	$1$	$c_2$	$\dots$	$c_r$
${\chi }_1$	$1$	$1$	$\dots$	$1$
${\chi }_2$	$d_2$	${\chi }_2(c_2)$	$\dots$	${\chi }_2(c_r)$
$⋮$	$⋮$	$⋮$	$\ddots$	$⋮$
${\chi }_r$	$d_r$	${\chi }_r(c_2)$	$\dots$	${\chi }_r(c_r)$

Die Orthogonalitätsrelationen schlagen sich wie folgt in der Charaktertafel nieder.

Orthogonalität der Zeilen

Die Orthogonalitätsrelationen schreiben sich unter Verwendung des Kronecker-Deltas kompakt als

$|G|{\delta }_{i,j}=|G|⟨{\chi }_i,{\chi }_j{⟩}_G=\sum _{x\in G}{\chi }_i(x){\chi }_j(x^{-1})=\sum _{k=0}^r|C_k|{\chi }_i(c_k)\overline{{\chi }_j(c_k)}$,

denn die Charaktere sind auf Konjugationsklassen konstant und $\chi (x^{-1})=\overline{\chi (x)}$ für Charaktere $\chi$. Trotz der auftretenden Faktoren $|C_k|$ nennt man diese Beziehung die Orthogonalität der Zeilen der Charaktertafel. Man kann diese Gleichungen auch als Matrizenmultiplikation lesen. Definiert man nämlich $X=({\chi }_i(c_k){)}_{i,k=1,\dots ,n}$ und $Y=(|C_k|\overline{{\chi }_j(c_k)}{)}_{k,j=1,\dots ,n}$, so ist obige Gleichung nichts anderes als

$|G|\cdot 1_r=XY$,

wobei $1_r$ die Einheitsmatrix ist. Insbesondere sind $X$ und $Y$ invertierbar.

Orthogonalität der Spalten

Multipliziert man obige Matrixgleichung von links mit $X^{-1}$ und von rechts mit $X$, so erhält man:

$|G|\cdot 1_r=YX$

In Komponentenschreibweise bedeutet das

$|G|{\delta }_{k,l}=\sum _{j=1}^r|C_k|\overline{{\chi }_j(c_k)}{\chi }_j(c_l)$

oder, da das $|C_k|$ unter der Summe konstant ist:

$\frac{|G|}{|C_k|}{\delta }_{k,l}=\sum _{j=1}^r\overline{{\chi }_j(c_k)}{\chi }_j(c_l)$

Diese Beziehung nennt man in naheliegender Weise die Orthogonalität der Spalten.

Orthogonalitätsrelationen für Darstellungen

Da Charaktere die Spuren von Darstellungen sind, wird man ähnliche Orthogonalitätsrelationen für Darstellungen erwarten, tatsächlich werden diese für den Beweis obiger Orthogonalitätsrelationen verwendet. Da Darstellungen ihre Werte aber nicht im Körper $K$, sondern in allgemeinen linearen Gruppen über Vektorräumen annehmen, ist die Formulierung etwas aufwändiger. Wie schon oben beschränken wir uns auf endlichdimensionale Darstellungen und wählen als Vektorraum einer $d$-dimensionalen Darstellung den Koordinatenraum $K^d$, was letztlich der nicht eindeutigen Wahl einer Basis entspricht. Eine Darstellung $\rho :G\to \mathrm{G}\mathrm{L}(K^d)\cong \mathrm{M}\mathrm{a}\mathrm{t}(d,K)$ hat damit Werte in den $d$-reihigen quadratischen Matrizen über $K$ und man kann die Komponentenfunktionen

${\rho }_{i,j}:G\to K,{\rho }_{i,j}(x)=\text{(i,j)-te Komponente von }\rho (x)$

betrachten. Mit diesen Definitionen besteht folgender Satz:

Es seien $G$ eine endliche Gruppe, $K$ ein Körper, dessen Charakteristik kein Teiler der Gruppenordnung ist; $\rho$ und $\sigma$ seien zwei irreduzible Darstellungen der Gruppe über $K$. Dann gilt:

• Sind $\rho$ und $\sigma$ nicht äquivalent, so ist

$\sum _{x\in G}{\rho }_{i,j}(x){\sigma }_{r,s}(x^{-1})=0$   für alle Komponentenfunktionen von $\rho$ und $\sigma$.

• Ist $K$ algebraisch abgeschlossen, so gilt

$\sum _{x\in G}{\rho }_{i,j}(x){\rho }_{r,s}(x^{-1})=\frac{|G|}{\mathrm{d}\mathrm{i}\mathrm{m}(\rho )}{\delta }_{i,s}{\delta }_{j,r}$   für alle Komponentenfunktionen von $\rho$.

Anwendungen

Die Orthogonalitätsrelationen bilden einen Eckpfeiler der sehr weit ausgebauten Darstellungstheorie der Gruppen. Wir beschränken uns im Folgenden auf den Fall $K=ℂ$ und bringen nur einige sehr elementare Anwendungen, um den Einsatz der Orthogonalitätsrelationen zu verdeutlichen.

Summen irreduzibler Charaktere

Die verschiedenen, irreduziblen Charaktere ${\chi }_1,\dots ,{\chi }_r$ einer Gruppe sind nicht nur orthonormal, aus Dimensionsgründen erzeugen sie auch den Raum der sogenannten Klassenfunktionen, das heißt von Funktionen, die auf Konjugationsklassen konstant sind. Die irreduziblen Charaktere bilden daher eine Orthonormalbasis im Raum der Klassenfunktionen. Insbesondere ist jede Klassenfunktion eine eindeutige Linearkombination irreduzibler Charaktere.

Nach dem Satz von Maschke ist jede endlichdimensionale Darstellung einer endlichen Gruppe direkte Summe irreduzibler Darstellungen. Durch Spurbildung erhält man, dass jeder Charakter $\chi$ Summe irreduzibler Charaktere ist, das heißt:

$\chi =\sum _{i=1}^r{n}_i{\chi }_i$   mit $n_i\in {\mathbb{N}}_0$

Die Koeffizienten $n_i$ lassen sich mittels Orthogonalität sofort bestimmen:

$n_i=\sum _{j=1}^r{\delta }_{i,j}{n}_j=\sum _{j=1}^r{n}_j⟨{\chi }_i,{\chi }_j{⟩}_G=⟨{\chi }_i,\sum _{j=1}^r{n}_j{\chi }_j{⟩}_G=⟨{\chi }_i,\chi {⟩}_G$

Irreduzibilitätkriterium

Ist $\rho$ eine endlichdimensionale Darstellung mit Charakter $\chi$, so ist $\rho$ genau dann irreduzibel, wenn $⟨\chi ,\chi {⟩}_G=1$.

Beweis: Dass Charaktere irreduzibler Darstellungen diese Eigenschaft haben, ist der zweite Punkt obiger Orthogonalitätsrelationen. Umgekehrt ist jeder Charakter $\chi ={\sum }_{i=1}^r{n}_i{\chi }_i$ Summe irreduzibler Charaktere und daraus folgt wegen der Orthonormalität $⟨\chi ,\chi {⟩}_G={\sum }_{i=1}^r{n}_i^2$ mit natürlichen Zahlen $n_i$. Ist dies gleich 1, so bleibt nur die Möglichkeit $n_i=1$ für ein $i$ und $n_j=0$ für alle anderen Koeffizienten. Daraus folgt $\chi ={\chi }_i$, das heißt $\chi$ ist irreduzibel und damit auch $\rho$.

Vervollständigung von Charaktertafeln

Mittels der Orthogonalitätsrelationen können Teile von Charaktertafeln erschlossen werden. Als Beispiel betrachten wir die symmetrische Gruppe S₃. Neben der trivialen Konjugationsklasse $C_1$ haben wir die Konjugationsklasse $C_2$ der drei Transpositionen und $C_3$ der beiden Elemente der Ordnung 3. Als offensichtliche eindimensionale Darstellungen haben wir die triviale Darstellung ${\chi }_1$ und die Signum-Funktion ${\chi }_2$. Da es genau so viele Charaktere wie Konjugationsklassen gibt, fehlt noch ein Charakter ${\chi }_3$, dessen Werte wir noch nicht kennen. Die Charaktertafel hat also die Gestalt

$S_3$	$1$	$3$	$2$
	$c_1=1$	$c_2=(1,2)$	$c_3=(1,2,3)$
${\chi }_1$	$1$	$1$	$1$
${\chi }_2$	$1$	$-1$	$1$
${\chi }_3$	$x$	$y$	$z$

mit noch unbekannten $x,y,z$. Diese lassen sich mittels der Orthogonalitätsrelationen bestimmen, ohne die fehlende irreduzible Darstellung zu kennen, es werden nicht einmal weitere Details der Gruppe benötigt.

Aus der Orthogonalität für Spalten folgt für die erste Spalte

$6=|S_3|=1^2+1^2+x^2$,

also $x=\pm 2$. Da in der ersten Spalte aber die Dimensionen (Spuren von Einheitsmatrizen) stehen, muss $x>0$ sein, also $x=2$.

Für die zweite Spalte folgt

$\frac{6}{3}=\frac{|S_3|}{|C_2|}=1^2+1^2+y^2$,

und da bleibt nur $y=0$.

Da die dritte Spalte zur ersten orthogonal ist, folgt

$0=1\cdot 1+1\cdot 1+2\cdot z$,

also $z=-1$. Damit ist die Charaktertafel der Gruppe S₃ vollständig bestimmt.

Bemerkungen

Die Orthogonalitätsrelationen gehen auf eine Arbeit von Ferdinand Georg Frobenius aus dem Jahre 1896 zurück, dort werden auch Charaktertafeln besprochen. Eine Überarbeitung dieser Theorie wurde von Issai Schur unternommen, man findet daher auch die Bezeichnung schursche Orthogonalitätsrelationen.

Endliche Gruppen sind kompakte Gruppen, deren haarsches Maß jeder einelementigen Menge das Maß $\frac{1}{|G|}$ zuordnet. Man erhält analoge Resultate für unendliche kompakte Gruppen, wenn man Summationen der Form $\frac{1}{|G|}\sum _{x\in G}$ durch Integrale nach dem haarschen Maß ersetzt. John von Neumann hatte 1934 erste Ergebnisse in dieser Richtung erzielt, allerdings noch unter Verwendung fastperiodischer Funktionen. Eine modernere Darstellung, die das haarsche Maß verwendet, findet sich zum Beispiel im unten genannten Lehrbuch „Representations of Finite and Compact Groups“ von Barry Simon.