[論文レビュー] 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₂(ℤ) に対するベクトル値モジュラー関数の包括的理論を構築し、それらが Hauptmodul 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) がガロア作用 σ_ℓ と可換であることである。
• フーリエ係数の正値性および整数性は、指数行列 Λ および表現 ρ に強く制約を課す。整数性は、Λ の特定の変換の下で失われるか、あるいは回復する可能性がある。