[論文レビュー] Logarithmic vector-valued modular forms

Marvin I. Knopp, Geoffrey Mason|ArXiv.org|Oct 20, 2009

Advanced Algebra and Geometry参考文献 5被引用数 4

ひとこと要約

本稿は、$\log q$ のべきを含む $q$-級数である成分関数を備えた、対数的ベクトル値モジュラー形式—すなわち、$\mathrm{SL}_2(\mathbb{Z})$ への表現 $\rho: \mathrm{SL}_2(\mathbb{Z}) \to \mathrm{GL}_p(\mathbb{C})$ に対して、$\rho(T)$ の固有値が単位円上にある場合の、マトリクス値のメロモルフィック・ポアンカレ級数を構成する。主な結果は、正則な対数的ベクトル値モジュラー形式の空間が、古典的正則モジュラー形式の環上でのランク $p$ の自由加群であるということである。

ABSTRACT

We consider logarithmic vector- and matrix-valued modular forms of integral weight $k$ associated with a $p$-dimensional representation $ρ: SL_2(\mathbb{Z}) o GL_p(\mathbb{C})$ of the modular group, subject only to the condition that $ρ(T)$ has eigenvalues of absolute value 1. The main result is the construction of meromorphic matrix-valued Poincaré series associated to $ρ$ for all large enough weights. The component functions are logarithmic $q$-series, i.e., finite sums of products of $q$-series and powers of $\log q$. We derive several consequences, in particular we show that the space $\mathcal{H}(ρ)=\oplus_k \mathcal{H}(k, ρ)$ of all holomorphic logarithmic vector-valued modular forms associated to $ρ$ is a free module of rank $p$ over the ring of classical holomorphic modular forms on $SL_2(\mathbb{Z})$.

研究の動機と目的

• 一般の $\mathrm{SL}_2(\mathbb{Z})$ の表現 $\rho$ に対して、対数的ベクトル値モジュラー形式の体系的理論を構築すること。ただし、$\rho(T)$ の固有値の絶対値が 1 であること。
• 特に conformal field theory や頂点演算子代数の文脈において、一般の枠組みが欠如している対数的モジュラー形式の問題を扱うこと。
• 補正行列因子 $B_\rho$ を用いた新しいマトリクス値ポアンカレ級数の構成により、非自明な対数的モジュラー形式の存在を確立すること。
• 正則な対数的ベクトル値モジュラー形式の空間 $\mathcal{H}(\rho)$ が、古典的モジュラー形式の環上でのランク $p$ の自由加群であることを証明すること。

提案手法

• 表現 $\rho$ の $p$ 次元表現に対して、$\rho$ における正しい変換性を保証するための行列因子 $B_\rho$ を組み込んだマトリクス値ポアンカレ級数を構成する。
• $\rho(T)$ の固有値の絶対値が 1 である条件を課すことで、収束性を保証し、実数の指数を持つ $q$-展開を可能にする。
• $\rho(T)$ の修正されたジョルダン標準形を用いて、$f(\tau) = \sum_{j=0}^t (\log q)^j h_j(\tau)$ の形の対数的 $q$-展開をモデル化する。ここで $h_j(\tau)$ は通常の $q$-級数である。
• 収束性の証明に、新しい推定（命題 3.7）とアイヘラーの標準形技法を適用し、上半平面におけるポアンカレ級数の収束を示す。
• 成分関数のジョルダンブロックに基づく分析により、ポアンカレ級数の対数的 $q$-級数展開を導出する。
• ハイケと [KM1] が用いた手法を適応し、重み $k$ と表現 $\rho$ に依存する境界を用いて、フーリエ係数の多項式的成長推定を得る。

実験結果

リサーチクエスチョン

• RQ1 任意の $\mathrm{SL}_2(\mathbb{Z})$ の表現 $\rho$ に対して、$\rho(T)$ が単位円上に固有値を持つ場合、$\rho(T)$ が対角化可能でない場合でも、メロモルフィックなマトリクス値ポアンカレ級数を構成できるか？
• RQ2 $\mathcal{H}(\rho)$ である正則な対数的ベクトル値モジュラー形式の空間が、古典的正則モジュラー形式の環上での自由加群であるか？
• RQ3 任意の対数的ベクトル値モジュラー形式に、最小の次数を持つ標準的なモジュラー線形微分方程式（MLDE）を関連付けることができるか？また、その最小次数は何か？
• RQ4 整関数的および尖点形式の対数的ベクトル値モジュラー形式のフーリエ係数の多項式的成長境界は何か？
• RQ5 表現 $\rho$ の構造、特にジョルダン標準形が、モジュラー形式の $q$-展開および変換性にどのように影響を与えるか？

主な発見

• $\mathcal{H}(\rho) = \bigoplus_k \mathcal{H}(k, \rho)$ である正則な対数的ベクトル値モジュラー形式の空間は、$\mathrm{SL}_2(\mathbb{Z})$ 上の古典的正則モジュラー形式の環上でのランク $p$ の自由加群であり、通常の場合の結果を一般化する。
• 任意の対数的ベクトル値モジュラー形式 $F$ に対して、$F$ の成分関数が張る空間を解空間とする、最小次数の標準的モジュラー線形微分方程式が存在する。その先頭係数は正規化され、最小の重みを持つ。
• $F$ の annihilator は、環 $\mathcal{R}$ 上の微分作用素の環において、巡回 $\mathcal{R}$-加群である。これは、このような形式に整然とした代数的枠組みが存在することを示している。
• 重み $k$ の正則な対数的ベクトル値モジュラー形式のフーリエ係数は、$a(n) = O(n^{k + \alpha})$ を満たす。ここで $\alpha$ は $\rho$ のみに依存する。尖点形式の場合には、より鋭い境界 $a(n) = O(n^{k/2 + \alpha/2})$ が得られる。
• $B_\rho$ を用いたマトリクス値ポアンカレ級数の構成により、$\rho$ における正しい変換性が保証され、非自明な対数的モジュラー形式の存在が可能になる。
• ポアンカレ級数の収束性は、$\rho(T)$ の固有値が単位円上にあるという条件下で確立される。これは、共形場理論の物理的動機付けに合致しており、有理的および対数的 CFT の表現で満たされる。