[论文解读] Differential Graded Schemes I: Perfect Resolving Algebras

Kai Behrend|ArXiv.org|Dec 17, 2002

Algebraic structures and combinatorial models参考文献 4被引用 17

一句话总结

本文引入了完美解析代数作为微分分次概形的基础对象，在 étale 拓扑下将其确立为合适的仿射模型类。证明了完美解析代数在局部上与有限解析代数 quasi-isomorphic，且 quasi-isomorphism 与同伦等价一致，从而为特征零域上的导出代数几何中的几何构造提供了同伦框架。

ABSTRACT

We introduce perfect resolving algebras and study their fundamental properties. These algebras are basic for our theory of differential graded schemes, as they give rise to affine differential graded schemes. We also introduce etale morphisms. The purpose for studying these, is that they will be used to glue differential graded schemes from affine ones with respect to an etale topology.

研究动机与目标

• 通过识别一类合适的仿射模型，为微分分次概形建立稳健的代数基础。
• 定义并研究微分分次代数之间的 étale 同态，以通过 étale 拓扑实现粘合构造。
• 引入完美解析代数作为有限解析代数的推广，其在保持有限性性质的同时，仍能在 étale 下降下保持局部仿射性。
• 确保由 quasi-isomorphic 代数定义的几何对象彼此等价，符合导出不变性原则。

提出的方法

• 将解析代数定义为在非正度数生成元上自由的分次交换微分分次代数。
• 通过两个条件定义完美解析代数：相对于其 0-阶上同调的 quasi-finiteness 与余切复形的 perfectness。
• 利用微分分次代数上的单纯闭模型范畴结构来定义同伦群与纤维映射空间。
• 证明解析代数之间的 quasi-isomorphism 等价于同伦等价，利用 Hom-单纯集的 Kan 性质。
• 通过在辅助变量上使用多项式代数的张量积构造对角态射的解析，以证明同伦交换性。
• 证明有限解析代数具有有限解析，并通过涉及微分生成元的显式构造，证明同伦拉回可由有限解析代数表示。

实验结果

研究问题

• RQ1 如何定义一类微分分次代数，使其作为微分分次概形的仿射模型，同时在 quasi-isomorphism 下保持几何不变性？
• RQ2 何种条件可确保仿射态射的概念在 étale 拓扑下局部成立，如经典概形态射理论中所述？
• RQ3 有限解析代数能否被扩展至更大的类，使其仍支持 étale 下降与局部有限性？
• RQ4 解析代数的同伦群与外微分在多大程度上反映其截断结构？
• RQ5 在导出设定中，如何使用有限解析代数表示同伦拉回？

主要发现

• 每个完美解析代数在关于其 0-阶上同调环的 Zariski 拓扑下，局部 quasi-isomorphic 于一个有限解析代数。
• 解析代数之间的 quasi-isomorphism 等价于同伦等价，因为映射空间是具有 Kan 性质的纤维单纯集。
• 在张量积构造中，对角态射的余切复形是正合的，证明了 DG 代数到其张量积的两个包含映射是同伦等价的。
• 有限解析代数的同伦交换拉回可由有限解析代数表示，其基大小受输入基大小之和的限制。
• 完美解析代数的外微分与同伦群与其有限截断的结构相容，确保结构一致性。
• 通过 $ R = B igotimes_C C[oldsymbol{ heta}] $ 且微分 $ d heta_i = c_i - b_i + h_i(b,c, heta) $ 构造同伦拉回，可得到表示导出纤维积的有限解析代数。