[论文解读] Derived Quot schemes

Ionuţ Ciocan-Fontanine, Mikhail Kapranov|ArXiv.org|May 27, 1999

Algebraic Geometry and Number Theory参考文献 10被引用 4

一句话总结

本文引入了格罗滕迪克的 Quot 模式的一个导出类比，称为 RQuot_h(F)，它是一个微分graded流形，用于参数化光滑射影代数簇 X 上一个凝聚层 F 的子层。该构造通过使用与 RHom(K, F/K) 同伦等价的余链复形编码形变理论，解决了经典 Quot 模式中固有的奇点问题，确保该导出对象在同伦意义下始终光滑。

ABSTRACT

Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a differential graded manifold RQuot_h(F) (so it is always smooth in an appropriate sense) whose tangent space at a point represented by a subsheaf K in F, is a cochain complex quasiisomorphic to RHom(K, F/K).

研究动机与目标

• 开发格罗滕迪克经典 Quot 模式的导出增强，以解决其奇点问题。
• 通过构建一个同伦一致的模空间，实现导出形变理论计划的关键组成部分。
• 在光滑射影代数簇 X 上的凝聚层 F 的子层模空间上，提供一个光滑的微分graded流形结构。
• 确保每个点处的切复形与 RHom(K, F/K) 同伦等价，从而正确捕捉导出形变理论。
• 将经典 Quot 模式推广为一个始终在适当同伦意义下光滑的导出几何对象。

提出的方法

• 将微分graded流形 RQuot_h(F) 构造为经典 Quot 模式的导出增强。
• 使用导出 Hom 复形 RHom(K, F/K) 作为对应于子层 K ⊂ F 的点处的切复形。
• 确保每个点处的切空间与 RHom(K, F/K) 同伦等价，以编码导出形变数据。
• 在导出代数几何的框架内工作，使用 dg-流形替代奇异的经典模空间。
• 应用导出形变理论的技术，以确保所得对象在导出范畴中始终光滑且行为良好。
• 利用导出栈和导出概形上拟相干层的范畴形式化，来定义模问题。

实验结果

研究问题

• RQ1 如何构造一个在同伦意义下光滑的 Quot 模式的导出版本？
• RQ2 子层模空间的正确导出切复形是什么？
• RQ3 经典 Quot 模式能否被一个微分graded流形所取代，以捕捉导出形变理论？
• RQ4 在模和几何方面，导出 Quot 模式与经典 Quot 模式有何关系？
• RQ5 RHom(K, F/K) 在定义 Quot 模式的导出结构中起什么作用？

主要发现

• 导出 Quot 模式 RQuot_h(F) 被构造为一个微分graded流形，确保其在导出意义下光滑。
• 对应于子层 K ⊂ F 的点处的切复形与 RHom(K, F/K) 同伦等价，正确编码了导出形变数据。
• 该构造通过提供子层的导出模空间，实现了导出形变理论计划的关键目标。
• 通过其 dg-结构，导出 Quot 模式消除了经典 Quot 模式中固有的奇点。
• 对象 RQuot_h(F) 为 X 上凝聚层导出范畴提供了一个明确定义且光滑的模空间。
• 该方法建立了一个使用 RHom 复形作为切数据构造导出模空间的框架。