[論文レビュー] Mukai models and Borcherds products

Shouhei Ma|arXiv (Cornell University)|Sep 9, 2019

Algebraic Geometry and Number Theory参考文献 30被引用数 6

ひとこと要約

本稿は、$n$-点付き $K3$ 表面の genus $g$ のモジュライ空間上の多全純形式と特定の直交モジュラー形式の間に同型を確立し、$\mathcal{F}_{g,n}$ のコルデイラ・次元が十分に大きな $n$ に対して 19 に安定化することを証明する。ボルチェルズ積とムカイモデルを組み合わせることで、$g \leq 22$ の場合の非負コルデイラ次元への遷移点を正確に特定し、いくつかのケースで $n(g) = n'(g) + 1$ が成り立つことを明らかにする。

ABSTRACT

Let F_{g,n} be the moduli space of n-pointed K3 surfaces of genus g with at worst rational double points. We establish an isomorphism between the ring of pluricanonical forms on F_{g,n} and the ring of certain orthogonal modular forms, and give applications to the birational type of F_{g,n}. We prove that the Kodaira dimension of F_{g,n} stabilizes to 19 when n is sufficiently large. Then we use explicit Borcherds products to find a lower bound of n where F_{g,n} has nonnegative Kodaira dimension, and compare this with an upper bound where F_{g,n} is unirational or uniruled using Mukai models of K3 surfaces in g<21. This reveals the exact transition point of Kodaira dimension in some g.

研究の動機と目的

• モジュライ空間 $\mathcal{F}_{g,n}$ の多全純形式と直交モジュラー形式の間の対応を確立すること。
• コルデイラ次元 $\kappa(\mathcal{F}_{g,n})$ を特定し、$n$ が増加するにつれて 19 に安定化することを証明すること。
• 算術的および幾何的手段を用いて、$g \leq 22$ の場合に $\kappa(\mathcal{F}_{g,n}) = -\infty$ から $\kappa(\mathcal{F}_{g,n}) \geq 0$ への遷移点を正確に特定すること。
• ボルチェルズ積による算術的境界とムカイモデルによる幾何的境界を比較し、$\mathcal{F}_{g,n}$ が非有理被覆でなくなるタイミングを特定すること。

提案手法

• 直交型の商 $\Gamma_g \backslash \mathcal{D}_g$ としてモジュライ空間 $\mathcal{F}_g$ を同定するためのトーリッヒの定理の使用。
• $\mathcal{F}_{g,n}^\circ$ 上の多全純形式の可換環と、$(-2)$-ヒーガーナー除集合で位数 $\geq m$ に消失する、重み $(19+n)m$ および字跡 $\det^m$ のモジュラー形式の環との間の同型の構成。
• $\Phi_{12}$ 形式の準同型を用いたボルチェルズ積の適用により、字跡 $\det$ の明示的カスプ形式を構成し、形式 $F(g)$ の重み $k(g)$ を特定。
• ムカイモデルを用いて $K3$ 表面をグラスマンニアンや同次空間内の完全交差として構成し、有理被覆性または被覆性のための幾何的境界を導出。
• モジュライ空間における包含対応とファイバー次元の解析により、特定の $g$ および $n$ に対して $\mathcal{F}_{g,n}$ が被覆であることを証明。
• 算術的境界 $n(g) = k(g) - 19$（$S_{k(g)}(\Gamma_g, \det)$ の非消滅性から得られる）と幾何的境界 $n'(g)$（ムカイモデルから得られる）を比較し、コルデイラ次元の遷移点を特定。

実験結果

リサーチクエスチョン

• RQ1 どの $n$ に対してコルデイラ次元 $\kappa(\mathcal{F}_{g,n})$ が非負になるか？
• RQ2 どの $n$ に対して $\kappa(\mathcal{F}_{g,n})$ が $n$ の増加とともに 19 に安定化するか？
• RQ3 ボルチェルズ積による算術的境界とムカイモデルによる幾何的境界は、コルデイラ次元の遷移点を特定する上でどのように比較されるか？
• RQ4 どのケースで $g \leq 22$ のとき $n(g) = n'(g) + 1$ が成り立つか？
• RQ5 どの $g \leq 22$ に対して $\mathcal{F}_{g,n}$ が被覆または有理被覆であり、そのような最小の $n$ は何か？

主な発見

• 十分に大きな $n$ に対して、コルデイラ次元 $\kappa(\mathcal{F}_{g,n})$ は 19 に安定化する。同型 $H^0(X, K_X) \simeq S_{19+n}(\Gamma_g, \det)$ を通じて示される。
• $g \leq 22$ の場合、$\kappa(\mathcal{F}_{g,n}) = -\infty$ から $\kappa(\mathcal{F}_{g,n}) \geq 0$ への遷移は、正確に $n = n(g)$ で発生する。ここで $n(g) = k(g) - 19$ であり、$k(g)$ はボルチェルズ積 $F(g)$ の重みである。
• $g = 3,4,6,12,20$ の場合、$n(g) = n'(g) + 1$ が成り立つ。ここで $n'(g)$ は、ムカイモデルによる $\mathcal{F}_{g,n}$ が被覆または有理被覆である最小の $n$ である。
• $\mathcal{F}_{16,4}$ は被覆である。これは、$K3$ 表面のモジュライ空間からの支配的写像を定める $G(2,m)$-バンドルのファイバー次元を解析することで示される。
• $\mathcal{F}_{18,5}$ および $\mathcal{F}_{20,5}$ は被覆である。これは、包含対応のファイバーが正の次元を持ち、モジュライ写像によって縮約されないからである。
• $\mathcal{F}_{22,1}$ は有理被覆である。ファルカスとヴェラは特殊な立方体 4-次曲面を用いてこれを確認し、幾何的境界 $n'(22) = 1$ を裏付けた。