[論文レビュー] The Lewis Correspondence for submodular groups

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

Advanced Algebra and Geometry被引用数 4

ひとこと要約

この論文は、モジュラー群 PSL₂(ℤ) の有限指数部分群である部分モジュラー群に対して、Maaß 形式と周期関数を結ぶリースの対応を拡張する。有限商群の表現論と転送作用素を用いて、力学系の固有関数と自動形式を結ぶ逆定理を確立し、ねじれスペクトル理論と上半平面における有限次元表現の変換性を持つ正則関数を用いて、合同部分群への古典的結果の一般化を達成する。

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₂(ℤ) における Maaß 形式と周期関数を結ぶリース対応を、PSL₂(ℤ) の有限指数部分群である部分モジュラー群へ一般化すること。
• 有限商群 Γ/Λ の作用における表現論的分解を用いて、部分モジュラー群上の Maaß 形式を特徴づけること。
• メリン変換とスペクトル理論を介して、関数方程式を満たすディリクレ級数と自動形式を結ぶ逆定理を確立すること。
• 有限次元ユニタリ表現 η を用いたねじれ Maaß 形式に関連する周期関数論を、商群 Γ/Λ の表現に沿って拡張すること。

提案手法

• 部分モジュラー群 Λ に対する Maaß 形式空間を、有限商群 Γ/Λ のユニタリ双対を用いて同型成分に分解する。
• 正則表現と射影写像を用いて、Λ-Maaß 形式と、可 irreducible 表現 η とテンソル積をとった Γ-不変セクションを関連付ける。
• 正則関数 ℂ\(-∞,0] 上での右半群作用を定義するスラッシュ作用 (ψ|ν,ηγ)(z) = (cz+d)^{-2ν-1}η(γ)^{-1}ψ(γ·z) を導入する。
• 周期関数 ψ が η(T) と η(S) を含む関数方程式を満たすことを特徴づけるために、転送作用素 ℒ₀ と ℒ∞ を導入し、力学系の固有関数と結びつける。
• メリン変換とHurwitz ゼータ関数の漸近展開を用いて、無限大および原点における挙動を分析し、正則性と減衰条件を保証する。
• 逆定理フレームワークを適用する：ディリクレ級数 Lε(s) が関数方程式 Γν(s+ε)Lε(s) = (−1)εη(S)Γν(1−s)Lε(1−s) を満たすならば、逆メリン変換により 𝒮ν,η に属する Maaß 形式が得られる。

実験結果

リサーチクエスチョン

• RQ1 元来 PSL₂(ℤ) に対して定義されたリース対応を、PSL₂(ℤ) の有限指数部分群である部分モジュラー群へどのように拡張できるか。
• RQ2 商群 Γ/Λ の有限次元ユニタリ表現が、部分モジュラー群 Λ における Maaß 形式空間の分解に果たす役割は何か。
• RQ3 関数方程式を満たす (0,∞) 上の正則関数 ψ が、指定された変換性を持つ ℂ\(-∞,0] 上のグローバル正則関数の制限として生じるための条件は何か。
• RQ4 ねじれ Maaß 形式の文脈において、自動形式と関数方程式を満たすディリクレ級数を結ぶ逆定理を確立できるか。
• RQ5 周期関数 ψ の 0 および ∞ における漸近的挙動が、スペクトルパrameter ν と転送作用素の構造とどのように関係するか。

主な発見

• 部分モジュラー群 Λ に対する Maaß 形式空間は、W が Λ-Maaß 形式の空間であるとき、(W⊗η)^Γ ⊗ ḡη への直和に同型である。ここで (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}) であり、これらは式 (42) のHurwitz ゼータ関数展開から導かれる。これにより正則性と減衰性が保証される。
• 逆定理により、係数 v_k が η(T)v_k = e^{2πik/N}v_k を満たすディリクレ級数 Lε(s) が s↦1−s の下で関数方程式を満たすならば、逆メリン変換により 𝒮ν,η に属する Maaß 形式が得られる。