[论文解读] Derived Reid's recipe for abelian subgroups of SL3(C)

Sabin Cautis, Alastair Craw+1 more|arXiv (Cornell University)|May 14, 2012

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

本文为 SL₃(ℂ) 的有限阿贝尔子群建立了推导版的 Reid 完美配方，证明了 Bridgeland-King-Reid 等价将每个不可约表示 χ 映射为 G-Hilbert 算术概形 Y 的例外子簇上的复形。关键成果是对 Reid 完美配方的完整范畴化，明确计算出 Ψ(O₀ ⊗ χ) 的上同调层为例外除子或曲线上的线丛扭，将 McKay 对应关系推广至三维，并提供了精确的几何数据。

ABSTRACT

For any finite subgroup G in SL3(C), work of Bridgeland-King-Reid constructs an equivalence between the G-equivariant derived category of C^3 and the derived category of the crepant resolution Y = G-Hilb(C^3) of C^3/G. When G is abelian we show that this equivalence gives a natural correspondence between irreducible representations of G and certain sheaves on exceptional subvarieties of Y, thereby extending the McKay correspondence from two to three dimensions. This categorifies Reid's recipe and extends earlier work from [CL09] and [Log10] which dealt only with the case when C^3/G has one isolated singularity.

研究动机与目标

• 通过范畴化有限阿贝尔子群 G ⊂ SL₃(ℂ) 的 Reid 完美配方，将经典的 McKay 对应关系从二维推广至三维。
• 计算 Bridgeland-King-Reid 等价 Ψ: Dᴳ(C³) → D(Y) 对每个非平凡不可约特征标 χ ∈ G∨ 的 O₀ ⊗ χ 的像。
• 确定 Ψ(O₀ ⊗ χ) 的精确几何支撑与层论结构，包括其在 −2、−1、0 度的上同调层。
• 推广此前仅适用于 C³/G 具有孤立奇点的情形，现涵盖非孤立奇点情形。

提出的方法

• 使用 junior 单纯形 ∆ 的 CT-细分来编码 G-Hilbert 算术概形 Y 的组合数据，从而系统分析例外集。
• 在 toric 除子上应用源汇图理论，以确定与 Ψ(O₀ ⊗ χ) 相关的斜交换立方体中映射的零点集。
• 从导出范畴数据构造线丛的斜交换立方体，其箭头以 Y 上的零点除子标记。
• 利用命题 4.2，将立方体中映射的零点与 Ψ(O₀ ⊗ χ) 的上同调层的支撑联系起来。
• 计算每个立方体的总复形，以提取 Ψ(O₀ ⊗ χ) 的上同调层 H⁻²、H⁻¹、H⁰，将其识别为除子或曲线上之扭结构层。
• 通过具体计算验证 G = 1/15(1,5,9) 的例子，包括 Reid 完美配方与推导数据的详细图示。

实验结果

研究问题

• RQ1 Bridgeland-King-Reid 等价 Ψ 如何作用于有限阿贝尔子群 G ⊂ SL₃(ℂ) 的每个非平凡特征标 χ 的 O₀ ⊗ χ？
• RQ2 当 C³/G 具有非孤立奇点时，Ψ(O₀ ⊗ χ) 的精确几何支撑与层论结构为何？
• RQ3 Reid 完美配方能否在三维中范畴化，从而不仅分配支撑，还为 G 的不可约表示分配实际层（带扭）？
• RQ4 Ψ(O₀ ⊗ χ) 的上同调层如何与 CT-细分及 Y 上 toric 除子的源汇图的组合结构相关联？
• RQ5 平凡特征标 χ₀ 在导出等价中的作用是什么？其与 C³/G 中原点上的纤维 ZF 的关系为何？

主要发现

• 对每个非平凡 χ ∈ G∨，复形 Ψ(O₀ ⊗ χ) 同构于例外子簇 Zχ ⊂ Y 上的移位凝聚层的上推。
• Ψ(O₀ ⊗ χ) 的上同调层仅在 −2、−1 和 0 度非零，且所有情况下 H⁻² = 0。
• 当 χ 标记单个除子 E 时，Ψ(O₀ ⊗ χ) 满足 H⁰ ≅ L⁻¹_χ ⊗ O_E 且 H⁻¹ = H⁻² = 0。
• 当 χ 标记单条曲线 C 时，Ψ(O₀ ⊗ χ) 满足 H⁰ ≅ L⁻¹_χ ⊗ O_C 且 H⁻¹ = H⁻² = 0。
• 当 χ 标记除子链时，H⁻² 为内部除子的约化并集上的扭结构层，而 H⁻¹ 与 H⁰ 为零。
• 对于平凡特征标 χ₀，复形 Ψ(O₀ ⊗ χ₀) 满足 H⁻² ≅ O_{E₄₅₇₁₀}，H⁻¹ ≅ O_{C₁₂∩₁₃}(−1)，且 H⁰ = 0，反映出原点上纤维的非等维性。