Riesz Means of Quadratic Class Numbers

Technische Zusammenfassung: Riesz-Mittelwerte von quadratischen Klassenzahlen

Problemstellung
Die Arbeit befasst sich mit dem asymptotischen Verhalten gewichteter Riesz-Mittelwerte, die Hurwitz-Klassenzahlen $H(n)$ (assoziiert mit negativen Diskriminanten) und Spuren reeller quadratischer Klassenzahlen $Tr_d(1)$ (assoziiert mit positiven Diskriminanten) beinhalten. Während das Wachstum der Klassenzahlen für negative Diskriminanten im 20. Jahrhundert durch die Arbeiten von Heilbronn, Siegel und anderen gelöst wurde, bleiben die analogen Vermutungen für positive Diskriminanten offen. Die Autoren streben die Ableitung einer präzisen asymptotischen Formel für einen gewichteten Mittelwert dieser Größen an und adressieren dabei die Herausforderung, die durch die nicht-holomorphe Natur der erzeugenden Funktionen für positive Diskriminanten-Klassenzahlen entsteht.

Methodik
Die Autoren verwenden einen Rahmen, der die Theorie der Modulformen auf sesquiharmonische Maass-Formen erweitert. Die Methodologie verläuft durch die folgenden Schritte:

1. Definition von L-Funktionen für sesquiharmonische Formen:
   Das Paper führt L-Funktionen für sesquiharmonische Maass-Formen des Gewichts $1/2$ mit moderatem Wachstum ein. Im Gegensatz zu holomorphen Modulformen besitzen sesquiharmonische Formen Fourier-Entwicklungen, die drei distinkte Reihen enthalten: einen holomorphen Teil ($c(n)q^n$), einen nicht-holomorphen Teil unter Verwendung der unvollständigen Gammafunktion $\beta(y)$ ($b(n)\beta(-4nv)q^n$) und einen dritten nicht-holomorphen Teil unter Verwendung einer speziellen Funktion $\alpha(y)$ ($a(n)\alpha(4nv)q^n$).
   Die Autoren definieren eine vervollständigte Dirichlet-Reihe $\Lambda_N(F, s)$, die diese drei Komponenten unter Verwendung der speziellen Funktionen $W_{1/2}(s)$ und $Z(s)$ einbezieht, welche über Integrale der unvollständigen Gammafunktion und der Funktion $\alpha(y)$ definiert sind.

2. Analytische Eigenschaften der L-Funktionen:
   Die Autoren beweisen, dass $\Lambda_N(F, s)$ eine meromorphe Fortsetzung auf die gesamte komplexe Ebene besitzt. Sie etablieren eine Funktionalgleichung, die $\Lambda_N(F, s)$ mit $\Lambda_N(G, 1/2 - s)$ in Beziehung setzt, wobei $G$ das Bild von $F$ unter der Fricke-Involutions $W(N)$ ist. Die Pole der L-Funktion werden explizit in Abhängigkeit von den konstanten und logarithmischen Koeffizienten der Fourier-Entwicklung von $F$ und $G$ berechnet.

3. Ableitung einer Summenformel:
   Unter Verwendung der Perron-Formel und der Konturintegration leiten die Autoren eine allgemeine Summenformel für die Koeffizienten sesquiharmonischer Maass-Formen her. Diese Formel generalisiert vorangegangene Ergebnisse für Mock-Modular-Formen (von Beckwith, Diamantis, Gupta, Rolen und Thalagoda) sowie klassische Ergebnisse von Chandrasekharan und Narasimhan.
   Entscheidend ist, dass die Formel zusätzliche Terme enthält, die aus den zwei nicht-holomorphen erzeugenden Reihen ($\alpha$ und $\beta$) spezifisch für sesquiharmonische Formen resultieren. Diese Terme manifestieren sich als Integrale unter Verwendung von Bessel-Funktionen und hypergeometrischen Funktionen.

4. Anwendung auf quadratische Klassenzahlen:
   Die Autoren wenden diese allgemeine Summenformel auf eine spezifische sesquiharmonische Maass-Form $\hat{Z}(\tau)$ an, die von Duke, Imamoğlu und Tóth eingeführt wurde. Die Fourier-Koeffizienten dieser Form entsprechen den Hurwitz-Klassenzahlen $H(n)$ und den reellen quadratischen Spuren $Tr_d(1)$. Durch die Berechnung der Wirkung der Fricke-Involution auf $\hat{Z}(\tau)$ bestimmen sie die notwendigen Koeffizienten, um sie in die Summenformel einzusetzen.

Wesentliche Beiträge und Ergebnisse

• Theoretische Erweiterung: Das Paper erweitert erfolgreich die Theorie der L-Funktionen auf sesquiharmonische Maass-Formen des Gewichts $1/2$, eine Klasse von Funktionen, die zuvor nicht mit dieser spezifischen L-Funktions-Maschinerie behandelt wurden. Dies schließt den Beweis der Funktionalgleichung und die Bestimmung der Residuen ein.
• Generalisierte Summenformel (Theorem 4.1): Die Autoren liefern eine geschlossene Summenformel für die Riesz-Mittelwerte der Koeffizienten sesquiharmonischer Maass-Formen. Diese Formel berücksichtigt explizit die drei distinkten Komponenten der Fourier-Entwicklung, was zu einer komplexeren Struktur führt als bei holomorphen oder harmonischen Maass-Formen.
• Asymptotische Formel für Klassenzahlen (Theorem 1.2): Das Primärergebnis ist eine asymptotische Formel für einen gewichteten Riesz-Mittelwert von $Tr_n(1)$ und $H(n)$. Für $\rho > 3/2$ und jedes $\epsilon > 0$ etablieren die Autoren:
  $$\sum_{n \le x} \left(1 - \frac{n}{x}\right)^\rho \left( Tr_n(1) + H(n)\left(\frac{x}{n} - 1\right)^{1/2} \frac{2F_1(\dots)}{\sqrt{2n}(\rho + 1/2)} \right) = \frac{\pi x}{6\sqrt{2}(\rho+1)} + O(x^{1/2+\epsilon})$$
  wobei $2F_1$ die Gaußsche hypergeometrische Funktion ist.
• Numerische Verifizierung: Das Paper enthält ein numerisches Beispiel (Beispiel 1) für $\rho=2$, das die langsame Konvergenz der Summen gegen die vorhergesagte Konstante demonstriert, was konsistent mit dem theoretischen Fehlerterm ist.

Bedeutung
Das Paper beansprucht für sich, die Lücke zwischen der Theorie der harmonischen Maass-Formen und den komplexeren sesquiharmonischen Maass-Formen zu schließen. Durch die Erweiterung der L-Funktions-Methodik und der Summenformeln auf diese breitere Klasse stellen die Autoren ein Werkzeug zur Analyse des Wachstums reeller quadratischer Klassenzahlen bereit – ein Problem, das seit Gauss offen steht. Die Arbeit generalisiert rezente Ergebnisse zu Mock-Modular-Formen und bietet eine konkrete asymptotische Formel für einen gewichteten Mittelwert von Klassenzahlen, was zum Verständnis der Verteilung dieser arithmetischen Invarianten beiträgt. Die Autoren merken an, dass ihre Methode die Arbeit von Chandrasekharan und Narasimhan sowie das rezente Preprint [BDG+] erweitert und an die zusätzlichen nicht-holomorphen Terme anpasst, die für sesquiharmonische Formen inhärent sind.