[論文レビュー] Prime geodesic theorem of Gallagher type

Muharem Avdispahić|arXiv (Cornell University)|Jan 9, 2017

Analytic Number Theory Research参考文献 15被引用数 5

ひとこと要約

この論文は、非自明なゼータ関数の零点に関する零点密度推定と $L^2$-ノルムを用い、チェビシェフ関数 $ \psi(x)$ の明示公式にガラッハー型平均化法を適用することで、コンパクトなリーマン多様体上の素数測地線定理における誤差項の指数を、$ \frac{3}{4}$ から $ \frac{7}{10}$ に低下させた。これは、有限な対数的測度を持つ集合を除いて成り立つ。

ABSTRACT

We reduce the exponent in the error term of the prime geodesic theorem for compact Riemann surfaces from $\frac{3}{4}$ to $\frac{7}{10}$ outside a set of finite logarithmic measure.

研究の動機と目的

• コンパクトなリーマン多様体上の素数測地線定理における誤差項を、古典的な $O(x^{3/4} \log x^{-1})$ の境界を越えて改善すること。
• 従来、リーマンゼータ関数の文脈で用いられたガラッハー型平均化法を、双曲的多様体上のセリンベルクゼータ関数へと拡張すること。
• 非可測集合を除いて、誤差項を $O(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon})$ に抑えること。
• 低く位置する零点の寄与を制御し、非自明な零点に関する振動和を $L^2$-ノルムを用いて推定することで、$\psi(x)$ の明示公式を精緻化すること。

提案手法

• ヘジャールの明示公式を、統合されたチェビシェフ関数 $\psi_1(x)$ に適用し、セリンベルクゼータ関数の非自明な零点 $\rho$ に関する和を含む。
• 非減少関数 $\psi$ に対して $\psi(x) \leq \frac{1}{h} \int_x^{x+h} \psi(t) dt$ の関係を用い、平均化による点での制御を可能にする。
• 実部が $\frac{1}{2}$ の零点に関する振動和を、切り捨てられた和の $L^2$-ノルムを用いて推定し、$\sum \frac{t^{\rho+1}}{\rho(\rho+1)}$ の平均平方を活用する。
• 実数直線を区間 $[e^n, e^{n+1})$ に二重分割し、零点和が閾値を超える例外的集合 $E_n$ と $F_n$ を定義。それらの対数的測度が有限であることを示す。
• 零点密度推定を用い、二重区間内の零点数を制御。$\sum_{Y < |\gamma| \leq T} \left| \frac{t^{\rho+1}}{\rho(\rho+1)} \right|^2 \frac{dt}{t^4} = O(1/Y)$ の境界を用いる。
• 誤差項のバランスを取るために平均化パラメータ $h$ を最適化。$h$、$x^2 / hT$、$x^{1/2} Y$、$x^\alpha (\log x)^\beta (\log \log x)^\beta / h$ の項を調整し、$\alpha = \frac{7}{5}$、$\beta = \frac{2}{5}$ を得る。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリーマン多様体上での素数測地線定理における誤差項は、$O(x^{3/4})$ を超えて改善可能か？
• RQ2 セリンベルクゼータ関数の文脈において、ガラッハー型平均化法を用いて誤差項の指数を $\frac{7}{10}$ に達成可能か？
• RQ3 このような強い誤差境界が成り立たない例外的集合の大きさはどの程度で、それが有限な対数的測度を持つことが示せるか？
• RQ4 $L^2$-ノルムによる零点和の推定と零点密度推定が、明示公式における振動的寄与をどのように制御するか？
• RQ5 区間 $x+h$ が次の二重区間に跨ぐ場合の遷移を扱う際に、誤差を制御する能力を失わず、この手法を適応可能か？

主な発見

• 集合 $G$ を除いて、誤差項は $O\left(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon}\right)$ に低下する。ここで $G$ は有限な対数的測度を持つ。
• 主な結果として、$\psi(x) = x + \sum_{\frac{7}{10} < \rho < 1} \frac{x^\rho}{\rho} + O\left(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon}\right)$ が $G$ を除いて成り立ち、以前の境界を改善する。
• 例外的集合 $G = \bigcup E_n \cup \bigcup F_n$ は有限な対数的測度を持つため、誤差境界は対数的意味でほとんど至る所で成立する。
• 低く位置する零点の寄与を和を分割し、$L^2$-推定を適用することで、この手法は効果的に制御できる。重要な境界は $\int_T^{eT} \left| \sum \frac{t^{\rho+1}}{\rho(\rho+1)} \right|^2 \frac{dt}{t^4} = O(1/T)$ である。
• $h \approx x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5}$ を選ぶことで、競合する誤差項がバランスされ、最適な指数が得られる。
• この結果により、一般のコンパクトなリーマン多様体上でも、素数測地線定理における誤差指数 $\frac{7}{10}$ が達成可能であることが確認された。