Algebraische Gruppe

Der mathematische Begriff der algebraischen Gruppe stellt die Synthese aus Gruppentheorie und algebraischer Geometrie dar. Ein zentrales Beispiel ist die Gruppe der invertierbaren n×ばつn-Matrizen.

Eine algebraische Gruppe ist ein Gruppenobjekt in der Kategorie der algebraischen Varietäten über einem festen Körper ${\displaystyle k}${\displaystyle k}, d. h. eine algebraische Varietät ${\displaystyle G}${\displaystyle G} über ${\displaystyle k}${\displaystyle k} zusammen mit

• einem Morphismus ${\displaystyle m\colon G\times G\to G}${\displaystyle m\colon G\times G\to G} (Multiplikation)
• einem Morphismus ${\displaystyle i\colon G\to G}${\displaystyle i\colon G\to G} (inverses Element)
• und einem ausgezeichneten Punkt ${\displaystyle e\in G(k)}${\displaystyle e\in G(k)} (neutrales Element),

so dass die folgenden Bedingungen erfüllt sind:

• Assoziativgesetz: ${\displaystyle m\circ (m\times \mathrm {id} _{G})=m\circ (\mathrm {id} _{G}\times m)}${\displaystyle m\circ (m\times \mathrm {id} _{G})=m\circ (\mathrm {id} _{G}\times m)};
• neutrales Element: ${\displaystyle m\circ (\mathrm {id} _{G}\times e)=\mathrm {id} _{G}=m\circ (e\times \mathrm {id} _{G})}${\displaystyle m\circ (\mathrm {id} _{G}\times e)=\mathrm {id} _{G}=m\circ (e\times \mathrm {id} _{G})};
• inverses Element: ${\displaystyle m\circ (i\times \mathrm {id} _{G})\circ \Delta _{G}=e\circ \xi =m\circ (\mathrm {id} _{G}\times i)\circ \Delta _{G}}${\displaystyle m\circ (i\times \mathrm {id} _{G})\circ \Delta _{G}=e\circ \xi =m\circ (\mathrm {id} _{G}\times i)\circ \Delta _{G}}; dabei ist ${\displaystyle \Delta _{G}\colon G\to G\times G}${\displaystyle \Delta _{G}\colon G\to G\times G} die Inklusion der Diagonale (${\displaystyle g\mapsto (g,g)}${\displaystyle g\mapsto (g,g)}) und ${\displaystyle \xi \colon G\to \mathrm {Spec} (k)}${\displaystyle \xi \colon G\to \mathrm {Spec} (k)} der Strukturmorphismus.

Diese Bedingungen sind äquivalent zu der Forderung, dass ${\displaystyle (m,i,e)}${\displaystyle (m,i,e)} für jedes ${\displaystyle k}${\displaystyle k}-Schema ${\displaystyle T}${\displaystyle T} auf der Menge ${\displaystyle G(T)}${\displaystyle G(T)} der ${\displaystyle T}${\displaystyle T}-wertigen Punkte die Struktur einer (gewöhnlichen) Gruppe definieren.

• Die additive Gruppe ${\displaystyle \mathbb {G} _{\mathrm {a} }}${\displaystyle \mathbb {G} _{\mathrm {a} }}: ${\displaystyle \mathbb {G} _{\mathrm {a} }(T)=\Gamma (T,{\mathcal {O}}_{T})}${\displaystyle \mathbb {G} _{\mathrm {a} }(T)=\Gamma (T,{\mathcal {O}}_{T})} mit der Addition als Gruppenstruktur. Insbesondere für ${\displaystyle T=k}${\displaystyle T=k} ist ${\displaystyle \mathbb {G} _{\mathrm {a} }(k)=(k,+)}${\displaystyle \mathbb {G} _{\mathrm {a} }(k)=(k,+)} die affine Gerade ${\displaystyle \mathbb {A} ^{1}(k)}${\displaystyle \mathbb {A} ^{1}(k)} mit der Addition.
• Die multiplikative Gruppe ${\displaystyle \mathbb {G} _{\mathrm {m} }}${\displaystyle \mathbb {G} _{\mathrm {m} }}: ${\displaystyle \mathbb {G} _{\mathrm {m} }(T)=\Gamma (T,{\mathcal {O}}_{T}^{\times })}${\displaystyle \mathbb {G} _{\mathrm {m} }(T)=\Gamma (T,{\mathcal {O}}_{T}^{\times })} mit der Multiplikation als Gruppenstruktur. Insbesondere für ${\displaystyle T=k}${\displaystyle T=k} ist ${\displaystyle \mathbb {G} _{\mathrm {m} }(k)=(k^{\times },\cdot )}${\displaystyle \mathbb {G} _{\mathrm {m} }(k)=(k^{\times },\cdot )} die offene Teilmenge ${\displaystyle \mathbb {A} ^{1}(k)\setminus \left\{0\right\}}${\displaystyle \mathbb {A} ^{1}(k)\setminus \left\{0\right\}} mit der Multiplikation.
• Die allgemeine lineare Gruppe ${\displaystyle \mathrm {GL} _{n}}${\displaystyle \mathrm {GL} _{n}}: ${\displaystyle \mathrm {GL} _{n}(T)=\mathrm {GL} _{n}(\Gamma (T,{\mathcal {O}}_{T}))}${\displaystyle \mathrm {GL} _{n}(T)=\mathrm {GL} _{n}(\Gamma (T,{\mathcal {O}}_{T}))}; dabei bezeichnet die rechte Seite die Gruppe der invertierbaren ${\displaystyle n\times n}${\displaystyle n\times n}-Matrizen mit Einträgen im Ring ${\displaystyle \Gamma (T,{\mathcal {O}}_{T})}${\displaystyle \Gamma (T,{\mathcal {O}}_{T})}. ${\displaystyle \mathrm {GL} _{1}}${\displaystyle \mathrm {GL} _{1}} kann mit ${\displaystyle \mathbb {G} _{\mathrm {m} }}${\displaystyle \mathbb {G} _{\mathrm {m} }} identifiziert werden.
• Der Kern eines Morphismus ${\displaystyle f:G\rightarrow H}${\displaystyle f:G\rightarrow H} algebraischer Gruppen ist wieder eine algebraische Gruppe. Zum Beispiel ist ${\displaystyle \mathrm {SL} _{n}(T)=\mathrm {ker} (\mathrm {det} :\mathrm {GL} _{n}\to \mathbb {G} _{\mathrm {m} })}${\displaystyle \mathrm {SL} _{n}(T)=\mathrm {ker} (\mathrm {det} :\mathrm {GL} _{n}\to \mathbb {G} _{\mathrm {m} })} eine algebraische Gruppe.
• Elliptische Kurven oder allgemeiner abelsche Varietäten.
• Zariski-abgeschlossene Untergruppen algebraischer Gruppen sind wieder algebraische Gruppen. Zariski-abgeschlossene Untergruppen von ${\displaystyle \mathrm {GL} _{n}}${\displaystyle \mathrm {GL} _{n}} werden als lineare algebraische Gruppen bezeichnet. Wenn eine algebraische Gruppe eine affine Varietät ist, dann ist sie eine lineare algebraische Gruppe.
• Unipotente algebraische Gruppen.

Jede algebraische Gruppe über einem perfekten Körper ist auf eindeutige Weise eine Erweiterung einer abelschen Varietät durch eine lineare algebraische Gruppe.^[1] Das heißt, zu jeder algebraischen Gruppe ${\displaystyle G}${\displaystyle G} gibt es eine maximale lineare algebraische Untergruppe ${\displaystyle G_{\mathrm {aff} }}${\displaystyle G_{\mathrm {aff} }}, diese ist normal und der Quotient ${\displaystyle A(G):=G/G_{\mathrm {aff} }}${\displaystyle A(G):=G/G_{\mathrm {aff} }} ist eine abelsche Varietät:

${\displaystyle 0\rightarrow G_{\mathrm {aff} }\rightarrow G\rightarrow A(G)\rightarrow 0}${\displaystyle 0\rightarrow G_{\mathrm {aff} }\rightarrow G\rightarrow A(G)\rightarrow 0}.

Die Abbildung ${\displaystyle G\rightarrow A(G)}${\displaystyle G\rightarrow A(G)} ist die Albanese-Abbildung.

1. ↑ Conrad: Satz von Chevalley (PDF-Datei; 233 kB)

• James E. Humphreys: Linear Algebraic Groups. Springer, New York 1975, ISBN 3-540-90108-6.
• Armand Borel: Linear Algebraic Groups. 2. Auflage, Springer, New York 1991, ISBN 3-540-97370-2.
• Tonny A. Springer: Linear Algebraic Groups. 2. Auflage, Birkhäuser, Boston 1998, ISBN 3-7643-4021-5.
• Ina Kersten: Lineare algebraische Gruppen. Universitätsverlag Göttingen, 2007, (PDF; 1,4 MB).

• Algebraic Groups von James S. Milne

• Gruppe (Mathematik)
• Algebraische Varietät