arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1011.2189math.AG
收藏

派生堆栈的可表示性

Representability of derived stacks

J. P. Pridham

摘要:

Lurie的可表示性定理给出了函子是几乎可表示的导出几何栈的充要条件。我们建立了Lurie定理的几个变体,使得假设更容易在许多应用中验证。如果Schlessinger条件的一个导出的类似条件成立,则定理归结为关于下给定部分和上同调群的验证条件。另一个简化是函子只需要定义在离散环的幂零扩张上。最后,有一个预表示定理,它可以应用于关联显式几何堆栈到dg流形和相关对象。

英文摘要:

Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify for many applications. Provided a derived analogue of Schlessinger's condition holds, the theorem reduces to verifying conditions on the underived part and on cohomology groups. Another simplification is that functors need only be defined on nilpotent extensions of discrete rings. Finally, there is a pre-representability theorem, which can be applied to associate explicit geometric stacks to dg-manifolds and related objects.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑