[論文レビュー] $PGT$ on $PSL(2,\mathbb{Z})$. A short proof

Muharem Avdispahić|arXiv (Cornell University)|Mar 1, 2017

Analytic Number Theory Research参考文献 10被引用数 6

ひとこと要約

この論文は、Iwaniecの明示公式とGallagherの補題を用いて、モジュラー曲面 $PSL(2,\mathbb{Z})$ における素数閉じじゅつ線定理の改良された誤差項の上限について、簡潔な証明を提供する。誤差項は、有限の対数的測度を持つ集合を除き、$O\left(x^{2/3}("logackslash ext{log}ackslash x)^{1/3+\varepsilon}\right)$ であることが示され、従来の未条件付きの境界を改善し、一般化された Lindelöf 予想の予測と整合的である。

ABSTRACT

Taking the Iwaniec explicit formula as a starting point, we give a short proof of a more precise $\frac{2}{3}$ bound for the exponent in the error term of the Gallagher-type prime geodesic theorem for the modular surface.

研究の動機と目的

• 既存の未条件付き境界を超えて、モジュラー曲面 $PSL(2,\mathbb{Z})$ における素数閉じじゅつ線定理の誤差項を精緻化すること。
• 解析的整数論の技法を用いて、誤差項における $\frac{2}{3}$ の指数について、簡潔な証明を提供すること。
• 誤差項 $O\left(x^{2/3}(\log\log x)^{1/3+\varepsilon}\right)$ が、有限の対数的測度を持つ集合を除き成り立つことを示すこと。
• Selberg zeta 関数の文脈において、一般化された Lindelöf 予想の予測と未条件付き結果の間のギャップを埋めること。

提案手法

• Selberg zeta 関数 $Z_\Gamma(s)$ の非自明な零点 $\rho = \frac{1}{2} + i\gamma$ を用いて、Chebyshev 関数 $\psi_\Gamma(x)$ を明示公式で表現する。
• パrameter $\theta = \frac{1}{4\pi}$ を用いて Gallagher の補題を適用し、零点上の指数和の $L^2$ ノルムを制御し、問題を零点の短い区間の和に変換する。
• Weyl の法則を用いて、和 $\sum_{t < |\rho| \leq t+1} \frac{1}{|\rho|}$ を $O(1)$ で上から抑えることで、$t$ に関する積分に対して $O(T)$ の境界が得られる。
• 変数変換 $x = e^n e^{2\pi(u + \frac{1}{4\pi})}$ を行い、零点上の和の $L^2$ ノルムを $u \in [-\frac{1}{4\pi}, \frac{1}{4\pi}]$ における積分に結びつける。
• $L^2$ 評価と測度論的議論を組み合わせ、例外的 $x$ 値の集合 $A_n$ を定義し、その対数的測度が可 summable であることを示し、$A = \bigcup A_n$ が有限の対数的測度を持つことを示す。
• パrameter $T \approx \frac{x^{1/3}\log x}{(\log\log x)^{1/3+\varepsilon}}$ を最適化して誤差項を最小化し、最終的な境界を得る。

実験結果

リサーチクエスチョン

• RQ1 モジュラー曲面 $PSL(2,\mathbb{Z})$ における素数閉じじゅつ線定理の誤差項は、$\frac{25}{36}+\varepsilon$ の境界を超えて、未条件付きで改善可能だろうか？
• RQ2 既知の明示公式と調和解析を用いて、$\frac{2}{3}+\varepsilon$ の指数を示す短く、自己完結的な証明が存在するだろうか？
• RQ3 Gallagher の補題は、Selberg zeta 関数の文脈において、零点上の指数和を制御するためにどの程度適応可能だろうか？
• RQ4 対数的測度が有限である集合を除き、$x^{2/3}$ の境界が達成可能であり、一般化された Lindelöf 予想と整合的だろうか？

主な発見

• 論文は、$A$ が有限の対数的測度を持つ集合であるとき、$x \notin A$ に対して誤差項 $\psi_\Gamma(x) = x + O\left(x^{2/3}\log x (\log\log x)^{1/3+\varepsilon}\right)$ を確立した。
• $\pi_\Gamma(x) - \int_0^x \frac{dt}{\log t}$ に対する境界 $O\left(x^{2/3}(\log\log x)^{1/3+\varepsilon}\right)$ が、有限の対数的測度を持つ集合 $A$ を除き成り立つことが達成された。
• パrameter $T \approx \frac{x^{1/3}\log x}{(\log\log x)^{1/3+\varepsilon}}$ の最適選択により、明示公式における誤差項が最小化された。
• 例外的集合 $A$ の対数的測度は有限であり、したがって境界は対数的密度の意味でほとんど至る所で成り立つ。
• この方法は重い道具を避け、Iwaniec の明示公式とGallagherの補題に依存することで、$\frac{2}{3}$ の指数に対する洗練された証明を提供した。