Liouville function, von Mangoldt function and norm forms at random binary forms

Technisches Resümee: Liouville-Funktion, von Mangoldt-Funktion und Normformen bei zufälligen binären Formen

Problemstellung
Diese Arbeit untersucht das durchschnittliche Verhalten arithmetischer Funktionen, die an den Werten zufälliger binärer Formen vom Grad $d$ ausgewertet werden. Sie behandelt drei miteinander verbundene Probleme:

1. Die Chowla-Vermutung: Die Analyse der Auslöschung der Liouville-Funktion $\lambda(n)$ über den Werten binärer Formen.
2. Die Bateman–Horn-Vermutung: Die Etablierung asymptotischer Formeln für die gleichzeitigen Primwertlagen von Tupeln binärer Formen unter Verwendung der von Mangoldt-Funktion $\Lambda(n)$.
3. Das Hasse-Prinzip: Die Bestimmung des Anteils von Châtelet-Varietäten, die durch Normformen definiert sind und das rationale Hasse-Prinzip erfüllen.

Während vorangegangene Arbeiten von Browning, Sofos und Teräväinen [5] analoge Ergebnisse für zufällige Polynome in einer Variablen etabliert haben, erweitert diese Arbeit den Rahmen auf binäre Formen in zwei Variablen. Die zentrale Herausforderung besteht darin, zu zeigen, dass „fast alle“ binären Formen (in einem kombinatorischen Sinne) das erwartete statistische Verhalten zeigen, das von diesen Vermutungen vorhergesagt wird, trotz der erhöhten Komplexität der zugrunde liegenden Geometrie und Arithmetik.

Methodik
Die Arbeit verwendet einen probabilistischen und analytischen zahlentheoretischen Ansatz, der auf dem Konzept der kombinatorischen Würfel basiert. Ein kombinatorischer Würfel $C$ ist definiert als eine Teilmenge von Koeffizientenvektoren $(c_0, \dots, c_d) \in \mathbb{Z}^{d+1}$, bei denen bestimmte Koeffizienten fixiert sind und andere innerhalb eines Bereichs $[-H, H]$ variieren. Das Ziel ist es zu zeigen, dass für eine Menge von Koeffizienten $C$ der Seitenlänge $H$ die „schlechten“ Formen (die die Vermutungen nicht erfüllen) einen vernachlässigbaren Anteil ausmachen, spezifisch $O((\log H)^{-A})$.

Das zentrale technische Instrumentarium umfasst:

• Äquidistribution in arithmetischen Progressionen: Die Arbeit generalisiert ein Schlüsselwerkzeug aus [5] (Theorem 2.1), welches die Äquidistribution einer arithmetischen Funktion in arithmetischen Progressionen mit ihrem durchschnittlichen Verhalten über zufällige Polynome verknüpft. Dies wird für binäre Formen adaptiert, indem Summen der Form $\sum F(am^k n^{d-k} + bm^l n^{d-l} + g(m,n))$ kontrolliert werden.
• Siebtheorie und lokalisierte Zählung: Für die Normform-Probleme führt der Autor eine lokalisierte Zählfunktion $\hat{N}_c(x)$ ein. Diese Funktion approximiert die globale Zählung ganzzahliger Lösungen von $N_K(x) = g_c(u)$, indem sie die Suche auf einen spezifischen Bereich $B$ einschränkt und lokale Dichten (Singularserien) sowie archimedische Dichten einbezieht.
• Approximation und Fehleranalyse: Die Beweisstrategie besteht darin zu zeigen, dass die globale Zählfunktion $N_c(x)$ für fast alle Koeffizienten gut durch $\hat{N}_c(x)$ approximiert wird. Dies erfordert die Begrenzung des Fehlerterms $|N_c(x) - \hat{N}_c(x)|$ und den Nachweis, dass die lokalisierte Funktion $\hat{N}_c(x)$ selten klein ist (d. h. groß genug ist, um die Existenz von Lösungen zu garantieren).
• Geometrische und algebraische Nebenbedingungen: Die Analyse unterscheidet zwischen „separablen“ Formen und solchen mit ganzzahligen Nullstellen oder hohem Gehalt (Content). Es werden Lemmata bereitgestellt, um zu zeigen, dass Formen, die diese „Admissibilitätsbedingungen“ nicht erfüllen, selten sind. Der Beweis nutzt zudem Eigenschaften der Dedekindschen Zetafunktion und lokaler Dichten über $p$-adischen Körpern.

Wesentliche Beiträge und Ergebnisse

1. Durchschnittliche Chowla-Vermutung für binäre Formen (Theorem 1.2):
   Die Arbeit beweist, dass für fast alle binären Formen $g \in \mathbb{Z}[s, t]$ des Grades $d$ mit Koeffizienten in einem kombinatorischen Würfel die Summe der Liouville-Funktion über die Werte der Form eine Auslöschung zeigt. Speziell gilt für $x \in [H^c, 2H^c]$:
   $$\sup_{x} \frac{1}{x^2} \left| \sum_{u,v \leq x} \lambda(g(u,v)) \right| \leq (\log H)^{-A}$$
   dies gilt für alle außer einem vernachlässigbaren Bruchteil der Formen.

2. Durchschnittliche Bateman–Horn-Vermutung für binäre Formen (Theorem 1.3):
   Der Autor etabliert eine asymptotische Formel für die Anzahl der simultanen Primwertlagen eines $r$-Tupels von binären Formen. Er zeigt, dass für fast alle $r$-Tupel die Summe von Produkten der von Mangoldt-Funktionen die Bedingung erfüllt:
   $$\sum_{m,n \leq x} \Lambda(g_1(m,n)) \cdots \Lambda(g_r(m,n)) \sim x^2 S_{g_1, \dots, g_r}(x)$$
   wobei $S$ das Produkt der lokalen Dichten ist. Dies gilt gleichmäßig für $x$ im spezifizierten Bereich.

3. Rationales Hasse-Prinzip für Châtelet-Varietäten (Theorem 1.5):
   Die Arbeit beweist, dass für eine feste Normform $N_K$ des Grades $e$ und eine variierende binäre Form $g$ des Grades $d$ (wobei $e|d$) die assoziierte Châtelet-Varietät $N_K(x) = g(u)$ für 100 % der Koeffizientenvektoren das rationale Hasse-Prinzip erfüllt.
   $$\frac{\#S_{glob}(H)}{\#S_{loc}(H)} = 1 + O((\log H)^{-A})$$
   Hierbei repräsentiert $S_{loc}(H)$ die überall lokal löslichen Formen und $S_{glob}(H)$ die Formen mit einem rationalen Punkt. Das Ergebnis impliziert, dass die Brauer–Manin-Obstruction für fast alle solche Varietäten die einzige Obstruction ist.

Bedeutung und Behauptungen
Die Arbeit behauptet, die „Durchschnittsmethodik“ von Browning, Sofos und Teräväinen [5] von univariaten Polynomen auf binäre Formen ausgeweitet zu haben, was angesichts der höheren Dimensionalität und der unterschiedlichen arithmetischen Eigenschaften binärer Formen ein bedeutender Schritt ist.

• Lösung der Colliot-Thélène-Vermutung (Durchschnittsfall): Die Arbeit liefert eine durchschnittliche Version einer Vermutung von Colliot-Thélène bezüglich des Hasse-Prinzips für Châtelet-Varietäten. Während frühere Ergebnisse spezifische Fälle abdeckten (z. B. lineare Polynome oder spezifische Grade), beweist diese Arbeit, dass das Prinzip für 100 % der betrachteten Normform-Gleichungen des spezifizierten Typs gilt, sofern der Grad der Norm den Grad der binären Form teilt.
• Quantitative Präzision: Die Ergebnisse sind quantitativ und liefern explizite Fehlerterme der Ordnung $(\log H)^{-A}$, was eine rigorose Definition von „fast allen“ im Kontext von höhengeordneten binären Formen ermöglicht.
• Methodische Weiterentwicklung: Die Arbeit führt eine verfeinerte lokalisierte Zählfunktion und eine detaillierte Analyse von archimedischen und nicht-archimedischen Dichten ein, um die Normform-Gleichungen zu behandeln, wodurch die mangelnde Homogenität der Châtelet-Varietät-Gleichungen überwunden wird.

Der Autor gibt explizit an, dass seine Ergebnisse das rationale Hasse-Prinzip für 100 % der betrachteten Normform-Gleichungen beweisen, was ein stärkeres Resultat als das zuvor in [5] etablierte integrale Hasse-Prinzip für Polynome ist, welches die rationale Situation aufgrund der Nicht-Homogenität nicht mit Wahrscheinlichkeit 1 garantieren konnte. Die Arbeit beansprucht nicht, die Vermutungen für jede einzelne Form zu lösen, sondern stellt deren Gültigkeit im statistischen Limes über den Raum der Koeffizienten fest.