[论文解读] Continued fractions, modular symbols, and non-commutative geometry

Yuri I. Manin, Matilde Marcolli|ArXiv.org|Feb 1, 2001

Advanced Operator Algebra Research参考文献 19被引用 5

一句话总结

本文通过将高斯–库兹明定理推广至包含连分数收敛项的同余性质，并证明与权为2的模形式相关的狄利克雷级数可由连分数与模符号定义的函数的积分导出，建立了连分数、模符号与非交换几何之间的深刻联系。研究提出商空间 $PGL(2,\mathbb{Z})\setminus\mathbb{P}^1(\mathbb{R})$ 是一个非交换模曲线，其 $K_0$-理论通过交叉积 $C^*$-代数的皮姆斯纳正合序列实现。

ABSTRACT

Using techniques introduced by D. Mayer, we prove an extension of the classical Gauss-Kuzmin theorem about the distribution of continued fractions, which in particular allows one to take into account some congruence properties of successive convergents. This result has an application to the Mixmaster Universe model in general relativity. We then study some averages involving modular symbols and show that Dirichlet series related to modular forms of weight 2 can be obtained by integrating certain functions on real axis defined in terms of continued fractions. We argue that the quotient $PGL(2,\bold{Z})\setminus\bold{P}^1(\bold{R})$ should be considered as non-commutative modular curve, and show that the modular complex can be seen as a sequence of $K_0$-groups of the related crossed-product $C^*$-algebras. This paper is an expanded version of the previous "On the distribution of continued fractions and modular symbols". The main new features are Section 4 on non-commutative geometry and the modular complex and Section 1.2.2 on the Mixmaster Universe.

研究动机与目标

• 将经典高斯–库兹明定理推广，以纳入连分数连续收敛项的同余条件。
• 证明权为2的尖点形式的梅林变换可由通过连分数与模符号定义的自守级数的积分导出。
• 提出 $PGL(2,\mathbb{Z})\setminus\mathbb{P}^1(\mathbb{R})$ 作为一个非交换模曲线，并通过皮姆斯纳序列将其 $K$-理论与模复形联系起来。
• 将模符号推广至终点为无理点的测地线，得到其极限形式，并对一般无理点给出平均意义下的消失结果。

提出的方法

• 使用鲁埃勒转移算子（高斯–库兹明算子）分析连分数展开的谱性质。
• 从 $[0,1]\times\mathbb{P}$ 上的单边移位构造群胚 $\mathcal{G}(X,T)$，从而得到 $C^*$-代数 $C^*(\mathcal{G}(X,T))$，作为非交换边界空间。
• 通过终点为 $\mathbb{P}^1(\mathbb{R})$ 中无理点的测地线定义“极限模符号”，并证明对一般无理点，其在平均意义下消失。
• 将模复形识别为非交换模曲线上交叉积 $C^*$-代数的皮姆斯纳正合序列。
• 利用 $[0,1]\times[0,1]\times\mathbb{P}$ 上的双边移位 $\tilde{T}$ 建模模曲线上测地流的庞加莱返回映射。
• 应用库恩兹–克里格代数技术于 $C^*(\mathcal{G})$ 与 $C^*(\Sigma\times\mathbb{P})\rtimes G$，将 $K$-理论与马尔可夫划分及动力系统联系起来。

实验结果

研究问题

• RQ1 经典高斯–库兹明定理如何推广以包含连分数展开中收敛项的同余性质？
• RQ2 与权为2的模形式相关的狄利克雷级数能否由通过连分数与模符号定义的函数的积分重构？
• RQ3 $PGL(2,\mathbb{Z})\setminus\mathbb{P}^1(\mathbb{R})$ 在非交换几何中的作用是什么？它与模曲线有何关联？
• RQ4 模符号如何推广至终点为无理点的测地线？其谱或动力学后果为何？
• RQ5 模复形能否通过交叉积 $C^*$-代数实现为 $K$-理论正合序列？

主要发现

• 推广的高斯–库兹明定理考虑了连续收敛项的同余性质，扩展了经典分布结果。
• 权为2的模形式的狄利克雷级数作为沿实轴积分的梅林变换出现，其被积函数由连分数与模符号构造而成。
• 商空间 $PGL(2,\mathbb{Z})\setminus\mathbb{P}^1(\mathbb{R})$ 被识别为非交换模曲线，其 $K_0$-群通过皮姆斯纳正合序列同构于模曲线的同调群。
• 终点为无理点的测地线的极限模符号在平均意义下消失，其结果依赖于鲁埃勒转移算子的谱性质。
• 模复形被实现为非交换模曲线上关联交叉积 $C^*$-代数的皮姆斯纳正合序列。
• $C^*(\mathcal{G}(X,T))$ 及相关 $C^*$-代数（包括库恩兹–克里格代数）的 $K$-理论通过 $(I - A^t)$ 计算，将动力系统与模几何联系起来。