[论文解读] Duality and Tilting for Commutative DG Rings

Amnon Yekutieli|arXiv (Cornell University)|Dec 22, 2013

Algebraic structures and combinatorial models参考文献 32被引用 19

一句话总结

本文建立了交换微分分次（DG）环上对偶性和倾斜理论的基础结果，引入并分析了完美、倾斜、对偶、科恩-麦克aul伊和刚性DG模。证明了几何完美DG模是代数完美DG模，DG环的导出Picard群到其零阶上同调环的导出Picard群存在双射映射，且刚性对偶DG模在唯一刚性同构意义下唯一，为导出代数几何中的格罗滕迪克对偶性提供了关键工具。

ABSTRACT

We consider commutative DG rings (better known as nonpositive strongly commutative associative unital DG algebras). For such a DG ring $A$ we define the notions of perfect, tilting, dualizing, Cohen-Macaulay and rigid DG $A$-modules. Geometrically perfect DG modules are defined by a local condition on $\operatorname{Spec} \bar{A}$, where $\bar{A} := \operatorname{Spec} \, \operatorname{H}^0(A)$. Algebraically perfect DG modules are those that can be obtained from $A$ by finitely many shifts, direct summands and cones. Tilting DG modules are those that have inverses w.r.t. the derived tensor product; their isomorphism classes form the derived Picard group $\operatorname{DPic}(A)$. Dualizing DG modules are a generalization of Grothendieck's original definition (and here $A$ has to be cohomologically pseudo-noetherian). Cohen-Macaulay DG modules are the duals (w.r.t. a given dualizing DG module) of finite $\bar{A}$-modules. Rigid DG $A$-modules, relative to a commutative base ring $K$, are defined using the squaring operation, and this is a generalization of Van den Bergh's original definition. The techniques we use are the standard ones of derived categories, with a few improvements. We introduce a new method for studying DG $A$-modules: Cech resolutions of DG $A$-modules corresponding to open coverings of $\operatorname{Spec} \bar{A}$. Here are some of the new results obtained in this paper:... [truncated] The functorial properties of Cohen-Macaulay DG modules that we establish here are needed for our work on rigid dualizing complexes over commutative rings, schemes and Deligne-Mumford stacks. We pose several conjectures regarding existence and uniqueness of rigid DG modules over commutative DG rings.

研究动机与目标

• 发展交换DG环上对偶性和倾斜理论的完整体系，将交换代数中的经典概念推广到DG设定中。
• 建立关于完美、倾斜、对偶、科恩-麦克aul伊和刚性DG模的基础结果，尤其在格罗滕迪克对偶性的背景下。
• 为交换DG环上的刚性对偶复形提供一个框架，特别是在基环不是域的算术设定下。
• 引入DG模的Čech分解作为新工具，以研究$ar{A} = ext{H}^0(A)$上DG模的局部与整体性质。
• 证明 canonical map $ ext{DPic}(A) o ext{DPic}(ar{A})$ 的双射性，以及刚性对偶DG模在刚性同构意义下的唯一性。

提出的方法

• 通过$ ext{Spec}ar{A}$上的局部条件定义几何完美DG模，通过有限次移位、直和项和锥的组合定义代数完美DG模。
• 将倾斜DG模定义为在导出张量积下具有逆元的模，从而构成导出Picard群$ ext{DPic}(A)$。
• 为上同调伪诺特DG环定义对偶DG模，推广格罗滕迪克原始定义。
• 将科恩-麦克aul伊DG模定义为相对于固定对偶DG模的有限$ar{A}$-模的对偶。
• 通过平方运算$ ext{Sq}_{A/b{K}}(M) = ext{RHom}_{ ilde{A} ensor ilde{A}}(A, M ensor^{b{L}}_{b{K}} M)$，在基环$b{K}$下定义相对刚性DG模，其中$ ilde{A} o A$为K-平坦化解析。
• 将对应于$ ext{Spec}ar{A}$上开覆盖的DG模的Čech分解作为新工具，用于分析局部到整体的性质。

实验结果

研究问题

• RQ1 在交换DG环上，几何完美DG模是否与代数完美DG模等价？
• RQ2 对于交换DG环$A$，canonical group homomorphism $ ext{DPic}(A) o ext{DPic}(ar{A})$ 是否为双射？
• RQ3 导出Picard群$ ext{DPic}(A)$是否在对偶DG$A$-模的同构类集合上作用简单传递？
• RQ4 科恩-麦克aul伊DG模在上同调满射的DG环同态下是否保持不变？
• RQ5 在交换DG环上，刚性对偶DG模是否在唯一刚性同构意义下唯一？

主要发现

• 几何完美DG模是代数完美DG模，确立了DG设定下的关键等价关系。
• canonical map $ ext{DPic}(A) o ext{DPic}(ar{A})$ 是双射，将DG环的导出Picard群与其中心上同调环的导出Picard群联系起来。
• 导出Picard群$ ext{DPic}(A)$在对偶DG$A$-模的同构类集合上作用简单传递。
• 科恩-麦克aul伊DG模对上同调满射的DG环同态不敏感，表明其在某些映射下的鲁棒性。
• 刚性对偶DG模在唯一刚性同构意义下唯一，这是基础性的唯一性结果。
• 猜想9.8提出，刚性对偶DG模可沿上同调本质光滑或有限型的同态被提升，将已知结果推广至DG设定。