[论文解读] Modular Hecke Algebras and their Hopf Symmetry

Alain Connes, Henri Moscovici|ArXiv.org|Jan 9, 2003

Spectral Theory in Mathematical Physics被引用 8

一句话总结

本文引入了模形式与Hecke算子作用的统一框架——模形式Hecke代数，将其视为通过Hopf代数$χ_1$实现的半直积代数，揭示了由$χ_1$控制的深层对称性。关键贡献在于识别出三个Hopf循环上链：Schwarzian 1-上链、Rankin-Cohen括号的推广以及Godbillon-Vey 1-上链，它们在Eisenstein级数与非交换几何的语境下具有明确的几何与算术解释。

ABSTRACT

We introduce and begin to analyse a class of algebras, associated to congruence subgroups, that extend both the algebra of modular forms of all levels and the ring of classical Hecke operators. At the intuitive level, these are algebras of `polynomial coordinates' for the `transverse space' of lattices modulo the action of the Hecke correspondences. Their underlying symmetry is shown to be encoded by the same Hopf algebra that controls the transverse geometry of codimension 1 foliations. Its action is shown to span the `holomorphic tangent space' of the noncommutative space, and each of its three basic Hopf cyclic cocycles acquires a specific meaning. The Schwarzian 1-cocycle gives an inner derivation implemented by the level 1 Eisenstein series of weight 4. The Hopf cyclic 2-cocycle representing the transverse fundamental class provides a natural extension of the first Rankin-Cohen bracket to the modular Hecke algebras. Lastly, the Hopf cyclic version of the Godbillon-Vey cocycle gives rise to a 1-cocycle on PSL(2, Q) with values in Eisenstein series of weight 2, which when coupled with the `period' cocycle yields a representative of the Euler class.

研究动机与目标

• 将模形式的代数结构与Hecke算子的作用统一为单一的非交换代数框架。
• 识别出控制格子模Hecke对应关系的非交换空间横截几何的底层Hopf代数对称性$χ_1$。
• 在模形式与算术几何的语境下，解释$χ_1$的三个基本Hopf循环上链的几何与算术意义。
• 通过Hopf循环上同调，将经典的Rankin-Cohen括号与Euler类构造推广至模形式Hecke代数的设定。

提出的方法

• 将模形式Hecke代数$χ(\Gamma)$构造为$Γ\backslash\mathrm{GL}^+(2,\mathbb{Q})$上的半直积代数，其元素为满足协变条件的有限支集映射到模形式。
• 通过生成元$X$、$Y$与$\delta_n$实现Hopf代数$χ_1$在$χ(\Gamma)$上的作用，其中$Y$作为权分次算子，$X$作为校正Dedekind eta函数对数导数的Ramanujan型微分算子，而$\delta_n$通过$ΓΛ^+(2,\mathbb{Q})$上的广义上链实现。
• 在Hecke对应关系与$S^1$上的微分同胚之间建立几何类比，其中Eichler积分$Z$扮演角变量的角色，而雅可比行列式$J(\gamma)$取代导数$\phi'$。
• 利用指数映射的2阶喷射与联络曲率，计算Godbillon-Vey 1-上链的拉回，将其与$\delta_1$作用及通过框架丛积分得到的Bott-Thurston上链联系起来。
• 证明$χ(\Gamma)$上的$\delta_1$作用对应于取值于权2 Eisenstein级数的$ΟΣΛ(2,\mathbb{Q})$上的1-上链，当与周期上链耦合时，给出Euler类在群上同调中的代表元。
• 证明代表横截基本类的Hopf循环2-上链自然地将第一个Rankin-Cohen括号推广至模形式Hecke代数设定。

实验结果

研究问题

• RQ1 如何将模形式的代数结构与Hecke算子的作用统一为单一的非交换代数结构？
• RQ2 $\mathcal{H}_1$在编码格子模Hecke对应关系的非交换空间对称性中扮演何种角色？
• RQ3 在模形式的语境下，$\mathcal{H}_1$的三个基本Hopf循环上链如何在几何与算术上体现？
• RQ4 能否通过Hopf循环上同调自然地将第一个Rankin-Cohen括号推广至模形式Hecke代数？
• RQ5 Godbillon-Vey上链在模形式与Euler类语境下的几何解释是什么？

主要发现

• 生成元$X$在$\mathcal{A}(\Gamma)$上的作用被实现为校正通常导数的Ramanujan型微分算子，其校正项为Dedekind eta函数的对数导数。
• 生成元$Y$作为Euler算子，按权对模形式进行分次，从而编码了模形式的齐次性。
• 与Schwarzian导数相关的Hopf循环1-上链对应于由权4的水平1 Eisenstein级数实现的内导子。
• 代表横截基本类的Hopf循环2-上链自然地将第一个Rankin-Cohen括号推广至模形式Hecke代数，推广了经典构造。
• 取值于权2 Eisenstein级数的$ΟΣΛ(2,\mathbb{Q})$上的Godbillon-Vey型1-上链，当与周期上链耦合时，给出群上同调中Euler类的代表元。
• 通过指数映射的2阶喷射拉回Godbillon-Vey 1-上链，得到一个同调代表元，其涉及分式线性变换导数的对数导数，与Thurston公式及Bott-Thurston上链相联系。