[論文レビュー] Ulrich bundles on surfaces with $q=p_g=0$

Arnaud Beauville|arXiv (Cornell University)|Jul 4, 2016

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

ひとこと要約

この論文は、十分に大きな線形系による射影空間への埋め込みを伴う、任意の不規則性 $q = p_g = 0$ を持つ表面に対して、Lazarsfeld–Mukai の構成を用いてランク 2 のUlrich バンドルが存在することを証明している。主な結果は、すべてのEnriques 表面がこのようなバンドルを有することであり、すべての射影的代数的多様体にUlrich バンドルが存在するという未解決問題の一つのケースを解決している。

ABSTRACT

We prove that any surface with q=p_g=0 embedded by a sufficiently large linear system admits a rank 2 Ulrich bundle. In particular every Enriques surface admits a rank 2 Ulrich bundle.

研究の動機と目的

• 射影空間に埋め込まれた $q = p_g = 0$ を持つ表面にUlrich バンドルが存在することを確立すること。
• すべての射影的代数的多様体がUlrich バンドルを有するかどうかという未解決問題に取り組み、$q = p_g = 0$ を持つ表面に焦点を当てる。
• 既知のUlrich バンドルの結果をEnriques 表面およびKodaira次元 0 の他の最小的表面に拡張すること。
• 線形系とベクトルバンドルの拡張を用いた、ランク 2 のUlrich バンドルを構成する方法を提供すること。

提案手法

• 線形系 $|K_S^{-1}(1)|$ に属する既約な曲線 $C$ を選ぶことにより、Lazarsfeld–Mukai の構成を利用する。
• 曲線 $C$ 上の一般の線形バンドル $A$（次数 $g(C)+1$）について、評価写像 $H^0(C, A) o A$ の核として、$S$ 上のランク 2 ベクトルバンドル $E$ を構成する。
• 完全系列 $0 o E o H^0(C, A) o A o 0$ を用いて、$H^ullet(S, E) = 0$ を導出する。
• 双対性 $E(1) o E^* o K_S$ を用いて、$H^ullet(S, E(1)) = 0$ を示し、これにより $E(2)$ がUlrich バンドルであることを示す。
• $\mathcal{O}_S(1)|_C = \omega_C$ である条件を適用して、バンドルの構成が canonical バンドルと整合することを保証する。
• $\mathcal{O}_S(1) \cong K_S^r$（$r \geq 3$）である場合に拡張し、$|K_S^{r-1}|$ に既約な曲線が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな線形系による埋め込みを伴う、$q = p_g = 0$ を持つすべての表面が、ランク 2 のUlrich バンドルを有するか？
• RQ2 Lazarsfeld–Mukai の構成を用いて、$q = p_g = 0$ を持つ表面にUlrich バンドルを構成できるか？
• RQ3 すべてのEnriques 表面がランク 2 のUlrich バンドルを有するか？
• RQ4 線形系 $|K_S^{-1}(1)|$ にどのような条件を課すと、ランク 2 のUlrich バンドルの存在が保証されるか？
• RQ5 Ulrich バンドルの存在性は、双楕円表面などのKodaira次元 0 の他の最小的表面へ拡張可能か？

主な発見

• 射影空間に十分に大きな線形系を用いて埋め込まれたすべてのEnriques 表面は、ランク 2 のUlrich バンドルを有する。
• $|K_S^{-1}(1)|$ に既約な曲線が存在するならば、$q = p_g = 0$ を持つ表面にランク 2 のUlrich バンドルが構成可能である。
• 評価写像の核として構成されたベクトルバンドル $E$ は、$H^ullet(S, E) = 0$ および $H^ullet(S, E(1)) = 0$ を満たし、$E(2)$ がUlrich バンドルであることを示す。
• $ \mathcal{O}_S(1) \cong K_S^r$ かつ $r \geq 3$ である表面では、$|K_S^{r-1}|$ に既約な曲線が存在し、これによりランク 2 のUlrich バンドルの存在が保証される。
• 双楕円表面は、アーベル多様体への押し出しによりUlrich バンドルを有し、Kodaira次元 0 の最小的表面におけるUlrich バンドルの分類を完成させる。
• この結果は、$q = p_g = 0$ を持つすべての表面がUlrich バンドルを有するという予想を支持しており、おそらく特殊なK3 表面を除いては成立する。