🔢 mathematics

Simplest cubic fields with small class number

Diese Arbeit nutzt PARI/GP, um die Verteilung der Klassenzahlen in den einfachsten kubischen Körpern zu untersuchen und bestätigt, dass es für bestimmte Indizes des Ganzheitsrings genau 581, 80 bzw. 142 ganze Zahlen $m \geq -1$ mit einer Klassenzahl $h_m \leq 1000$ gibt, wobei zudem für $m$ bis $4 \cdot 10^6$ explizit 137 Fälle mit sehr kleinen Klassenzahlen ( $h_m < 16$ ) identifiziert werden.

Ursprüngliche Autoren: Akinari Hoshi, Hiroaki Iida

Veröffentlicht 2026-03-20

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Akinari Hoshi, Hiroaki Iida

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Die Suche nach den „perfekten" Zahlenschlössern

Stellen Sie sich vor, die Mathematik ist ein riesiges Universum voller Zahlenschlösser. Jedes Schloss hat einen bestimmten Schlüssel, der es öffnen kann. In dieser Welt gibt es eine spezielle Familie von Schlössern, die „Einfachste Kubische Felder" genannt werden.

Diese Schlösser werden durch eine einfache Formel gebaut:
$X^3 - mX^2 - (m + 3)X - 1$
Dabei ist $m$ eine ganze Zahl, die wie ein Drehknopf funktioniert. Wenn Sie den Knopf $m$ drehen (also $m$ ändern), bauen Sie ein ganz neues Schloss.

Die Autoren dieses Papiers sind wie Detektive, die herausfinden wollen: Wie viele dieser Schlösser haben einen besonders einfachen Schlüssel? Und wie viele haben einen Schlüssel, der nur aus wenigen Teilen besteht?

Was ist die „Klassenzahl"? (Die Komplexität des Schlüssels)

Jedes dieser Schlösser hat eine Eigenschaft, die Klassenzahl ( $h_m$ ) genannt wird.

Klassenzahl = 1: Das Schloss ist perfekt. Es gibt nur einen einzigen, einfachen Weg, es zu öffnen. Es ist „einfach" und „sauber".
Klassenzahl = 3, 4, 7, 13...: Das Schloss ist komplizierter. Der Schlüssel besteht aus mehreren Teilen, die man erst zusammensetzen muss. Je höher die Zahl, desto verworrener ist das Schloss.

Die Autoren haben sich gefragt: Wie oft kommt ein „einfaches" Schloss (mit einer kleinen Klassenzahl) vor, wenn wir den Drehknopf $m$ drehen?

Die drei Arten von Schlössern

Bevor sie die Schlösser zählen, mussten sie sie in drei Kategorien einteilen, basierend darauf, wie sie gebaut sind (ein bisschen wie die Art, wie ein Schloss aus Metall gegossen wurde):

Typ 1 (Der reine Typ): Das Schloss ist aus einem einzigen Stück Metall gegossen. (Mathematisch: Der Index ist 1).
Typ 2 (Der verdreifachte Typ): Das Schloss ist wie ein Dreierpack, der zusammengeklebt ist. (Index ist 3).
Typ 3 (Der verzwanzigfachte Typ): Das Schloss ist ein riesiger Block, der 27-mal so schwer ist wie ein einfaches. (Index ist 27).

Was haben die Detektive herausgefunden?

Die Autoren haben einen superstarken Computer (ein Programm namens PARI/GP) benutzt, um Millionen von Drehknöpfen ( $m$ ) durchzuprobieren. Sie haben zwei große Aufgaben gelöst:

1. Die große Zählung (Bis zur Komplexität 1000)
Sie haben alle Schlösser gesucht, die nicht zu kompliziert sind (Klassenzahl $\le 1000$ ).

Ergebnis:
- Bei den reinen Schlössern (Typ 1) fanden sie 581 solche Fälle.
- Bei den verdreifachten Schlössern (Typ 2) fanden sie 80 Fälle.
- Bei den riesigen Blöcken (Typ 3) fanden sie 142 Fälle.
Die Bedeutung: Es gibt also eine begrenzte, aber beachtliche Anzahl von Schlössern, die „einfach genug" sind, um sie alle aufzulisten. Die Autoren haben diese Listen erstellt (siehe die Tabellen im Papier), damit andere Mathematiker sie nachschlagen können.

2. Die Jagd nach den „Super-Einfachen" (Bis zur Komplexität 16)
Dann haben sie noch genauer hingeschaut. Sie wollten nur die absolut einfachsten Schlösser finden, bei denen die Klassenzahl kleiner als 16 ist.

Sie haben den Drehknopf $m$ bis zu 4 Millionen gedreht.
Ergebnis: Sie fanden genau 137 Schlösser, die so einfach waren.
Davon waren 26 Schlösser so perfekt, dass sie eine Klassenzahl von 1 hatten (die „Heiligen Gral" der Mathematik).
Die anderen hatten Werte wie 3, 4, 7, 9, 12 oder 13.

Warum ist das wichtig? (Die Metapher der Landkarte)

Stellen Sie sich vor, die Mathematiker zeichnen eine Landkarte von einer unbekannten Insel.

Früher wussten sie nur, dass es auf der Insel einige Berge (komplexe Schlösser) und einige Täler (einfache Schlösser) gibt.
Aber sie wussten nicht genau, wo die Täler liegen oder wie viele es gibt.
Diese Arbeit ist wie das Erstellen eines detaillierten Atlas. Die Autoren sagen: „Hier sind genau 137 Täler, die flach genug sind. Hier sind ihre Koordinaten ( $m$ -Werte). Wenn ihr weiter als 4 Millionen drehen wollt, werden die Täler so steil, dass wir sie nicht mehr finden können (oder sie sind extrem selten)."

Ein kleiner Fehler in der Geschichte

Interessanterweise haben die Autoren auch einen kleinen Fehler in einer früheren Studie entdeckt (von einem Forscher namens Lettl). Ein Schloss mit dem Drehknopf $m=12$ war dort übersehen worden. Die neuen Detektive haben es gefunden und korrigiert. Das zeigt, wie wichtig es ist, Dinge immer wieder neu zu überprüfen.

Fazit für den Alltag

Dieses Papier ist im Grunde eine große Inventurliste.
Die Autoren haben Millionen von mathematischen Strukturen durchsucht, um diejenigen herauszufiltern, die besonders „schön" und „einfach" sind. Sie haben bewiesen, dass es nur eine bestimmte Anzahl davon gibt und sie haben eine vollständige Liste aller dieser „schönen" Beispiele erstellt.

Für einen Mathematiker ist das wie das Finden aller perfekten Diamanten in einem riesigen Steinbruch. Für uns Laien ist es eine Erinnerung daran, dass selbst in der abstraktesten Welt der Zahlen es Ordnung, Muster und eine endliche Anzahl von „perfekten" Dingen gibt, die man zählen und benennen kann.

Titel und Autoren

Titel: Simplest Cubic Fields with Small Class Number (Einfachste kubische Körper mit kleiner Klassenzahl)
Autoren: Akinari Hoshi und Hiroaki Iida

1. Problemstellung und Hintergrund

Das Paper untersucht die einfachsten kubischen Körper (Simplest Cubic Fields), eine spezielle Familie von zyklischen kubischen Zahlkörpern, die von D. Shanks eingeführt wurden.

Definition: Für eine ganze Zahl $m$ ist $L_m = \mathbb{Q}(\alpha)$ der Zerfällungskörper des Polynoms $f_m(X) = X^3 - mX^2 - (m+3)X - 1$ .
Eigenschaften: Die Diskriminante ist $D = (m^2 + 3m + 9)^2$ . Der Körper $L_m$ ist ein zyklischer kubischer Körper mit der Galois-Gruppe $C_3$ .
Ziel: Das Hauptziel ist die Bestimmung aller Integers $m \ge -1$ $m \geq - 1$ , für die die Klassenzahl $h_m = |\text{Cl}(L_m)|$ $h_{m} = ∣ Cl (L_{m}) ∣$ klein ist. Konkret werden zwei Fälle analysiert:
1. Alle $m$ , für die $h_m \le 1000$ gilt, unter der Bedingung, dass der Index $[O_{L_m} : \mathbb{Z}[\alpha]]$ gleich 1, 3 oder 27 ist.
2. Alle $m$ im Bereich $-1 \le m \le 4 \cdot 10^6$ , für die $h_m < 16$ gilt.

Ein zentrales theoretisches Hindernis ist die Beziehung zwischen dem Polynom $f_m$ und dem Ring der ganzen Zahlen $O_{L_m}$ . Der Index $[O_{L_m} : \mathbb{Z}[\alpha]]$ hängt von der Faktorisierung von $m^2 + 3m + 9$ ab. Das Paper konzentriert sich auf die Fälle, in denen dieser Index 1 (monogen), 3 oder 27 beträgt.

2. Methodik

Die Autoren kombinieren theoretische Abschätzungen mit umfangreichen computergestützten Berechnungen:

Theoretische Grenzen (Lettls Schranke):
Basierend auf einem Satz von Lettl (1986) und der Klassenzahlformel wird eine untere Schranke für $h_m$ in Abhängigkeit vom Führer $f_m$ hergeleitet.
- Für $f_m > 10^5$ gilt $h_m > 0.023 \cdot f_m^{0.946} / (\log(m^2+3m+9))^2$ .
- Dies ermöglicht es, obere Schranken für $m$ $m$ zu bestimmen, wenn $h_m$ $h_{m}$ begrenzt ist:
  - Für Index 1: $m \le 5762$ .
  - Für Index 3: $m \le 10742$ .
  - Für Index 27: $m \le 36763$ .
- Für den Bereich $m \le 4 \cdot 10^6$ wird die Suche auf $h_m < 16$ beschränkt, da für größere $m$ die Klassenzahl theoretisch größer sein muss.
Computeralgebra (PARI/GP):
Die eigentliche Berechnung der Klassenzahlen und der Idealgruppenstruktur erfolgt mit dem System PARI/GP.
- Der Befehl bnfinit wird verwendet, um die Zahlkörper zu initialisieren und die Klassenzahl sowie die Struktur der Klassengruppe zu berechnen.
- Um die Ergebnisse ohne die Annahme der verallgemeinerten Riemannschen Hypothese (GRH) zu verifizieren, wird der Befehl bnfcertify eingesetzt. Dies bestätigt die Korrektheit der Berechnungen für alle gefundenen Fälle.
- Die Suche wird systematisch über die definierten Bereiche für $m$ und die verschiedenen Kongruenzklassen von $m$ (mod 3, 9, 27) durchgeführt, die den Index $[O_{L_m} : \mathbb{Z}[\alpha]]$ bestimmen.

3. Hauptergebnisse

A. Klassenzahlen bis 1000 (Theorem 1.12)

Die Autoren bestätigen, dass es für die drei Fälle des Indexes genau folgende Anzahlen an $m \ge -1$ gibt, für die $h_m \le 1000$ :

Index 1 ( $m^2+3m+9 = f_m$ $m^{2} + 3 m + 9 = f_{m}$ ): 581 Werte.
- Davon haben 7 Werte $h_m=1$ , 5 Werte $h_m=3$ , etc.
Index 3 ( $m^2+3m+9 = 3f_m$ $m^{2} + 3 m + 9 = 3 f_{m}$ ): 80 Werte.
- Davon haben 2 Werte $h_m=3$ .
Index 27 ( $m^2+3m+9 = 27f_m$ $m^{2} + 3 m + 9 = 27 f_{m}$ ): 142 Werte.
- Davon haben 3 Werte $h_m=1$ , 2 Werte $h_m=3$ .

Die vollständigen Listen der $m$ -Werte, der zugehörigen Führer und der Struktur der Klassengruppen werden in den Abschnitten 3 und den Tabellen 1-7 des Papers explizit aufgeführt.

B. Klassenzahlen kleiner als 16 (Theorem 1.13)

Für den Bereich $-1 \le m \le 4 \cdot 10^6$ wurde gefunden, dass die Ungleichung $h_m < 16$ genau für 137 Integers $m$ gilt.
Die Verteilung nach Klassenzahl ist wie folgt:

$h_m = 1$ : 26 Werte (inkl. $m=-1, 0, 1, 2, 3, 4, 7, 8, 10, 12, \dots$ )
$h_m = 3$ : 31 Werte
$h_m = 4$ : 10 Werte
$h_m = 7$ : 10 Werte
$h_m = 9$ : 36 Werte
$h_m = 12$ : 21 Werte
$h_m = 13$ : 3 Werte

Unter der Annahme der GRH sind dies die einzigen Lösungen in diesem Bereich. Ohne GRH wurden die Ergebnisse durch bnfcertify für alle diese 137 Fälle verifiziert, sodass sie als bewiesen gelten.

C. Korrekturen und Erweiterungen

Das Paper korrigiert frühere Arbeiten (z.B. Lettl 1986), indem es den Fall $m=12$ (mit $h_m=1$ und Index 27) identifiziert, der in früheren Tabellen fehlte.
Es werden explizite Listen für $h_m=1$ und $h_m=3$ bereitgestellt, die frühere Ergebnisse (Byeon 2000) bestätigen und erweitern.

4. Bedeutung und Beitrag

Vollständigkeit: Das Paper liefert eine vollständige Klassifikation der einfachsten kubischen Körper mit sehr kleinen Klassenzahlen für einen extrem weiten Bereich von Parametern.
Methodische Strenge: Durch die Verwendung von bnfcertify werden die Ergebnisse unabhängig von der GRH als mathematisch bewiesen dargestellt, was bei solchen computergestützten Zahlentheorie-Projekten oft eine Herausforderung darstellt.
Datenbasis: Die bereitgestellten Tabellen (1 bis 7) und die PARI/GP-Skripte dienen als wertvolle Referenz für weitere Forschungen zu zyklischen kubischen Körpern, Thue-Gleichungen und der Struktur von Idealgruppen.
Verbindung zu Thue-Gleichungen: Die Arbeit steht im Kontext der Lösung von Thue-Gleichungen $F_m(x,y) = \lambda$ , da die Existenz von Körpern mit gleicher Diskriminante (Koinzidenz $L_m = L_n$ ) direkt mit nicht-trivialen Lösungen dieser Gleichungen verknüpft ist (siehe Theorem 1.8 und 1.9).

Zusammenfassend stellt dieses Paper einen umfassenden, computergestützten Beweis für die Verteilung kleiner Klassenzahlen in der Familie der einfachsten kubischen Körper dar und schließt Lücken in der bisherigen Literatur.