[论文解读] Moduli spaces of semiorthogonal decompositions in families

Pieter Belmans, Shinnosuke Okawa+1 more|arXiv (Cornell University)|Feb 9, 2020

Algebraic structures and combinatorial models参考文献 25被引用 8

一句话总结

本文構造了一個模空間，用於分類光滑射影族中完美複形的半正交分解，並證明其為基底上的 étale 代數空間。透過半正交分解與對角線分解三角形之間的形變理論比較，作者確立了在基底點的 étale 鄰域上，此類分解具有唯一形變，進而促成滿足 Artin 代數性準則的模函子之構造。

ABSTRACT

To a smooth and proper morphism $\mathcal{X} o U$ with quasicompact semiseparated target we associate a sheaf in the étale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed length) of the category $\operatorname{Perf}\mathcal{X}_V$. We use Artin's criterion to prove that, when $U$ is excellent, this is in fact an algebraic space which is moreover étale (though in general non-quasicompact and non-separated) over $U$. We moreover generalise the construction of the sheaf to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions, and conjecture it is an open and closed subspace. Along the way, we prove that for a smooth and proper family of schemes, a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an étale neighbourhood of the point.

研究动机与目标

• 構造一個模空間，用於分類光滑射影族中完美複形的半正交分解。
• 證明半正交分解在基底點的 étale 鄰域上具有唯一形變，確保局部剛性。
• 將模空間構造推廣至 Orlov 意義下的幾何非交換概形家族。
• 定義一個開子空間，用於分類僅非平凡的半正交分解，有利於研究導出類別的不可分解性。
• 透過 Artin 準則確立模空間為 étale 代數空間，其可能非準緊且非分離。

提出的方法

• 在導出類別中，建立半正交分解與對角線分解三角形之間的比較。
• 應用附錄中發展的新形變理論，針對具有固定目標提升的態射，以控制分解三角形的形變。
• 利用偽凝聚性與導出基變換的 2-出 3 性質，驗證完美複形限制下本質像條件。
• 構造分類家族 $ f: X \to S $ 上 $ \operatorname{Perf}X $ 的半正交分解的模函子 $\mathsf{SOD}_f$。
• 驗證函子 $\mathsf{SOD}_f$ 滿足 Artin 準則中關於其為基底概形 $ S $ 上 étale 代數空間的條件。
• 利用對角線分解三角形控制半正交分解形變的事實，將問題簡化為具有固定目標提升之態射的形變理論。

实验结果

研究问题

• RQ1 光滑射影族的導出類別的半正交分解能否在基底點的 étale 鄰域上唯一形變？
• RQ2 是否存在一個模空間，用於分類家族中完美複形的半正交分解？其幾何性質為何？
• RQ3 如何利用具有固定目標提升之態射的形變理論，來控制半正交分解的形變？
• RQ4 能否證明半正交分解的模空間為 étale 代數空間，即使其非準緊或非分離？
• RQ5 對角線分解三角形在控制家族中半正交分解形變的過程中扮演何種角色？

主要发现

• 光滑射影族中纖的導出類別的半正交分解，在基點的 étale 鄰域上唯一形變。
• 分類半正交分解的模函子 $\mathsf{SOD}_f$ 為基底概形上的 étale 代數空間，其可能非準緊且非分離。
• 該構造依賴於半正交分解與對角線分解三角形之間的比較，將問題簡化為具有固定目標提升之態射的形變理論。
• 態射提升的形變障礙與自同構群分別透過纖中的 $\operatorname{Ext}^1$ 與 $\operatorname{Ext}^0$ 群計算。
• 非平凡半正交分解的模空間為一開子空間，可用於研究例子中導出類別的不可分解性。
• 結果可推廣至 Orlov 意義下的幾何非交換概形家族，將模空間構造延伸至經典概形之外。