Discriminants and Large Pólya Groups in Septic Number Fields

Technische Zusammenfassung: Diskriminanten und große Pólya-Gruppen in septischen Zahlkörpern

Problemstellung
Die systematische Klassifizierung von Pólya-Feldern und das Verständnis der Größe von Pólya-Gruppen über Familien von Zahlkörpern hinweg bleiben zentrale Herausforderungen in der algebraischen Zahlentheorie. Während signifikante Fortschritte für Niedriggrad-Erweiterungen (quadratisch, kubisch, quartisch und sextisch) erzielt wurden, hat die Untersuchung zyklischer Felder des Grades 7 (septisch) nachgeholt. Insbesondere ist bisher keine unendliche Familie zyklischer septischer Felder in der Literatur erschienen, die eine vollständige und explizite Bestimmung ihrer Pólya-Gruppen zulässt. Darüber hinaus bleibt die Frage, wie groß die Pólya-Gruppen innerhalb solcher Familien werden können und ob man Blöcke aufeinanderfolgender Felder mit gleichzeitig großen Pólya-Gruppen konstruieren kann, für den Grad 7 weitgehend ungeklärt.

Methodik
Die Arbeit untersucht eine spezifische parametrische Familie zyklischer septischer Felder $\{K_t\}_{t \in \mathbb{Z}}$, die aus der Hashimoto–Hoshi-Konstruktion stammt und durch die Nullstellen des Polynoms definiert ist:
$$f_t(X) = X^7 + a_6(t)X^6 + \dots + a_0(t)$$
wobei die Koeffizienten Polynome in $t$ sind. Der Kern der Methodik umfasst:

1. Explizite Diskriminantenberechnung: Unter Verwendung des Rahmens von Spearman und Williams für zyklische Erweiterungen führt der Autor eine Tschirnhausen-Transformation durch, um den $X^6$-Term zu eliminieren, was zu einem transformierten Polynom $f^*_t(X)$ führt. Durch die Analyse der Teilbarkeitseigenschaften der Koeffizienten dieses transformierten Polynoms und unter Anwendung von Theorem 2.1 werden die Diskriminante $d(K_t)$ und der Leitwert $f(K_t)$ explizit berechnet.
2. Arithmetik eines sextischen Polynoms: Die Analyse zeigt, dass die Arithmetik der Pólya-Gruppen in dieser Familie vollständig durch die Primfaktorzerlegung eines einzelnen sextischen Polynoms gesteuert wird:
   $$E(t) = t^6 + 2t^5 + 11t^4 + t^3 + 16t^2 + 4t + 8$$
   Der Leitwert und die Diskriminante werden gezeigt, dadurch bestimmt zu werden, dass die Primteiler von $E(t)$, die kongruent zu $1 \pmod 7$ sind.
3. Potenzfreie Bedingungen: Die Studie setzt voraus, dass $E(t)$ fünftpotenzfreie Werte annimmt. Diese Bedingung wird durch Theorem 2.3 (Erdős) gerechtfertigt, das garantiert, dass es unendlich viele solcher ganzen Zahlen gibt, sowie durch Theorem 2.4, das asymptotische Dichtewergebnisse liefert.
4. Gruppentheoretische Analyse: Unter Verwendung von Chaberts Formel für die Kardinalität von Pólya-Gruppen in zyklischen Erweiterungen und Zantemas Charakterisierung ambiguer Idealklassen wird die Struktur der Pólya-Gruppe $Po(K_t)$ in Abhängigkeit von der Anzahl der distinkten Primteiler von $E(t)$, bezeichnet als $\omega(E(t))$, abgeleitet.
5. Konstruktive Beweise für aufeinanderfolgende Felder: Um die Existenz aufeinanderfolgender Felder mit großen Pólya-Gruppen zu adressieren, verwendet der Autor Schurs Lemma und den Chinesischen Restsatz, um Blöcke von ganzen Zahlen $t, t+1, \dots, t+m-1$ zu konstruieren, sodass die assoziierten Polynome $E(t+i)$ eine vorgegebene Anzahl an distinkten Primfaktoren besitzen.

Wesentliche Beiträge und Ergebnisse

• Explizite Charakterisierung von Pólya-Gruppen: Die Arbeit liefert eine vollständige Charakterisierung der Pólya-Gruppe für die Hashimoto–Hoshi-Familie. Unter der Annahme, dass $E(t)$ fünftpotenzfrei ist, ist die Pólya-Gruppe isomorph zu:

  • $(\mathbb{Z}/7\mathbb{Z})^{\omega(E(t))-2}$, falls $t$ gerade ist.
  • $(\mathbb{Z}/7\mathbb{Z})^{\omega(E(t))-1}$, falls $t$ ungerade ist.
    Folglich ist $K_t$ ein Pólya-Feld genau dann, wenn $\omega(E(t))$ gleich 2 (für gerades $t$) oder 1 (für ungerades $t$) ist.

• Unbeschränktheit von Pólya-Gruppen: Die Familie enthält unendlich viele Nicht-Pólya-Felder, für die die Kardinalität der Pólya-Gruppe unbeschränkt ist. Speziell ist der 7-Rang der Klassengruppen dieser Felder unbeschränkt. Dies wird dadurch etabliert, dass für einen positiven Anteil an Primzahlen $p$ der Wert $E(7p+2)$ fünftpotenzfrei ist, und durch Theorem 2.5 (Halberstam) gilt $\omega(E(7p+2)) \to \infty$.

• Aufeinanderfolgende große Pólya-Gruppen: Das Papier beweist, dass es für jede feste ganze Zahl $m \ge 2$ und $r > 1$ unendlich viele Blöcke von $m$ aufeinanderfolgenden Feldern in der Familie gibt, sodass der 7-Rang der Pólya-Gruppe für jedes Feld im Block mindestens $r$ beträgt. Dies wird durch die Konstruktion arithmetischer Progressionen erreicht, in denen die Werte der assoziierten Polynome gleichzeitig durch distinkte Mengen von Primzahlen teilbar sind.

• Monogenität und Feldindex: Das Papier zeigt, dass für jede ungerade ganze Zahl $t$, die teilerfremd zu 15 ist, das Feld $K_t$ nicht monogen ist. Jedoch ist der Feldindex $I(K_t)$ exakt 1. Dieses Ergebnis wird abgeleitet, indem gezeigt wird, dass die Diskriminante des definierenden Polynoms unter diesen Bedingungen nicht durch Primzahlen kleiner als der Grad (2, 3 oder 5) teilbar ist, während gleichzeitig Gras' Theorem angewendet wird, welches impliziert, dass ein zyklisches septisches Feld nicht monogen sein kann, außer wenn es der maximale reelle Teilkörper eines spezifischen zyklischen Körpers ist (was für den Grad 7 unmöglich ist).

Bedeutung und Behauptungen
Die primäre Bedeutung dieser Arbeit liegt darin, eine Lücke in der Literatur bezüglich zyklischer septischer Felder zu schließen. Sie liefert die erste unendliche Familie solcher Felder, in denen die Pólya-Gruppen explizit bestimmt und als beliebig groß nachgewiesen werden können.

• Theoretische Implikationen: Die Ergebnisse bieten einen alternativen Beweis für die Vermutung, dass der $m$-Rang der Klassengruppe eines Zahlkörpers des Grades $d$ unbeschränkt ist, wenn $m=d=7$.
• Bedingte Natur von Pólya-Feldern: Das Papier stellt fest, dass während es die Existenz unendlich vieler Nicht-Pólya-Felder mit großen Gruppen beweist, die Existenz unendlich vieler Pólya-Felder in dieser Familie bedingt ist. Dies beruht auf der Bunyakovsky-Vermutung, die postuliert, dass das irreduzible Polynom $E(t)$ unendlich oft Primwerte annimmt. Das Paper stellt explizit fest, dass der unbedingte Beweis der Unendlichkeit von Pólya-Feldern die Bunyakovsky-Vermutung für $E(t)$ klären würde, ein Problem, das für alle Polynome mit einem Grad größer als eins derzeit offen ist.
• Einschränkungen: Die Autoren zeigen sich bescheiden hinsichtlich der unbedingten Existenz von Pólya-Feldern in dieser Familie und räumen ein, dass die aktuellen Ergebnisse von der Annahme der Fünftpotenzfreiheit und, speziell für die Existenz von Pólya-Feldern, von der unbewiesenen Bunyakovsky-Vermutung abhängen. Das Paper schlägt keine neuen experimentellen Anwendungen vor, sondern erweitert das theoretische Verständnis der Struktur von Pólya-Gruppen in höhergradigen zyklischen Erweiterungen.