[论文解读] Cycles, derived categories, and rationality

Asher Auel, Marcello Bernardara|arXiv (Cornell University)|Dec 7, 2016

Algebraic Geometry and Number Theory参考文献 101被引用 11

一句话总结

本文统一了代数几何中两种现代理性度量方法：非分歧上同调与导出范畴。它建立了0-循环的普遍平凡性、导出范畴的半正交分解与理性之间的联系，尤其针对四维立方体和曲面，表明理性反映在范畴表示性和楚瓦理论分解中。

ABSTRACT

Our main goal is to give a sense of recent developments in the (stable) rationality problem from the point of view of unramified cohomology and 0-cycles as well as derived categories and semiorthogonal decompositions, and how these perspectives intertwine and reflect each other. In particular, in the case of algebraic surfaces, we explain the relationship between Bloch's conjecture, Chow-theoretic decompositions of the diagonal, categorical representability, and the existence of phantom subcategories of the derived category.

研究动机与目标

• 统一并比较两种现代理性度量方法：非分歧上同调与导出范畴表示性。
• 研究楚瓦理论对角分解与导出范畴中幻影子范畴存在的相互作用。
• 阐明在codimension 2下的范畴表示性如何与理性相关联，尤其针对曲面和四维立方体。
• 考察K3曲面及其导出范畴在通过半正交分解实现四维立方体理性中的作用。
• 提出并语境化关于四维立方体理性与导出范畴其范畴化解析维数之间联系的猜想。

提出的方法

• 利用Voisin、Colliot-Thélène与Pirutka的非分歧上同调与退化技术来阻碍稳定理性。
• 应用半正交分解理论，通过导出范畴中分量的有界维数来定义范畴表示性。
• 运用同调投影对偶性，将四维立方体的导出范畴与Clifford代数的层及K3曲面的扭曲导出范畴联系起来。
• 在Clifford代数中使用双曲约化与莫蒂塔等价性，简化二次纤维化结构，并关联不同四维立方体的导出范畴。
• 通过blow-ups与共形解析，分析四维立方体导出范畴的结构，将其与K3曲面联系起来。
• 基于范畴化解析的维数（例如，rcodim ≥ 2 或 rdim ≤ 2）提出关于理性的猜想。

实验结果

研究问题

• RQ1 非分歧上同调与导出范畴表示性在衡量理性时，如何相互反映或矛盾？
• RQ2 0-循环楚瓦群的普遍平凡性与对角楚瓦理论分解的存在性之间的确切关系为何？
• RQ3 有理曲面或四维立方体的导出范畴如何通过半正交分解反映其理性？
• RQ4 导出范畴中幻影子范畴的存在是否可与布罗赫猜想及理性相联系？
• RQ5 在codimension 2下的范畴表示性在多大程度上能刻画理性簇，特别是四维立方体的情形？

主要发现

• 0-循环楚瓦群的普遍平凡性受到非分歧上同调的阻碍，如Voisin及Colliot-Thélène–Pirutka的退化方法所示。
• 对于四维立方体，理性在猜想中等价于其导出范畴具有分量维数≤2的半正交分解。
• 在codimension 2下的范畴表示性预计能刻画理性，尤其针对具有Mori纤维化结构的曲面与四维立方体。
• 在奇异或行列式四维立方体的情形下，Kuznetsov分量的导出范畴等价于某K3曲面的导出范畴。
• 对于在P¹上作为两个二次曲面的完全交纤维化的四维立方体，Kuznetsov分量的导出范畴等价于某Hirzebruch曲面上的亏格2纤维化的扭曲导出范畴。
• 强版本的猜想8.4.1提出：此类四维立方体当且仅当Kuznetsov分量的范畴化解析维数至多为2时才是有理的。