[論文レビュー] Irregular cusps of orthogonal modular varieties

Shouhei Ma|arXiv (Cornell University)|Jan 8, 2021

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

ひとこと要約

本稿は、フーリエ展開のための格子が平行移動格子よりも小さい場合に生じる不規則な尖点を有する直交モジュラー多様体を調査し、Kodaira次元の計算に影響を与える。一般型モジュラー多様体のための尖点形式基準を、消失位数の条件を用いて確立し、不規則な尖点がまれであることを示す——特定の偶数格子でしか発生せず、判別式群が $\mathbb{Z}/8 \oplus (\mathbb{Z}/2)^a$ または $(\mathbb{Z}/4)^2 \oplus (\mathbb{Z}/2)^a$ である場合に限る。また、モジュラー多様体が一般型であるかどうかを正確に特定する基準を提示する。

ABSTRACT

Irregular cusp of an orthogonal modular variety is a cusp where the lattice for Fourier expansion is strictly smaller than the lattice of translation. Presence of such a cusp affects the study of pluricanonical forms on the modular variety using modular forms. We study toroidal compactification over an irregular cusp, and clarify there the cusp form criterion for the calculation of Kodaira dimension. At the same time, we show that irregular cusps do not arise frequently: besides the cases when the group is neat or contains -1, we prove that the stable orthogonal groups of most (but not all) even lattices have no irregular cusp.

研究の動機と目的

• 直交モジュラー多様体における高次形式とKodaira次元の研究に、不規則な尖点が及ぼす幾何学的・算術的影響を理解すること。
• 特にK3表面やハイパーカラーゼル多様体に関連するモジュライ問題において、偶数格子の安定直交群における不規則な尖点がいつ発生するかを分類すること。
• 不規則な尖点を考慮に入れた場合に、直交モジュラー多様体のトーラス的コンパクト化が一般型であるかどうかを特定する、明確な尖点形式基準を確立すること。
• 境界除集合におけるモジュラー形式の消失位数（$U(I)_{\mathbb{Z}}$ で測定）と高次形式の消失位数（$U(I)_{\mathbb{Z}}'$ で測定）の微妙な差異を解消すること。

提案手法

• トーラス的コンパクト化における境界除集合 $D(\sigma)$ における消失位数 $\nu_\sigma(F)$ を用いた、洗練された尖点形式基準を導入し、正規の射と不規則な射を区別する。
• $\nu_{\Delta(\sigma)}(\omega) = a_\sigma \cdot \nu_\sigma(F) - m$ という関係を用い、$a_\sigma = 1$（正規の射）および $a_\sigma = 1/2$（不規則な射）となるように、2次分岐の影響を反映させる。
• $(m)$-次形式が特異性の解消の上を正則に拡張可能であるための条件として、正規の射では $\nu_\sigma(F)/k > 1/b$、不規則な射では $> 2/b$ を適用する。
• $(bN_0 - k)m}(\Gamma)$ を用いて、$K_X$ が大きいことを示すために、$F^m \cdot M_{(bN_0 - k)m}(\Gamma)$ というモジュラー形式の族を構成し、スロープ条件を満たす場合に多様体が一般型であることを証明する。
• $F$ のべきを用いた正規化の議論により、$k/b \geq [k/b] + 1/2$ の場合に還元し、拡張に十分な消失位数を保証する。
• $\mathbb{Q}$-線形同値 $K_{{\mathcal{F}(\Gamma)^\Sigma}} \sim_\mathbb{Q} b\mathcal{L} - B/2 - \Delta_{\text{reg}} - \Delta_{\text{irr}}$ を用いて、基準の幾何的意味を解釈する。

実験結果

リサーチクエスチョン

• RQ1 偶数格子 $L$ の安定直交群 $\widetilde{\rm O}^+(L)$ において、不規則な尖点はいつ発生するか？
• RQ2 不規則な尖点は、トーラス的コンパクト化におけるモジュラー形式と高次形式の消失位数の比較にどのように影響を与えるか？
• RQ3 尖点形式に課されるどのような条件が、モジュラー多様体が一般型であることを保証するか、特に不規則な尖点が存在する場合に？
• RQ4 どのモジュライ空間（例：$K3$ 表面、$K3^{[t+1]}$-型多様体）が不規則な尖点を有するか、そしてどのような幾何的条件下で発生するか？
• RQ5 不規則な尖点が存在する場合に、直交モジュラー多様体のKodaira次元を効果的に計算できるか？

主な発見

• 不規則な尖点は、$\widetilde{\rm O}^+(L)$ において、$L^\vee/L \simeq \mathbb{Z}/8 \oplus (\mathbb{Z}/2)^a$ または $(\mathbb{Z}/4)^2 \oplus (\mathbb{Z}/2)^a$ である場合にのみ存在する。
• 次数 $2d$ の $K3$ 表面のモジュラー群には、$d=4$ のときに限り不規則な尖点が存在する。
• $K3^{[t+1]}$-型多様体で、次数 $2d$ の分割極性を持つ場合、不規則な尖点は $(t,d) = (1,4), (2,2), (4,1)$ のときにのみ発生する。
• O’Grady10 および変形一般化 Kuga–Morrison 型多様体では、それぞれ $d=4$ および $(t,d)=(4,1)$ のときにのみ不規則な尖点が存在する。
• 一般型のための尖点形式基準は、正規の射では $\nu_\sigma(F)/k > 1/b$、不規則な射では $> 2/b$ であり、これにより $K_X$ が大きいことが保証される。
• この基準は、$K_{{\mathcal{F}(\Gamma)^\Sigma}}$ が、大きな因子と有効因子の和に $\mathbb{Q}$-線形同値であることを示唆し、スロープ条件を満たす場合に一般型であることが確認される。