A no-go theorem for special Ulrich bundles, with a complement on primary Burniat surfaces

技術的要約：特殊なウルリヒ束に関するNo-Go定理、および一次バーニアット曲面への補足

問題設定
本論文は、幾何学的種数 $p_g = 0$ の滑らかな射影曲面 $X$ 上のランク2のウルリヒ束の存在について調査している。具体的には、第一チャーン類が単に数値的にではなく、$\text{Pic}(X)$ において $c_1(E) = 3H + K_X$ を満たす「特殊な」ケースを扱っている。文献における中心的な問いは、標準的なケイリー・バラック（Cayley–Bacharach, CB）構成（$0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$ という形の拡大）が、極化 $H$ が「特殊」である場合（すなわち $h^1(\mathcal{O}_X(H)) \neq 0$ の場合）において、そのような束を生成できるかどうかである。非特殊性（$h^1=0$）は、存在定理（例：Casnati [Ca17], Beauville [Be16b]）における標準的な仮定であるが、本論文は、これがこの特定の構成にとって必要な条件なのか、それとも単に便利な条件に過ぎないのかを問うている。

手法
著者らは、コホモロジー解析、拡大理論、および特定の曲面クラスの幾何学を組み合わせて用いている：

1. 拡大の基準: 本論文は、局所自由な拡大の存在を、線形系に対する0次元部分スキーム $Z$ のケイリー・バラック（CB）特性に関連付ける、セールの・グリフィス・ハリス（Serre–Griffiths–Harris）対応を利用している。
2. コホモロジー的緊張: 核心となる議論は、CB特性（局所自由性を確保するために $Z$ が線形系に対して依存した条件を課すことを要求する）と、ウルリヒ消滅条件 $h^0(E(-H)) = 0$（$Z$ が独立した条件を課すことを要求する）との間の緊張関係の分析である。
3. 生成的 vs 特殊的メカニズム: 著者らは、非特殊性を必要とする Li–Qin [LQ94] の「生成的」メカニズムと、$Z$ を既約曲線上に配置する [An94] の「曲線上の点」メカニズムを対比させている。彼らは、たとえ後者の手法であっても、隣接核（adjoint kernel）に対して $H$ が特殊である場合には失敗することを証明している。
4. バーニアット曲面の解析: 正の結果については、一次バーニアット曲面（$p_g=q=0$ かつ $K_X^2=6$ の一般型最小曲面）を用いて明示的な計算を行っている。著者らは、双重被覆構造 $\pi: X \to Y$（ここで $Y$ は次数6のデル・ペッツォ曲面）を利用して、コホモロジー計算を有理曲面 $Y$ へと還元し、固有層分解と格子理論を用いている。

主要な貢献と結果

1. No-Go定理 (Theorem 1.3)
主要な否定的な結果は、$p_g=0$ の曲面と、 $h^1(\mathcal{O}_X(H)) \neq 0$ であるアンプル因子 $H$ に対して、正しい $c_2(E)$ を持ち、かつ以下の隣接核拡大から生じるランク2のベクトル束 $E$ （$c_1(E) = 3H + K_X$）は存在しないことを確立している：
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
（ただし $h^0(E(-H)) = 0$ とする）。

• メカニズム: 証明によれば、ウルリヒ条件は $Z$ の長さ $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$ を強制する。消滅条件 $h^0(E(-H))=0$ は $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$ を意味する。しかし、CB特性（局所自由性に必要）は $Z$ が依存した条件を課すことを意味し、$h^1(\mathcal{O}_X(H)) = 0$ でない限り矛盾を導く。
• 意義: これは、非特殊性がこの特定の束の形状に対する隣接核構成の「必要な」仮定であることを証明している。これは、「特殊な位置」のメカニズム（例えば点を曲線上に置くこと）によって、非特殊性の要件を回避できるという可能性を否定するものである。

2. 一次バーニアット曲面における存在 (Theorem 1.5)
著者らはこれらの結果を一次バーニアット曲面に適用している。

• 大域的非特殊性: すべての一次バーニアット曲面上の、アンプルかつ基点のない因子は非特殊（$h^1(\mathcal{O}_X(H)) = 0$）であることを証明している。これは、次数境界から導かれる：アンプルな基点のない因子は、曲面の6つの楕円分岐曲線と少なくとも2の交差数を持つ。$K_X$ はこれらの曲線との交差数が1であるため、$H - K_X$ はアンプルであり、コダラ消滅が適用される。
• 帰結: したがって、すべての極化について、一次バーニアット曲面上にはランク2の $\mu_H$-安定な特殊ウルリヒ束が存在する。さらに、これらの曲面はすべての極化に関して「厳密にウルリヒ野生（strictly Ulrich wild）」であり、任意の大きな次元の族として、あらゆる偶数ランク $r \ge 2$ の単純なウルリヒ束を持つ。

3. 特殊なアンプル類の分類
（極化としての）「特殊なアンプル類」（アンプルであるが基点を持たないもの）を分類している。

• すべての特殊なアンプル類は、$K_X$ を通る3つの特定の数値的レイ（ray）上に存在することを示す。
• これらのレイに沿ったコホモロジーを計算し、$H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ というクラスは $u \ge 2$ に対して特殊であることを示す。
• 決定的なことに、これらのレイ上のクラスは基点を持たないことを証明しており、これが極化の非特殊性と矛盾しない理由を説明している。

4. ねじれた核と障害
「ねじれた」核（例：$0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$）が、特殊な極化に対して構成を救済できるかどうかを調査している。

• 一次バーニアット曲面において、分岐曲線を含む特定のねじれた変種を分析している。
• ねじれた場合でも、特定の特殊なクラスに対しては構成が失敗することを示す。コホモロジーの「予算」（接続写像のターゲットの次元）は、極化の特殊性を吸収しつつ、要求される消滅条件を維持するには不十分である。

5. 高ランクと野生性
ランク2の束の存在に基づき、著者らはFaenzi–Pons-Llopisの判定法を用いて、高次の偶数ランクの単純なウルリヒ束の族を構成している。彼らは、一次バーニアット曲面が厳密にウルリヒ野生であることを確立しており、明示的な次元カウントと単純性（単なる非分解性ではなく）を提供することで、先行研究を改良している。

意義と主張
本論文は、主に2つの貢献を主張している：

1. 否定的な結果: ケイリー・バラック構成の限界を明確にし、極化の非特殊性が隣接核の形状に対する本質的な要件であり、証明技法の副産物ではないことを証明している。これは、この仮定の必要性が明示的に記録されていなかった文献の空白を埋めるものである。
2. バーニアット曲面に関する肯定的な結果: 一次バーニアット曲面に関する完全な全体像を提供する。これは、曲面の複雑さにもかかわらず、幾何学がすべての極化に対して非特殊性を強制し、それによってすべての極化に対して安定な特殊ウルリヒ束の存在を保証することを裏付けている。これは、特定のクラス（$3K_X$ など）の非特殊性を確立したが、すべての極化に関する大域的な結果や厳密な野生性の帰結までは定式化しなかった Cho [Cho26] の最近の研究とは対照的である。

著者らは、バーニアット曲面に関する彼らの結果が、楕円曲線上の次数境界に関する Cho の研究と重複しているものの、彼らの導出は独立しており、より強力な大域的結論を導くものであると述べている。また、彼らの初等的な手法（ケイリー・バラック）が特定の特殊なケース（$\mathbb{P}^3$ 内の五次曲面など）で失敗することを認めつつも、それらの束はおそらく存在するはずであり、その障害は数値的なものではなく位置的なものであることを示唆している。