[论文解读] Relative singularity category of a non-commutative resolution of singularities

Igor Burban, Martin Kalck|Kölner Universitäts PublikationsServer (Universität zu Köln)|Mar 21, 2011

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

一句话总结

本文引入并完整描述了节点曲线非交换化解的相对奇点范畴 Δ_Y(𝕐)，表明其分解为 p 个块，每个块与通过温和代数定义的范畴 Δ_nd 等价。关键结果是对不可约对象的完全分类、自同态-瑞文代数图（Auslander–Reiten quiver）的计算，以及格罗滕迪克群 K₀(Δ_nd) ≅ ℤ² 的确定。

ABSTRACT

In this article we study the triangulated category of singularities associated with a non-commutative resolution of singularities. In particular, we give a complete description of this category in the case of a curve with nodal singularities, classifying its indecomposable objects and computing its Auslander-Reiten quiver and K-group.

研究动机与目标

• 将相对奇点范畴 Δ_X(𝕏) 定义并研究为 triangulated 范畴，以衡量非交换化解 𝕏 的奇异概形 X 的 Perf(X) 与 D^b(Coh(𝕏)) 之间的差异。
• 通过相对奇点范畴，将 Buchweitz 对 Gorenstein 奇点的等价性推广至非交换化解。
• 当 Y 为节点曲线时，对 Δ_Y(𝕐) 提供完整描述，包括不可约对象的分类及 K₀ 和 Auslander–Reiten 图的计算。
• 建立相对奇点范畴与节点处完成局部环上最大 Cohen–Macaulay 模的稳定范畴之间的联系。
• 证明 Δ_Y(𝕐) 可分解为 p 个块，每个块与 Δ_nd 等价，其中 p 为 Y 的奇点数。

提出的方法

• 将相对奇点范畴定义为 Verdier 商 D^b(Coh(𝕏))/Perf(X) 的幂等完备化，其中 𝕏 = (X, End_X(𝒪⊕ℱ′)) 是一个非交换化解。
• 利用 ℱ′ 在 U = X∖Z 上局部自由的条件，建立类似于 Buchweitz 定理的局部化等价。
• 采用 Schlichting 的负 K-理论计算格罗滕迪克群 K₀(Δ_X(𝕏))。
• 对于节点曲线，构造 𝕐 = (Y, End_Y(𝒪⊕ℐ_Z))，并通过分裂结果证明 Δ_Y(𝕐) 分解为 p 个 Δ_nd 的直和。
• 将 Δ_nd 实现为完成路径代数 A_nd 的投射与加法范畴的有界同伦范畴的商。
• 通过函子 Hom_{A_nd}(P_*, −) 在 Δ_nd / Tria(S_+, S_-) 与 O_nd = k[[u,v]]/(uv) 上的稳定 MCM 范畴之间诱导出等价。

实验结果

研究问题

• RQ1 如何为奇异概形的非交换化解定义并表征相对奇点范畴 Δ_X(𝕏)？
• RQ2 Buchweitz 的局部化等价性是否可推广至非交换化解，特别是对节点曲线？
• RQ3 当 Y 为具有 p 个奇点的节点曲线时，相对奇点范畴 Δ_Y(𝕐) 的结构如何？
• RQ4 Δ_Y(𝕐) 中的不可约对象与态射能否显式分类？
• RQ5 节点曲线的相对奇点范畴 Δ_nd 的格罗滕迪克群 K₀ 是什么？

主要发现

• 具有 p 个奇点的节点曲线 Y 的相对奇点范畴 Δ_Y(𝕐) 可分解为 p 个 Δ_nd 的直和，即 Δ_Y(𝕐) ≅ ⋁_{i=1}^p Δ_i，其中每个 Δ_i ≅ Δ_nd。
• 范畴 Δ_nd 是 Hom-有限且表示离散的，其所有不可约对象与态射空间均可显式分类。
• Δ_nd 的 Auslander–Reiten 图已计算得出，并显示出与 A_nd 的关系有向图的特定结构。
• Δ_nd 的格罗滕迪克群为 K₀(Δ_nd) ≅ ℤ²，通过负 K-理论及导出范畴的结构计算得出。
• 存在商等价 Δ_nd / Tria(S_+, S_-) ≅ ⌜MCM(O_nd)，表明其与节点处 O_nd = k[[u,v]]/(uv) 上 MCM 模的稳定范畴有直接联系。
• 通过温和代数 Λ 的表示，给出了 Δ_nd 的另一种有向图描述，提供了组合模型。