[論文レビュー] Distribution of modular symbols for compact surfaces

Morten S. Risager|ArXiv.org|Aug 6, 2003

Advanced Algebra and Geometry参考文献 8被引用数 8

ひとこと要約

本稿では、非尖点でコンパクトな場合の非尖点的状況に一般化されたハイパボリック・アイゼンスタイン級数を導入することで、コンパクトな双曲的リーマン面におけるモジュラー記号の漸近正規分布を確立した。主な結果は、長さパラメータTが増加するにつれて、正規化されたモジュラー記号が標準的な2次元正規分布に分布収束することを示しており、従来の非コンパクトな場合からコンパクトな場合への拡張を達成した。

ABSTRACT

We prove that the modular symbols appropriately normalized and ordered have an asymptotical normal distribution for all cocompact subgroups of SL_2(R). We introduce hyperbolic Eisenstein series in order to calculate the moments of the modular symbols.

研究の動機と目的

• 非コンパクトな双曲的リーマン面からコンパクトな双曲的リーマン面へのモジュラー記号の分布論を拡張すること。
• ゴールドフェルトのねじれアイゼンスタイン級数の制限を克服すること。この級数は尖点を必要とし、したがってコンパクトな場合に失敗する。
• ハイパボリック・アイゼンスタイン級数を定義し、それをコンパクトな状況でのモジュラー記号の分析のための新たな道具として研究すること。
• 正規化されたモジュラー記号および調和微分形式の漸近正規性を確立すること。
• 正規化された記号のモーメントが、標準的な2次元ガウス分布のモーメントに収束することを証明すること。

提案手法

• Re(s) > 1 に対して、$ E^{{\tilde{\gamma}}_1}(z,s) = \sum_{{\gamma} \in {{\Gamma}_1\backslash\Gamma}} \left( \frac{\Im({\gamma}z)}{|{\gamma}z|} \right)^s $ として定義されるハイパボリック・アイゼンスタイン級数を導入する。
• ハイパボリック・アイゼンスタイン級数の全複素平面へのメロモルフィックな拡張を証明し、ラプラシアンの固有値 $ s_j(1-s_j) $ に対応する $ -2n + s_j $ に極を持つことを示す。
• リゾルベント法を用いて、関数方程式 $ (\Delta + s(1-s))E^{{\tilde{\gamma}}_1}(z,s) = -s^2 E^{{\tilde{\gamma}}_1}(z,s+2) $ を導出する。
• ハイパボリック・アイゼンスタイン級数のスペクトル展開に対して複素変数の積分を適用し、行列ノルムが有界な群元の数の漸近的カウントを導出する。
• 正規化されたモジュラー記号を $ [\gamma,f] = \sqrt{ \frac{\operatorname{vol}(\Gamma\backslash\mathbb{H})}{\log((a^2+b^2)(c^2+d^2))} } \int_{z_0}^{\gamma z_0} f(z)dz $ で定義する。
• 部分和公式とモーメント解析を用いて、正規化された記号のモーメントが標準的な2次元正規分布のモーメントに収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな双曲的曲面上のモジュラー記号の分布が漸近的に正規的であることを示すことができるか？
• RQ2 尖点が存在しないコンパクトな状況にあわせてアイゼンスタイン級数をどのように適応できるか？
• RQ3 新規に導入されたハイパボリック・アイゼンスタイン級数のスペクトル的性質とメロモルフィック構造は何か？
• RQ4 正規化されたモジュラー記号のモーメントはガウス分布のモーメントに収束するか？
• RQ5 $ \Gamma_1\backslash\Gamma $ 内で行列ノルムが有界な群元の数の漸近的成長率は何か？

主な発見

• 正規化されたモジュラー記号 $ [\gamma,f] $ は、相関がゼロの漸近的2次元正規分布に従い、$ T \to \infty $ のとき $ \frac{1}{2\pi} \int_R \exp\left(-\frac{x^2+y^2}{2}\right) dxdy $ に収束する。
• 正規化された記号のモーメントは標準的な2次元ガウス分布のモーメントに収束する：$ n,m $ が偶数のとき $ M_{n,m}(X_T) \to \frac{n!}{(n/2)!2^{n/2}} \frac{m!}{(m/2)!2^{m/2}} $、それ以外の場合はゼロ。
• 集合 $ (\Gamma_1\backslash\Gamma)^T $ 内の要素数は、ある $ \delta > 0 $ に対して、$ \frac{2\log\mu \cdot T}{\operatorname{vol}(\Gamma\backslash\mathbb{H}) \cdot y} + O(T^{1-\delta}) $ として漸近的に成長する。
• ハイパボリック・アイゼンスタイン級数の $ s=1 $ における留数は $ \frac{2\log\mu}{\operatorname{vol}(\Gamma\backslash\mathbb{H})} $ であり、これはカウント関数の主要項を制御する。
• 正規化された実部および虚部はそれぞれ標準正規分布に漸近的に収束し、極限測度は $ \frac{1}{\sqrt{2\pi}} \int_a^b \exp\left(-\frac{x^2}{2}\right) dx $ である。
• 結果は実調和微分形式 $ \alpha = \Re(f(z)dz) $ に対しても拡張可能であり、$ [\gamma,\alpha] $ も実数直線上で標準正規分布に収束する。