[論文レビュー] The variance of arithmetic measures associated to closed geodesics on the modular surface

Wenzhi Luo, Zeév Rudnick+1 more|ArXiv.org|Oct 18, 2008

Analytic Number Theory Research参考文献 24被引用数 3

ひとこと要約

本稿は、ランクイン＝セルバーグ理論とシータリフトを用いて、判別式ごとにグループ化されたモジュラー面上の閉測地線に関連する算術的測度の分散を計算する。分散が標準$L$-関数値$L(1/2, f)$と対称平方$L$-関数に比例することを確立し、形式の種別（正則的またはマース）に依存する明示的な定数を示す。

ABSTRACT

We determine the variance for the fluctuations of the arithmetic measures obtained by collecting all closed geodesics on the modular surface with the same discriminant and ordering them by the latter. This arithmetic variance differs by subtle factors from the variance that one gets when considering individual closed geodesics when ordered by their length. The arithmetic variance is the same one that appears in the fluctuations of measures associated with quantum states on the modular surface.

研究の動機と目的

• 閉測地線の算術的測度の統計的フラクチュエーションを、判別式ごとにグループ化して理解すること。
• 判別式が増加する極限におけるこれらの測度の分散を計算し、等分布性と相関構造に注目すること。
• 自動形式とシータリフトを通じて、分散と$L$-関数の特別値との明確な関係を確立すること。
• 正則的およびマース形式の両方の分散を解明し、対称性と重みに基づいて場合分けすること。

提案手法

• 閉測地線と二進形式の対応関係を用いて、判別式$d$に関連する算術的測度$\mu_d$を定義する。
• シータリフトを適用して、$\mu_d(f)$を半整数重み形式のフーリエ係数に関連させ、ランクイン＝セルバーグ理論の適用を可能にする。
• メリン変換とスペクトル分解を用いて、$\mu_d(f)$の$L^2$ノルムを分析し、$s=1$で極を持つディリクレ級数を得る。
• ランクイン＝セルバーグ理論を用いてディリクレ級数の留数を計算し、$L(1/2, f)$および対称平方$L$-関数と関連付ける。
• $\mathrm{SL}_2(\mathbb{R})$の表現論と$\mathbf{r}$-不変性を用いて空間を分解し、異なる尖点形式間の直交性を保証する。
• 既知のホイットaker関数およびバーンズ積分の公式を適用して、留数計算における$\Gamma$-関数の特別値を評価する。

実験結果

リサーチクエスチョン

• RQ1 判別式$d$の閉測地線に関連する算術的測度$\mu_d$の漸近的分散は何か？
• RQ2 分散は自動形式のスペクトル的性質（正則的対マース）および重みにどのように依存するか？
• RQ3 分散は特別値を持つ$L$-関数の形で表現可能か？ もしそうなら、どの$L$-関数か？
• RQ4 シータリフトは、測地線測度と半整数重み形式のフーリエ係数をどのように結びつけるか？
• RQ5 なぜマース形式では分散の式が$6/\pi$の係数で、正則的形式では$1/\pi$の係数で異なるのか？

主な発見

• 偶数重み$2k$の正則的尖点形式に対して、分散は$\frac{1}{\pi} V^{\mathrm{sym}}(f,f) L(1/2, f) \langle f, f \rangle$に等しい。ここで$V^{\mathrm{sym}}$は対称平方$L$-関数である。
• 偶数マース形式に対して、分散は$\frac{6}{\pi} V^{\mathrm{sym}}(\phi,\phi) L(1/2, \phi) \langle \phi, \phi \rangle$に等しく、同じ$V^{\mathrm{sym}}$構造を持つ。
• ディリクレ級数$\sum_d |\mu_d(f)|^2 / d^{1/2}$の留数が、$L(1/2, f)$および対称平方$L$-関数に比例することを示した。
• 正則的形式の重みが$\equiv 2 \mod 4$である場合および奇数マース形式の場合、対称性と$\mathbf{r}$-不変性により分散が消える。
• ランクイン＝セルバーグ理論を用いて、異なる尖点形式間の直交性が確立され、分散に交差項が生じないことが保証された。
• 明示的な定数$1/\pi$および$6/\pi$は、$\Gamma$-関数の恒等式とシータリフトの正規化から生じる。