$\alpha$-monogeneity of pure number fields: criterion and density

Technisches Resümee: $\alpha$-Monogenität reiner Zahlkörper

Problemstellung
Die vorliegende Arbeit untersucht die Bedingung, unter der die natürliche Ordnung $\mathbb{Z}[\alpha]$ die maximale Ordnung (den vollen Ring der Invarianten $\mathcal{O}_K$) für einen reinen Zahlenkörper $K = \mathbb{Q}(\alpha)$ darstellt, wobei $\alpha$ eine Wurzel des irreduziblen Polynoms $X^n - m$ mit $n \ge 2$ und $m \in \mathbb{Z} \setminus \{0\}$ ist. Diese Eigenschaft wird als $\alpha$-Monogenität bezeichnet. Die Autoren unterscheiden dies von der allgemeinen Feldmonogenität (bei der $\mathcal{O}_K = \mathbb{Z}[\theta]$ für irgendein $\theta$ gilt), wobei sie darauf hinweisen, dass $\alpha$-Monogenität zwar Feldmonogenität impliziert, die Umkehrung jedoch für den spezifischen Erzeuger $\alpha$ nicht notwendigerweise gilt. Das primäre Ziel besteht darin, ein präzises Kriterium für die $\alpha$-Monogenität zu etablieren und die natürliche Dichte der Parameter $m$ zu berechnen, die diese Bedingung innerhalb der Familie der reinen Körper des Grades $n$ erfüllen.

Methodik
Die Autoren verwenden eine Kombination aus algebraischer Zahlentheorie und analytischer Zahlentheorie:

1. Lokale Kriterien mittels Dedekinds Indizsatz: Das zentrale algebraische Werkzeug ist das Dedekindsche Indizkriterium, welches bestimmt, wann eine Primzahl $p$ das Indiz $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$ teilt. Die Autoren wenden dies auf das spezifische Polynom $f(X) = X^n - m$ an.
2. Diskriminant-Indiz-Identität: Sie nutzen die Identität $\text{disc}(f) = [\mathcal{O}_K : \mathbb{Z}[\alpha]]^2 \text{disc}(\mathcal{O}_K)$, um die möglichen Primteiler des Indizes auf die Menge der Primzahlen zu lokalisieren, die $mn$ teilen.
3. Valuationsanalyse: Durch elementare Lemmata unter Verwendung von $p$-adischen Valuationen ($\nu_p$) reduzieren die Autoren die Bedingung für die Teilbarkeit des Indizes bei Primzahlen $p|n$ auf das Verhalten des Ausdrucks $m^{p} - m$ (speziell $\nu_p(m^p - m)$).
4. Dichteberechnungen: Die analytische Komponente umfasst die Berechnung der natürlichen Dichte von Integern $m$, welche die abgeleiteten lokalen Bedingungen erfüllen. Dies nutzt die Möbius-Funktion für das Zählen von quadratfreien Zahlen, den Chinesischen Residuensatz zur Kombination lokaler Beschränkungen sowie das Inklusions-Exklusions-Prinzip über die Primzahlen, die $n$ teilen. Die Autoren verfeinern diese Ergebnisse zudem auf arithmetische Progressionen und übertragen Parameterzählungen auf diskriminantengeordnete Feldzählungen.

Wesentliche Beiträge und Ergebnisse

1. Notwendiges und hinreichendes Kriterium (Theorem 1.2 & 2.7):
   Die Arbeit liefert einen kurzen, in sich geschlossenen Beweis dafür, dass $\mathbb{Z}[\alpha] = \mathcal{O}_K$ genau dann gilt, wenn:

   • $m$ quadratfrei ist.
   • Für jede Primzahl $p$, die $n$ teilt, $\nu_p(m^p - m) = 1$ gilt.

   Dieses Resultat spezialisiert Smiths relatives Kriterium für Radikalerweiterungen auf die reine Familie $X^n - m$. Die Autoren identifizieren explizit den Primträger des Indizes $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$ als:
   $$\{p : \nu_p(m) \ge 2\} \cup \{p \mid n : \nu_p(m^p - m) \ge 2\}$$

2. Natürliche Dichte $\alpha$-monogener Parameter (Theorem 1.1 & 3.6):
   Die Autoren berechnen die natürliche Dichte $\delta_n$ der Parameter $m$, für die $\mathbb{Z}[\alpha]$ maximal ist. Für die Menge $M_n^+(T) = \{1 \le m \le T : X^n - m \text{ irreduzibel}, \mathbb{Z}[\alpha] = \mathcal{O}_K\}$ lautet die asymptotische Zählung:
   $$M_n^+(X) = \delta_n X + O_n(X^{1/2})$$
   wobei die Dichte gegeben ist durch:
   $$\delta_n = \frac{6}{\pi^2} \prod_{p \mid n} \frac{p}{p+1}$$
   Bezogen auf die Menge der quadratfreien positiven Integern ist die Dichte $\prod_{p \mid n} \frac{p}{p+1}$.

3. Verfeinerung auf arithmetische Progressionen (Korollar 3.10):
   Die Arbeit erweitert das Dichteresultat auf arithmetische Progressionen $m \equiv a \pmod q$. Sie liefert explizite lokale Faktoren $\lambda_p(q, a)$, welche die Dichte basierend auf der $p$-adischen Valuation des Modulus $q$ und der Residuenklasse $a$ anpassen. Dies ermöglicht die Identifizierung von Progressionen, in denen lokale Hindernisse automatisch erfüllt sind (Korollar 3.12).

4. Unabhängigkeit lokaler Hindernisse (Proposition 3.15):
   Die Autoren zeigen, dass die lokalen Hindernis-Mengen bei verschiedenen Primzahlen, die $n$ teilen, relativ zur Menge der quadratfreien Integern statistisch unabhängig sind. Die Dichte der Parameter, die spezifische lokale Bedingungen für eine Teilmenge von Primzahlen $T \subseteq \{p : p \mid n\}$ verfehlen, ist das Produkt der einzelnen lokalen Versagensdichten.

5. Diskriminantengeordnete Feldzählungen (Theorem 1.4 & 3.13):
   Durch die Nutzung der Tatsache, dass $\mathbb{Z}[\alpha] = \mathcal{O}_K$ impliziert, dass die Felddiskriminante gleich der Polynomdiskriminante ist, konvertieren die Autoren Parameterzählungen in Zählungen von Isomorphieklassen von Körpern, geordnet nach der Diskriminante $Y$:
   $$N_n(Y) \sim \begin{cases} \delta_n X & \text{falls } n \text{ ungerade ist} \\ 2\delta_n X & \text{falls } n \text{ gerade ist} \end{cases}$$
   wobei $X = (Y/n^n)^{1/(n-1)}$.

6. Vergleich mit Feldmonogenität (Korollar 1.3):
   Die Arbeit klärt die Beziehung zwischen $\alpha$-Monogenität und allgemeiner Feldmonogenität. Für $n=2$ unterscheiden sich die Bedingungen signifikant (z. B. $m \not\equiv 1 \pmod 4$). Für $n \ge 3$ ist die Menge der quadratfreien Parameter, bei denen der Körper monogen, aber $\mathbb{Z}[\alpha] \neq \mathcal{O}_K$ ist, innerhalb der quadratfreien Integern von relativer Dichte Null. Somit stellt die Dichte $\delta_n$ für $n \ge 3$ effektiv die Dichte der monogenen reinen Körper des Grades $n$ dar.

Bedeutung und Behauptungen
Die Autoren behaupten, dass ihre Arbeit einen „kurzen Beweis“ für die Äquivalenz der reinen Familie bietet, indem sie lediglich Dedekinds Indizkriterium verwendet und komplexere Maschinerien, wie sie in breiteren Kontexten vorkommen, vermeidet. Die primäre Bedeutung liegt in der Bereitstellung einer exakten Dichtetheorie für die einparametrige Familie $X^n - m$. Im Gegensatz zu früheren Arbeiten, die sich auf spezifische Grade konzentrierten oder relative Kriterien für allgemeine Radikalerweiterungen verwendeten, liefert diese Arbeit ein vollständiges lokal-globales Kriterium und eine präzise Dichteformel, die nur vom Radikal von $n$ abhängt.

Die Autoren merken bescheiden an, dass ihre Ergebnisse zwar spezifisch für die reine Familie sind, sie jedoch die Frage der $\alpha$-Monogenität für diese Klasse vollständig lösen. Darüber hinaus stellen sie durch den Nachweis, dass die „Ausnahmefälle“ (in denen der Körper monogen, aber nicht über $\alpha$ ist) für $n \ge 3$ eine Dichte von Null haben, fest, dass ihre Dichte $\delta_n$ die absolute positive Parameterdichte für echte Feldmonogenität in der reinen Familie für Grade $n \ge 3$ darstellt. Die Arbeit trägt auch zum Verständnis lokaler Hindernismuster bei, indem sie zeigt, dass diese unabhängig sind, und bietet Werkzeuge zur Konstruktion arithmetischer Progressionen, in denen Monogenität garantiert ist.