[論文レビュー] Classification of Vector-Valued modular Forms of Dimension less than Six

Marks, Christopher|arXiv (Cornell University)|Mar 22, 2010

Algebraic structures and combinatorial models参考文献 15被引用数 6

ひとこと要約

本稿は、次元5未塔の、全モジュラー群 $\mathrm{SL}(2,\mathbb{Z})$ の既約で T-ユニタリ表現に関連するベクトル値モジュラー形式を分類する。この形式の空間が整数重みモジュラー形式の環上での自由加群であることを証明し、明示的な基底を計算するとともに、各ケースにおけるヒルベルト・ポincare級数を導出する。主な結果として、次元5までの完全な分類が得られ、特に次元5では $\Psi(\rho,\upsilon)(t) = \frac{t^{k_4-8}(1+2t^2+2t^4)}{(1-t^4)(1-t^6)}$ が得られる。

ABSTRACT

The first half of this dissertation reviews the basic notion of vector-valued modular forms and its connection to differential equations. The main purpose of the dissertation is to classify spaces of vector-valued modular forms associated to irreducible, T-unitarizable representations of the full modular group, of dimension less than six. Given such a representation, it is shown that the associated graded complex linear space of vector-valued modular forms is a free module over the ring of integral weight modular forms for the full modular group, whose rank is equal to the dimension of the given representation. An explicit basis is computed for the module structure in each case, and this basis is used to compute the Hilbert-Poincare series associated to each graded space.

研究の動機と目的

• 次元5未塔の、$\mathrm{SL}(2,\mathbb{Z})$ の既約で T-ユニタリ表現に関連するベクトル値モジュラー形式の空間を分類すること。
• このような形式の重層的空間が、整数重みモジュラー形式の環上での自由加群であることを証明し、ランクが表現の次元に等しいこと。
• 特に次元1から5までの各ケースについて、加群構造の明示的基底を計算すること。
• 各表現についてのヒルベルト・ポincare級数を決定し、形式空間の次元の重みによる増加を捉えること。
• 次元2の既存結果を高次元に拡張し、次元5についての完全な分類を提供すること。

提案手法

• モジュラー微分 $D$ を用いてモジュラー線形微分方程式（MLDE）を定義し、ベクトル値モジュラー形式と係数がモジュラーな常微分方程式の解を結びつける。
• モジュラー・ワロンスキー式を用いて MLDE の基本的解系を特徴付け、ベクトル値形式の成分が線形独立であることを保証する。
• スケール多項式環 $\mathcal{R}$ を用いて加群構造を記述し、モジュラー微分とモジュラー形式の作用を統合する。
• ピョコルエ級数を用いてベクトル値モジュラー形式を構成し、アイゼンスタイン級数 $E_4, E_6, E_8$ を用いて低重み形式から持ち上げる。
• 形式空間上の線形汎関数を用いて非自明な関係を検出し、候補基底ベクトルの線形独立性を証明する。
• $\Delta \mathcal{H}(k_4 + 2(k-6), \rho, \upsilon)$ を用いた再帰的分解を適用し、次元公式とヒルベルト・ポincare級数を導出する。

実験結果

リサーチクエスチョン

• RQ1 次元5未塔の、$\mathrm{SL}(2,\mathbb{Z})$ の既約で T-ユニタリ表現について、整数重みモジュラー形式の環上でのベクトル値モジュラー形式の空間の加群構造はいかなるものか。
• RQ2 ベクトル値モジュラー形式の空間が自由加群であることを示せるか。もし可能であれば、明示的基底は何か。
• RQ3 各ケースにおける重層的空間のヒルベルト・ポincare級数は何か。
• RQ4 重み $k_0 + 2k$ の形式空間の次元は $k$ と共にどのように増加するか。また、これを閉形式の公式で表現できるか。
• RQ5 次元5の場合のヒルベルト・ポincare級数の正確な形は何か。また、これは基底の構造をどのように反映しているか。

主な発見

• ベクトル値モジュラー形式の空間 $\mathcal{H}(\rho,\upsilon)$ は、$\mathrm{SL}(2,\mathbb{Z})$ の整数重みモジュラー形式の環 $\mathcal{M}$ 上のランク5の自由加群である。
• 明示的基底は $\{G_1, DG_1, G_2, DG_2, G_3\}$ であり、$G_1, G_2, G_3$ は再帰的持ち上げと線形独立性の議論によって構成される。
• $\mathcal{H}(k_4 + 2k, \rho, \upsilon)$ の次元は、$k \equiv 5 \pmod{6}$ のとき $\left[\frac{5k}{6}\right] + 4$、それ以外のときは $\left[\frac{5k}{6}\right] + 5$ である。
• 次元5の場合のヒルベルト・ポincare級数は $\Psi(\rho,\upsilon)(t) = \frac{t^{k_4-8}(1+2t^2+2t^4)}{(1-t^4)(1-t^6)}$ である。
• 証明は、形式空間上の線形汎関数の核の交わりに非自明な要素を構成することに依拠し、持ち上げの存在と基底の完全性を保証する。
• 以前の次元2の分類結果を一般化し、次元1から5までの完全な枠組みを確立する。