[论文解读] Non-commutative deformations of simple objects in a category of perverse coherent sheaves

Yūjirō Kawamata|arXiv (Cornell University)|Jun 13, 2018

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

一句话总结

该论文确定了由射影态射上的tilting生成元导出的奇诡线丛层范畴中简单族的普遍非交换形变。它表明，全或部分简单族的普遍形变恢复了Donovan和Wemyss的收缩代数，证明该代数同构于其对偶环，且当且仅当态射在某一点的纤维外为同构时，该代数为有限维。

ABSTRACT

We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.

研究动机与目标

• 研究由tilting生成元导出的奇诡线丛层范畴中简单对象的非交换形变。
• 确定这些范畴中关于仿射基的射影态射的简单族的普遍形变。
• 将所得参数代数与已知不变量（如Donovan和Wemyss的收缩代数）相关联。
• 证明收缩代数同构于其对偶环，并刻画其为有限维的条件。

提出的方法

• 通过Bondal和Rickard的导出Morita等价，将Y上凝聚层的导出范畴与代数层A-模范畴联系起来。
• 将奇诡线丛层构造为在导出等价下对应于mod-A的阿贝尔范畴。
• 通过在闭点x₀ ∈ X处的完备化分析形变，重点关注tilting生成元P̂的完备化。
• 应用非交换形变理论，通过自然映射f* f* P̂ → P̂的核与余核，计算Perv(Y/X)中简单族的普遍形变。
• 将普遍形变的参数代数识别为Â = f* End(P̂)的商，具体为Â/I或Â′/I′。
• 通过图表追逐和上同调消去，证明形变参数代数同构于收缩代数及其对偶。

实验结果

研究问题

• RQ1 在何种条件下，奇诡线丛层范畴中简单族的普遍非交换形变会恢复Donovan和Wemyss的收缩代数？
• RQ2 此类形变产生的收缩代数是否同构于其对偶环？
• RQ3 普遍形变的参数代数在作为k-向量空间时何时为有限维？
• RQ4 参数代数的有限维性是否刻画了态射在某一点的纤维外为同构？
• RQ5 简单对象的非交换形变理论能否检测3-流形中一个有理曲线的解析收缩性？

主要发现

• 在闭点x₀ ∈ X上，全简单族{s_j}的普遍非交换形变由tilting生成元P̂的完备化给出，其参数代数为Â = f_* End(P̂)。
• 部分简单族{s_j}_{j=1}^r的普遍形变恢复了收缩代数Â/I ≅ Â′/I′，该代数同构于其对偶环。
• 收缩代数在k上为有限维当且仅当态射f在x₀的纤维外为同构。
• 在−1-tilt范畴和0-tilt范畴中，简单族的形变产生同构对象Q ≅ Q′，尽管对应的阿贝尔范畴不同。
• 在三重终奇异点的小型共形解析解的例子中，参数代数Â/I同构于代数k⟨⟨x,y⟩⟩/(xy + yx, x² − y³)的完备化。
• 商代数Â′/I′的余支集与判别式子簇D ⊂ X重合，且D为单点当且仅当Â′/I′为有限维。