Klassenkörperturm

Vorlage:QS-Mathematik In der Klassenkörpertheorie wird der Hilbertsche $p$-Klassenkörperturm eines vorgegebenen algebraischen Zahlkörpers $K$ für eine feste Primzahl $p$ rekursiv erklärt durch den Rekursionsbeginn (Initialisierung) $F_p^0(K):=K$ und durch die iterierte Bildung des Hilbertschen $p$-Klassenkörpers $F_p^1$ des jeweiligen Vorgängers im Allgemeinen Rekursionsschritt $F_p^{n+1}(K):=F_p^1(F_p^n(K))$ für jede ganze Zahl $n\ge 0$. Insgesamt ergibt sich ein Turm von Körpererweiterungen

$(1)K=F_p^0(K)\le F_p^1(K)\le F_p^2(K)\le \dots \le F_p^n(K)\le \dots \le F_p^{\mathrm{\infty }}(K)$,

wobei die Vereinigung $F_p^{\mathrm{\infty }}(K):={\cup }_{i\ge 0}{F}_p^i(K)$ oft selbst als $p$-Klassenkörperturm bezeichnet wird. Für die Rekursion werden niemals die allgemeineren Begriffe der Strahlklassenkörper und Ringklassenkörper verwendet, sondern stets der absolute oder Hilbertsche $p$-Klassenkörper als maximale (mit Relativführer $f=1$) unverzweigte $p$-Erweiterung mit Primzahlpotenz-Grad und abelscher, also kommutativer, Galoisgruppe $\mathrm{Gal}(F_p^1(K)/K)$. Die Bezeichnung Klassenkörper rührt daher, dass nach dem Artinschen Reziprozitätsgesetz die Automorphismengruppe $\mathrm{Gal}(F_p^1(K)/K)$ nicht nur irgendeine abelsche Gruppe ist, sondern ganz speziell isomorph zur (abelschen) $p$-Idealklassengruppe $C{l}_p(K)=Sy{l}_p(Cl(K))$, das heißt zur Sylow $p$-Untergruppe der Idealklassengruppe $Cl(K)$, des Grundkörpers $K$.

Bereits im Jahr 1925 haben P. Furtwängler und O. Schreier die Frage aufgeworfen, ob es Türme gibt, die nicht stationär werden, mit einer endlichen Länge $\ell$ und $F_p^i(K)=F_p^{\ell }(K)$ für alle $i\ge \ell$, sondern bei denen in der Formel (1) stets die strikte Ungleichung $<$ anstelle von $\le$ gilt. Es dauerte fast 40 Jahre, bis E. Golod und I. Shafarevich dieses Problem schließlich im Jahr 1964 mit Methoden der Galois-Kohomologie affirmativ lösen konnten. Sie zeigten, dass ein Grundkörper $K$ mit hinreichend großem $p$-Klassenrang $ran{k}_p(C{l}_p(K))$ tatsächlich einen unendlichen $p$-Klassenkörperturm besitzt.

Der Turm kann auch kompakter, aber äquivalent, in der folgenden Weise definiert werden, wobei allerdings die Etagen-Struktur verborgen bleibt:

In der algebraischen Zahlentheorie, also der Theorie der komplexen Nullstellen $\alpha \in ℂ,P(\alpha )=0$, von univariaten Polynomen $P(X)\in \mathbb{Z}\left[X\right]$ mit ganzen rationalen Zahlen als Koeffizienten, versteht man unter dem $p$-Klassenkörperturm eines algebraischen Zahlkörpers $K=\mathbb{Q}(\alpha )$ die maximale unverzweigte pro-$p$-Erweiterung $F_p^{\mathrm{\infty }}(K)$ von $K$ für eine fest vorgegebene Primzahl $p$. Durch das Zulassen unendlicher Körpererweiterungen wird hier bereits die von Golod und Shafarevich bewiesene Möglichkeit unbeschränkter Klassenkörpertürme berücksichtigt.

Die Gruppe der Automorphismen von $F_p^{\mathrm{\infty }}(K)$, welche den Grundkörper $K$ invariant lassen, heißt die $p$-Turmgruppe $G:=G_p^{\mathrm{\infty }}(K):=\mathrm{Gal}(F_p^{\mathrm{\infty }}(K)/K)$ von $K$. Im Fall eines unendlichen $p$-Klassenkörperturms $F_p^{\mathrm{\infty }}(K)$ ist $G$ eine topologische Gruppe mit der Krull-Topologie.

Tabelle 1: Invarianten der 3-Klassenkörpertürme imaginär-quadratischer Zahlkörper

d	Typus	κ	τ	G32(K)	G3∞(K)	Ref.
-3896	H.4	(4443)	[111,111,21,111]	⟨729,45⟩	⟨6561,606⟩
-4027	D.10	(2241)	[21,21,111,21]	⟨243,5⟩	⟨243,5⟩
-9748	E.9	(2231)	[32,21,21,21]	⟨2187,302⟩	⟨6561,620⟩
			oder	⟨2187,306⟩	⟨6561,624⟩
-12131	D.5	(4224)	[111,21,111,21]	⟨243,7⟩	⟨243,7⟩
-15544	E.6	(1313)	[32,21,111,21]	⟨2187,288⟩	⟨6561,616⟩
-16627	E.14	(2313)	[32,21,111,21]	⟨2187,289⟩	⟨6561,617⟩
			oder	⟨2187,290⟩	⟨6561,618⟩
-34867	E.8	(1231)	[32,21,21,21]	⟨2187,304⟩	⟨6561,622⟩

Stufen und Länge des p-Klassenkörperturms

Die absteigende Reihe der iterierten Kommutatorgruppen von $G$, $G=G^{(0)}>G^{(1)}>G^{(2)}>\dots$ mit $G^{(n+1)}:=[G^{(n)},G^{(n)}]$ für $n\ge 0$, gibt im Sinne der Galois-Korrespondenz Anlass für die Stufen (Etagen, Stockwerke) des Turms, welche gegeben sind durch $F_p^n(K):=\mathrm{Fix}(G^{(n)})$, beziehungsweise gleichwertig durch $\mathrm{Gal}(F_p^{\mathrm{\infty }}(K)/F_p^n(K))=G^{(n)}$, für $n\ge 0$.

Aufgrund des Isomorphiesatzes ist $G_p^n(K):=\mathrm{Gal}(F_p^n(K)/K)\cong \mathrm{Gal}(F_p^{\mathrm{\infty }}(K)/K)/\mathrm{Gal}(F_p^{\mathrm{\infty }}(K)/F_p^n(K))=G/G^{(n)}$ die Galois-Gruppe des $n$-ten Hilbertschen $p$-Klassenkörpers $F_p^n(K)$ von $K$, isomorph zum $n$-ten abgeleiteten Quotienten von $G$, und wird als $n$-te $p$-Klassengruppe von $K$ bezeichnet. Für $n=1$ ergibt sich mit Hilfe des Reziprozitätsgesetzes von Artin die Isomorphie der Abelisierung der p-Turmgruppe, $G/G^{(1)}\cong \mathrm{Gal}(F_p^1(K)/K)\cong {\mathrm{Cl}}_p(K)$, zur (gewöhnlichen) ersten $p$-Klassengruppe von $K$, also zur Sylow-p-Untergruppe der (endlichen abelschen) Idealklassengruppe $\mathrm{Cl}(K)$ von $K$, als Galois-Gruppe der maximalen abelschen unverzweigten $p$-Erweiterung $F_p^1(K)$ von $K$.

Die $p$-Turmgruppe $G$ ist entweder eine unendliche pro-$p$-Gruppe mit endlicher Abelisierung $G/G^{(1)}$ oder eine endliche $p$-Gruppe. Im ersteren Fall ist auch der $p$-Klassenkörperturm von $K$, $K<F_p^1(K)<F_p^2(K)<\dots <F_p^{\mathrm{\infty }}(K)$, von unendlicher Länge ${\lambda }_p(K)=\mathrm{\infty }$ und $G=G_p^{\mathrm{\infty }}(K)\cong \underleftarrow{\lim }{G}_p^n(K)$ ist der projektive Limes der Galois-Gruppen aller Stufen des Turmes. Im letzteren Fall ist $G$ auflösbar und nilpotent und der Turm $K<F_p^1(K)<F_p^2(K)<\dots <F_p^{\lambda }(K)=F_p^{\lambda +1}(K)=F_p^{\mathrm{\infty }}(K)$ endet bei der abgeleiteten Länge von $G$, ${\lambda }_p(K)=\lambda =dl(G)$, präziser ausgedrückt: wird dort stationär.

Relationenrang der p-Turmgruppe

Für die Bestimmung der Länge eines $p$-Klassenkörperturms ist die Abschätzung des Relationenrangs von $G=G_p^{\mathrm{\infty }}(K)$ von entscheidender Bedeutung.

$G$ operiert trivial auf dem endlichen Körper ${𝔽}_p$ mit $p$ Elementen und die kohomologischen Dimensionen $d_1(G):={\dim }_{{𝔽}_p}{H}^1(G,{𝔽}_p)$, bzw. $d_2(G):={\dim }_{{𝔽}_p}{H}^2(G,{𝔽}_p)$, heißen Generatorenrang, bzw. Relationenrang, von $G$.

Für einen Grundkörper $K$ mit der Signatur $(r,c)$, also mit dem torsionsfreien Dirichlet-Einheitenrang $u:=r+c-1$, hat Shafarevich die folgende Abschätzung des Relationenrangs der $p$-Turmgruppe hergeleitet: $d_1(G)\le d_2(G)\le d_1(G)+u+\theta$, wobei $\theta :=1$, falls $K$ die $p$-ten Einheitswurzeln enthält, und $\theta :=0$ anderenfalls.

Aufgrund der Isomorphie $G/G^{(1)}\cong C{l}_p(K)$ ist der Generatorenrang $d_1(G)$ von $G$ gleich dem $p$-Klassenrang ${\rho }_p(K)$ von $K$, also gleich der Anzahl der Basiselemente der $p$-Klassengruppe $C{l}_p(K)$.

Für den besonders ausführlich untersuchten einfachsten Spezialfall eines imaginär-quadratischen Grundkörpers $K$ haben Koch und Venkov aus dem kohomologischen Kriterium von Shafarevich das folgende grundlegende Resultat abgeleitet.

Satz von Koch und Venkov. Für eine ungerade Primzahl $p\ge 3$ ist die $p$-Turmgruppe $G=G_p^{\mathrm{\infty }}(K)$ eines imaginär-quadratischen Zahlkörpers $K$ eine sogenannte Schur $\sigma$-Gruppe mit ausgewogener Präsentation $d_2(G)=d_1(G)$ und mit einem Automorphismus $\sigma \in Aut(G)$, welcher auf der Abelisierung $G/G^{(1)}$ die Inversion $x\mapsto x^{-1}$ hervorruft. (Wegen der Isomorphie $G/G^{(1)}\cong H^1(G,{𝔽}_p)$ heißt $\sigma$ ein generatoren-invertierender (GI-)Automorphismus.)

Zusatz von Schoof. Für eine ungerade Primzahl $p\ge 3$ und für jede ganze Zahl $n\ge 2$ besitzt die $n$-te $p$-Klassengruppe $G_n=G_p^n(K)$ eines beliebigen (imaginären oder reellen) quadratischen Zahlkörpers $K$ einen Automorphismus $\sigma \in Aut(G_n)$, der sowohl auf $H^1(G_n,{𝔽}_p)$ als auch auf $H^2(G_n,{𝔽}_p)$ die Inversion $x\mapsto x^{-1}$ induziert. ($\sigma$ heißt daher ein relatoren-invertierender (RI-)Automorphismus.)

Tabelle 2: Invarianten der 3-Klassenkörpertürme reell-quadratischer Zahlkörper

d	Typus	κ	τ	G32(K)	G3∞(K)	Ref.
32009	a.3	(2000)	[21,11,11,11]	⟨81,8⟩	⟨81,8⟩
62501	a.1	(0000)	[22,11,11,11]	⟨729,99⟩	⟨729,99⟩
72329	a.2	(1000)	[21,11,11,11]	⟨81,10⟩	⟨81,10⟩
142097	a.3	(2000)	[111,11,11,11]	⟨81,7⟩	⟨81,7⟩
152949	a.1	(0000)	[22,11,11,11]	⟨729,100⟩	⟨729,100⟩
214712	G.19	(4321)	[21,21,21,21]	⟨729,57⟩	⟨2187,311⟩
252977	a.1	(0000)	[22,11,11,11]	⟨729,101⟩	⟨729,101⟩
342664	E.9	(2231)	[32,21,21,21]	⟨2187,302⟩	⟨6561,620⟩
			oder	⟨2187,306⟩	⟨6561,624⟩
494236	a.3↑	(2000)	[32,11,11,11]	⟨729,97⟩	⟨729,97⟩
			oder	⟨729,98⟩	⟨729,98⟩
534824	c.18	(0313)	[22,21,111,21]	⟨729,49⟩	⟨2187,291⟩
540365	c.21	(0231)	[22,21,21,21]	⟨729,54⟩	⟨2187,307⟩
				oder	⟨2187,308⟩
790085	a.2↑	(1000)	[32,11,11,11]	⟨729,96⟩	⟨729,96⟩
957013	H.4	(4443)	[111,111,21,111]	⟨729,45⟩	⟨2187,273⟩
2905160	a.1↑	(0000)	[33,11,11,11]	⟨6561,2227⟩	⟨6561,2227⟩
3918837	E.14	(2313)	[32,21,111,21]	⟨2187,289⟩	⟨2187,289⟩
			oder	⟨2187,290⟩	⟨2187,290⟩
4760877	E.9	(2231)	[32,21,21,21]	⟨2187,302⟩	⟨2187,302⟩
			oder	⟨2187,306⟩	⟨2187,306⟩
5264069	E.6	(1313)	[32,21,111,21]	⟨2187,288⟩	⟨6561,616⟩
6098360	E.8	(1231)	[32,21,21,21]	⟨2187,304⟩	⟨6561,622⟩
7153097	E.6	(1313)	[32,21,111,21]	⟨2187,288⟩	⟨2187,288⟩
8632716	E.8	(1231)	[32,21,21,21]	⟨2187,304⟩	⟨2187,304⟩
9433849	E.14	(2313)	[32,21,111,21]	⟨2187,289⟩	⟨6561,617⟩
			oder	⟨2187,290⟩	⟨6561,618⟩
10200108	a.3↑↑	(2000)	[43,11,11,11]	⟨6561,2223⟩	⟨6561,2223⟩
			oder	⟨6561,2224⟩	⟨6561,2224⟩
10399596	a.1↑	(0000)	[33,11,11,11]	⟨6561,2225⟩	⟨6561,2225⟩
14458876	a.2↑↑	(1000)	[43,11,11,11]	⟨6561,2222⟩	⟨6561,2222⟩
27780297	a.1↑	(0000)	[33,11,11,11]	⟨6561,2226⟩	⟨6561,2226⟩

Artin-Muster der p-Turmgruppe

Auf dem Wege zur Identifikation der $p$-Turmgruppe $G$ eines vorgegebenen Zahlkörpers $K$ verwendet man zunächst das Artin-Muster $AP=(\kappa ,\tau )$, um die Metabelianisierung $M:=G/G^{(2)}$ von $G$ zu finden.

Dieses Muster besteht aus der Gesamtheit der Kerne $\kappa :=(ker(V_{G,U}))$ und Ziele $\tau :=(U/U^{(1)})$, genauer: der logarithmischen abelschen Quotienten-Invarianten der Ziele, der Artin-Verlagerungen $V_{G,U}:G/G^{(1)}\to U/U^{(1)}$ der Gruppe $G$ in ihre maximalen Untergruppen $U$ vom Index $p$.

In vielen Fällen führt diese Strategie der Mustererkennung mittels Artin-Verlagerungen zur eindeutigen Identifizierung zumindest der zweiten Stufe des Turmes, also der metabelschen Galois-Gruppe $M\cong G_p^2(K)$ des zweiten Hilbert-$p$-Klassenkörpers $F_p^2(K)$ von $K$, als Approximation der vollen $p$-Turmgruppe $G$. Auf jeden Fall liefert dieser Prozess nur endlich viele Kandidaten für $G_p^2(K)$.

Historisch gesehen, geht die Idee zu dieser Vorgangsweise auf die Untersuchungen von Arnold Scholz und Olga Taussky-Todd im Jahre 1934 zurück, aus welchen auch die Bezeichnungen für den Typus in den Tabellen 1 und 2 herrühren. Diese Autoren bestimmten aus dem Kapitulationstypus (kurz: Typus) $\kappa$ imaginärquadratischer Zahlkörper $K$ mit elementarer $3$-Klassengruppe $C{l}_3(K)$ vom Rang ${\rho }_3(K)=2$ die symbolische Ordnung, das heißt das Annihilatorideal aller bivariaten Polynome $f(X,Y)\in \mathbb{Z}[X,Y]$ mit der Eigenschaft $s^{f(x,y)}=1$, des Hauptkommutators $s=[y,x]$ der metabelschen Gruppe $M:=G_3^2(K)$ vom Erzeugendenrang $d_1(M)=2$, also mit zwei Generatoren $x$ und $y$.

Die zweite Komponente $\tau$ des Artin-Musters kam bei Scholz und Taussky noch in einer rudimentären Ausprägung in Form der $3$-Klassenzahlen der vier unverzweigten zyklisch-kubischen Erweiterungen von $K$ ins Spiel, war aber zusammen mit $\kappa$ hinreichend für die eindeutige Identifikation der Gruppe $M$.

In der experimentellen, computerunterstützten Mathematik dient das Artin-Muster als Suchbegriff für Datenbankabfragen entweder in der SmallGroups Bibliothek oder in Erweiterungen dieser Bibliothek, die mithilfe des $p$-Gruppen-Erzeugungs-Algorithmus von M. F. Newman und E. A. O' Brien konstruiert werden. Die Verwendung der expliziten Struktur von $\tau$ in Form der abelschen Typinvarianten der $3$-Klassengruppen (anstelle der $3$-Klassenzahlen) der vier unverzweigten zyklisch-kubischen Erweiterungen von $K$ kann dabei zu einer erheblichen Einschränkung der Kandidaten für die Gruppe $M$ führen.

Konkrete Beispiele von p-Klassenkörpertürmen

Systematisch erforscht wurden bisher die $p$-Klassenkörpertürme von quadratischen Zahlkörpern für ungerade Primzahlen $p\ge 3$.

Ein quadratischer Zahlkörper $K=\mathbb{Q}\left(\sqrt{d}\right)$ entsteht durch Adjunktion einer der beiden Nullstellen $\sqrt{d}$ und $-\sqrt{d}$ des Polynoms $P(X)=X^2-d$ mit einer Fundamentaldiskriminante $d\equiv 0,1(\text{mod}4)$, $d\ne 1$, an den Körper $\mathbb{Q}$ der rationalen Zahlen. Einige grundlegende Regeln für die Länge ${\lambda }_p(K)$ des $p$-Klassenkörperturms eines quadratischen Zahlkörpers $K$ lassen sich in Termen des $p$-Klassenrangs ${\rho }_p(K)$ von $K$ ausdrücken:

1. Der triviale Fall ${\lambda }_p(K)=0$ tritt bei einem beliebigen Zahlkörper $K$ genau dann auf, wenn auch ${\rho }_p(K)=0$, also die Klassenzahl von $K$ nicht durch $p$ teilbar ist.
2. Einstufige Türme mit ${\lambda }_p(K)=1$ sind bei quadratischen Grundkörpern $K$ charakteristisch für zyklische $p$-Klassengruppen mit ${\rho }_p(K)=1$. Diese Äquivalenz geht bei anderen Arten von Grundkörpern leider verloren. So ist für Zahlkörper $K$ dritten und vierten Grades die Bedingung ${\rho }_p(K)=1$ zwar noch hinreichend aber im Allgemeinen nicht mehr notwendig für ${\lambda }_p(K)=1$.
3. Koch und Venkov haben gezeigt, dass imaginär-quadratische Zahlkörper $K$ mit mindestens dreibasiger $p$-Klassengruppe, also mit ${\rho }_p(K)\ge 3$, einen unendlichen $p$-Klassenkörperturm mit ${\lambda }_p(K)=\mathrm{\infty }$ besitzen.
4. Den abwechslungsreichsten Fall bilden die quadratischen Zahlkörper $K$ mit $p$-Klassenrang ${\rho }_p(K)=2$, für die theoretisch alle Längen $2\le {\lambda }_p(K)\le \mathrm{\infty }$ möglich sind, von denen aber bisher (Stand 28. April 2020) nur Situationen mit ${\lambda }_p(K)=2$ und ${\lambda }_p(K)=3$ rigoros nachgewiesen werden konnten.

Die zweite Etage $G_3^2(K)$ des $3$-Klassenkörperturms aller quadratischen Zahlkörper $K=\mathbb{Q}\left(\sqrt{d}\right)$ mit Fundamentaldiskriminanten $d$ im Bereich $-10^6<d<10^7$ und elementarer $3$-Klassengruppe $C{l}_3(K)$ vom Rang zwei wurde im Jahre 2010 in einem aufwendigen, mehrere Monate an CPU-Zeit in Anspruch nehmenden Projekt bestimmt, dessen zugrundeliegende neuartige Algorithmen unter dem Schlagwort Kapitulationstypus mittels Klassengruppenstruktur publiziert wurden, weil für die Bewältigung der 4596 zu analysierenden Zahlkörper der von Scholz und Taussky, sowie auch von Heider und Schmithals, benutzte Algorithmus zu wenig effizient gewesen wäre.

Die dritte Etage $G_3^3(K)$ eines $3$-Klassenkörperturms, nämlich jedes imaginär-quadratischen Zahlkörpers $K=\mathbb{Q}\left(\sqrt{d}\right)$, $d<0$, mit elementarer $3$-Klassengruppe $C{l}_3(K)$ vom Rang zwei und Artin-Muster $AP=(\kappa ,\tau )$ mit Kapitulation $\kappa =(2231)$ vom Typus E.9 und logarithmischen abelschen Quotienten-Invarianten $\tau =[32,21,21,21]$, wurde im Lauf der Geschichte erstmals 2012 von Boston, Bush und Mayer unzweifelhaft mit präziser Länge ${\lambda }_3(K)=3$ identifiziert, nachdem Scholz und Taussky, sowie Heider und Schmithals, die fehlerhafte Zweistufigkeit ${\lambda }_3(K)=2$ behauptet hatten. Entscheidend für den Beweis war die Tatsache, dass die Metabelianisierung $M=⟨2187,302⟩$, bzw. $⟨2187,306⟩$, von $G$ keine Schur $\sigma$-Gruppe ist, die $3$-Turmgruppe $G=⟨6561,620⟩$, bzw. $⟨6561,624⟩$, mit $dl(G)=3$ hingegen sehr wohl.

Weitere exakt dreistufige $3$-Klassenkörpertürme der Typen E.6, E.14 und E.8 für imaginär-quadratische Körper sowie c.18 und c.21 für reell-quadratische Körper wurden im Jahr 2015 entdeckt.

Im selben Jahr wurden auch reell-quadratische Körper der Typen E.6, E.14, E.8 und E.9 auf die Länge ihres $3$-Klassenkörperturms untersucht, wobei sich die Kuriosität herausstellte, dass die von Scholz und Taussky für den imaginären Fall fälschlich behauptete Länge ${\lambda }_3(K)=2$ im reellen Fall tatsächlich erlaubt ist und von der Dreistufigkeit ${\lambda }_3(K)=3$ durch streng deterministische Kriterien unterschieden werden kann.

Im Jahr 2017 schließlich gelang noch die Ermittlung der Feinstruktur der reell-quadratischen Zahlkörper $K=\mathbb{Q}\left(\sqrt{d}\right)$, $d>0$, mit elementarer $3$-Klassengruppe $C{l}_3(K)$ vom Rang zwei und Artin-Muster $AP=(\kappa ,\tau )$ mit vierfacher Totalkapitulation $\kappa =(0000)$ vom Typus a.1 (und beliebigen abelschen Quotienten-Invarianten $\tau$) unter Verwendung der sogenannten tiefen Verlagerungen.

Tabelle 1, bzw. 2, zeigt die essenziellen Invarianten des $3$-Klassenkörperturmes $F_3^{\mathrm{\infty }}(K)$ von allen imaginären, bzw. reellen, quadratischen Zahlkörpern $K=\left(\sqrt{d}\right)$ mit der Minimaldiskriminante $d$ für das jeweilige Artin-Muster $AP=(\kappa ,\tau )$, falls die Ordnungen der beiden Galoisgruppen $G_3^2(K)$ und $G_3^{\mathrm{\infty }}(K)$ den Maximalwert $6561$ der SmallGroups Datenbank nicht überschreiten. Zahlreiche konkrete Beispiele mit $3$-Turmgruppen $G$ höherer logarithmischer Ordnung $lo(G)>8$ sind bekannt, sollen aber hier nicht explizit angeführt werden, weil die Bezeichnungsweise für diese Gruppen mit Relativ-Identitäten leider viel Platz in Anspruch nimmt und auf den ersten Blick unübersichtlich aussieht. Die Symbole $\uparrow$, bzw. $\uparrow \uparrow$, hinter dem Typus heben erste, bzw. zweite, Anregungszustände gegenüber dem Grundzustand hervor, das bedeutet Varianten von $\tau$ bei festem Typus $\kappa$. Bei Gleichheit von $G_3^2(K)$ und $G_3^{\mathrm{\infty }}(K)$ ist ${\lambda }_3(K)=2$, bei Verschiedenheit ist $G_3^{\mathrm{\infty }}(K)=G_3^3(K)$ und ${\lambda }_3(K)=3$.

Ein auffallender Unterschied in der Ordnung $ord(G)$ der $3$-Turmgruppe $G$ und gelegentlich sogar in der Länge ${\lambda }_3(K)$ des $3$-Klassenkörperturms wurde zwischen imaginär-quadratischen Zahlkörpern mit negativen Diskriminanten $d<0$ und reell-quadratischen Zahlkörpern mit positiven Diskriminanten $d>0$ bei übereinstimmendem Artin-Muster $AP=(\kappa ,\tau )$ festgestellt. So besitzen die Körper $K$ mit Diskriminanten $d=-3896$ und $d=957013$ übereinstimmend den Typus H.4 mit $\kappa =(4443)$, $\tau =[111,111,21,111]$, isomorphe zweite 3-Klassengruppen $G_3^2(K)\cong ⟨729,45⟩$ und dieselbe Länge ${\lambda }_3(K)=3$, aber die Schur $\sigma$-Gruppe $G_3^{\mathrm{\infty }}(K)\cong ⟨6561,606⟩$ im imaginären Fall hat größere Ordnung als die $3$-Turmgruppe $G:=G_3^{\mathrm{\infty }}(K)\cong ⟨2187,273⟩$ mit Relationenrang $d_2(G)=3$ im reellen Fall. Noch gravierender ist das unterschiedliche Verhalten bei den Körpern $K$ mit Diskriminanten $d=-15544$ und $d=7153097$. Während der Typus E.6 mit $\kappa =(1313)$, $\tau =[32,21,111,21]$ und die zweiten $3$-Klassengruppen $G_3^2(K)\cong ⟨2187,288⟩$ übereinstimmen, besteht der anspruchsvolle imaginäre Körper nach dem Satz von Koch und Venkov natürlich auf der Schur $\sigma$-Gruppe $G_3^{\mathrm{\infty }}(K)\cong ⟨6561,616⟩$ mit ${\lambda }_3(K)=3$ aber der genügsame reelle Körper ist schon mit der nicht-balancierten Gruppe $G_3^{\mathrm{\infty }}(K)\cong ⟨2187,288⟩$ mit ${\lambda }_3(K)=2$ zufrieden.

Ungelöste Probleme bei unendlichem p-Klassenkörperturm

Der $p$-Klassenkörperturm $F_p^{\mathrm{\infty }}(K)$ eines Zahlkörpers $K$ kann nur dann als bekannt betrachtet werden, wenn eine pro-$p$-Präsentation seiner Galois-Gruppe, also der $p$-Turmgruppe $G_p^{\mathrm{\infty }}(K)$, mit expliziten Generatoren und Relationen vorliegt. Bei einem unendlichen Turm mit der Länge ${\lambda }_p(K)=\mathrm{\infty }$ könnte aus dieser pro-$p$-Präsentation ein analytischer Ausdruck $n\to Or{d}_n$ für das Wachstum der Ordnungen $Or{d}_n:=ord(G_p^n(K))$ der abzählbar unendlich vielen Stufen des Turmes in Abhängigkeit von $n\ge 2$ angegeben werden.

Leider ist man derzeit von der Lösung dieses hochinteressanten Problems noch weit entfernt. Beispielsweise besitzt der imaginär-quadratische Zahlkörper $K=\mathbb{Q}(\sqrt{d})$ mit Fundamentaldiskriminante $d=-4447704$ eine elementare $3$-Klassengruppe vom Rang ${\rho }_3(K)=3$, also mit logarithmischen abelschen Typinvarianten $[111]$, und somit nach der obenstehenden grundlegenden Regel 3 einen unendlichen $3$-Klassenkörperturm mit ${\lambda }_3(K)=\mathrm{\infty }$. Aber die Werte der Funktion $Or{d}_n$ sind für $n\ge 3$ völlig unbekannt und für $n=2$, also für die Ordnung der zweiten $3$-Klassengruppe $\mathrm{Gal}(F_3^2(K)/K)$, konnte unter enormem Aufwand an CPU-Zeit nur die untere Abschätzung $Or{d}_2\ge 3^{17}$ berechnet werden. Im Jahr 2023 konnte Bill Allombert unter Verwendung des Algorithmus von Aurel Page die untere Schranke sogar zu $Or{d}_2\ge 3^{31}$ verbessern.