[論文レビュー] Special codimension one loci in Hurwitz spaces

Anand Patel|arXiv (Cornell University)|Aug 25, 2015

Algebraic Geometry and Number Theory参考文献 10被引用数 5

ひとこと要約

本稿は、Hurwitz空間内の2つの特別なcodimension oneの部分集合—MaroniおよびCasnati-Ekedahl divisor—を調査し、$ d \leq 5 $ の場合にそれらが極小的かつ剛性を持つことを示し、スイープ族のスロープを制限する上でその中心的役割を解明している。著者らは境界 divisor の類の独立性を確立し、Hurwitz空間の divisor 理論におけるこれらの divisor の幾何的意義を裏付ける証拠を提供している。

ABSTRACT

We investigate two families of divisors which we expect to play a distinguished role in the global geometry of Hurwitz space. In particular, we show that they are extremal and rigid in the small degree regime $d \leq 5$. We further show their significance in the problem of computing the sweeping slope of Hurwitz space in these degrees. In the process, we prove various general results about the divisor theory of Hurwitz space, including a proof of the independence of the boundary components of the admissible covers compactification. Some basic open questions and further directions are discussed at the end.

研究の動機と目的

• Hurwitz空間の divisor 理論におけるMaroniおよびCasnati-Ekedahl divisorの幾何的意義を、特に低次元の場合に確立すること。
• admissible cover compactification の Picard 群における境界 divisor の類の独立性を証明すること。
• これらの divisor が小次元領域 $ d \leq 5 $ で極小的かつ剛性を持つことを示し、Hurwitz空間の幾何におけるその特異的役割を裏付けること。
• 特に $ \overline{\mathcal{H}}_{d,g} $ 内の1パラメータ族のスロープを制限する問題におけるそれらの影響を調査すること。
• 期待次元、バンドルの実現可能性、およびこれらの divisor の可能性ある収縮についての基礎的問いを提示すること、特に高次元において。

提案手法

• 分岐被覆におけるコホモロジーのジャンプ現象から生じる loci としての Maroni および Casnati-Ekedahl divisor を導入し、古典的不変量（例：Maroni 不変量）の一般化を試みる。
• 定理Aの証明：$ \overline{\mathcal{H}}_{d,g}^{\rm adm} $ の境界成分の divisor の類は、$ \mathrm{Pic}\, \overline{\mathcal{H}}_{d,g} \otimes \mathbb{Q} $ で独立であることを、partial pencils の概念を用いて示す。
• $ d \leq 5 $ の Hurwitz 空間の unirational parametrization を用いて、部分的な divisor の類の表現を得、極小性および剛性を分析する。
• スロープの公式 $ s(B) = \delta \cdot B / \lambda \cdot B $ を適用し、スイープ族を研究し、次数2, 3, 4における $ s(\overline{\mathcal{H}}_{d,g}) $ の鋭い境界を得る。
• 被覆の Casnati-Ekedahl 解体を用いて divisor の構造を分析し、syzygy バンドルおよび Bogomolov 表現と関連付ける。
• Maroni divisor を収縮する候補として、$ \varphi: \overline{\mathcal{H}}_{d,g} \dashrightarrow V_{d,g}//G $ の有理写像を提案するが、写像の不確定性が課題をもたらす。

実験結果

リサーチクエスチョン

• RQ1 $ d \leq 5 $ の場合に、$ \overline{\mathcal{H}}_{d,g} $ 内の Maroni および Casnati-Ekedahl divisor は極小的かつ剛性を持つだろうか？
• RQ2 特定の Casnati-Ekedahl 不変量を持つ被覆をパラメトライズする loci $ Z_i $ の期待次元は何か？ また、いつ divisors としての次元を持つのか？
• RQ3 Casnati-Ekedahl 解体におけるバンドル $ \mathcal{N}_i $ および Tschirnhausen バンドル $ \mathcal{E} $ は、どのような被覆において実現可能か？
• RQ4 Maroni または Casnati-Ekedahl divisor は、Hilbert 標準のGIT商を用いて収縮可能だろうか？ その結果、剛性にどのような影響があるか？
• RQ5 奇数の genus を持つ三角被覆における接線 divisor $ \mathrm{Tan} $ の高次元版は何か？ また、それらは $ \overline{\mathcal{H}}_{d,g}^{(2)} $ の有効coneとどのように関係するか？

主な発見

• 定理Aにより、$ \overline{\mathcal{H}}_{d,g} $ の境界 divisor の類は、$ \mathrm{Pic}\, \overline{\mathcal{H}}_{d,g} \otimes \mathbb{Q} $ で独立であることが示された。
• $ d \leq 5 $ の場合、Maroni および Casnati-Ekedahl divisor は極小的かつ剛性を持つが、$ \overline{\mathcal{H}}_{4,3} $ においては Casnati-Ekedahl divisor が2つの既約成分に分解され、それぞれが極小的かつ剛性を持つ。
• 定理Cにより、$ g \geq 4 $ で偶数のとき $ \overline{\mathcal{H}}_{3,g} $ のスロープは $ 7 + \frac{6}{g} $、奇数のとき $ 7 + \frac{20}{3g+1} $ であることが示された。
• 高次の syzygy バンドルの Bogomolov 表現は、すべて Casnati-Ekedahl divisor の類の倍数であることが判明し、深い構造的役割を果たしている可能性がある。
• $ \overline{\mathcal{M}}_g $ 内の五角形のlocus $ \mathcal{M}^1_{5,g} $ は、スロープ制約のため $ K_{\overline{\mathcal{M}}_g} $-負の曲線でスイープできない。これは、log MMP における特異的役割を示唆している。
• 本稿は、$ \overline{\mathcal{H}}_{d,g}^{(2)} $ の有効coneが、境界成分、Maroni divisor、および低次元ではおそらく接線 divisor によって生成されるかもしれないと予想している。