[论文解读] Moduli of complexes on a proper morphism

Max Lieblich|arXiv (Cornell University)|Feb 9, 2005

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

一句话总结

该论文证明了在概化态射 $X \to S$ 上，满足特定 Ext-消去条件的普遍可粘合、完美复形的模空间构成一个关于 $S$ 局部落有有限表现的阿廷堆栈（Artin stack）。通过使用形变理论、格罗滕迪克的存在性定理以及阿廷的可表示性准则，作者构建了一个基础模堆栈，该堆栈推广并统一了此前关于层模空间的结果，包括伊纳巴（Inaba）对简单复形模空间的研究。

ABSTRACT

Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying Artin's representability theorem.

研究动机与目标

• 构建一个关于概化态射 $X \to S$ 的导出范畴中复形的一般模堆栈，统一代数几何中各种模问题。
• 将伊纳巴（Inaba）关于简单复形模空间的结果推广至更广的范畴，包括由 t-结构产生的对象。
• 为研究导出范畴中对象的模空间（特别是与布里吉兰德（Bridgeland）稳定性条件和流形翻转（flops）相关者）提供一个基础框架。
• 在导出代数几何完全发展之前，使用经典方法建立模堆栈的代数性。
• 通过自同态堆栈和 2-丛（gerbes）的结构，阐明自同构与布劳尔障碍（Brauer obstructions）在模问题中的作用。

提出的方法

• 应用阿廷的可表示性准则，证明满足 $\operatorname{Ext}^i(E_s, E_s) = 0$（$i < 0$）的普遍可粘合、完美复形的堆栈是一个阿廷堆栈。
• 使用复形的形变理论，通过自由解析将问题约化至仿射情形，并逐步推广至一般情形。
• 通过归纳非零上同调层数量的方法，证明形式形变的有效性，从而将问题约化至相干层的格罗滕迪克存在性定理。
• 通过模问题的有限性与分离性条件，建立有限表现性与分离对角线性质。
• 利用刚化技术，构造一个代数空间，表示简单复形模堆栈的层化（sheafification）。
• 利用自同态堆栈识别简单复形的开子堆栈，并证明其关于 $\mathbf{G}_m$ 的商是一个代数空间上的 $\mathbf{G}_m$-2-丛。

实验结果

研究问题

• RQ1 能否使用经典方法证明概化态射 $X \to S$ 的导出范畴中复形的模空间是代数的？
• RQ2 复形需满足何种条件，才能使其模空间成为关于基底局部有有限表现的阿廷堆栈？
• RQ3 复形的形变理论如何与它们模堆栈的代数性相关联？
• RQ4 一般完美复形模堆栈在多大程度上可作为几何模问题的通用参数空间？
• RQ5 此类复形的模堆栈与简单复形的模空间之间存在何种关系？布劳尔类（Brauer class）如何产生？

主要发现

• 参数化普遍可粘合、满足负 Ext 消去条件的完美复形的堆栈 $\mathscr{D}_{\operatorname{pug}}^{\mathit{b}}(X/S)$ 是关于 $S$ 局部落有有限表现的阿廷堆栈。
• 模堆栈的对角线是分离的，这在现代术语中是一个强代数性条件。
• 简单复形（仅具有标量自同构）的闭包是一个开子堆栈，其可通过自同态堆栈的纤维维数识别。
• 简单复形的模堆栈具有 $\mathbf{G}_m$-2-丛结构，其层化可由一个关于 $S$ 局部落有有限表现的代数空间表示。
• 该构造恢复并扩展了伊纳巴（Inaba）关于诺塞安诺夫概化诺瑟安诺夫概化态射上简单复形模空间的结果。
• 该框架为研究布里吉兰德（Bridgeland）的流形翻转构造，以及未来通过导出方法研究虚拟基本类提供了自然的设定。