[论文解读] The McKay correspondence, tilting equivalences, and rationality

Morgan V. Brown, Ian Shipman|arXiv (Cornell University)|Dec 13, 2013

Algebraic Geometry and Number Theory参考文献 25被引用 3

一句话总结

本论文通过引入基于弱中心电荷和 torsion 对的两步倾斜程序，建立了二维和三维中导出 McKay 对应与倾斜等价之间的联系。证明了任何具有全、强、例外线丛族的光滑射影曲面必为有理曲面，从而通过倾斜丛提供了一种新的有理曲面判定准则。

ABSTRACT

We consider the problem of comparing t-structures under the derived McKay correspondence and for tilting equivalences. We relate the t-structures using certain natural torsion theories. As an application, we give a criterion for rationality for surfaces with a tilting bundle. In particular we show that every smooth projective surface which admits a full, strong, exceptional collection of line bundles is rational.

研究动机与目标

• 理解在导出 McKay 对应下，导出范畴中 t-结构在二维和三维中的关系。
• 通过弱中心电荷与 torsion 对，建立两步倾斜框架，将代数簇上的凝聚层与有限维代数上的模联系起来。
• 通过存在由线丛构成的倾斜丛，为光滑射影曲面提供有理曲面性的判定准则。
• 证明在二维和三维中，导出 McKay 对应可被解释为通过通用 G-构型的倾斜等价。

提出的方法

• 作者在诺特阿贝尔范畴的 K-群上定义弱中心电荷，通过中心电荷虚部为零的条件诱导出 torsion 对。
• 他们引入相对于此类 torsion 对的上倾和下倾，将经典倾斜推广至处理在度数 0、1 和 2 处具有上同调的对象。
• 通过 G-等变层在 C^n 上与 Y 上凝聚层之间的等价性分析导出 McKay 对应，通过上同调支撑识别 coh(Y) 在 D(G-Coh(C^n)) 中的像。
• 关键构造利用模空间 M_θ 上的通用 θ-稳定 G-构型，定义 M_θ 上的倾斜丛，从而诱导出导出等价。
• 该方法应用 Riemann–Roch 技术与上同调消去法分析线丛差异，并证明有理曲面性。
• 该框架被用于证明：若曲面存在分解为线丛的倾斜丛，则其必为有理曲面。

实验结果

研究问题

• RQ1 在二维和三维中，导出 McKay 对应下导出范畴中的 t-结构如何关联？
• RQ2 导出 McKay 对应是否可通过两步倾斜过程被解释为倾斜等价？
• RQ3 光滑射影曲面在何种条件下，其存在由线丛构成的倾斜丛可保证其有理曲面性？
• RQ4 弱中心电荷与 torsion 对如何促进从导出等价重构凝聚层范畴？
• RQ5 通用 G-构型在模空间上实现倾斜丛的过程中起何种作用？

主要发现

• 任何具有全、强、例外线丛族的光滑射影曲面必为有理曲面。
• 若曲面存在由线丛构成的倾斜丛，则其自同态代数的全局维数约束强制至少存在一对线丛满足 h^0(D_j - D_i) > 1，从而蕴含有理曲面性。
• 在二维和三维中，导出 McKay 对应可被解释为倾斜等价，其中 M_θ 上的通用 G-构型生成一个倾斜丛。
• 通过两次连续倾斜，从 C^n 上 G-等变层的导出范畴中可完整恢复出 Y 上凝聚层的范畴。
• 存在由线丛构成的倾斜丛意味着该曲面是某有理规则曲面的 blows-up，因此为有理曲面。
• 利用弱中心电荷与 torsion 对的方法为低维 McKay 对应中的导出等价提供了统一的框架，用于关联 t-结构。