[论文解读] The Lewis Correspondence for submodular groups

Anton Deitmar, Joachim Hilgert|ArXiv.org|Apr 4, 2004

Advanced Algebra and Geometry被引用 4

一句话总结

本文将原始的 Lewis 对应关系——连接 Maaß 形式与周期函数的理论——推广至子模群，即 PSL₂(ℤ) 的有限指数子群。通过利用有限商群的表示理论与转移算子，本文建立了将自守形式与动力系统特征函数相联系的逆定理，借助扭谱理论与上半平面上的全纯函数（在有限像表示下具有变换性质），将经典结果推广至同余子群。

ABSTRACT

The Lewis Correspondence attaching a unique "period function" to each Maass wave form for SL(2,Z) is extended to subgroups of finite index. This is achieved by using vector-valued forms.

研究动机与目标

• 将原本定义于全模群 PSL₂(ℤ) 的 Lewis 对应关系——连接 Maaß 形式与周期函数——推广至 PSL₂(ℤ) 的有限指数子群（即子模群）。
• 通过有限商群 Γ/Λ 作用下的表示理论分解，刻画子模群上的 Maaß 形式。
• 建立一个逆定理，通过梅林变换与谱理论，将具有函数方程的狄利克雷级数与自守形式相联系。
• 将周期函数理论推广至与有限维酉表示相关的扭 Maaß 形式，该表示作用于商群 Γ/Λ。

提出的方法

• 利用有限商群 Γ/Λ 的单位酉对偶，将正规子模群 Λ 的 Maaß 形式空间分解为同型分量。
• 通过正则表示与投影映射，将 Λ-Maaß 形式与张量积中关于不可约表示 η 的 Γ-不变截面相联系。
• 应用下划线作用 (ψ|ν,ηγ)(z) = (cz+d)^{-2ν-1}η(γ)^{-1}ψ(γ·z)，在 ℂ\(-∞,0] 上的全纯函数上定义右半群作用。
• 引入转移算子 ℒ₀ 与 ℒ∞，以刻画满足涉及 η(T) 与 η(S) 的函数方程的周期函数 ψ，从而将其与动力系统的特征函数相联系。
• 利用梅林变换与 Hurwitz zeta 函数的渐近展开，分析无穷远与原点处的行为，确保全纯性与衰减条件。
• 应用逆定理框架：若狄利克雷级数 Lε(s) 满足函数方程 Γν(s+ε)Lε(s) = (−1)εη(S)Γν(1−s)Lε(1−s)，则其逆梅林变换将生成 𝒮ν,η 中的 Maaß 形式。

实验结果

研究问题

• RQ1 原始定义于全模群的 Lewis 对应关系，如何推广至 PSL₂(ℤ) 的有限指数子模群？
• RQ2 有限维酉表示 Γ/Λ 在子模群 Λ 的 Maaß 形式空间表示理论分解中起何种作用？
• RQ3 在 (0,∞) 上满足某函数方程的全纯函数 ψ，何时可作为 ℂ\(-∞,0] 上具有指定变换性质的全局全纯函数的限制？
• RQ4 能否建立一个逆定理，将自守形式与具有函数方程的狄利克雷级数相联系，即使在扭 Maaß 形式的情形下？
• RQ5 周期函数 ψ 在 0 与 ∞ 处的渐近行为如何与谱参数 ν 及转移算子的结构相关联？

主要发现

• 子模群 Λ 的 Maaß 形式空间同构于不可约表示 η 的直和：(W⊗η)^Γ ⊗ ḡη，其中 W 是 Λ-Maaß 形式空间，(W⊗η)^Γ 表示 Γ-不变截面。
• 给定 Maaß 形式的周期函数 ψ 满足涉及转移算子 ℒ₀ 与 ℒ∞ 的函数方程，这些算子编码了模群作用的动力学。
• 若当 x→∞ 时 ψ = o(x^{min(0,Re ν)})，则 Q∞=0；若 C*_{-1}=0，则 C₀=0，从而得到两个等价的函数方程 (37) 与 (38) 对 ψ 成立。
• ψ 在 ℂ\(-∞,0] 上的解析延拓通过半群作用 (ψ|ν,ηγ)(z) 实现，所得函数满足相同的函数方程。
• ψ 在 0 与 ∞ 处的渐近展开分别为 O(1) 与 O(|z|^{-2ν-1})，由 Hurwitz zeta 函数展开 (42) 推导得出，确保了全纯性与衰减性。
• 逆定理表明：若狄利克雷级数 Lε(s)，其系数 v_k 满足 η(T)v_k = e^{2πik/N}v_k，且在 s↦1−s 下具有涉及 η(S) 的函数方程，则其逆梅林变换将生成 𝒮ν,η 中的 Maaß 形式。