[论文解读] 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

一句话总结

本文建立了在亏格 $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.

研究动机与目标

• 建立亏格 $g$ 的主极化阿贝尔簇模空间 ($\mathcal{A}_g$) 中多维无子流形的等分布性。
• 分析$\Gamma_g$-自守形式在朝向$\mathcal{A}_g$余维一边界方向的无子平均下的渐近行为。
• 证明等分布估计中的误差项与黎曼ζ函数非平凡零点实部上确界直接相关。
• 证明对$\Gamma_{g-r}$的迭代无子平均保持模形式性，推广Zagier对$SL(2,\mathbb{Z})$的结果。
• 统一通过无子流形动力学与自守形式实现模积分的统一化。

提出的方法

• 利用$Sp(2g,\mathbb{R})$的Iwasawa分解，将Siegel上半空间$\mathcal{H}_g$用无子、对角与正交分量参数化。
• 应用Rankin-Selberg方法研究自守形式在无子平均下的$L^2$-范数与谱性质。
• 采用$\tau_g$的$(g-r)$-余秩块分解，分离出对应于$2g-1$个实参数$(w_{11}, \underline{w}, \underline{u})$的无子方向。
• 在Iwasawa坐标下推导$\mathcal{H}_g$上的黎曼度量，并计算逆度量分量$G^{v_iv_i}$以确定Laplacian算子$\Delta$。
• 计算Laplacian对Eisenstein级数$\boldsymbol{E}_{g,1}(\tau,s)$的作用，表明其满足超几何型特征值方程。
• 利用Laplacian在$\Gamma_g$下的不变性，将特征值结果推广至整个自守形式空间。

实验结果

研究问题

• RQ1 在$\mathcal{A}_g$上无子流形的等分布中，误差项与黎曼猜想有何关系？
• RQ2 对自守形式的无子平均在连续作用于无子子群时，其模形式性是否得以保持？
• RQ3 在Iwasawa坐标下，$\mathcal{H}_g$上的Laplacian的谱行为如何？其与自守L-函数有何关联？
• RQ4 Iwasawa参数化如何促进对无子流形及其等分布的分析？
• RQ5 无子平均过程在多大程度上通过动力系统实现模积分的统一化？

主要发现

• 无子流形等分布的误差估计受$\Theta = \sup\{\Re(\rho) \mid \zeta^*(\rho) = 0\}$控制，即黎曼ζ函数非平凡零点实部的上确界。
• 自守函数$f$的无子平均$\langle f \rangle_{v_1}(\tau_{g-1})$在$\Gamma_{g-1}$作用下保持不变，证明了平均函数的$\Gamma_{g-1}$-模形式性。
• Laplacian $\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$上黎曼度量的行列式导出。
• 该方法将Zagier对$SL(2,\mathbb{Z})$的长Horocycle平均结果推广至高秩辛群与高亏格模空间。
• 无子平均过程迭代地产生$\Gamma_{g-r}$-模形式函数，展示了通过动力流实现模积分统一化的机制。