[論文レビュー] On the asymptotic distribution of zeros of modular forms

Zeév Rudnick|ArXiv.org|Jun 14, 2005

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

ひとこと要約

本稿は、一般化リーマン予想（GRH）のもとで、モジュラー群に関するカスプ形式のヘッケ固有形式の零点が、重み $k$ が無限大に近づくにつれて、モジュラー領域上の双曲的測度に関して等分布することを確立する。この結果は、$L^2$-正規化された質量 $y^k |f_k(z)|^2 \, dV(z)$ が双曲的測度に弱収束することから導かれる。これは、量子コヒーレンスからの一般原理により、零点の等分布を示す。

ABSTRACT

We study the distribution of zeros of holomorphic modular forms. Assuming the Generalized Riemann Hypothesis we show that the zeros of Hecke eigenforms for the modular group become equidistributed with respect to the hyperbolic measure on the modular domain as the weight grows.

研究の動機と目的

• 重み $k$ が増加する際の正則モジュラー形式の零点の極限分布を調査すること。
• カスプ形式のヘッケ固有形式の零点がモジュラー領域 $\Gamma \backslash \mathbb{H}$ 内で等分布することを確立すること。
• 零点の等分布を、$L^2$-正規化された質量測度 $y^k |f_k(z)|^2 \, dV(z)$ の弱収束と結びつけること。
• 量子コヒーレンスとラインバンドルの切断の等分布に関する考えを、非コンパクトなモジュラー形式の設定に拡張すること。

提案手法

• 零点の等分布は、質量測度 $y^k |f_k(z)|^2 \, dV(z)$ が双曲的測度 $dV(z)$ に弱収束することから導かれるという一般原理を用いる。
• 非コンパクトなモジュラー領域に適応されたシフマン–ゼルドイッチ–ノンネンマッシャー–ヴォロスの議論の変種を適用する。
• ピーターソン内積とフーリエ展開を用いて、不完全ガンマ関数 $\Gamma(k-1,n)$ を介して $y^k |f(z)|^2$ の成長を制御する。
• 中心極限定理から導かれる漸近的性質 $\Gamma(k-1,k) \sim \frac{1}{2} \Gamma(k-1)$ を用いて、$L^2$ ノルムを評価する。
• GRH を用いて、質量測度の弱収束を示し、これにより零点の等分布が導かれる。
• シーゲル集合と積分推定を用いて、コンパクト部分集合上で $y^k |f(z)|^2 / \langle f,f \rangle$ の一様有界性を確立する。

実験結果

リサーチクエスチョン

• RQ1 重み $k$ が無限大に近づくにつれて、ヘッケ固有形式の零点はモジュラー領域内で等分布するか？
• RQ2 質量分布 $y^k |f_k(z)|^2 \, dV(z)$ が零点の等分布をどのように保証するか？
• RQ3 非コンパクトなモジュラー設定において、質量測度の弱収束から零点の等分布を導けるか？
• RQ4 一般化リーマン予想は、モジュラー形式の質量と零点の等分布にどのように関係するか？

主な発見

• GRHのもとで、カスプ形式のヘッケ固有形式の零点は、モジュラー領域 $\Gamma \backslash \mathbb{H}$ 上の正規化された双曲的測度 $dV(z) = \frac{3}{\pi} \frac{dx\,dy}{y^2}$ に関して等分布する。
• 零点の等分布は、質量測度 $y^k |f_k(z)|^2 \, dV(z) \rightharpoonup c \cdot dV(z)$ （$c>0$）の弱収束から導かれる。GRHのもとで $c=1$ となる。
• 漸近的性質 $\Gamma(k-1,k) \sim \frac{1}{2} \Gamma(k-1)$ は、$e^{-k} \sum_{m=0}^k \frac{k^m}{m!} \sim \frac{1}{2}$ と同値であり、中心極限定理により証明される。
• $L^2$-正規化された質量 $y^k |f(z)|^2 / \langle f,f \rangle$ は、$\mathbb{H}$ のコンパクト部分集合上で $O(k)$ で一様に有界である。
• 仮定 $\nu(f_k) \sim k/12$ により、同値でない零点の数が $k$ に対して線形に増加することが保証され、これは等分布のための必要条件である。
• 本結果は、曲線やリーマン面などのコンパクト設定における等分布原理を、非コンパクトなモジュラー領域へと拡張する。