[論文レビュー] An automorphic form related to cubic surfaces

Richard E. Borcherds|ArXiv.org|Feb 10, 2000

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

本稿では、格子 $M \cong A_2 \oplus A_2^4(-1)$ 上の $SL_2(\mathbb{Z})$ に対する重み $-3$、タイプ $\rho_M$ のベクトル値モジュラー形式を用いて、複素双曲的4次元空間上に、立方曲面のモジュライ空間の反射超平面にちょうど重複度1で零点を持つ、判別式の自動形式を構成する。主な結果は、複素双曲的空間に制限されたシーゲルモジュラー形式の立方根を取ることで、各反射超平面に重複度1で零点を持つ自動形式を明示的に構成することにある。

ABSTRACT

This is a note constructing a certain weight 4 automorphic form on the moduli space of cubic surfaces, posted here because it is referred to in math.AG/0002066

研究の動機と目的

• 複素双曲的4次元空間上に、立方曲面のモジュライ空間の反射超平面にちょうど一致する零点を持つ自動形式を構成すること。
• 格子 $M \cong A_2 \oplus A_2^4(-1)$ 上の $SL_2(\mathbb{Z})$ に対する重み $-3$、タイプ $\rho_M$ のベクトル値モジュラー形式を用いて、この形式を実現すること。
• 格子の構造とその自己同型群の性質を用いて、自動形式が各反射超平面に単純零点を持つように保証すること。
• Koecher有界性原理とBorcherdsのリフト理論を用いて、このような形式の存在を確立すること。
• 立方曲面のモジュライ空間の判別式を、$CH^4$ 上の正則自動形式として幾何的に実現すること。

提案手法

• 重み $-3$、タイプ $\rho_M$ のベクトル値モジュラー形式 $f = \sum_{\gamma \in M'/M} e_\gamma f_\gamma(\tau)$ を、$SL_2(\mathbb{Z})$ に対して構成し、$\gamma \in M'/M$ の種別に応じて成分 $f_{00}, f_0, f_1, f_2$ を定める。
• $\tau \mapsto \tau+1$ および $\tau \mapsto -1/\tau$ における変換法則を用いて、$f_\gamma$ の成分に対する関数方程式を導出。この際、$\text{Aut}(M)$-軌道の表からの内積と軌道数の情報が関与する。
• Dedekindのエータ関数を用いて、関数方程式の明示的解を構成する：$f_{00}(\tau) = 24\eta(3\tau)^3\eta(\tau)^{-9}$、$f_0(\tau) = -3\eta(3\tau)^3\eta(\tau)^{-9}$、$f_1(\tau) = 0$、$f_2(\tau) = \eta(\tau/3)^3\eta(\tau)^{-9} + 3\eta(3\tau)^3\eta(\tau)^{-9}$。
• Borcherdsの定理13.3を適用し、このモジュラー形式を、$M$ の対称空間上の重み12の正則自動形式 $\Psi$ にリフトする。$\Psi$ は $M'$ のノルムが $-2/3$ の負のノルムを持つベクトルに沿って零点を持つ。
• $\Psi$ を複素双曲的4次元空間 $CH^4$ に制限する。$CH^4$ は $M$ の正定値2次元部分空間のグラスマン多様体に含まれるため、これにより反射超平面に沿って重複度3の零点を持つ自動形式が得られる。
• $\Psi$ の制限形の立方根を取ることで、反射群 $G$ の一様リーマン特徴のための自動形式が得られ、零点は反射超平面にちょうど一致し、重複度1となる。

実験結果

リサーチクエスチョン

• RQ1 複素双曲的4次元空間上に、立方曲面のモジュライ空間の反射超平面にちょうど一致し、各々重複度1で零点を持つ自動形式を構成することは可能か？
• RQ2 重み $-3$、タイプ $\rho_M$ のベクトル値モジュラー形式をBorcherds理論を用いて、このような判別式形式を構成する方法は何か？
• RQ3 格子 $M \cong A_2 \oplus A_2^4(-1)$ は、自動形式の実現と $SL_2(\mathbb{Z})$ における変換性の背後にある役割を果たすか？
• RQ4 成分 $f_{00}, f_0, f_1, f_2$ の関数方程式は、$M'/M$ における軌道構造と内積の数え上げからどのように導かれるか？
• RQ5 立方根の構成が、反射超平面における零点の重複度を3から1に減少させる幾何的意味は何か？

主な発見

• ベクトル値モジュラー形式 $f$ は、$f_{00}(\tau) = 24\eta(3\tau)^3\eta(\tau)^{-9}$、$f_0(\tau) = -3\eta(3\tau)^3\eta(\tau)^{-9}$、$f_1(\tau) = 0$、$f_2(\tau) = \eta(\tau/3)^3\eta(\tau)^{-9} + 3\eta(3\tau)^3\eta(\tau)^{-9}$ として明示的に構成され、必要な変換性を満たす。
• $M$ の対称空間上の自動形式 $\Psi$ は重み12であり、$f_{00}$ の $q^0$ 項の係数の半分に一致する。Koecher有界性原理により、すべての尖点で正則である。
• $\Psi$ を複素双曲的4次元空間 $CH^4$ に制限すると、対称空間における超平面の三重被覆性から、各反射超平面に沿って重複度3の零点を持つ自動形式が得られる。
• 制限された $\Psi$ の立方根は、反射群 $G$ の一様リーマン特徴のための自動形式であり、零点は反射超平面にちょうど一致し、重複度1である。
• この構成により、立方曲面のモジュライ空間の判別式が $CH^4$ 上の正則自動形式として実現されることを確認した。これはモジュライ理論における幾何的問題を解決する。
• 解法は、Dedekindのエータ関数に深く関連する数論的恒等式に依存しており、特に $\eta(\tau)^3 = \sum_{n \in \mathbb{Z}} (4n+1)q^{(4n+1)^2/8}$ および $\eta(\tau/3)^3\eta(\tau)^{-9}$ の立方和恒等式が含まれる。