Local average in the Hyperbolic sphere problem

Technische Samenvatting: Lokale Gemiddelde in het Hyperbolische Sfeerprobleem

Probleemstelling
Het artikel behandelt het hyperbolische roosterpunt-telprobleem voor de Picard-groep $\Gamma = \text{PSL}_2(\mathbb{Z}[i])$ die werkt op de driedimensionale hyperbolische ruimte $\mathbb{H}^3$. Het centrale object van studie is de telfunctie $N(X, z)$, die het aantal rooster-translaties $\gamma z$ telt binnen een hyperbolische bal met straal $\cosh^{-1} X$ gecentreerd rond $z$.

De klassieke puntvoorwaardelijke asymptotiek wordt gegeven door $N(X, z) = c_\Gamma X^2 + O(X^{3/2})$. Terwijl de hoofdbeterm $c_\Gamma X^2$ goed begrepen is, is de exponent $3/2$ in de foutterm niet verbeterd voor enig punt $z$ of voor groepen andere dan de Picard-groep. De auteurs onderzoeken of het middelen van de telfunctie over een lokale regio (via een gladde testfunctie) een kleinere foutexponent kan opleveren, onder de voorwaarde van specifieke spectrale hypothesen.

Methodologie
De auteurs maken gebruik van de spectrale theorie van automorfe vormen om het lokale gemiddelde van de telfunctie te analyseren. De methodologie verloopt via de volgende stappen:

1. Spectrale Expansie: De telfunctie wordt uitgedrukt via de Selberg-transformatie van de indicatorfunctie van een bal. Dit leidt tot een spectrale expansie waarbij gebruik wordt gemaakt van de eigenfuncties $u_j$ van de hyperbolische Laplaciaan en de Eisenstein-reeksen.
2. Lokale Middeling: Om de afhankelijkheid van de specifieke eigenfuncties $|u_j(z)|^2$ te elimineren, integreren de auteurs de expansie tegen een gladde, compact ondersteunde testfunctie $f$ op de quotient-variëteit $\Gamma \backslash \mathbb{H}^3$.
3. Toepassing van Hypothesen: Het bewijs steunt op twee voorwaardelijke hypothesen met betrekking tot de spectrale eigenschappen van $\Gamma$:
   • Hypothese QV (Quantum Variance): Een grens aan de variantie van de spectrale maten $d\mu_j(z) = |u_j(z)|^2 d\mu(z)$ tegen de uniforme maat. Specifiek wordt een grens van de orde $T^{q+\epsilon}$ aangenomen voor de som van gekwadrateerde afwijkingen van spectrale integralen tot hoogte $T$.
   • Hypothese STX (Spectral Exponential Sum): Een grens op de exponentiële som $S(T, X) = \sum_{0 < r_j \le T} X^{ir_j}$, waarbij $r_j$ de spectrale parameters zijn. Deze som staat centraal in de Prime Geodesic Theorem.
4. Benadering en Afvlakking: Om de discontinuïteit van de indicatorfunctie te behandelen, construeren de auteurs gladde benaderingen $k_\pm$ van bovenaf en onderaf met behulp van hyperbolische convolutie. Dit maakt de toepassing van de spectrale expansie met betere vervaleigenschappen in de Selberg-transformatie mogelijk.
5. Foutbalancering: De uiteindelijke foutterm wordt afgeleid door de bijdragen van de quantum variance grens (die afhangt van de afvlakingsparameter $\eta$) en de spectrale exponentiële som grens (die afhangt van de afkapparameter $T$) te balanceren.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1.1, die een asymptotische formule vaststelt voor het lokale gemiddelde van de telfunctie:
$$\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)$$
waarbij $\bar{f}$ de gemiddelde waarde van $f$ is, $q \in [1, 3]$ de exponent is in Hypothese QV, en $\theta \in [0, 1/4]$ gerelateerd is aan de subconvexiteitsexponent in Hypothese STX.

• Verbetering ten opzien van Puntvoorwaardelijke Grenzen: Het artikel toont aan dat onder deze hypothesen de foutexponent in het lokale gemiddelde strikt kleiner kan zijn dan de puntvoorwaardelijke grens van $3/2$.
• Specifieke Exponenten:
  • Indien Hypothese QV geldt met $q=1$ (de geconjectureerde optimale waarde) en Hypothese STX de sterkste bekende schatting inhoudt ($\theta=0$), dan is de foutterm $O(X^{6/5+\epsilon})$.
  • Gebruikmakend van de convexiteitsgrens voor STX ($\theta=1/4$) en $q \le 5/3$, is de fout $O(X^{5/4+\epsilon})$.
• Vergelijking met Dimensie 2: De auteurs merken op dat in het tweedimensionale geval (modulaire groep), de quantum variance grens een stelling is (Luo en Sarnak), en de spectrale exponentiële som uitgebreid is bestudeerd. In drie dimensies blijft de quantum variance grens een conjectuur, hoewel de spectrale som is geanalyseerd in de context van de Prime Geodesic Theorem.

Betekenis en Claims
Het artikel beweert een rigoureus kader te bieden voor het verbeteren van de foutterm in het hyperbolische sfeerprobleem via lokale middeling, afhankelijk van gevestigde maar onbewezen spectrale conjecturen.

• Voorwaardelijk Karakter: De auteurs verklaren expliciet dat hun verbetering voorwaardelijk is. Zij beweren niet de quantum variance grens voor de Picard-groep te bewijzen, maar tonen aan dat indien deze geldt (samen met de spectrale som grens), de foutterm aanzienlijk verbetert.
• Optimaliteit: Het artikel suggereert dat indien Hypothese STX geldt met exponenten $(2, 0)$ en Hypothese QV geldt met $q=1$, de resulterende foutterm optimaal zou zijn, analoog aan de bekende resultaten in het tweedimensionale geval.
• Ondergrenzen: De auteurs erkennen bestaande ondergrenzen (Phillips en Rudnick) die suggereren dat de restant niet kleiner kan zijn dan $\Omega(X^{(n-1)/2} (\log \log X)^{(n-1)/2n - \epsilon})$. Voor $n=3$ is dit ongeveer $X^1$. De resultaten van de auteurs benaderen deze ondergrens onder de sterkste aannames, wat suggereert dat het lokale gemiddelde de "ware" orde van grootte van de fout beter vangt dan het puntvoorwaardelijke geval.

Het werk dient als een brug tussen de spectrale theorie van automorfe vormen in drie dimensies en het geometrische probleem van roosterpunt-telling, waarbij de specifieke rol van quantum variance en spectrale exponentiële sommen bij het beheersen van de restantterm wordt benadrukt.