[论文解读] Formal completion of a category along a subcategory

Alexander I. Efimov|arXiv (Cornell University)|Jun 24, 2010

Algebraic structures and combinatorial models参考文献 9被引用 7

一句话总结

本文引入了一种用于紧生成增强三角范畴沿全厚本质小三角子范畴的范畴形式完成构造，采用导出双重中心化方法。证明该构造可恢复诺特概形沿闭子概形的普通形式完成以及贝利诺森-帕尔辛阿代勒，从而通过同调代数建立了一个统一框架，涵盖这些经典的几何构造。

ABSTRACT

Following an idea of Kontsevich, we introduce and study the notion of formal completion of a compactly generated (by a set of objects) enhanced triangulated category along a full thick essentially small triangulated subcategory. In particular, we prove (answering a question of Kontsevich) that using categorical formal completion, one can obtain ordinary formal completions of Noetherian schemes along closed subschemes. Moreover, we show that Beilinson-Parshin adeles can be also obtained using categorical formal completion.

研究动机与目标

• 通过DG提升和导出双重中心化，形式化康采维奇关于范畴形式完成的思想。
• 建立一个通用构造，推广诺特概形沿闭子概形的经典形式完成。
• 证明贝利诺森-帕尔辛阿代勒自然地源自这一范畴形式完成过程。
• 在单一范畴框架下统一几何完成现象——概形完成与阿代勒——。

提出的方法

• 通过导出双重中心化，定义紧生成增强三角范畴沿全厚本质小三角子范畴的形式完成。
• 将导范畴 D(A) 中对象 M 的导出双重中心化构造为 RHom_{B^{op}}(M)^{op}，其中 B = RHom_A(M)。
• 证明双重中心化在同调等价类下仅依赖于由 M 生成的经典三角子范畴。
• 利用DG代数的同伦极限，将双重中心化与形式完成联系起来，尤其在诺特概形的背景下。
• 定义形式完成的代数化导范畴，使与范畴完成可比较。
• 建立交换图表，显示范畴完成与代数几何中经典构造之间的等价性。

实验结果

研究问题

• RQ1 能否通过导范畴与双重中心化在范畴上重构概形沿闭子概形的形式完成？
• RQ2 范畴形式完成构造是否重现诺特环的普通 I-进完成？
• RQ3 贝利诺森-帕尔辛阿代勒能否作为范畴形式完成的一个特例获得？
• RQ4 在何种条件下，沿子范畴对导范畴的范畴完成可恢复概形形式完成的导范畴？
• RQ5 在自然假设下，从原范畴到形式完成的限制函子是否满且忠实？

主要发现

• D(X) 沿 D^b_{coh,Y}(X) 的形式完成等价于代数化导范畴 D_{alg}(X_hat_Y)，从而恢复了诺特概形 X 沿闭子概形 Y 的经典形式完成。
• 对于正则诺特代数 R 上具有有限生成上同调的复形 M，沿 H^*(M) 的零化子的范畴完成，给出 R 的普通 I-进完成。
• 若 R 或 R/I 为正则，则沿子范畴 D^b_{coh}(Spec R/I) 的范畴完成给出 R 的 I-进完成，证实了与导范畴中完成相关的猜想。
• 通过范畴形式完成构造的贝利诺森-帕尔辛阿代勒被证明与经典定义等价，且存在一个交换图表关联两者。
• 在自然假设下，从原范畴到形式完成的限制函子是满且忠实的，且双重完成等价于原始完成。
• 与无穷小邻域相关的DG代数的同伦极限恢复了形式完成，为范畴构造与几何构造之间提供了技术性桥梁。