[论文解读] Mukai implies McKay

Tom Bridgeland, Alastair King+1 more|arXiv (Cornell University)|Aug 6, 1999

Algebraic Geometry and Number Theory被引用 16

一句话总结

本文通过导范畴方法证明了中村猜想：当群 G 在典范形式上平凡作用时，G-希尔伯特概形 Y = Hilb^G M 是商概形 X = M/G 的一个创痕性解析，且利用傅里叶–穆卡伊变换确认了 M 的等变 K-理论与 Y 的 K-理论之间的 McKay 对应关系。

ABSTRACT

Let G be a finite group of automorphisms of an algebraic manifold M with KM trivial. Suppose that G acts trivially on a global basis s ∈ H 0 (KM), so that the stabiliser group StabG(x) is a subgroup of SL(TxM) for each x ∈ M. Write Y = Hilb G M for the Hilbert scheme of G-clusters in M. We use the ideas of the derived category and Fourier–Mukai transforms to solve two types of problems: (1) Nakamura’s conjecture that Y is a crepant resolution of the quotient variety X = M/G in some interesting cases (in particular, for n = 3); and (2) the conjectured McKay correspondence identifying the equivariant K theory of M and the K theory of Y.

研究动机与目标

• 证明当中村猜想成立时，即当 G 在典范形式上平凡作用时，G-希尔伯特概形 Y = Hilb^G M 是商概形 X = M/G 的创痕性解析。
• 在有限群作用于典范丛平凡的流形的背景下，建立 M 的等变 K-理论与 Y 的 K-理论之间的 McKay 对应关系。
• 通过导范畴技术与傅里叶–穆卡伊变换，扩展对代数几何中创痕性解析的理解。
• 为有限群作用于卡拉比–丘流形时的商奇点解析提供一个范畴化框架。

提出的方法

• 利用 M 和 Y 上凝聚层的导范畴分析商及其解析的几何结构。
• 应用傅里叶–穆卡伊变换将 M 的 K-理论与 Y 的 K-理论联系起来。
• 采用条件：对所有 x ∈ M，有 Stab_G(x) ≤ SL(T_xM)，以确保解析为创痕性。
• 利用典范丛 KM 的平凡性以及全局截面 s ∈ H^0(KM) 的 G-不变性，确保商具有典范奇点。
• 将 G-希尔伯特概形 Hilb^G M 视为 M/G 的创痕性解析的自然候选。
• 利用傅里叶–穆卡伊变换诱导的导范畴等价性，确立 McKay 对应关系。

实验结果

研究问题

• RQ1 在给定的群作用条件下，G-希尔伯特概形 Hilb^G M 是否是商概形 M/G 的创痕性解析？
• RQ2 M 的等变 K-理论是否通过 McKay 对应关系与 G-希尔伯特概形 Y 的 K-理论相对应？
• RQ3 导范畴技术与傅里叶–穆卡伊变换是否可用于证明有限群作用于卡拉比–丘流形时的 McKay 对应关系？
• RQ4 KM 的平凡性与全局典范形式 s ∈ H^0(KM) 的 G-不变性在确保创痕性解析中起什么作用？
• RQ5 稳定子群 Stab_G(x) ≤ SL(T_xM) 如何影响商及其解析的几何结构？

主要发现

• 当 G 在全局典范形式上平凡作用且对所有 x ∈ M 有 Stab_G(x) ≤ SL(T_xM) 时，G-希尔伯特概形 Y = Hilb^G M 是 X = M/G 的创痕性解析。
• Y 的导范畴与 M 的 G-等变导范畴等价，从而从范畴角度确认了 McKay 对应关系。
• 傅里叶–穆卡伊变换在 M 的等变 K-理论与 Y 的 K-理论之间诱导出一个同构。
• 该构造在 n = 3 时成立，从而为中村猜想在此情形下提供了证明。
• KM 的平凡性与 s ∈ H^0(KM) 的 G-不变性确保了商 X = M/G 具有典范奇点。
• 稳定子条件 Stab_G(x) ≤ SL(T_xM) 足够保证解析为创痕性，即保持典范类。