[論文レビュー] Invariants of a general branched cover of ${\bf P}^{1}$

Gabriel Bujokas, Anand Patel|arXiv (Cornell University)|Apr 15, 2015

Algebraic Geometry and Number Theory参考文献 1被引用数 3

ひとこと要約

本稿は、一般の分岐被覆 $ alpha: C \to \mathbb{P}^1$ の相対 canonical 埋め込みにおいて生じる syzygy バンドルを調査し、$g \geq (d-3)(d-1)$ のとき一般被覆において Casnati-Ekedahl バンドル $F$（最初の syzygy バンドル）がバランス型であることを証明する。証明は、$\mathbb{P}^1$ の鎖に沿った適切な被覆への退化を用い、有理正規曲線の鎖を含む二次曲面の最大ランク条件を確立する。

ABSTRACT

We investigate the resolution of a general branched cover $α: C o {\bf P}^1$ in its relative canonical embedding $C \subset {\bf P} E$. We conjecture that the syzygy bundles appearing in the resolution are balanced for a general cover, provided that the genus is sufficiently large compared to the degree. We prove this for the Casnati-Ekedahl bundle, or "bundle of quadrics" $F$ - the first bundle appearing in the resolution of the ideal of the relative canonical embedding. Furthermore, we prove the conjecture for all syzygy bundles in the resolution when the genus satisfies $g = 1 \mod d$.

研究の動機と目的

• 分岐被覆 $\alpha: C \to \mathbb{P}^1$ の相対 canonical 埋め込みにおける syzygy バンドル $N_i$ の一般の分解型を理解すること。
• これらの syzygy バンドルがバランス型であるかどうか、すなわち最大と最小の線束成分の次数の差が1以下であるかどうかを調査すること。
• genus が次数 $d$ に対して十分に大きいとき、$F$（最初の syzygy バンドル、二次曲面のバンドル）がバランス型であるという予想を証明すること。
• $h^1(\operatorname{End} F)$ の消滅と、最大連結な有理正規曲線の鎖を含む二次曲面の最大ランク問題との間の関係を確立すること。

提案手法

• $P$ を $\mathbb{P}^1$ の鎖とする適切な被覆 $\alpha: X \to P$ を用いて退化を構成し、特異な底空間上の $F$-バンドルを研究すること。
• $\mathbb{P}^1$ の鎖上のベクトルバンドル $V$ に対して $h^1(\operatorname{End} V) = 0$ を満たす一般の基準を開発し、これがバランス型を示すことにつながることを示すこと。
• $h^1(\operatorname{End} F) = 0$ を示す問題を、最大連結な有理正規曲線の鎖を含む二次曲面の次数2の最大ランク問題に還元すること。
• 代数的対応 $\Sigma$ を分析し、$\dim \Sigma < \dim \Sigma'$ を示すことで、写像が支配的でないことを証明し、最大ランク問題を解決すること。
• 次元数え上げを用いて、一般の線形空間 $\Lambda_{\text{left}}, \Lambda_{\text{right}}$ の選択では、中央の曲線 $R_{\text{middle}}$ 上での残差交点が一致しないことを示すこと。
• $F$ が相対 canonical 埋め込みのファイバーを含む二次曲面のバンドルであることを利用し、その分解型を被覆の幾何学的性質に関連付けること。

実験結果

リサーチクエスチョン

• RQ1 $g \gg d$ のとき、一般の分岐被覆 $\alpha: C \to \mathbb{P}^1$ に対して Casnati-Ekedahl バンドル $F$（二次曲面のバンドル）はバランス型か？
• RQ2 $h^1(\operatorname{End} F) = 0$ を保証する条件は何か？ これは $F$ のバランス型を特徴付ける。
• RQ3 最大連結な有理正規曲線の鎖を含む二次曲面の最大ランク問題は、$h^1(\operatorname{End} F)$ の消滅を検証するために解けるか？
• RQ4 ハイパーフラットと線形空間の代数的対応 $\Sigma$ は、$\Sigma'$ よりも次元が厳密に小さいか？ これは、一般の設定で同じ残差交点が得られないことを示唆する。
• RQ5 $\mathbb{P}^1$ の鎖への退化法は、滑らかな底空間 $\mathbb{P}^1$ 上での一般の性質をどれだけ正確に導けるか？

主な発見

• $g \geq (d-3)(d-1)$ のとき、一般の分岐被覆 $\alpha: C \to \mathbb{P}^1$ に対して Casnati-Ekedahl バンドル $F$ はバランス型であることが確認され、予想 A の最初のケースが証明された。
• 証明により、このような被覆に対して $h^1(\operatorname{End} F) = 0$ が成り立つことが示され、これは $F$ がバランス型であることと同値である。
• $r$ 個の有理正規曲線の最大連結鎖を含む二次曲面の最大ランク問題は、代数的対応 $\Sigma$ の次元が $\frac{(r-1)^2}{2} + 3$、$\Sigma'$ の次元が $\frac{(r-1)^2}{2} + 4$ であることを示すことで解決された。これにより、写像 $\Sigma \to \Sigma'$ は支配的でないことが示された。
• $\mathbb{P}^1$ の鎖上の適切な被覆の構成により、滑らかな場合の問題が特異な退化に還元され、次元論的議論の適用が可能になった。
• 結果として、$g \geq (d-3)(d-1)$ の範囲で二次曲面バンドル $F$ がバランス型であることが確認され、$g$ が十分に大きいとき syzygy バンドルが一般にバランス型であるというより広い予想を支持する。
• 分析により、一般の $\Lambda_{\text{left}}, \Lambda_{\text{right}}$ の選択では、中央の曲線 $R_{\text{middle}}$ 上での残差交点が一致しないことが示され、最大ランク問題に対する非自明な解が排除された。