[論文レビュー] Uniformization, Unipotent Flows and the Riemann Hypothesis

Sergio L. Cacciatori, Matteo A. Cardella|arXiv (Cornell University)|Feb 6, 2011

Algebraic Geometry and Number Theory参考文献 39被引用数 3

ひとこと要約

この論文は、 genus $g$ の主偏極付きアーベル多様体のモジュライ空間上の単位的フローとリーマン予想の間に深い関係を確立する。Iwasawa座標とRankin-Selberg法を用いて、$\Gamma_g$-自己形式の単位的方向への平均化の漸近的挙動を分析することで、等分布における誤差項がリーマン・ゼータ関数の非自明な零点の実部の上界によって制御されることを証明し、リーマン予想を通じてエルゴディック理論と数論を結びつける。

ABSTRACT

We prove equidistribution of certain multidimensional unipotent flows in the moduli space of genus $g$ principally polarized abelian varieties (ppav). This is done by studying asymptotics of $\pmbΓ_{g} \sim Sp(2g,\mathbb{Z})$-automorphic forms averaged along unipotent flows, toward the codimension-one component of the boundary of the ppav moduli space. We prove a link between the error estimate and the Riemann hypothesis. Further, we prove $\pmbΓ_{g - r}$ modularity of the function obtained by iterating the unipotent average process $r$ times. This shows uniformization of modular integrals of automorphic functions via unipotent flows.

研究の動機と目的

• genus $g$ の主偏極付きアーベル多様体のモジュライ空間 ($\mathcal{A}_g$) における多次元単位的フローの等分布を確立すること。
• $\Gamma_g$-自己形式の単位的平均化による、$\mathcal{A}_g$ のcodimension-one境界への漸近的挙動を分析すること。
• 等分布推定における誤差項が、リーマン・ゼータ関数の非自明な零点の実部の上界と直接的に関連することを示すこと。
• 繰り返し単位的平均化が $\Gamma_{g-r}$ に関してモジュラー性を保つことを証明し、Zagierの $SL(2,\mathbb{Z})$ に対する結果を一般化すること。
• 単位的フロー力学と自動形式を通じて、モジュラー積分の均一化を統合すること。

提案手法

• $Sp(2g,\mathbb{R})$ のIwasawa分解を用いて、Siegel上半平面 $\mathcal{H}_g$ を単位的、対角的、直交的成分でパrametrizeすること。
• 単位的平均化における自動形式の $L^2$-ノルムとスペクトル的性質を研究するためにRankin-Selberg法を適用すること。
• $\tau_g$ の $(g-r)$-コランクブロック分解を用いて、$2g-1$ 個の実数パラメータ $(w_{11}, \underline{w}, \underline{u})$ に対応する単位的方向を分離すること。
• Iwasawa座標における $\mathcal{H}_g$ のRiemann計量を導出し、ラプラシアン作用素 $\Delta$ を決定する逆計量成分 $G^{v_iv_i}$ を計算すること。
• Eisenstein級数 $\boldsymbol{E}_{g,1}(\tau,s)$ におけるラプラシアンの作用を計算し、超幾何型固有値方程式を満たすことを示すこと。
• $\Gamma_g$ におけるラプラシアンの不変性を用いて、固有値結果を全自動形式空間へ拡張すること。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間 $\mathcal{A}_g$ 上の単位的フローの等分布における誤差項は、リーマン予想とどのように関係するか？
• RQ2 自動形式の単位的平均化が、単位的部分群に沿った繰り返し平均化においてもモジュラー性を保つことができるか？
• RQ3 Iwasawa座標における $\mathcal{H}_g$ 上のラプラシアンのスペクトル的挙動は何か？ そして、自動形式 $L$-関数とどのように関連するか？
• RQ4 Iwasawaパラメトライゼーションは、単位的フローの解析とその等分布をどのように容易にするか？
• RQ5 単位的平均化プロセスは、力学系を通じてモジュラー積分の均一化をどの程度達成するか？

主な発見

• 単位的フローの等分布における誤差推定は、$\Theta = \sup\{\Re(\rho) \mid \zeta^*(\rho) = 0\}$ によって制御され、これはリーマン・ゼータ関数の非自明な零点の実部の上界である。
• 関数 $f$ が $\Gamma_g$-不変な自動形式であるとき、その単位的平均 $\langle f \rangle_{v_1}(\tau_{g-1})$ は $\Gamma_{g-1}$ の作用に関して不変であり、平均化された関数の $\Gamma_{g-1}$-モジュラー性を示す。
• ラプラシアン $\Delta$ はEisenstein級数 $\boldsymbol{E}_{g,1}(\tau,s)$ に対して $\Delta \boldsymbol{E}_{g,1}(\tau,s) = 2^{\frac{g-1}{g+1}} s(g-s) \boldsymbol{E}_{g,1}(\tau,s)$ を満たし、スペクトル固有値方程式を確立する。
• 計量成分 $G^{v_iv_i} = 2^{\frac{g-1}{g+1}} v_i^2$ は、Iwasawaパラメトライゼーションおよび $\mathcal{H}_g$ 上のRiemann計量の行列式から導出される。
• この手法は、Zagierの $SL(2,\mathbb{Z})$ における長ホロサイクル平均の結果を、高ランクシンプレクティック群および高ジェノスのモジュライ空間へ一般化する。
• 繰り返し単位的平均化プロセスにより、$\Gamma_{g-r}$-モジュラー関数が得られ、力学的フローを通じたモジュラー積分の均一化を示す。