[論文レビュー] The theory of vector-modular forms for the modular group

Terry Gannon|arXiv (Cornell University)|Oct 16, 2013

Algebraic structures and combinatorial models参考文献 19被引用数 10

ひとこと要約

本稿は、モジュラー群 SL₂(ℤ) に対するベクトル値モジュラー形式（vvmf）の包括的な理論を構築し、正則vvmfの次元公式、Serre双対性、Mittag-Leffler問題の解法といった基礎的結果を確立する。1階のFuchs型微分方程式とRöhrlによるRiemann–Hilbert問題の解法を用いて、任意の乗数および重みに対するvvmfを構成し、古典的結果を一般化するとともに、自然に種数0のFuchs型群へと拡張可能である。

ABSTRACT

We explain the basic ideas, describe with proofs the main results, and demonstrate the effectiveness, of an evolving theory of vector-valued modular forms (vvmf). To keep the exposition concrete, we restrict here to the special case of the modular group. Among other things,we construct vvmf for arbitrary multipliers, solve the Mittag-Leffler problem here, establish Serre duality and find a dimension formula for holomorphic vvmf, all in far greater generality than has been done elsewhere. More important, the new ideas involved are sufficiently simple and robust that this entire theory extends directly to any genus-0 Fuchsian group.

研究の動機と目的

• モジュラー群 SL₂(ℤ) に対するベクトル値モジュラー形式（vvmf）の一般理論を構築し、半整数重や有限指数部分群の仮定を越えて展開すること。
• vvmfに対するMittag-Leffler問題を解き、尖点における所定の主要部を持つ有理型vvmfの構成を行うこと。
• 与えられた乗数および重みに対して正則vvmfの空間の次元を求める公式を確立し、vvmf空間を乗数に割り当てる関手における完全性の欠如を定量化すること。
• Eisenstein級数やモジュラー微分方程式を含む具体的な構成と例を通じて、理論の有効性を示すこと。
• SL₂(ℤ) をモデルとして用い、任意の種数0のFuchs型群への理論の拡張の基盤を築くこと。

提案手法

• vvmfは、特異点を有する平坦な正則的ベクトル束の有理型切断として、コンパクト化されたオビアーフォイド Γ\H* 上に幾何学的に解釈される。
• 中心的な道具として、先行研究で用いられる高階のODEの代わりに、リーマン球面上の1階Fuchs型微分方程式が用いられる。
• RöhrlによるRiemann–Hilbert問題の解法を応用し、基本行列の存在を証明し、所定のモノドロミーと特異的挙動を有するvvmfを構成する。
• 正則vvmf（極をもたない）と弱正則vvmf（尖点でのみ極をもつ）を区別し、後者を基礎的ケースとして用いる。
• テンソル積は、双射の指数と基本行列を用いて構成され、偶数整数による重みシフトに関して明示的な公式が導出される。
• 理論はE₄、E₆、Δといったモジュラー形式の構造を活用し、微分作用素および乗法による作用を通じて基本行列に影響を与える。

実験結果

リサーチクエスチョン

• RQ1 半整数重や有限指数部分群の仮定をしないで、モジュラー群に対して一般のベクトル値モジュラー形式理論をどのように構築できるか。
• RQ2 与えられた乗数および重みに対して、正則vvmfの空間の次元は何か。また、vvmf空間を乗数に割り当てる関手における完全性の欠如は、どのように定量化できるか。
• RQ3 vvmfに対してMittag-Leffler問題を解けるか。すなわち、尖点における所定の主要部を持つvvmfを構成できるか。
• RQ4 vvmfのテンソル積はどのように振る舞い、偶数整数による重みシフトに対してその基本行列を明示的に構成できるか。
• RQ5 楕円的固定点はvvmfの構造にどのように寄与するか。また、そのモノドロミーは理論にどのように組み込まれるか。

主な発見

• 正則vvmfの次元公式が確立され、解の空間が乗数の表現および重みの観点から定量化される。
• モジュラー群上のvvmfに対するMittag-Leffler問題が解かれた。すなわち、尖点における所定の主要部を持つ有理型vvmfの存在が証明された。
• vvmfに対してSerre双対性が証明され、vvmfのコホモロジー群とその双対群の間の双対性が確立された。
• モノドロミー表現から導かれるある行列のランクを用いて、乗数に割り当てる関手における完全性の欠如が定量化された。
• 偶数整数による重みシフトに対して、E₄、E₆、Δおよび微分作用素を用いた元の基本行列の組み合わせにより、vvmfの基本行列の明示的構成が与えられた。
• 重みシフトが2, 4, 6, 8, 10, 12の場合、修正された基本行列の列の線形結合を用いて、双射の指数を持つ新しい基本行列を生成する明示的構成が理論によって提供された。