Local average in the Hyperbolic sphere problem

Technische Zusammenfassung: Lokaler Durchschnitt im Problem der hyperbolischen Sphäre

Problemstellung
Die Arbeit befasst sich mit dem hyperbolischen Gitterpunktzählungsproblem für die Picard-Gruppe $\Gamma = \text{PSL}_2(\mathbb{Z}[i])$, die auf den dreidimensionalen hyperbolischen Raum $\mathbb{H}^3$ wirkt. Das zentrale Objekt der Untersuchung ist die Zählfunktion $N(X, z)$, welche die Anzahl der Gittertranslaten $\gamma z$ innerhalb einer hyperbolischen Kugel mit Radius $\cosh^{-1} X$ um das Zentrum $z$ zählt.

Die klassische punktweise Asymptotik ist gegeben durch $N(X, z) = c_\Gamma X^2 + O(X^{3/2})$. Während der Hauptterm $c_\Gamma X^2$ gut verstanden ist, wurde der Exponent $3/2$ im Fehlerterm für keinen Punkt $z$ und für keine anderen Gruppen als die Picard-Gruppe verbessert. Die Autoren untersuchen, ob das Mittelbild der Zählfunktion über eine lokale Region (mittels einer glatten Testfunktion) einen kleineren Fehler-Exponenten liefern kann, unter der Bedingung spezifischer spektraler Hypothesen.

Methodik
Die Autoren nutzen die Spektraltheorie automorpher Formen, um den lokalen Durchschnitt der Zählfunktion zu analysieren. Die Methodik vollzieht sich durch folgende Schritte:

1. Spektrale Expansion: Die Zählfunktion wird mittels der Selberg-Transformierten der Indikatorfunktion einer Kugel ausgedrückt. Dies führt zu einer spektralen Expansion, die die Eigenfunktionen $u_j$ des hyperbolischen Laplacians und die Eisenstein-Reihen involviert.
2. Lokale Mittelbildung: Um die Abhängigkeit von den spezifischen Eigenfunktionen $|u_j(z)|^2$ zu eliminieren, integrieren die Autoren die Expansion gegen eine glatte, kompakt unterstützte Testfunktion $f$ auf der Quotientenmannigfaltigkeit $\Gamma \backslash \mathbb{H}^3$.
3. Anwendung von Hypothesen: Der Beweis stützt sich auf zwei bedingte Hypothesen bezüglich der spektralen Eigenschaften von $\Gamma$:
   • Hypothese QV (Quantum Variance): Eine Schranke für die Varianz der Spektralmaße $d\mu_j(z) = |u_j(z)|^2 d\mu(z)$ gegenüber der Gleichverteilungsmass. Speziell wird eine Schranke der Ordnung $T^{q+\epsilon}$ für die Summe der quadrierten Abweichungen der Spektralintegrale bis zur Höhe $T$ angenommen.
   • Hypothese STX (Spectral Exponential Sum): Eine Schranke für die exponentielle Summe $S(T, X) = \sum_{0 < r_j \le T} X^{ir_j}$, wobei $r_j$ die spektralen Parameter sind. Diese Summe ist zentral für das Primgeodätische Theorem.
4. Approximation und Glättung: Um die Diskontinuität der Indikatorfunktion zu handhaben, konstruieren die Autoren glatte Approximationen $k_\pm$ von oben und unten mittels hyperbolischer Faltung. Dies ermöglicht die Anwendung der spektralen Expansion mit besseren Zerfallseigenschaften in der Selberg-Transformierten.
5. Fehler-Abwägung (Error Balancing): Der endgültige Fehlerterm wird durch die Abwägung der Beiträge der Quantum-Variance-Schranke (die vom Glättungsparameter $\eta$ abhängt) und der spektralen Exponentialsummen-Schranke (die vom Trunkierungsparameter $T$ abhängt) abgeleitet.

Wesentliche Beiträge und Ergebnisse
Das primäre Resultat ist Theorem 1.1, welches eine asymptotische Formel für den lokalen Durchschnitt der Zählfunktion etabliert:
$$\int_{\Gamma \backslash \mathbb{H}^3} N(X, z)f(z) d\mu(z) = \frac{\pi}{2} \bar{f} X^2 + O_{f, \epsilon, \theta, q} \left( X^{\frac{6-4\theta}{5-4\theta} + \epsilon} + X^{\frac{2q}{q+1} + \epsilon} \right)$$
wobei $\bar{f}$ der Durchschnittswert von $f$ ist, $q \in [1, 3]$ der Exponent in Hypothese QV ist und $\theta \in [0, 1/4]$ mit dem Subkonvexitäts-Exponenten in Hypothese STX zusammenhängt.

• Verbesserung gegenüber punktweisen Schranken: Die Arbeit zeigt, dass unter diesen Hypothesen der Fehler-Exponent im lokalen Durchschnitt strikt kleiner als die punktweise Schranke von $3/2$ sein kann.
• Spezifische Exponenten:
  • Falls Hypothese QV mit $q=1$ (dem vermuteten optimalen Wert) gilt und Hypothese STX mit der stärksten bekannten Abschätzung ($\theta=0$) gilt, ist der Fehlerterm $O(X^{6/5+\epsilon})$.
  • Unter Verwendung der Konvexitätsschranke für STX ($\theta=1/4$) und $q \le 5/3$, ist der Fehler $O(X^{5/4+\epsilon})$.
• Vergleich mit Dimension 2: Die Autoren merken an, dass im zweidimensionalen Fall (Modulargruppe) die Quantum-Variance-Schranke ein Theorem ist (Luo und Sarnak) und die spektrale Exponentialsumme intensiv untersucht wurde. In drei Dimensionen bleibt die Quantum-Variance-Schranke eine Vermutung, obwohl die spektrale Summe im Kontext des Primgeodätischen Theorems analysiert wurde.

Bedeutung und Behauptungen
Die Arbeit beansprucht, einen rigorosen Rahmen zur Verbesserung des Fehlerterms im hyperbolischen Sphärenproblem via lokaler Mittelbildung zu bieten, abhängig von etablierten, aber unbewiesenen spektralen Vermutungen.

• Bedingte Natur: Die Autoren betonen explizit, dass ihre Verbesserung bedingt ist. Sie behaupten nicht, die Quantum-Variance-Schranke für die Picard-Gruppe zu beweisen, sondern zeigen vielmehr, dass wenn diese gilt (zusammen mit der spektralen Summen-Schranke), sich der Fehlerterm signifikant verbessert.
• Optimalität: Die Arbeit legt nahe, dass wenn Hypothese STX mit den Exponenten $(2, 0)$ hält und Hypothese QV mit $q=1$ gilt, der resultierende Fehlerterm optimal wäre, analog zu den bekannten Ergebnissen im zweidimensionalen Fall.
• Untere Schranken: Die Autoren berücksichtigen bestehende untere Schranken (Phillips und Rudnick), die nahelegen, dass der Restterm nicht kleiner als $\Omega(X^{(n-1)/2} (\log \log X)^{(n-1)/2n - \epsilon})$ sein kann. Für $n=3$ ist dies etwa $X^1$. Die Ergebnisse der Autoren nähern sich dieser unteren Schranke unter den stärksten Annahmen an, was darauf hindeutet, dass der lokale Durchschnitt die "wahre" Größenordnung des Fehlers besser erfasst als der punktweise Fall.

Die Arbeit dient als Brücke zwischen der Spektraltheorie automorpher Formen in drei Dimensionen und dem geometrischen Problem der Gitterpunktzählung und hebt die spezifische Rolle der Quantum Variance und der spektralen Exponentialsummen bei der Kontrolle des Restterms hervor.