On the Fano dimension of an Enriques surface

技術要約：エンリケス曲面のファノ次元について

問題提起
本論文は、Bondal (2011) によって提唱された代数幾何学および派生圏における「ファノ・ビジター問題（Fano-visitor problem）」を扱っている。この問題は、任意の滑らかな射影多様体 $X$ に対して、滑らかなファノ多様体 $Y$ と、有界連接層の派生圏 $D(X)$ から $D(Y)$ への完全かつ忠実な関手 $D(X) \hookrightarrow D(Y)$ が存在するかどうかを問うものである。このような $Y$ が存在する場合、$X$ は「ファノ・ビジター（Fano-visitor）」、 $Y$ は「ファノ・ホスト（Fano-host）」と呼ばれる。$X$ の「ファノ次元（Fano dimension）」は、そのようなファノ・ホストの最小次元として定義される。

本研究以前に、Kuznetsov ([Kuz18]) は、一般的なエンリケス曲面 $S$ が6次元のファノ・ホストのファノ・ビジターであることを確立しており、結節を持つエンリケス曲面は4次元のホストを持つことを示した。本論文は、一般的なエンリケス曲面のファノ次元の境界を、6から4へと引き下げることを目的としている。

手法
著者は、ベクトル束の間の射の退化軌跡（degeneracy loci）の理論と、層状グラスマン束の幾何学を用いている。核心となる技術的ツールは以下の通りである：

1. 退化軌跡とベクトル束： 構成は、滑らかな多様体 $X$ 上のベクトル束の間の一般的な射 $\phi: E \to F$ （ここで $E^\vee \otimes F$ は大域的に生成されている）に基づいている。本論文は、退化軌跡 $D_r(\phi)$ と、関連する切断の零点集合との関係を利用している。
2. 層状射影束： 重要な補題（補題 2.3）は、$\text{rank } e > \text{rank } f$ である一般的な射 $\phi: E \to F$ に対して、射影束 $\mathbb{P}_X(E)$ 内の零点集合 $Y = V(\phi_E)$ が $X$ と双有理であることを確立している。決定的なことに、$f = e-1$ の場合、$Y$ は退化軌跡 $D_{f-1}(\phi)$ を中心とする $X$ の吹越し（blow-up）と同型になる。
3. 派生圏の埋め込み： 著者は、Orlov の吹越しの公式および半直和分解に関する結果（具体的には [Kuz07, Theorem 8.8]）を適用して、派生圏の埋め込みを確立している。もし $Y$ が中心 $Z$ に沿った $X$ の吹越しであり、かつ $Y$ がファノ多様体であれば、$D(Y)$ は $D(Z)$ を半直和成分として含む。
4. 命題 2.4： 著者は、特定の条件下（特定のライン束に関する下位退化軌跡の消滅および反アンプル条件）において、射影束上の切断の零点集合 $Y$ が、退化軌跡 $Z$ のファノ・ホストとなるという一般的な結果を証明している。

主要な貢献および結果

• 4次元ファノ・ホストの構成： 主要な結果（定理 3.1）は、一般的なエンリケス曲面 $S$ のホストとして機能する、特定のファノ4次元多様体 $Y$ を構成している。

  • 幾何学的実現： $X = \mathbb{P}^2 \times \mathbb{P}^2$ とする。著者は、ベクトル束 $E = \mathcal{O}_X \otimes W_3$ および $F = \mathcal{O}_X(2,0) \oplus \mathcal{O}_X(0,2)$ を考える。一般的な射 $\phi: E \to F$ は、第一退化軌跡 $D_1(\phi)$ として一般的なエンリケス曲面 $S$ を定義する。
  • ホスト多様体： 多様体 $Y$ は、$\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2$ 内の束 $\mathcal{O}(1,0,2) \oplus \mathcal{O}(1,2,0)$ の切断の零点集合として定義される。
  • 同型性： 本論文は、$Y \cong \text{Bl}_S(\mathbb{P}^2 \times \mathbb{P}^2)$、すなわち $S$ に沿った $\mathbb{P}^2 \times \mathbb{P}^2$ の吹越しであることを証明している。
  • ファノ特性： 随伴公式を用いることで、$Y$ がファノ多様体であること（その反標準束がアンプルであること）が示されている。

• 派生圏の分解： コラリウム 3.3 は、$Y$ の派生圏の半直和分解を確立している：
  $$D(Y) = \langle D(S), E_1, \dots, E_9 \rangle$$
  ここで $E_1, \dots, E_9$ は $\mathbb{P}^2 \times \mathbb{P}^2$ の例外的コレクションから得られる例外的束である。これにより、$S$ が $Y$ のファノ・ビジターであることが確認される。

• 不変量と捩れ：

  • $Y$ のホッジ・ダイアモンドは対角的である。
  • 整数係数コホモロジー $H^4(Y, \mathbb{Z})$ は、ランク10の格子 $\Lambda$ と $\mathbb{Z}/2\mathbb{Z}$ の捩れ成分からなる直和を含む。
  • その結果、$K_0(Y)$ は2-捩れ類を含み、これは $D(Y)$ が完全な例外的コレクションを持たないことを意味する。

• 下限の議論： 本論文は、一般的なエンリケス曲面のファノ次元が正確に4であることを論じている。$S$ は（次元およびホッジ理論的な制約により）ファノ曲線やファノ曲面に埋め込むことができないため、著者はファノ3次元多様体を排除している。もしファノ3次元多様体 $Y'$ がホストであった場合、ホッホシルト・ホモロジーの次元を収容するためにそのピカール数は少なくとも5である必要がある。しかし、ピカール数が5以上の既知のすべてのファノ3次元多様体は完全な例外的コレクションを持ち、それゆえにそのグロタンディーク群は捩れフリーであるが、これは $S$ によって誘発される2-捩れと矛盾する。

意義
本論文は、一般的なエンリケス曲面の既知のファノ次元の境界を6から4へと改善したと主張している。$D(S)$ を半直和成分として含む具体的なファノ4次元多様体 $Y$ を構成することにより、本研究はこの種の曲面に対するファノ・ビジター問題への具体的な解を提供している。この構成は、退化軌跡、射影空間の積の吹越し、および派生圏の間の深い相互作用を浮き彫りにしている。また、この結果は、ホストのグロタンディーク群における捩れと、完全な例外的コレクションの存在との関連性を強化するものである。