Hasse norm principle for extensions of prime squared degree

Technische Zusammenfassung: Hasse-Normen-Prinzip für Erweiterungen von Primquadratgrad

Problemstellung
Die vorliegende Arbeit befasst sich mit der Gültigkeit des Hasse-Normen-Prinzips (HNP) für endliche separable Körpererweiterungen $K/k$ globaler Körper. Konkret wird nach einer äquivalenten Bedingung für das Bestehen des HNP gesucht, wenn der Grad der Erweiterung $d = p^2$ ist, wobei $p$ eine ungerade Primzahl darstellt. Die Obstruktion des HNP wird durch die Gruppe $X(K/k) := (k^\times \cap N_{K/k}(A_K^\times)) / N_{K/k}(K^\times)$ gemessen. Das HNP gilt genau dann, wenn $X(K/k) = 1$. Während das Problem für Primgrade, Grad 4, Grad 6 sowie für die Grade $8 \le d \le 15$ vollständig gelöst ist, blieb der Fall der ungeraden Primquadratgrade ($d=p^2$) unvollständig, wobei nur teilweise Ergebnisse verfügbar waren (z. B. für „adäquate“ Erweiterungen).

Methodik
Der Autor verwendet einen kohomologischen Ansatz, der die Arithmetik von Körpererweiterungen mit der Gruppentheorie ihrer Galoisgruppen verknüpft. Die Kernmethodik umfasst:

1. Kohomologische Übersetzung: Nutzung des Isomorphismus zwischen der Obstruktionsgruppe $X(K/k)$ und der Tate-Shafarevich-Gruppe der Norm-eins-Torus $T_{K/k}$. Dies wird weiter mit der zweiten Kohomologiewahl der Galoisgruppe $G = \text{Gal}(\tilde{K}/k)$ mit Koeffizienten in einem spezifischen $G$-Modul, dem Chevalley-Modul $J_{G/H}$, in Beziehung gesetzt. Hierbei liegt der Fokus auf der Untersuchung der Gruppe $X^2_\omega(G, J_{G/H})$, welche den Kern der Restriktionsabbildung von $H^2(G, J_{G/H})$ auf die direkte Summe der Kohomologiewahlen über alle zyklischen Untergruppen von $G$ definiert.
2. Gruppentheoretische Klassifikation: Die Arbeit analysiert transitive Gruppen vom Grad $p^2$. Sie stützt sich auf die Klassifikation solcher Gruppen durch Dobson und Witte und unterscheidet Fälle basierend auf der Struktur der $p$-Sylow-Untergruppe $P$ von $G$.
3. Fallunterscheidung:
   • $p$-Gruppen: Der Autor berechnet $X^2_\omega(G, J_{G/H})$ für $p$-Gruppen des Grades $p^2$. Dies beinhaltet eine detaillierte Analyse des Exponenten der Gruppe (ob $p$ oder $p^2$), unter Verwendung exakter Sequenzen von $G$-Moduln, der Mackey-Zerlegung und Eigenschaften des Bogomolov-Multiplikators. Eine Schlüsseltechnik ist das Anheben des Problems auf ein Wreath-Produkt, um Fälle zu behandeln, in denen die Restriktionsabbildungen auf der dritten Kohomologie nicht injektiv sind.
   • Allgemeiner Fall: Für Nicht-$p$-Gruppen nutzt die Arbeit die Struktur transitiver Gruppen, um das Problem entweder auf ein Produkt transitiver Gruppen des Grades $p$ oder auf ein Halbprodukt der Form $(C_p)^2 \rtimes G^\dagger$ zu reduzieren, wobei $G^\dagger$ eine Untergruppe von $\text{GL}_2(\mathbb{F}_p)$ ist.
4. Generalisierte Repräsentationsgruppen: Zur Berechnung der Kohomologie für die spezifische Halbprodukt-Struktur konstruiert der Autor generalisierte Repräsentationsgruppen (zentrale Erweiterungen) und wendet Ergebnisse von Drakokhrust sowie Macedo–Newton bezüglich fokaler Untergruppen und der Struktur der Außenautomorphismengruppen von extraspezialen $p$-Gruppen an.

Wesentliche Beiträge und Ergebnisse
Die Arbeit liefert eine vollständige Charakterisierung des Hasse-Normen-Prinzips für Erweiterungen des Grades $p^2$ ($p$ ungerade).

• Theorem 1.3 (Hauptresultat): Sei $K/k$ eine endliche separable Erweiterung des Grades $p^2$ mit Galoisabschluss $\tilde{K}$, Galoisgruppe $G$ und Stabilisator $H$.
  • Falls $X(K/k) \neq 1$, muss $G$ isomorph zu $(C_p)^2 \rtimes_\phi G^\dagger$ sein und $H \cong \{1\} \rtimes_\phi G^\dagger$, wobei $G^\dagger$ eine Untergruppe von $\text{SL}_2(\mathbb{F}_p)$ ist und $\phi$ durch die Standardrepräsentation induziert wird.
  • Unter dieser strukturellen Bedingung gilt $X(K/k) \cong \mathbb{Z}/p$, falls keine Zerlegungsgruppe von $\tilde{K}/k$ eine Untergruppe enthält, die isomorph zu $(C_p)^2$ ist; andernfalls gilt $X(K/k) = 1$.
• Wiederherstellung früherer Ergebnisse: Das Theorem stellt das Resultat von Drakokhrust und Platonov wieder her, welches besagt, dass das HNP für $k$-adäquate Erweiterungen des Grades $p^2$ gilt. Die Arbeit liefert einen neuen Beweis für diese Tatsache, ohne auf die Klassifikation der Untergruppen von $\text{SL}_2(\mathbb{F}_p)$ zurückzugreifen, indem die notwendigen Bedingungen direkt aus kohomologischen Berechnungen abgeleitet werden.
• Norm-eins-Tori und schwache Approximation: Die Arbeit etabliert eine äquivalente Bedingung für das Nicht-Verschwinden der unramifizierten Brauer-Gruppe $H^1(k, \text{Pic}(X))$ einer glatten Kompakifizierung des Norm-eins-Torus $T_{K/k}$. Des Weiteren bestimmt sie die Struktur des Defekts der schwachen Approximation $A_k(T_{K/k})$ und zeigt, dass dieser unter denselben strukturellen Bedingungen auf $G$ und der Abwesenheit von $(C_p)^2$ in den Zerlegungsgruppen isomorph zu $\mathbb{Z}/p$ ist.
• Kohomologische Berechnungen: Der technische Kern (Abschnitte 4 und 5) liefert explizite Berechnungen von $X^2_\omega(G, J_{G/H})$ für transitive Gruppen des Grades $p^2$. Es wird bewiesen, dass diese Gruppe verschwindet, sofern $G$ nicht die spezifische Halbprodukt-Struktur unter Einbeziehung einer Untergruppe von $\text{SL}_2(\mathbb{F}_p)$ besitzt.

Bedeutung
Die Arbeit beansprucht, Frage 1.1 (die Bestimmung äquivalenter Bedingungen für das HNP) vollständig für alle Primquadratgrade $d=p^2$ zu lösen. Durch die Kombination der Ergebnisse für ungerade Primzahlen mit dem bereits bekannten Fall $d=4$ bietet sie eine vollständige Lösung für beliebige Primquadratgrade. Die Arbeit ist signifikant für:

1. Vervollständigung der Klassifikation: Sie schließt eine Lücke in der Literatur bezüglich des HNP für Grade $p^2$, wobei $p$ eine ungerade Primzahl ist.
2. Methodische Stringenz: Sie bietet einen alternativen, computerfreien Beweis für den Fall $p=3$ (Grad 9), der zuvor mittels computergestützter Methoden etabliert wurde.
3. Vereinheitlichung: Sie vereinheitlicht die Untersuchung des HNP, der unramifizierten Brauer-Gruppe von Norm-eins-Tori und des Defekts der schwachen Approximation unter einem einzigen kohomologischen Rahmen, der von der Galoisgruppenstruktur abhängt.

Der Autor merkt an, dass der Beweis nicht auf der erschöpfenden Klassifikation der Untergruppen von $\text{SL}_2(\mathbb{F}_p)$ beruht, wodurch eine strukturellere und in sich geschlossene Ableitung der notwendigen und hinreichenden Bedingungen ermöglicht wird.