Zentrale Erweiterung

In der Gruppentheorie, einem Teilgebiet der Mathematik, sind zentrale Erweiterungen eine Möglichkeit, Gruppen durch eine zentrale Untergruppe und die sich ergebende Faktorgruppe zu beschreiben. Eine analoge Begriffsbildung findet sich auch in anderen Gebieten der Mathematik. Hier wird zunächst die Gruppentheorie behandelt und dann auf andere Gebiete hingewiesen.

Definitionen

Sei $G$ eine beliebige Gruppe und $A$ eine abelsche Gruppe. Eine zentrale Erweiterung von $G$ durch $A$ besteht aus einer Gruppe $E$ und einem surjektiven Gruppenhomomorphismus $\varphi \colon E\to G$ mit Kern isomorph zu $A$ . Mit anderen Worten, es gibt eine exakte Sequenz

0\to A\to E\to G\to 1

mit $A\subset Z(E)$ , d. h. $A$ ist zentral in $E$ . Dabei wird $0\to A\to E$ als Inklusion $A\subset E$ aufgefasst, was man dadurch rechtfertigt, dass man $A$ durch sein isomorphes Bild in $E$ ersetzen kann.

Ein Morphismus zwischen zwei zentralen Erweiterungen $\varphi \colon E\to G,\varphi ^{\prime }\colon E^{\prime }\to G$ derselben Gruppe $G$ ist ein Gruppenhomomorphismus $\psi \colon E\to E^{\prime }$ mit $\varphi ^{\prime }\psi =\varphi$ . ${\begin{array}{ccccccccc}0&\to &A&\to &E&{\stackrel {\varphi }{\to }}&G&\to &1\\&&\parallel &&\downarrow _{\psi }&&\parallel \\0&\to &A&\to &E'&{\stackrel {\varphi '}{\to }}&G&\to &1\end{array}}$

Beispiele

Als triviale Erweiterung durch $A$ bezeichnet man die Projektion $G\times A\to G$ .
Sei $k\in \mathbb {Z} _{\geq 2}$ . Eine nichttriviale Erweiterung von $\mathbb {C} ^{*}=\left\{z\in \mathbb {C} \colon \vert z\vert \not =0\right\}$ ist $E=S^{1}$ und $\varphi (z)=z^{k}$ . Nichttrivialität bedeutet hier, dass es keine auf ganz $\mathbb {C} ^{*}$ definierte $k$ -te Wurzelfunktion gibt. Der Kern $A$ besteht aus den $k$ -ten Einheitswurzeln und ist isomorph zu $\mathbb {Z} /k\mathbb {Z}$ .
Für eine zusammenhängende Lie-Gruppe $G$ ist ihre universelle Überlagerung ${\widetilde {G}}$ eine zentrale Erweiterung durch die Fundamentalgruppe $\pi _{1}G$ . Zum Beispiel ist die Spin-Gruppe $Spin(n)$ eine zentrale Erweiterung der speziellen orthogonalen Gruppe $SO(n)$ , und die metaplektische Gruppe $Mp(2n,R)$ ist eine zentrale Erweiterung der symplektischen Gruppe $Sp(2n,R)$ .
Für einen Hilbert-Raum $H$ und seinen projektiven Raum $P(H)$ ist die unitäre Gruppe $U(H)$ eine zentrale Erweiterung der Gruppe der unitären projektiven Transformationen $U(P(H))$ durch $U(1)$ .
Selbst für abelsche Gruppen $H$ ist ein semidirektes Produkt $G\ltimes H$ nur dann eine zentrale Erweiterung, wenn es das direkte Produkt $G\times H$ ist, es sich also um die triviale Erweiterung handelt. Zum Beispiel ist die Gruppe der affinen Abbildungen $Aff(R^{n})$ ein semidirektes Produkt $GL(n,\mathbb {R} )\ltimes \mathbb {R} ^{n}$ , aber keine zentrale Erweiterung von $GL(n,\mathbb {R} )$ .

Klassifikation zentraler Erweiterungen durch Gruppenkohomologie

Als Parametrisierung einer zentralen Erweiterung bezeichnet man einen Isomorphismus $\iota \colon A\to Ker(\varphi )$ . Die Isomorphismenklassen parametrisierter zentraler Erweiterungen bilden mit der Baer-Summe eine abelsche Gruppe, die als $Ext(G,A)$ bezeichnet wird. Die triviale Erweiterung ist das neutrale Element dieser Gruppe. Das inverse Element einer parametrisierten zentralen Erweiterung ist dieselbe zentrale Erweiterung mit der entgegengesetzten Parametrisierung $-\iota$ .

Man hat einen Isomorphismus

Ext(G,A)\simeq H^{2}(G,A)

zur zweiten Gruppenkohomologie. Dieser ordnet einer parametrisierten zentralen Erweiterung die Klasse des mit Hilfe einer die Bedingung $\varphi s=id_{G}$ erfüllenden (nicht notwendig homomorphen) Abbildung durch

s(gh)=\iota (f(g,h)s(g)s(h))

festgelegten Abbildung $f\colon G\times G\to \mathbb {R}$ zu. Diese ist ein Kozykel und ihre Kohomologieklasse hängt nicht von der Wahl von $s$ ab. Umgekehrt kann man einen Kozykel innerhalb seiner Kohomologieklasse so normieren, dass $f(g,h)=0$ wenn $g=1$ oder $h=1$ . Dann definiert man auf $G\times A$ die Operation $(g_{1},a_{1})(g_{2},a_{2})=(g_{1}g_{2},a_{1}+a_{2}-f(g_{1},g_{2}))$ und erhält die der Kohomologieklasse von $f$ entsprechende zentrale Erweiterung.