[论文解读] Vector-valued modular functions for the modular group and the hypergeometric equation

P. Bántay, Terry Gannon|arXiv (Cornell University)|May 17, 2007

Mathematical functions and polynomials被引用 8

一句话总结

本文为模群 SL₂(ℤ) 的向量值模函数建立了通用理论，表明它们由主模 J(τ) 和满足抽象超几何微分方程的基本矩阵 Ξ(τ) 的列生成。关键贡献是通过微分方程框架解决了 SL₂(ℤ) 表示的黎曼-希尔伯特问题，给出了半整数权模形式的显式反演公式与维数计数公式。

ABSTRACT

A general theory of vector-valued modular functions, holomorphic in the upper half-plane, is presented for finite dimensional representations of the modular group. This also provides a description of vector-valued modular forms of arbitrary half-integer weight. It is shown that the space of these modular functions is spanned, as a module over the polynomials in J, by the columns of a matrix that satisfies an abstract hypergeometric equation, providing a simple solution of the Riemann-Hilbert problem for representations of the modular group. Restrictions on the coefficients of this differential equation implied by analyticity are discussed, and an inversion formula is presented that allows the determination of an arbitrary vector-valued modular function from its singular behavior. Questions of rationality and positivity of expansion coefficients are addressed. Closed expressions for the number of vector-valued modular forms of half-integer weight are given, and the general theory is illustrated on simple examples.

研究动机与目标

• 为模群 SL₂(ℤ) 的有限维表示建立向量值模函数的完整理论。
• 描述任意半整数权向量值模形式空间的结构。
• 利用微分方程框架，为 SL₂(ℤ) 表示提供黎曼-希尔伯特问题的解。
• 推导一个反演公式，从其在尖点的奇性部分重构任意此类模函数。
• 刻画这些函数的 q-展开具有非负整数系数的条件。

提出的方法

• 构造一个基本矩阵 Ξ(τ)，其列张成给定表示 ρ 的向量值模函数空间。
• 证明 Ξ(τ) 满足由表示 ρ 的单值性表示导出的抽象超几何微分方程。
• 以模不变量 j-不变量 J(τ) 作为基坐标，将解空间表示为 ℂ[J]-模。
• 应用反演公式（公式 5.1）从其奇性部分与基本矩阵重构任意模函数。
• 引入一个基于伽罗瓦群对傅里叶系数作用的有理性检验，使用条件 ρ(S) = σ_ℓ ρ(S) σ_ℓ⁻¹。
• 分析指数矩阵 Λ 及其整数部分的约束，以确保傅里叶系数的整数性与正性。

实验结果

研究问题

• RQ1 如何系统地构造给定表示 ρ 的 SL₂(ℤ) 向量值模函数空间？
• RQ2 基本矩阵 Ξ(τ) 由何种微分方程控制，其单值性如何与表示 ρ 相关联？
• RQ3 在何种条件下，向量值模形式具有非负整数系数的 q-展开？
• RQ4 能否从尖点处的奇性行为重构任意向量值模函数？
• RQ5 指数矩阵 Λ 和表示 ρ 的精确条件是什么，以确保傅里叶系数的有理性和整数性？

主要发现

• 给定表示 ρ 的向量值模函数空间是 ℂ[J]-上的自由模，由基本矩阵 Ξ(τ) 的列生成。
• 基本矩阵 Ξ(τ) 满足抽象超几何微分方程（公式 3.3），其单值性由 ρ 决定。
• 显式反演公式（公式 5.1）允许从其奇性部分与基本矩阵重构任意向量值模函数。
• 推导出半整数权向量值模形式空间维数的闭式表达式，其依赖于表示 ρ 和指数矩阵 Λ。
• 建立了有理性检验：模函数具有有理系数的 q-展开当且仅当对所有与水平数 N 互素的 ℓ，有 ρ(S) 与伽罗瓦作用 σ_ℓ 交换。
• 傅里叶系数的正性和整数性对指数矩阵 Λ 和表示 ρ 施加了强约束，且在 Λ 的某些变换下，整数性可能丧失或获得。