Galois-Darstellung

Eine Galois-Darstellung ist eine Darstellung einer Galoisgruppe auf einem Vektorraum oder allgemeiner einem Modul über einem kommutativen Ring. Häufig fordert man Stetigkeit bezüglich der Krulltopologie der Galoisgruppe und einer Topologie auf dem Koeffizientenring.

Motivation

Eines der fundamentalen Objekte der Zahlentheorie sind algebraische Zahlkörper. Erkenntnisse über Zahlkörper haben unmittelbare Konsequenzen für die Lösbarkeit von Diophantischen Gleichungen. Eine wichtige Invariante eines Zahlkörpers $K$ ist seine absolute Galoisgruppe $G_{K}$, das ist die Gruppe der $K$-linearen Körperautomorphismen eines fixierten algebraischen Abschlusses ${\overline {K}}$ von $K$. Ihre Struktur ist so reichhaltig, dass es sich schwierig gestaltet, sie mit rein gruppentheoretischen Methoden zu untersuchen. Man untersucht in speziellen Situationen Darstellungen von $G_{K}$, um somit indirekt etwas über $G_{K}$ und damit letztlich über $K$ zu erfahren.

Artin-Darstellungen

Sei $K$ ein Zahlkörper. Eine Artin-Darstellung von $G_{K}$ ist eine stetige Darstellung von $G_{K}$ auf einem endlich-dimensionalen komplexen Vektorraum. Emil Artin formulierte mithilfe dieser Darstellungen das Artinsche Reziprozitätsgesetz. Die bis heute unbewiesene Artin-Vermutung besagt, dass die Artinsche L-Funktion einer nicht trivialen irreduziblen Artin-Darstellung eine eindeutige holomorphe Fortsetzung auf $\mathbb {C}$ hat.

Da Artin-Darstellungen endliches Bild haben, ist die Kategorie der Artin-Darstellungen einer gegebenen proendlichen Gruppe eine halbeinfache Tannaka-Kategorie.

l-adische Darstellungen

Sei $G$ eine proendliche Gruppe und $E$ ein $\ell$-adischer lokaler Körper, das heißt eine endliche Körpererweiterung von $\mathbb {Q} _{\ell }$ mit der $\ell$-adischen Topologie. Eine $\ell$-adische Darstellung von $G$ über $E$ ist ein endlich-dimensionaler $E$-Vektorraum zusammen mit einem stetigen Homomorphismus $\rho :G\to \mathrm {GL} (V)$. Man spricht von einer $\ell$-adischen Galois-Darstellung, wenn $G$ eine Galoisgruppe ist.

Sei ${\mathcal {O}}_{E}$ der Ganzheitsring von $E$. Jede $\ell$-adische Darstellung stabilisiert einen freien ${\mathcal {O}}_{E}$-Untermodul von $V$, der $V$ als $E$-Vektorraum erzeugt. So kann eine $\ell$-adische Darstellung auch auf einem freien ${\mathcal {O}}_{E}$-Untermodul endlichen Ranges definiert werden.

Manchmal wird als Koeffizientenkörper ${\overline {\mathbb {Q} }}_{\ell }$ mit der Vereinigungstopologie endlicher Erweiterungen von $\mathbb {Q} _{\ell }$ genommen. Diese Definition ist im Wesentlichen äquivalent, da jede solche Darstellung einer proendlichen Gruppe über einer endlichen Erweiterung von $\mathbb {Q} _{\ell }$ definiert ist.

Beispiele für $\ell$-adische Darstellungen sind der $\ell$-adische zyklotomische Charakter oder der $\ell$-adische Tate-Modul einer abelschen Varietät.

Mod-l-Darstellungen

Eine mod-$\ell$-Darstellung einer proendlichen Gruppe $G$ ist ein endlich-dimensionaler Vektorraum $V$ über einem endlichen Körper der Charakteristik $\ell$ zusammen mit einem stetigen Homomorphismus $\rho :G\to GL(V)$.

Mod-$\ell$-Darstellungen entstehen durch Reduktion modulo $\ell$ aus $\ell$-adischen Darstellungen. Die Reduktion einer $\ell$-adischen Darstellung über einem endlich-dimensionalen Vektorraum ist bis auf Isomorphie eindeutig bestimmt.

Darstellungen der Weil-Gruppe

Ist $K$ ein globaler oder lokaler Körper, so ist zu der entsprechenden Klassenformation eine Weil-Gruppe $W_{K}$ definiert. Durch Verkettung mit dem kanonischen Homomorphismus $\varphi :W_{K}\to G_{K}$ wird jede stetige Darstellung von $G_{K}$ zu einer stetigen Darstellung von $W_{K}$. Die lokal proendliche Gruppe $W_{K}$ hat echt mehr stetige Darstellungen als $G_{K}$. So ist beispielsweise durch den Betrag ein Charakter $K^{\times }\to \mathbb {C} ^{\times }$ mit unendlichem Bild gegeben. Durch den Klassenkörperisomorphismus $r_{K}:K^{\times }{\tilde {\rightarrow }}W_{K}^{\mathrm {ab} }$ definiert das einen Charakter von $W_{K}$ mit unendlichem Bild, die folglich nicht von einem Charakter von $G_{K}$ kommt.

p-adische Hodge-Theorie

Ist $K$ ein $p$-adischer lokaler Körper, so beschäftigt sich die p-adische Hodge-Theorie mit der Klassifikation $p$-adischer Darstellungen von $G_{K}$.

Galois-Kohomologie

→ Hauptartikel: Galois-Kohomologie

Man kann Gruppenkohomologie auch für proendliche Gruppen definieren. Für Galoisgruppen spricht man dann von Galois-Kohomologie.

Literatur

• Alexander Schmidt, Kay Wingberg, Jürgen Neukirch: Cohomology of number fields. Springer, Grundlehren der Mathematischen Wissenschaften, 2000, 2. Auflage, 2008, ISBN 978-3-540-37888-4
• Jean-Pierre Serre: Galois Cohomology. Springer, Monographs in Mathematics, 1997, ISBN 978-3-642-59141-9
• Joseph Silverman: The Arithmetic of Elliptic Curves. Springer, New York, 2009, 2. Auflage, ISBN 978-0-387-09493-9
• Jürgen Neukirch: Algebraic Number Theory. Springer Berlin Heidelberg, 1999, ISBN 978-3-662-03983-0