[論文レビュー] Multiplying Modular Forms

Martin H. Weissman|ArXiv.org|Nov 30, 2006

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

ひとこと要約

本稿は、実半単純リー群の正則離散的系列表現のテンソル積における分岐問題と、正則モジュラー形式の環構造を結びつける表現論的枠組みを確立する。正則モジュラー形式の古典的乗法を実現する一意な相互作用作用素を構成し、局所対称空間のサタケコンパクト化を表現論によって幾何的・代数的に基礎づける。

ABSTRACT

The space of elliptic modular forms of fixed weight and level can be identfied with a space of intertwining operators, from a holomorphic discrete series representation of SL2(R) to a space of automorphic forms. Moreover, multiplying elliptic modular forms corresponds to a branching problem involving tensor products of holomorphic discrete series representations. In this paper, we explicitly connect the ring structure on spaces of modular forms with branching problems in the representation theory of real semisimple Lie groups. Furthermore, we construct a family of intertwining operators from discrete series representations into tensor products of other discrete series representations. This collection of intertwining operators provides the well-known ring structure on spaces of holomorphic modular forms. An analytic subtlety prevents this collection of intertwining operators from directly yielding a ring structure on some spaces of modular forms. We discuss discrete decomposability, and its role in constructing ring structures.

研究の動機と目的

• 正則モジュラー形式の環構造と、実半単純リー群の表現論における分岐問題との明確な関係を解明すること。
• 正則離散的系列表現を他の離散的系列表現のテンソル積へ一意に埋め込むこと。
• この表現論的構成が、スカラー値およびベクトル値形式を含む古典的モジュラー形式乗法を回復することを示すこと。
• 特に局所対称空間のサタケコンパクト化におけるこの構成の幾何的含意を探索すること。
• 離散的分解可能性がモジュラー形式乗法を可能または妨げる役割を果たす仕組みを解明すること。

提案手法

• ボレル＝ヴァイル実現を用いて、離散的系列表現から他の離散的系列表現のテンソル積への一意な相互作用作用素を構成する。
• Ørsted-Vargasの解析的接続と正則性に関する結果を適用し、相互作用写像が適切に定義されかつ一意的であることを保証する。
• モジュラー形式を正則離散的系列表現におけるK-有限ベクトルと同一視し、自動形式と表現論を結びつける。
• 古典的モジュラー形式の積と、一意的同型 $\mathrm{can}$, $\mathrm{comm}$, $\mathrm{assoc}$ を通じた相互作用作用素の合成との対応を確立する。
• 最低K型のテンソル積上での一意的相互作用作用素 $\mu_{\lambda_1,\lambda_2}^*$ を用いて、ベクトル値モジュラー形式への拡張を定義する。
• 離散的系列表現の形式的次数 $\delta_w$ を用いて、モジュラー形式空間の次元を推定し、$\dim \mathcal{M}(\mathcal{J}_w) = O(\delta_w) = O(w^n)$ であり、$n = \dim(G/K)$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 正則モジュラー形式の環構造は、正則離散的系列表現のテンソル積における分岐問題からどのように生じるか？
• RQ2 正則離散的系列表現を、他の二つの離散的系列表現のテンソル積へ一意に埋め込むことは可能か？ その条件は何か？
• RQ3 表現論的乗法が、古典的正則乗法とどの程度一致するか？
• RQ4 サタケコンパクト化 $\overline{Y(\Gamma)} = \mathrm{Proj}(\mathcal{M})$ の幾何的構造は、表現論的枠組みからどのように生じるか？
• RQ5 離散的分解可能性は、特にスカラーでない場合に、モジュラー形式乗法を可能または妨げる役割を果たすか？

主な発見

• 本稿は、$\lambda = \lambda_1 + \lambda_2$ のとき、正則離散的系列表現 $\mathcal{J}_{\lambda}$ からテンソル積 $\mathcal{J}_{\lambda_1} \otimes \mathcal{J}_{\lambda_2}$ への一意な相互作用作用素の族を構成する。これは、Ørsted-VargasおよびVargasの解析的結果を用いる。
• これらの相互作用作用素によるモジュラー形式の乗法は、古典的正則乗法と完全に一致し、恒等式 $m([F_1 \otimes F_2](j_{w_1}^\vee \otimes j_{w_2}^\vee))(g) = F_1(j_{w_1}^\vee)(g) \cdot F_2(j_{w_2}^\vee)(g)$ によって示される。
• 有理数型チューブ領域上のスカラー値モジュラー形式に対して、サタケコンパクト化 $\overline{Y(\Gamma)}$ は $\mathrm{Proj}(\mathcal{M})$ に同型であり、$\mathcal{M}$ はモジュラー形式の階数付き環である。この構成は、表現論的枠組み内で完全に実現されている。
• 重み $w$ のモジュラー形式空間の次元は $\dim \mathcal{M}(\mathcal{J}_w) = O(\delta_w) = O(w^n)$ を満たし、$n = \dim(G/K)$ である。これは、環 $\mathcal{M}$ がクルール次元 $n$ を持つことを示唆する。
• ベクトル値モジュラー形式に対して、$\mathcal{M}^{\mathrm{vec}} = \bigoplus_{\lambda \in \Lambda_k^+} \mathcal{M}_{\mathrm{hol}}(H_\lambda)$ という新しい環構造を定義し、乗法は $[f_1 \cdot f_2](g) = \mu_{\lambda_1,\lambda_2}^*(f_1(g) \otimes f_2(g))$ で与えられる。
• 複素代数的トーラス $T_{\mathbb{C}}$ は、スキーム $Y^{\mathrm{vec}} = \mathrm{Spec}(\mathcal{M}^{\mathrm{vec}})$ に $t[f] = \lambda(t)f$ によって作用する。これは、グレーディングの幾何的解釈およびGIT商によるコンパクト化の可能性を示唆する。