[论文解读] Dynamics of continued fractions and distribution of modular symbols

Jungwon Lee, Hae-Sang Sun|arXiv (Cornell University)|Feb 17, 2019

Mathematical Dynamics and Fractals参考文献 31被引用 8

一句话总结

该论文通过连分数和转移算子，采用动力系统方法研究模符号的分布，证明了极限高斯分布及模符号划分的残余等分布性。该研究建立了Mazur-Rubin猜想的平均版本，并通过模 $p$ 下模符号值的等分布性，推导出模形式特殊 $L$-值模 $p$ 非零结果。其核心贡献在于通过偏斜高斯映射与上边缘条件，将转移算子的谱性质与模符号的算术统计特性相联系。

ABSTRACT

We formulate a thermodynamical approach to the study of distribution of modular symbols, motivated by the work of Baladi-Vallée. We introduce the modular partitions of continued fractions and observe that the statistics for modular symbols follow from the behavior of modular partitions. We prove the limit Gaussian distribution and residual equidistribution for modular partitions as a vector-valued random variable on the set of rationals whose denominators are up to a fixed positive integer by studying the spectral properties of transfer operator associated to the underlying dynamics. The approach leads to a few applications. We show an average version of conjectures of Mazur-Rubin on statistics for the period integrals of an elliptic newform. We further observe that the equidistribution of mod $p$ values of modular symbols leads to mod $p$ non-vanishing results for special modular $L$-values twisted by a Dirichlet character.

研究动机与目标

• 提出一种利用连分数研究模符号分布的动力系统框架。
• 将模划分函数视为分母有界的有理数上的向量值随机变量进行分析。
• 通过转移算子的谱分析，建立模划分的极限高斯分布与残余等分布性。
• 将结果应用于Mazur-Rubin猜想在模符号统计上的平均版本。
• 利用模 $p$ 下模符号值的等分布性，推导模形式特殊 $L$-值模 $p$ 非零定理。

提出的方法

• 将连分数的模划分引入为连分数展开长度的推广。
• 在空间 $\Gamma\backslash\mathrm{SL}_2(\mathbb{Z})$ 上使用偏斜高斯映射建模动力系统，其中 $\Gamma$ 为被矩阵 $\mathrm{j}$ 正规化的有限指数正规子群。
• 将模划分函数 $\mathfrak{b}_\psi$ 与 $\mathfrak{c}_\psi$ 定义为连分数展开迭代过程中函数值的和。
• 应用与偏斜高斯动力系统相关的转移算子，研究模划分函数的矩生成函数。
• 通过在垂直条带中的转移算子谱分析，包括Dolgopyat–Baladi–Vallée估计，控制相关性的衰减。
• 建立上边缘条件，以确定相关上同调数据是否非平凡，从而将谱性质与算术统计特性相联系。

实验结果

研究问题

• RQ1 当分母有界性趋于无穷时，分母有界的有理数上模划分函数的分布是否收敛于高斯分布？
• RQ2 椭圆新形式的模符号平均行为能否通过连分数动力系统来描述？
• RQ3 转移算子的谱性质与模 $p$ 下模符号等分布性之间有何关系？
• RQ4 在何种条件下，模划分函数不是上边缘，其对极限分布有何影响？
• RQ5 模符号值模 $p$ 的等分布性如何导致由狄利克雷特征扭曲的特殊 $L$-值非零？

主要发现

• 当 $M \to \infty$ 时，$\Omega_M$ 上的模划分函数 $\mathfrak{b}_\psi$ 与 $\mathfrak{c}_\psi$ 在分布上收敛于多元高斯分布，其显式协方差结构由谱数据导出。
• 通过转移算子关联的 zeta 函数在主特征值处的留数，确立了模划分的残余等分布性。
• 证明了Mazur-Rubin猜想在模符号统计上的平均版本，表明模符号的期望分布与预测的高斯极限一致。
• 模符号值模 $p$ 的等分布性意味着，对无限多个狄利克雷特征，模形式的 $L$-值在模 $p$ 下不为零。
• 当且仅当函数 $\psi$ 的分量在 $\Gamma$ 上实上边缘空间的模下线性无关时，矩生成函数在零点的黑塞矩阵为非奇异，从而保证极限方差非退化。
• 利用在垂直条带 $\Re s \in [1 - \alpha_1, 1 + \alpha_1]$ 中的谱间隙与Dolgopyat–Baladi–Vallée估计，控制相关性衰减，并证明模划分的中心极限定理。