Tautological modular forms of level two and degree two

技術的サマリー：レベル 2 かつ次数 2 の同語的モジュラー形式

問題提起
本論文は、次数 2 かつレベル 2 のベクトル値シゲルモジュラー形式の環 $R(A_2[2])$ の構成と明示的な記述に取り組む。レベル 1 の場合（楕円曲線におけるアイゼンシュタイン級数 $E_4, E_6$ や種数 2 における特定の形式によって生成される有限生成環）とは異なり、次数 2 のベクトル値モジュラー形式の環は有限生成ではないことが知られている（Grundh [2]）。著者らは、空間のモジュライ解釈と密接に関連する「同語的」形式を用いてこの非有限生成環を記述する方法を求め、明示的な計算を容易にするためにこの環を有限生成構造に埋め込むことを目指している。

手法
著者らは、モジュライスタックの理論、不変式論、およびテータ関数を組み合わせた幾何学的アプローチを採用する。

1. モジュライスタックの解釈: 完全レベル 2 構造を持つ主要偏極アーベル曲面のモジュライ空間 $A_2[2]$ をスタック商として解釈する。具体的には、6 つのワイエルシュトラス点が指定された種数 2 曲線のモジュライ空間 $M_2[2]$ がスタック $[P/GL_2]$ と同一視される。ここで $P$ は、$\mathbb{P}^1$ 上の 6 点 $(p_1, \dots, p_6)$ とこれらで消滅する 6 次二元形式 $f$ からなる対 $(p_1, \dots, p_6, f)$ の空間である。対称群 $S_6 \cong Sp(4, \mathbb{Z}/2\mathbb{Z})$ が、6 つのワイエルシュトラス点を置換することによってこの空間に作用する。
2. 形式の幾何学的構成: 著者らは、ホッジ束の射影化 $\mathbb{P}(E)$ 上の除子を解釈することでベクトル値モジュラー形式を構成する。普遍曲線上の 6 つのワイエルシュトラス点が 6 つの切断を定義し、その閉包が除子 $W_i$ を生む。著者らはこれらの除子を、6 つの奇数テータ関数の勾配 $G_1, \dots, G_6$ と関連付ける。
3. 不変式論と共変量: 問題は古典的不変式論の言語へと翻訳される。$A_2[2]$ 上のベクトル値モジュラー形式は、2 変数の 6 つの線形形式の空間 $V^{\oplus 6}$ に対する $GL_2$ の作用の共変量として同定される。共変量の環 $C(V^{\oplus 6})$ は（ゴルダンの定理により）有限生成であるのに対し、モジュラー形式の環は有限生成ではない。
4. 準同型写像 $\mu$ と $\nu$:
   • 準同型写像 $\mu: R(A_2[2]) \to C'(V^{\oplus 6})$ が定義され、特定の次数制約を持つ共変量へモジュラー形式を写す。
   • 逆の準同型写像 $\nu: C'(V^{\oplus 6}) \to R(A_2[2])[1/\chi_5]$ が、共変多項式にモジュラー形式 $G_i$（およびテータ定数）を代入することで構成される。この写像は有理型モジュラー形式の環に収束する。
5. 正則性の基準: 正則モジュラー形式の環を回復するために、著者らは正則性に関する代数的基準を確立する。共変量 $C$ が正則モジュラー形式を与えるための必要十分条件は、すべての分割 $\pi$ に対して、境界除子 $H_\pi$（6 点の分割に対応する）に沿った $C$ の値 $v_\pi(C)$ が非負であることである。

主要な貢献と結果

• 同語的形式: 本論文は、除子、普遍 6 次二元形式の係数、および奇数テータ関数の勾配によって定義される「同語的」ベクトル値モジュラー形式を構成する。具体的には、奇数テータ関数の勾配である形式 $G_i$ と、判別式の平方根（偶数テータ定数の積）である $\chi_5$ が、基本的な構成要素として機能する。
• 明示的同型: レベル 2 のベクトル値シゲルモジュラー形式の環は、有限生成である共変量の環の部分環として明示的に同定される：
  $$R(A_2[2]) \cong \{ c \in C'(V^{\oplus 6}) : v_\pi(c) \geq 0 \text{ for all } \pi \}$$
  これにより、有限生成である環境環を介して非有限生成環の具体的な記述が得られる。
• 特定の形式の構成: 著者らは、この手法を様々なモジュラー形式の空間（例：$S_{2,5}$, $S_{4,4}$, $S_{4,5}$, $S_{6,4}$）の明示的な基底の構成によって実証する。これらの形式のフーリエ展開とヘッケ固有値を計算し、有限体上での点の数え上げなどの既知のデータと照合してその性質を検証する。
• 中間レベル: この枠組みは、レベル 1 とレベル 2 の間の中間レベル（例：ワイエルシュトラス点が 1 つ指定された曲線のモジュライ $A_2[w]$）へと拡張される。普遍 6 次二元形式を因数（例えば 5 次形式と線形形式）に分解することで、著者らはより次数の低い二元形式の共変量を用いて、これらの中間レベルに対するモジュラー形式を構成する。

意義
本論文は、次数 2 のベクトル値モジュラー形式の環が有限生成ではないという欠点に対し、この構成法が「良い補償」を提供すると主張する。環を有限生成である共変量の環に埋め込むことで、著者らはすべてのモジュラー形式を明示的に生成する体系的な方法を提供する。さらに、著者らはこの手法が「モジュラー形式の機械的構成に即座に利用可能」であると指摘し、フーリエ展開や他の不変量の計算を容易にすると述べている。この研究は、種数 2（レベル 1）および種数 3 のモジュライに関する先行する結果を一般化しており、これらの技術を種数 3 へ拡張する道筋を示唆している。本論文は有限生成問題の解決を主張するものではなく、むしろ環の構造と要素の実用的かつ明示的な記述を提供するものである。