[论文解读] Error Estimates in Horocycle Averages Asymptotics: Challenges from String Theory

Matteo A. Cardella|arXiv (Cornell University)|Dec 13, 2010

Mathematical Dynamics and Fractals参考文献 9被引用 3

一句话总结

本文研究了多项式增长与指数增长模函数在 horocycle 平均渐近展开中的误差估计，通过弦理论的洞见将其与黎曼猜想联系起来。利用一种与谱 Eisenstein 系列相关的新型 Theta 展开方法，证明了渐近展开式，其中误差项与黎曼 zeta 函数的非平凡零点相关，将已知结果从快速衰减函数推广至多项式与有界指数增长函数。

ABSTRACT

There is an intriguing connection between the dynamics of the horocycle flow in the modular surface $SL_{2}(\pmb{Z}) \backslash SL_{2}(\pmb{R})$ and the Riemann hypothesis. It appears in the error term for the asymptotic of the horocycle average of a modular function of rapid decay. We study whether similar results occur for a broader class of modular functions, including functions of polynomial growth, and of exponential growth at the cusp. Hints on their long horocycle average are derived by translating the horocycle flow dynamical problem in string theory language. Results are then proved by designing an unfolding trick involving a Theta series, related to the spectral Eisenstein series by Mellin integral transform. We discuss how the string theory point of view leads to an interesting open question, regarding the behavior of long horocycle averages of a certain class of automorphic forms of exponential growth at the cusp.

研究动机与目标

• 将已知的 horocycle 平均渐近误差估计从快速衰减的模函数推广至多项式增长与有界指数增长的模函数。
• 研究在衰减条件较弱的情况下，horocycle 平均行为与黎曼猜想之间的联系，适用于自守形式。
• 将弦理论中的洞见——特别是闭弦振幅中渐近对称性的概念——与动力系统和自守形式相连接。
• 开发一种基于 Theta 系列与 Mellin 变换的新展开技术，以处理非温和增长的自守形式。
• 提出并探讨一个开放问题：关于 Heterotic 类型模函数的 horocycle 平均的普遍渐近行为。

提出的方法

• 采用弦理论启发的视角，以动机化 horocycle 平均对具有指数增长的模函数的普遍渐近行为。
• 提出一种基于 Theta 系列的新型展开方法，该方法通过 Mellin 变换与谱 Eisenstein 系列相关联，用于分析模域上的积分。
• 利用该展开技术，推导 horocycle 平均的渐近展开式，取代对非快速衰减函数的传统 Rankin-Selberg 方法。
• 证明对于多项式增长的模函数，horocycle 平均渐近展开中的误差项由黎曼 zeta 函数的非平凡零点控制。
• 建立 horocycle 平均收敛性与黎曼猜想之间的联系，将 [Za1] 中的结果推广至更广泛的函数类。
• 通过模变换性质提出 horocycle 平均的刚性条件，暗示在 $ y \to 0 $ 极限下对增长行为存在结构约束。

实验结果

研究问题

• RQ1 具有有界指数增长（在尖点处）的模函数的 horocycle 平均是否表现出与快速衰减函数相似的渐近行为，且其误差项与黎曼 zeta 函数零点相关？
• RQ2 弦理论中关于 Heterotic 类型模函数的 horocycle 平均具有普遍渐近行为的推测能否被严格证明？
• RQ3 在模变换下，horocycle 平均是否存在隐藏的刚性，从而对 Heterotic 类中函数的渐近结构施加约束？
• RQ4 Heterotic 类中的模函数能否被分解为一个 II 型模形式与一个尖点形式之和，从而调和弦理论预测与自守形式理论？
• RQ5 若所提出的 Heterotic 类函数的渐近行为不成立，是否可能预示着闭弦理论中紫外对称性的破缺？

主要发现

• 对于多项式增长的模函数，horocycle 平均渐近展开中的误差项与黎曼 zeta 函数的非平凡零点直接相关，推广了早期针对快速衰减函数的结果。
• 本文提供了比 Zagier 以往使用更复杂方法所建立的 Rankin-Selberg 变换在多项式增长模函数上的解析延拓，一个显著更短的证明。
• 基于 Theta 系列与 Mellin 变换的展开方法在非温和增长的自守形式上表现有效，相较于经典 Rankin-Selberg 方法具有优势。
• 一个关键命题表明，在模变换下，Heterotic 类中函数的 horocycle 平均在 $ y \to 0 $ 极限下以 $ e^{2eta c^2 / y} $ 的形式增长，暗示一种普遍的增长模式。
• 本文提出一个开放问题，即 Heterotic 类型函数的 horocycle 平均应具有涉及 $ y^{1 - \rho/2} $ 项的渐近展开，其系数与完备 zeta 函数 $ \zeta^*(\rho) $ 的零点相关。
• 仍存在可能性：所提出的渐近行为不成立，这可能暗示 II 型与 Heterotic 弦理论在紫外行为中存在根本不对称性。