Vector bundles on bielliptic surfaces: Ulrich bundles and degree of irrationality

技術要約：バイエリプティック曲面上のベクトル束：ウルリッヒ束と無理度

問題提起
本論文は、バイエリプティック曲面 $S$ に関する、性質の異なる二つの相互に関連した問題に取り組んでいる：

1. ウルリッヒ束の分類： バイエリプティック曲面上のウルリッヒ束のチェルン・キャラクター（具体的にはミューカイ・ベクトル）の決定。符号数ゼロの曲面におけるランク2のウルリッヒ束の存在は確立されているが、曲面のトポロジー的型に依存するウルリッヒ束のチェルン・キャラクターの完全な分類は、未解決の問題として残されている。
2. 無理度： $S$ から $\mathbb{P}^2$ への、生成的に有限な有理写像の最小次数として定義される無理度 $\text{irr}(S)$ の計算。先行研究である Yoshihara [31] は、タイプ6を除くすべてのバイエリプティック曲面の型について、この不変量を計算している。

手法
著者は、モジュライ空間論、派生圏の手法、および古典的な代数幾何学を組み合わせて用いている。

• 弱ブリル・ノーター特性： 中心的な道具として、層のモジュライ空間 $M_H(v)$ に対する弱ブリル・ノーター特性の調査を用いる。モジュライ空間がこの特性を満たすとは、一般的な層が高々一つの非ゼロのコホモロジー群を持つことを指す。本論文は、ねじれ部分群 $H^2(S, \mathbb{Z})_{\text{tor}}$ が非自明である場合（タイプ 1, 2, 3, 5）と、それが自明である場合（タイプ 4, 6, 7）を区別し、バイエリプティック曲面上のライン束に対するこの特性を確立している。
• モジュライ空間と等長ベクトル： ウルリッヒ束の研究は、等長ミューカイ・ベクトルを持つ安定層のモジュライ空間の解析へと還元される。著者は、一般的な偏極に関するモジュライ空間の非空性を扱う Nuer [25] による最近の存在結果を活用している。
• 標準被覆とエタール被覆： 解析においては、標準被覆 $\tilde{X}$ （アベル多様体）および中間エタール被覆を頻繁に利用し、問題を $S$ から、その幾何学がより理解されている設定（例：アベル多様体上の半斉次層の性質）へと持ち上げる。
• 安定束による無理度： $\text{irr}(S)$ を計算するために、K3曲面に対して開発された Moretti [21] の手法を適応させる。これには、「良きペア」$(E, V)$ の構成が含まれる。ここで $E$ は安定ランク2のベクトル束であり、$V \subset H^0(S, E)$ は余次元2において $E$ を生成する。誘導される有理写像 $\phi_V: S \dashrightarrow \mathbb{P}^2$ の次数は、公式 $\deg(\phi_V) = c_2(E) - \deg(\bigcap Z(s))$ を用いて計算される。

主要な貢献と結果

1. ウルリッヒ束の分類 (Theorem 1.3)
本論文は、数値類 $aA_0 + bB_0$ （ただし $b \ge \lambda_S$）によって偏極されたバイエリプティック曲面上のウルリッヒ束のミューカイ・ベクトルの完全な分類を提供している。この分類は、曲面 $S$ のトポロジー的型に厳密に依存する：

• タイプ 1, 2, 3, 5： これらの曲面は、すべてのランク $r \ge 1$ に対して、ミューカイ・ベクトル $v_{\text{Ulrich}}(r, k) = (r, ka_0 + (3r-k)bB_0, 2rab)$ を持つウルリッヒ束を持つ。これには、ウルリッヒ・ライン束の存在が含まれる。
• タイプ 4, 6, 7： これらの曲面は、すべてのランク $r \ge 2$ に対してウルリッヒ束を持つが、ウルリッヒ・ライン束は持たない。さらに、すべての理論的なミューカイ・ベクトル $v_{\text{Ulrich}}(r, k)$ が実際のウルリッヒ束に対応するわけではなく、第2コホモロジー群のねじれ部分群の消失に起因する特定の障害が生じる。例えば、タイプ4の曲面はミューカイ・ベクトル $v_{\text{Ulrich}}(3, 3)$ を持つウルリッヒ束を持たず、タイプ6の曲面は $v_{\text{Ulrich}}(2, 2)$ を持つものを持たない。

2. 無理度 (Theorem 1.5)
本論文は、すべてのバイエリプティック曲面 $S$ について、無理度 $\text{irr}(S) \le 3$ であることを証明している。

• この結果は、タイプ6のケースを解決することで、Yoshihara [31] の研究を完結させるものである。
• 証明では、数値類 $D$ が $3A_0 + 2B_0$ であるミューカイ・ベクトル $(2, D, 3)$ を持つ、特定の安定ランク2ベクトル束 $E$ を構成する。$E$ が余次元2において大域的に生成されることを示すことにより、著者は次数が最大3となる生成的な有限有理写像を確立している。
• この戦略により、$\text{irr}(S) \le 3$ という境界が、7つすべてのバイエリプティック曲面の族において一様に成り立つことが確認された。

意義と主張
本論文は、バイエリプティック曲面上のウルリッヒ束の最初の完全な分類を提供すると主張しており、トポロジー的不変量（特に第2コホモロジーにおけるねじれ）がいかにこれらの束の存在を規定するかを強調している。また、ライン束に対する弱ブリル・ノーター特性が、ウルリッヒ・ライン束の存在の決定要因であることを示している。

無理度に関しては、本論文は K3 曲面からの Moretti の手法を適応させることで、バイエリプティック曲面に関する問題を解決したと主張している。結果としての $\text{irr}(S) \le 3$ は、これらの一連の曲面に対する決定的な上界として提示されており、先行文献に残された空白を埋めるものである。本研究は、標準被覆の幾何学と基底曲面上の層の安定条件との相互作用に依拠しており、モジュライ空間論の具体的な応用を提供している。