[論文レビュー] Nonexistence of semiorthogonal decompositions and sections of the canonical bundle

Kotaro Kawatani, Shinnosuke Okawa|arXiv (Cornell University)|Aug 4, 2015

Algebraic Geometry and Number Theory参考文献 34被引用数 15

ひとこと要約

本稿では、滑らかで固有な多様体の導来カテゴリ－の半直交分解（SOD）に、canonical bundle の切断が強い制約を課すことを確立している。もし canonical 線形系の基点集合が canonical bundle が自明な領域に含まれるならば、非自明な SOD は存在しない。この結果は、曲線に関する先行研究を一般化し、次元がより高い最小多様体、特に Kodaira 次元 0, 1, 2 の表面、および twisted 導来カテゴリ－へと拡張される。

ABSTRACT

For any admissible subcategory of the bounded derived category of coherent sheaves on a smooth proper variety, we prove that sections of the canonical bundle impose a strong constraint on the supports of the objects of the subcategory or its semiorthogonal complement. We also show that admissible subcategories are rigid under the actions of topologically trivial autoequivalences. As applications of these results, we prove that the derived category of various minimal varieties in the sense of the minimal model program admit no non-trivial semiorthogonal decompositions, generalizing the result for curves due to the second author to higher dimensions. The case of minimal surfaces is further investigated in detail.

研究の動機と目的

• 非負の Kodaira 次元を持つ滑らかで固有な多様体の導来カテゴリ－における半直交分解（SOD）の構造を理解すること。
• canonical bundle の基点集合から生じる幾何的制約を、SOD の成分内の対象の台に制限すること。
• トポロジカルに自明な自己同値（例：Pic⁰(X/k) 内の線分束によるテンソル積）の下で SOD の剛性を示すこと。
• Brauer 対の twisted 導来カテゴリ－へと結果を一般化すること。
• さまざまな最小多様体、特に一般型表面および双楕円表面に対して、非自明な SOD が存在しないことを証明すること。

提案手法

• SOD の成分内の対象の台を制限する主要な幾何的不変量として、完全 canonical 線形系の基点集合 Bs |ωX| を用いる。
• Serre 対称性と導来カテゴリ－技法を応用し、ωX が Bs |ωX| の近傍で自明であれば、非自明な SOD は存在しないことを示す。
• Pic⁰(X/k) 内の線分束によるテンソル積による自己同値が分解を保存することを示し、SOD の剛性を証明する。
• Brauer 級数のための Azumaya 代数と Čech 2-コホモロジーを用いて、標準的な導来カテゴリ－の結果を twisted 型に適応する。
• 基点定理とコホモロジーの消滅を用いて、家族におけるコホモロジー群の構造を分析する。
• コホモロジー的 Brauer 対 (X, α) に対して結果を一般化するため、主要な補題（例：Serre 対称性、生成クラス）が twisted 環境へと拡張されることを検証する。

実験結果

リサーチクエスチョン

• RQ1 canonical bundle がどのような条件下にあれば、滑らかで固有な多様体の導来カテゴリ－に非自明な半直交分解が存在しないのか。
• RQ2 canonical bundle の global 切断は、SOD の成分内の対象の台にどのように制約を課すか。
• RQ3 トポロジカルに自明な自己同値（例：Pic⁰(X/k) 内の線分束によるテンソル積）の下で、SOD はどの程度保存されるか。
• RQ4 SOD の非存在に関する結果を Brauer 対の twisted 導来カテゴリ－へと拡張できるか。
• RQ5 Kodaira 次元 0, 1, 2 の最小表面の導来カテゴリ－の正確な構造は何か。

主な発見

• canonical 線形系の基点集合が、ωX が自明な領域に含まれるならば、その導来カテゴリ－には非自明な半直交分解が存在しない。
• |ωX| の基点集合が有限であれば、任意の滑らかで固有な多様体の導来カテゴリ－には非自明な SOD が存在しない。
• 任意の滑らかで射影的多様体で [ωX] ∈ Pic⁰(X/k) を満たすものについては、その導来カテゴリ－には SOD が存在しない。
• 双楕円表面とアーベル多様体の積の導来カテゴリ－には SOD が存在しない。
• dim H⁰(X, ωX) > 1 かつある条件 (*) を満たす一般型表面については、その導来カテゴリ－には SOD が存在しない。
• ωX が Bs |KX| の近傍で自明である限り、smooth で固有な Brauer 対 (X, α) の twisted 導来カテゴリ－ D(X, α) に対しても結果が拡張される。