[论文解读] Limiting modular symbols and their fractal geometry

Marc Keßeböhmer, Bernd O. Stratmann|ArXiv.org|Nov 2, 2006

Mathematical Dynamics and Fractals参考文献 27被引用 5

一句话总结

本文利用分形几何与热力学形式主义，分析任意模子群的极限模形式符号，建立了其层次集的完整多重分形描述。证明了这些层次集的豪斯多夫维数由一个严格严格凸压函数的负勒让德变换给出，从而近乎完整地刻画了维数谱，并表明非零极限符号出现在正豪斯多夫维数的集合上。

ABSTRACT

In this paper we use fractal geometry to investigate boundary aspects of the first homology group for finite coverings of the modular surface. We obtain a complete description of algebraically invisible parts of this homology group. More precisely, we first show that for any modular subgroup the geodesic forward dynamic on the associated surface admits a canonical symbolic representation by a finitely irreducible shift space. We then use this representation to derive an `almost complete' multifractal description of the higher--dimensional level sets arising from Manin--Marcolli's limiting modular symbols.

研究动机与目标

• 为任意模子群的马宁-马科利极限模形式符号所生成的层次集提供完整的多重分形描述。
• 利用分形几何刻画有限模曲面覆盖的第一同调群中代数上不可见的部分。
• 证明极限模形式符号在正豪斯多夫维数的完美集上非零，扩展了以往仅在二次无理数处发现非零值的结果。
• 证明每个模子群均满足Red条件，从而将[MM01]和[Mar03]中关于弱收敛至零的早期结果推广至所有模子群。
• 建立层次集豪斯多夫维数与源自热力学形式主义的压函数负勒让德变换之间的精确对应关系。

提出的方法

• 通过有限不可约移位空间表示模曲面上的测地线动力系统，以实现符号动力系统与遍历性分析。
• 利用热力学形式主义定义压函数 $\beta_G: \mathbb{R}^{2\mathfrak{g}} \to \mathbb{R}$，其为严格凸且可微，且在零点处有唯一最小值。
• 将极限模形式符号 $\ell_G(x)$ 定义为沿测地线射线的归一化模形式符号的极限，并将其与移位空间上一个余循环的Birkhoff平均相联系。
• 应用平衡态的Gibbs性质与质量分布原理，通过压函数的逆函数计算层次集的豪斯多夫维数。
• 利用勒让德变换 $\widehat{\beta}_G(\alpha) = \inf_t (\beta_G(t) - \langle \alpha, t \rangle)$ 表达层次集 $\mathcal{F}_\alpha$ 的维数。
• 利用测地流的遍历性与连分数展开的共形性质，将 $\mathcal{F}_\alpha$ 的维数与各分量 $\mathcal{F}_\alpha(e)$ 的维数相联系。

实验结果

研究问题

• RQ1 对于任意模子群 $G$，极限模形式符号 $\ell_G(x)$ 所定义的层次集 $\mathcal{F}_\alpha$ 的分形结构是什么？
• RQ2 层次集 $\mathcal{F}_\alpha$ 的豪斯多夫维数如何与模曲面的基本动力学和几何结构相关？
• RQ3 极限模形式符号的非零行为能否在孤立点（如二次无理数）之外被刻画？
• RQ4 所有模子群是否均满足Red条件，从而将先前关于弱收敛至零的结果推广？
• RQ5 维数谱 $\dim_H(\mathcal{F}_\alpha) = \widehat{\beta}_G(\alpha)$ 的完备性如何？其与 $\beta_G$ 的梯度像的范围有何关系？

主要发现

• 层次集 $\mathcal{F}_\alpha$ 的豪斯多夫维数由 $\dim_H(\mathcal{F}_\alpha) = \widehat{\beta}_G(\alpha)$ 给出，其中 $\widehat{\beta}_G$ 是压函数 $\beta_G$ 的负勒让德变换。
• 压函数 $\beta_G$ 严格凸且可微，在 $0 \in \mathbb{R}^{2\mathfrak{g}}$ 处有唯一最小值，且 $\beta_G(0) = 1$。
• 极限模形式符号 $\ell_G(x)$ 对所有 $x \in \mathcal{F}_\alpha$ 满足 $\alpha \in \nabla\beta_G(\mathbb{R}^{2\mathfrak{g}})$ 时非零，且将每个此类 $\mathcal{F}_\alpha$ 映射到唯一的同调类 $h\_\alpha$。
• 维数谱近乎完备：$\beta_G$ 的梯度像的闭包等于所有满足 $\mathcal{F}_\alpha$ 非空的 $\alpha$ 的集合。
• 每个模子群均满足Red条件，证实了[MM01]和[Mar03]的结果可推广至所有模子群，而不仅限于满足该条件的子群。
• 对于 $\beta_G$ 的梯度像内部的所有 $\alpha$，层次集 $\mathcal{F}_\alpha$ 均为不可数的完美集，且具有正豪斯多夫维数，表明非平凡的同调内容存在于大范围的分形集合上。