Universelle quadratische Formen und Dedekind-Zeta-Funktionen

Grundinformationen

• Papier-ID: 2311.12911
• Titel: Universal quadratic forms and Dedekind zeta functions
• Autoren: Vítězslav Kala, Mentzelos Melistas
• Klassifikation: math.NT (Zahlentheorie)
• Veröffentlichungsdatum: 21. November 2023
• Papierlink: https://arxiv.org/abs/2311.12911
• Förderung: Tschechische Wissenschaftsstiftung (GAČR) Zuschuss 21-00420M

Zusammenfassung

Dieses Papier untersucht universelle quadratische Formen (universal quadratic forms) über vollständig reellen Zahlkörpern mittels Dedekind-Zeta-Funktionen. Insbesondere wird unter der Annahme, dass die Kodifferente durch vollständig positive Elemente erzeugt wird, eine explizite obere Schranke für den Rang universeller quadratischer Formen über einem gegebenen Zahlkörper K bewiesen. Um diese Annahme zu entfernen, untersuchen die Autoren auch die Anzahl der minimalen Erzeuger des positiven Teils von Idealen in vollständig reellen Zahlkörpern.

Forschungshintergrund und Motivation

Forschungsfragen

Universelle quadratische Formen sind positiv definite quadratische Formen, die alle natürlichen Zahlen darstellen können. Die Kernfrage dieser Arbeit ist: Wie viele Variablen (d.h. welche untere Schranke für den Rang) benötigt man mindestens für universelle quadratische Formen über einem vollständig reellen Zahlkörper K?

Bedeutung des Problems

1. Lange Geschichte: Die Forschung zu universellen quadratischen Formen bezieht sich auf Arbeiten von Diophantus, Fermat, Euler, Gauß und anderen. Moderne wichtige Ergebnisse umfassen das Conway-Schneeberger-Theorem (15-Theorem) und das 290-Theorem von Bhargava-Hanke.
2. Natürliche Verallgemeinerung: Die Verallgemeinerung vom Ring der ganzen Zahlen ℤ zum Ring der ganzen Zahlen O_K eines vollständig reellen Zahlkörpers K ist ein natürliches zahlentheoretisches Problem.
3. Bekannte Ergebnisse:
   • Maaß (1941): Drei Quadratsummen sind über Q(√5) universell
   • Siegel (1945): Wenn beliebig viele Quadratsummen über K universell sind, dann K = Q oder Q(√5)
   • Hsia-Kitaoka-Kneser: Über jedem Zahlkörper existieren universelle quadratische Formen
   • Blomer-Kala: Für jede positive Zahl N existiert ein reeller quadratischer Körper, sodass jede universelle quadratische Form mindestens Rang N hat

Grenzen bestehender Methoden

Obwohl bekannt ist, dass universelle quadratische Formen existieren, bleibt es ein offenes und schwieriges Problem, die minimale Anzahl von Variablen zu finden, die für universelle quadratische Formen über einem gegebenen Zahlkörper erforderlich sind. Bestehende Methoden ermangeln einer präzisen Charakterisierung für spezifische Zahlkörper.

Forschungsmotivation

1. Dedekind-Zeta-Funktionen nutzen, um präzisere Informationen über den Rang universeller quadratischer Formen zu extrahieren
2. Techniken von Yatsyna und Kala-Yatsyna verallgemeinern
3. Möglichkeiten erkunden, die technische Annahme „Kodifferente wird durch vollständig positive Elemente erzeugt" zu entfernen

Kernbeiträge

1. Theorem 1.1 (Hauptergebnis): Unter der Annahme, dass die Kodifferente O^∨_K durch ein vollständig positives Element δ erzeugt wird, wird eine explizite untere Schranke für den Rang R universeller quadratischer Formen gegeben, die von der Diskriminante Δ_K und dem Grad d abhängt.
2. Theorem 1.2 (Endlichkeitsergebnis): Für einen gegebenen Grad d und Rang R gibt es nur endlich viele vollständig reelle Zahlkörper (deren Kodifferente durch vollständig positive Elemente erzeugt wird), über denen universelle quadratische Formen vom Rang R existieren. Dies verallgemeinert Yatsyna's Theorem 4.
3. Theorem 2.4 (Lifting-Problem): Für Zahlkörper vom Grad d ≤ 43, wenn O^∨_K ein Hauptideal ist und bestimmte Bedingungen erfüllt, wird eine explizite obere Schranke für die Diskriminante gegeben.
4. Forschung zu Idealerzeugern des positiven Teils:
   • Definition von κ(I) und κ(K) zur Charakterisierung der minimalen Anzahl von Erzeugern des positiven Teils von Idealen
   • Beweis der Endlichkeit von κ(K) (Theorem 3.6)
   • Explizite Schranken für reelle quadratische Körper in Bezug auf Kettenbrüche (Proposition 3.9)

Methodische Details

Aufgabendefinition

Eingabe: Vollständig reeller Zahlkörper K, Grad d, Diskriminante Δ_K, Rang R einer universellen quadratischen Form Q Ausgabe: Untere Schranke, die R erfüllen muss Nebenbedingungen: Die Kodifferente von K ist O^∨_K = (δ), wobei δ vollständig positiv ist

Kernmethodisches Rahmenwerk

1. Anwendung der Siegel-Formel

Die Siegel-Formel (Theorem 2.2) stellt eine Verbindung zwischen speziellen Werten der Dedekind-Zeta-Funktion und arithmetischen Größen her:

$\zeta_K(-1) = 2^d \sum_{\ell=1}^{r_d} b_\ell(2d) s_\ell^K(2)$

wobei:

• $r_d = \lfloor d/6 \rfloor$ (wenn d ≡ 1 mod 6) oder $\lfloor d/6 \rfloor + 1$ (sonst)
• $s_\ell^K(2) = \sum_{\gamma \in O^{\vee,+}_K, \text{Tr}(\gamma)=\ell} \sigma((\gamma)(O^{\vee}_K)^{-1})$
• $b_\ell(2d)$ sind rationale Zahlen, die nur von d abhängen

2. Funktionalgleichung

Verwendung der Funktionalgleichung der Dedekind-Zeta-Funktion: $\zeta_K(-1) = (-1)^d |\Delta_K|^{3/2} \left(\frac{1}{4\pi}\right)^d \zeta_K(2)$

3. Zählung kurzer Vektoren

Verwendung des Regev-Stephens-Davidowitz-Theorems (Theorem 2.1): Für ein positiv definites ℤ-Gitter L vom Rang R ist die Anzahl der Vektoren mit Norm ≤ i beschränkt durch: $N_{\leq i}(L) \leq C(R,i) = 2\binom{R+4i-1}{4i-1} - 1$

4. Schlüssellemma (Lemma 2.3)

Unter der Annahme O^∨_K = (δ) gilt für γ ∈ O^∨,+_K mit Tr(γ) = ℓ: $\sigma((\gamma)(O^{\vee}_K)^{-1}) \leq g(\ell, \Delta_K)$

wobei $g(\ell, \Delta_K)$ Robins Schranken für die Teilerfunktion beinhaltet.

Beweisstruktur (Theorem 1.1)

1. Konstruktion eines ℤ-Gitters: Gegeben eine Ganzheitsbasis ω_1,...,ω_d von O_K, wird eine quadratische Form vom Rang Rd konstruiert: $q(x_{11},...,x_{Rd}) = \text{Tr}(\delta Q(x_{11}\omega_1 + \cdots + x_{Rd}\omega_d))$
2. Schätzung kurzer Vektoren:
   • Durch Universalität stellt q alle Elemente in O^∨,+_K mit Spur ≤ r_d dar
   • Anwendung von Theorem 2.1 ergibt obere Schranke für die Anzahl kurzer Vektoren
3. Aufbau einer Ungleichungskette: $C(Rd, r_d) \geq \#\{\gamma \in O^{+,\vee}_K : \text{Tr}(\gamma) \leq r_d\}$
4. Verwendung der Siegel-Formel: Durch Lemma 2.3 und die Siegel-Formel wird die rechte Seite mit ζ_K(-1) verbunden
5. Anwendung der Funktionalgleichung: Schließlich erhält man eine explizite Ungleichung, die die Diskriminante und ζ_K(2) beinhaltet

Technische Innovationen

1. Verallgemeinerung der Kala-Yatsyna-Technik: Die Beweistechnik aus 9, Theorem 5.1 wird auf allgemeinere Situationen verallgemeinert
2. Verfeinerte Analyse kurzer Vektoren: Geschickte Kombination von Vektorenzählung in der Gittertheorie mit Arithmetik von Zahlkörpern
3. Systematische Untersuchung des positiven Teils von Idealen:
   • Einführung des Konzepts der I-unzerlegbaren Elemente (I-indecomposables)
   • Definition von κ(I) und κ(K) zur Quantifizierung der Erzeugerzahl
   • Verwendung der engen Klassengruppe zum Beweis der Endlichkeit
4. Kettenbruchmethode: Für reelle quadratische Körper werden explizite Schranken für κ(I) mittels Kettenbruchentwicklung gegeben (Proposition 3.9)

Experimentelle Einrichtung

Datensätze

Dieses Papier ist eine rein theoretische mathematische Arbeit und beinhaltet keine Experimente und Datensätze im traditionellen Sinne.

Mathematische Verifikation

Das Papier enthält konkrete Beispiele:

• Beispiel 3.7: Q(√2) hat enge Klassenzahl 1, daher κ(Q(√2)) = 1
• Beispiel 3.10: Detaillierte Berechnung zeigt κ(Q(√3)) = 2

Mathematische Werkzeuge

• LMFDB-Datenbank: Zur Abfrage grundlegender Invarianten von Zahlkörpern (Klassenzahl, Fundamentaleinheit usw.)
• Kettenbruchentwicklung: Für Berechnungen in reellen quadratischen Körpern

Experimentelle Ergebnisse

Haupttheoretische Ergebnisse

Explizite Ungleichung aus Theorem 1.1

Für universelle quadratische Formen vom Rang R: $2\binom{Rd + 4r_d - 1}{4r_d - 1} - 1 > \frac{G(\Delta_K)}{B(d)2^d} |\Delta_K|^{3/2} \left(\frac{1}{4\pi}\right)^d$

wobei:

• $G(\Delta_K) = \min\{1/g(\ell, \Delta_K) : \ell \leq r_d\}$
• $B(d)$ die Koeffizienten $b_\ell(2d)$ aus der Siegel-Formel beinhaltet

Bedeutung: Die rechte Seite wächst mit |Δ_K|, daher muss der erforderliche Rang R mit größerer Diskriminante zunehmen.

Endlichkeit aus Theorem 1.2

Für feste d und R gibt es nur endlich viele Zahlkörper, die die Bedingungen erfüllen.

Beweisidee:

• Nach Theorem 1.1 ist die Diskriminante beschränkt
• Anwendung des Hermite-Minkowski-Theorems: Für gegebenen Grad und obere Diskriminantenschranke existieren nur endlich viele Zahlkörper

Diskriminantenschranke aus Theorem 2.4

Für d ≤ 43 und unter bestimmten Bedingungen, wenn eine universelle ℤ-Form existiert: $|\Delta_K| < |b_{r_d}(2d)(4\pi^2)^{dd}|^{2/3}$

Ergebnisse zu Idealerzeugern des positiven Teils

Proposition 3.5 und Theorem 3.6

• κ(I) ist für jedes Ideal I endlich
• κ(K) = max_I κ(I) ist endlich (unter Verwendung der Endlichkeit der engen Klassengruppe)

Proposition 3.9 (Reelle quadratische Körper)

Für K = Q(√D) mit Kettenbruchentwicklung ξ_D = u_0, u_1,..., u_s gilt: