Groups generated by spherical twists on K3 surfaces and full exceptional collections on Fano threefolds

技術要約：K3曲面上の球面ツイストによって生成される群、およびファノ三次元多様体上の完全例外的コレクション

問題設定
本論文は、代数幾何学および派生圏に関する相互に関連する2つの問題に取り組んでいる。

1. ピカール数1の滑らかなK3曲面 $Y$ 上のすべての球面ツイスト（spherical twists）によって生成される部分群 $G \subset \text{Aut}(\mathcal{D}^b(Y))$ の構造的記述。具体的には、著者らは $G$ が自由群であるか、その自由生成元を特定できるか、そして $G$ が有限生成となる条件を確立することを目指している。
2. 完全例外的コレクションに対するブレイド群の作用に関するボンダル・ポリシュク予想（Bondal-Polishchuk conjecture）の最初の三次元の場合の検証。この予想は、長さ $n$ の完全例外的コレクションの集合に対し、ブレイド群 $B_n$ が推移的に作用することを提唱している。一般には反例が存在するが、滑らかな射影多様体の派生圏における高次元での状況は未解決のままである。

手法
著者らは、派生圏論、安定性条件、および双曲平面上のフーシアン群の理論を統合して用いている。

1. 安定性条件と $\text{Stab}(Y)$ の幾何学：
   ブリッジランドおよびバイヤー・ブリッジランドによる基礎的な研究に基づき、著者らはピカール数1のK3曲面 $Y$ 上の特異な成分 $\text{Stab}^\circ(Y)$ の可縮性を利用する。著者らは以下の完全列を利用する：
   $$1 \to \text{Aut}_0 \mathcal{D}^b(Y) \to \text{Aut} \mathcal{D}^b(Y) \to \text{Aut}^+ H^*(Y, \mathbb{Z}) \to 1$$
   ここで $\text{Aut}^+ H^*(Y, \mathbb{Z})$ は向きを保存するホッジ同型群である。核 $\text{Aut}_0$ は、安定性空間の特定の成分の基本群と同一視される。

2. フーシアン群への還元：
   著者らは問題を上半平面 $\mathbb{H}$ の幾何学へと写像する。彼らは、安定性空間の商（シフトおよび自己同型による商）が、オービフォールド・リーマン面 $\mathbb{H}/\Gamma$（具体的にはアトキン・レーナー群 $\Gamma_0^+(\delta)$ に関連するもの）となることを利用する。

• $\mathcal{D}^b(Y)$ 内の球面対象（spherical objects）は、マカイ・ラティス（Mukai lattice）における「根」（平方が $-2$ のベクトル）に対応する。
• 球面ツイストは、これらの根に直交する超平面に関する反射に対応する。
• 群 $G$ は、球面反射の群における像 $\bar{G}$ を通じて分析される。

3. オービフォールドの位相的解析：
   オービフォールド基本群の理論を用いて、著者らは $\mathbb{H}_0 / \bar{G}$ を分析する。ここで $\mathbb{H}_0$ は根に対応するパンクチャーを持つ双曲平面である。彼らは、$\mathbb{H}_0 / \bar{G}$ が非コンパクトなリーマン面であることを示す。その結果、$\mathbb{H}_0 / \bar{G}$ の基本群 $\pi_1(\mathbb{H}_0 / \bar{G})$ は $\bar{G}$ と同型であり、自由群となる。

4. ファノ三次元多様体への適用：
   ボンダル・ポリシュク予想に対処するため、著者らは長さ4の完全例外的コレクションを持つファノ三次元多様体 $X$ を検討する。彼らは、$X$ 上の例外的対象を、ピカール数1のK3曲面 $Y$ である一般的な反標準的因子 $Y \subset X$ へと制限する。

• 著者らは、$X$ 上の例外的コレクションから $Y$ 上の球面のツイストの組への写像 $\phi$ を確立する。
• 彼らは、$X$ におけるコレクションに対するブレイド群 $B_4$ のミューテーション作用が、$G^4$ 上のハーフヴィッツ作用（Hurwitz action）と交差（intertwine）することを証明する。
• $G$ がこれらの特定のケースにおいてランク4の自由群であることが示されているため、$G^4$ 上の自由群に対するハーフヴィッツ作用の推移性と自由性が、 $X$ 上の例外的コレクションに関する対応する性質を意味する。

主要な貢献と結果

1. 球面ツイスト群の構造：

• 定理 1.3： ピカール数1のK3曲面 $Y$ について、すべての球面ツイストによって生成される部分群 $G \subset \text{Aut}(\mathcal{D}^b(Y))$ は自由群である。自由生成元は、球面対象の $G$ の作用による軌道代表元である特定の球面ベクトル束に関連する球面ツイストとして明示的に特定される。
• 定理 1.4： 群 $G$ が有限生成であるための必要十分条件は、K3曲面の次数 $d = 2\delta$ が $\delta \in \{1, 2, 3, 5, 7, 11, 17, 19, 23, 29, 31, 41, 47, 59, 71\}$ を満たすことである。これらの次数の外側（例：$d=8$）では、群は無限生成となる。
• 著者らは、双曲平面上の対応する反射群の作用に関する基本領域を用いて、これらの生成元を見つけるための正確なレシピを提供している。

2. ファノ三次元多様体におけるボンダル・ポリシュク予想の解決：

• 定理 1.5： ピカール数1の完全例外的コレクション（具体的には $X = \mathbb{P}^3, Q^3, V_5, V_{22}$）を持つ任意のファノ三次元多様体 $X$ について、ブレイド群 $B_4 \ltimes \mathbb{Z}^4$（ミューテーションおよびシフト）の完全例外的コレクションの集合への作用は推移的かつ自由である。
• 系 8.7： さらに、そのような $X$ 上のすべての完全例外的コレクションは、すべてベクトル束のシフトからなり、かつ強（strong）である。

3. 球面対象の分類：
   $G$ の記述は、球面対象を $G$ およびシフトの作用による同値類として精密に分類するものである。

意義
本論文は、主に以下の2つの領域において重要であると主張している。

• K3曲面の派生圏： 球面ツイストによって生成される群の完全な構造的記述を提供する。これは、K3曲面の自己同値の研究における基本的な対象である。有限生成性の問題を解決し、それが曲面の次数の算術的性質に厳密に依存することを示した。
• ファノ三次元多様体上の例外的コレクション： ボンダル・ポリシュク予想の最初の非自明な次元（次元3）を解決する。関連するK3曲面の幾何学を利用することで、三次元における例外的対象を直接分析するという困難を回避し、問題を自由群上のハーフヴィッツ作用へと還元している。

著者らは、これらの特定のファノ多様体に対して推移性を確認したものの、これらの多様体上のすべての例外的ベクトル束を分類することを主張しているわけではなく、また、ベクトル束のシフトではない例外的対象が存在する可能性を排除しているわけでもない（ただし、完全な コレクションはそれらのシフトからなることを証明している）と述べている。本研究は、ピカール数1のK3曲面における安定性空間の可縮性という、バイヤーとブリッジランドによって確立された結果に強く依存している。