arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2602.20263math.AG
收藏

二次束的导出范畴和旋量sheaf的模堆

Derived categories of quadric bundles and moduli stacks of spinor sheaves

EPFL(瑞士联邦理工学院);UC Berkeley(加州大学伯克利分校)

Raymond Cheng, Noah Olander

AI总结:

本文通过旋量sheaf的模堆,证明了二次束族的Kuznetsov组件与扭曲导出范畴的等价性,并提供了Brauer类的几何解释。

摘要:

我们证明,对于一个平展的偶维二次束族,其Kuznetsov组件在满足以下两个条件时,等同于一个代数空间的扭曲导出范畴:(i) 基底上二次束的corank至多为1的开子集在 scheme-theoretically 上是稠密的;(ii) 某个étale双覆盖的闭补集允许一个截面。这为更高维二次束的Kuznetsov组件提供了第一个通用几何结果,从而推广了Kapranov、Bondal、Orlov、Kuznetsov、Moschetti、Xie等人的工作。我们的主要工具是二次束族上的旋量sheaf的模堆,我们对其进行了详细定义和研究。在我们主要结果的情况下,我们产生了一个开子堆,它是一个G_m-gerbe,并展示所关联的扭曲导出范畴等同于二次束族的Kuznetsov组件,从而为前人工作中出现的Brauer类提供了几何解释。

英文摘要:

We prove that the Kuznetsov component of a flat family of even-dimensional quadrics of corank at most 2 is equivalent to the twisted derived category of an algebraic space whenever: (i) the open subset of the base over which the quadrics has corank at most 1 is scheme-theoretically dense; and (ii) a certain étale double cover of the closed complement admits a section. This provides the first general geometricity result for Kuznetsov components of higher dimensional quadrics, thereby generalizing works of Kapranov, Bondal, Orlov, Kuznetsov, Moschetti, Xie, and others. Our main tool is the moduli stack of spinor sheaves on a family of quadrics, which we define and study in detail. In the situation of our main result, we produce an open substack which is a $\mathbf{G}_m$-gerbe, and show that the associated twisted derived category is equivalent to the Kuznetsov component of the family of quadrics, thereby providing a geometric interpretation of the Brauer classes appearing in previous works.

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

↑