[论文解读] Homologically finite-dimensional objects in triangulated categories

Alexander Kuznetsov, Evgeny Shinder|arXiv (Cornell University)|Nov 17, 2022

Algebraic structures and combinatorial models被引用 4

一句话总结

本文在微分分次增强的三角范畴中引入了同调有限维（hfd）对象，通过定义对偶性、hfd-闭性及Gorenstein性质，研究范畴化收缩与共形解析解。关键结果建立了奇异概形的导出范畴与其实其光滑化之间的半正交分解之间的双射关系，该双射关系以中心纤维为支撑，通过hfd构造与dg-函子对偶性实现。

ABSTRACT

In this paper we investigate homologically finite-dimensional objects in the derived category of a given small dg-enhanced triangulated category. Using these we define reflexivity, hfd-closedness, and the Gorenstein property for triangulated categories, and discuss crepant categorical contractions. We illustrate the introduced notions on examples of categories of geometric and algebraic origin and provide geometric applications. In particular, we apply our results to prove a bijection between semiorthogonal decompositions of the derived category of a singular variety and the derived category of its smoothing with support on the central fiber.

研究动机与目标

• 在小的微分分次增强三角范畴的导出范畴中，定义并研究同调有限维（hfd）对象。
• 引入并研究三角范畴中对偶性、hfd-闭性及Gorenstein性质的概念。
• 将这些概念应用于范畴化收缩与共形解析解，尤其在几何与代数背景中。
• 在奇异概形的导出范畴与其实其光滑化之间的半正交分解之间建立双射关系，且该双射关系以中心纤维为支撑。
• 证明光滑化导出范畴中的例外对象在中心纤维上具有概形理论支撑。

提出的方法

• 将hfd-对象定义为在微分分次范畴T上的dg-模M，使得对所有t ∈ T，M(t)为有限维k-向量空间上的有界复形。
• 引入子范畴D_fd(T) ⊂ D(T)，包含所有hfd-对象，其继承了小的微分分次增强三角结构。
• 若自然函子满足D_fd(D_fd(T)) ≃ T，则称范畴T为对偶的，从而可迭代应用hfd构造。
• 当T为对偶范畴时，利用hfd构造诱导的对偶性，建立T与D_fd(T)之间左/右可接受子范畴的双射关系。
• 通过dg-函子对偶性与hfd运算，关联奇异与光滑概形的导出范畴中的子范畴。
• 应用该理论证明D^b_X(X)中的例外对象在X上具有概形理论支撑，方法包括锥论证与Ext计算。

实验结果

研究问题

• RQ1 在何种条件下，映射T ↦ D_fd(T)会在T与D_fd(T)的可接受子范畴之间诱导双射？
• RQ2 何种条件可保证三角范畴T为对偶的，即满足D_fd(D_fd(T)) ≃ T？
• RQ3 hfd-对象与对偶性如何与共形范畴收缩及Gorenstein性质相关联？
• RQ4 能否通过光滑化导出范畴对奇异概形导出范畴的半正交分解进行分类？
• RQ5 光滑化导出范畴中的所有例外对象是否均在中心纤维上具有概形理论支撑？

主要发现

• 映射T ↦ D_fd(T)保持半正交分解，且分量顺序反转：若T = ⟨A₁,…,Aₙ⟩，则D_fd(T) = ⟨D_fd(Aₙ),…,D_fd(A₁)⟩。
• 当T为对偶范畴时，T与D_fd(T)之间左/右可接受子范畴的映射构成互逆双射。
• 对偶性在取对偶范畴与取D_fd(T)下保持不变，且可被可接受子范畴继承。
• 当X为奇异概形且X̃为其光滑化时，D^b(X)与D^perf(X)的可接受子范畴集合之间存在自然双射。
• D^b_X(X̃)中的每个例外对象均在X上具有概形理论支撑，此结论通过Ext计算与锥分析得以证明。
• 函子Υ_ι*与Υ_ι*的复合诱导了D^b(X)、D^b_X(X̃)与D^perf(X)子范畴之间的双射对应，且映射Υ^perf为双射。