[論文レビュー] On nonexistence of semi-orthogonal decompositions in algebraic geometry

Xun Lin|arXiv (Cornell University)|Jul 20, 2021

Algebraic Geometry and Number Theory参考文献 22被引用数 4

ひとこと要約

本稿では、正則な射影的多様体の導来圏における非自明な半直交分解の非存在性を示す新しい基準を確立した。その基準は、正 canonical バンドルに数値的に同値なラインバンドルの基底の鎖球の共通部分に着目したものである。この共通部分 $Z = \mathsf{PBs}|\omega_X|$ が空集合または0次元であれば、導来圏 $D(X)$ は分解不能であることを証明した。この結果は、$g \geq 2$ かつ $i \leq g-1$ である曲線の対称積、および特定の楕円的表面や一般型表面に応用され、分解不能性が確認された。また、Bridgeland安定性における標準層のスクリープターファクターの位相に関する不等式も導出された。

ABSTRACT

The nonexistence of semi-orthogonal decompositions in algebraic geometry is known to be governed by the base locus of the canonical bundle. We study another locus, namely the intersection of the base loci of line bundles that are isomorphic to the canonical bundle in the Néron-Severi group, and show that it also governs the nonexistence of semi-orthogonal decompositions. As an application by using algebraically moving techniques, we prove that the bounded derived category of the $i$-th symmetric product of a smooth projective curve $C$ has no nontrivial semi-orthogonal decompositions when the genus $g(C)\geq 2$ and $i\leq g(C)-1$. We prove indecomposability of derived categories of some examples of elliptic surfaces with $P_{g}(X)=0$, and some natural examples of minimal surfaces of general type. Finally, an inequality involving phases of skyscraper sheaves for any Bridgeland stability condition is obtained.

研究の動機と目的

• 滑らかな射影的多様体の導来圏における非自明な半直交分解の非存在性を示す新しい数値的基準を構築すること。
• ピカード群全体ではなく、ネロン＝セベール群内のラインバンドルの基底の鎖球の共通部分に注目することで、既存の結果を一般化すること。
• $g(C) \geq 2$ かつ $i \leq g-1$ である曲線 $C$ の $i$-次対称積 $S^iC$ の導来圏 $D(S^iC)$ および特定の楕円的表面や一般型表面の導来圏が分解不能であることを証明すること。
• 任意の Bridgeland 安定性条件において、スクリープターファクターの位相差に関する普遍的不等式を確立すること。

提案手法

• ラインバンドル $L \in \mathrm{Pic}^0(X)$ に対して $\omega_X \otimes L$ の基底の鎖球の共通部分 $Z = \mathsf{PBs}|\omega_X| := \bigcap_{L \in \mathrm{Pic}^0(X)} \mathsf{Bs}|\omega_X \otimes L|$ を導入する。
• 任意の半直交分解 $D(X) = \langle \mathcal{A}, \mathcal{B} \rangle$ において、すべての対象が $Z$ に台を持つ必要があり、$x \notin Z$ である点 $x$ に対するスクリープターファクター $k(x)$ はすべて同一の成分に属することを証明する。
• 代数的移動技術を用いて、特に対称積や楕円的ファイブレーションにおいて、家族の変形における基底の鎖球の挙動を分析する。
• 具体的なクラスに応用する：曲線の対称積、$P_g = 0$ である楕円的表面、$P_g = q = 1$ かつ $K^2 = 2$ または $3$ である一般型表面の最小モデル。このとき $Z$ が空集合または0次元であることを示した。
• 任意の $\mathrm{Pic}^0$-ラインバンドルによるテンソル積が HN 分解を保存することを用い、Bridgeland 安定性条件における位相の不等式を導出する。
• 任意の $x \in X \setminus Z$ に対して、$k(x)$ の連続する HN 因子の位相差は $\phi_i - \phi_{i+1} \leq \dim X - 1$ を満たすことを示した。

実験結果

リサーチクエスチョン

• RQ1 canonical バンドルの基底の鎖球がどのような条件下で、導来圏 $D(X)$ が非自明な半直交分解をもたないか？
• RQ2 基底の鎖球 $|\omega_X|$ の非存在性基準を、$\mathrm{Pic}^0(X)$ 内のすべての $\omega_X \otimes L$ の基底の鎖球の共通部分にまで拡張可能か？
• RQ3 $g(C) \geq 2$ かつ $i \leq g(C)-1$ である曲線 $C$ の $i$-次対称積 $S^iC$ の導来圏は、非自明な半直交分解をもつか？
• RQ4 $P_g = 0$ である最小楕円的表面および $P_g = q = 1$ である特定の一般型表面の導来圏は分解不能か？
• RQ5 任意の Bridgeland 安定性条件において、スクリープターファクターの位相差にどのような普遍的境界が存在するか？

主な発見

• $g(C) \geq 2$ かつ $i \leq g(C)-1$ である滑らかな射影的曲線 $C$ の対称積 $S^iC$ の導来圏 $D(S^iC)$ は、非自明な半直交分解をもたない。
• Kodaira 次元 1 で $P_g(X) = 0$、$q(X) = 1$、$g(C) = 1$、$\deg L = 0$ である最小楕円的表面 $X$ の導来圏 $D(X)$ は分解不能である。
• $P_g = q = 1$ かつ $K^2 = 2$ または $3$ である一般型表面の最小モデルの導来圏は分解不能である。
• 基底の鎖球の共通部分 $Z = \mathsf{PBs}|\omega_X|$ が分解不能性を支配する：$Z$ が空集合または0次元であれば、$D(X)$ は非自明な半直交分解をもたない。
• 任意の Bridgeland 安定性条件において、$x \notin Z$ である点 $x$ に対するスクリープターファクター $k(x)$ の連続する HN 因子の位相差は $\phi_i - \phi_{i+1} \leq \dim X - 1$ を満たす。
• この結果により、$Pic(X)$ 全体ではなく、$NS(X)$ 内の $\omega_X$ の数値類が導来圏の分解不能性を制御することが示され、数値幾何学とホモロジー代数の橋渡しを果たす。