[论文解读] Differential Graded Schemes II: The 2-category of Differential Graded Schemes

Kai Behrend|ArXiv.org|Dec 17, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 16

一句话总结

本文通过使用完美解析代数作为仿射模型，引入了一类二阶微分分次（dg）概形的2-范畴，实现了通过étale拓扑的粘合与通过导出张量积的纤维积。其核心贡献在于： quasi-isomorphic 的 dg 代数产生 2-isomorphic 的 dg 概形，且 dg 概形可由其局部坐标环在 quasi-isomorphism 意义下恢复，从而建立了一个具有下降性与障碍理论一致性的几何框架。

ABSTRACT

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive degrees and have perfect cotangent complex. Quasi-isomorphic differential graded algebras give rise to 2-isomorphic differential graded schemes and a differential graded algebra can be recovered up to quasi-isomorphism from the differential graded scheme it defines. Differential graded schemes can be glued with respect to an etale topology and fibered products of differential graded schemes correspond on the algebra level to derived tensor products.

研究动机与目标

• 定义一个满足自然几何公理（包括粘合、纤维积和从仿射数据局部重构）的微分分次概形的几何范畴。
• 通过证明2-范畴已足够，尽管 dg 代数形成一个单纯范畴，从而解决 dg 几何中对高阶范畴结构的需求。
• 在 dg 设置下建立态射与代数的下降理论，确保与étale拓扑和导出代数几何的兼容性。
• 定义诸如关联代数空间、同伦层与相对维数等不变量，并将其与经典代数几e何联系起来。
• 为 dg 概形之间的态射构造一个相对障碍理论，将 dg 几何与枚举几何中的虚拟基本类联系起来。

提出的方法

• 构建完美解析代数的2-范畴——即在特征为零的域上、分次交换的 dg 代数，其分次集中在非正度数，且余切复形为完美复形。
• 将 dg 概形的2-范畴定义为在完美解析代数2-范畴的反范畴上的2-范畴纤维化丛，配备étale拓扑。
• 利用 dg 代数之间 simplicial Hom-空间的基本群丛来定义1-态射与2-同构，确保 quasi-isomorphisms 成为2-同构。
• 通过超立方体截断与严格化实现态射与代数的下降，将经典下降推广至2-范畴设置。
• 将 dg 概形的截断定义为代数空间，并通过基变换将 dg 不变量（如微分与切层）与经典对应物联系起来。
• 从 dg 相对微分构造一个到其截断的经典余切复形的典范态射，从而在 Behrend-Fantechi 意义下得到一个完美障碍理论。

实验结果

研究问题

• RQ1 尽管 dg 代数形成一个单纯范畴，是否可以仅使用2-范畴结构构建一个一致的微分分次概形理论？
• RQ2 dg 概形的2-范畴是否支持通过étale拓扑的粘合与通过导出张量积的纤维积？
• RQ3 一个 dg 概形能否在其局部仿射坐标环在 quasi-isomorphism 意义下被重构？
• RQ4 经典不变量（如余切复形与虚拟基本类）与 dg 结构之间有何关系？
• RQ5 是否存在一个 dg 概形态射的典范障碍理论，能恢复枚举几何中的虚拟基本类？

主要发现

• quasi-isomorphic 的完美解析代数产生 2-isomorphic 的 dg 概形，且 dg 概形在 quasi-isomorphism 意义下唯一确定其局部仿射坐标环。
• dg 概形的纤维积存在，且在 dg 代数层面通过导出张量积计算。
• dg 概形的截断是一个代数空间，且 dg 概形的闭点的 Zariski 拓扑空间与其截断之间存在同胚。
• dg 概形的态射是 étale 当且仅当其相对微分为正合，且 étale 态射在截断上诱导同构。
• dg 概形态射的相对微分有到其截断的经典余切复形的典范态射，从而给出一个完美障碍理论，该理论定义了一个虚拟基本类。
• 对于幅度为1的态射，虚拟基本类是函子性的：态射的复合诱导其虚拟类的乘积。