[论文解读] Perverse Bundles and Calogero-Moser Spaces

Dani Ben‐Zvi, Thomas Nevins|ArXiv.org|Oct 3, 2006

Advanced Algebra and Geometry参考文献 27被引用 3

一句话总结

该论文在光滑复曲线上的无挠 ${\mathcal{D}}$-丛模空间与无挠层模空间上扭曲余切丛之间建立了几何对应关系，推广了威莱代数理想之卡洛杰罗-莫泽箭头图变体的描述。通过非交换贝利松变换与科祖尔对偶性，该研究将曲线上 $n$-体有理卡洛杰罗-莫泽空间识别为第二陈类为 $n$ 的平凡框架化 ${\mathcal{D}}$-线丛的模空间，从而解决了金兹堡提出的问题。

ABSTRACT

We present a simple description of moduli spaces of torsion-free D-modules (``D-bundles'') on general smooth complex curves X, generalizing the identification of the space of ideals in the Weyl algebra with Calogero-Moser quiver varieties. Namely, we show that the moduli of D-bundles form twisted cotangent bundles to stacks of torsion sheaves on X, answering a question of Ginzburg. The corresponding (untwisted) cotangent bundles are identified with moduli of ``perverse vector bundles'' on T^*X, which contain as open subsets the moduli of framed torsion-free sheaves (the Hilbert schemes (T^*X)^[n] in the rank one case). The proof is based on the description of the derived category of D-modules on X by a noncommutative version of the Beilinson transform on the projective line.

研究动机与目标

• 将 $\mathbb{C}^2$ 上希尔伯特概形与卡洛杰罗-莫泽空间之间的识别关系推广至高亏格曲线。
• 解决金兹堡关于威莱代数理想之贝雷斯特-威尔逊定理在高亏格情形的推广问题。
• 利用导出范畴与非交换几何描述光滑曲线上无挠 ${\mathcal{D}}$-模的模空间。
• 通过科祖尔复形的同伦类，建立 ${\mathcal{D}}$-丛与满足卡洛杰罗-莫泽关系的箭头图数据之间的对应关系。

提出的方法

• 在 $\mathbb{P}^1$ 上使用非交换贝利松变换的版本，以描述曲线上 ${\mathcal{D}}$-模的导出范畴。
• 通过 $\mathcal{D}^1$-模与 $\mathbb{C}[x]$-模的复形，从 ${\mathcal{D}}$-丛结构构造科祖尔数据。
• 应用同伦理论，证明每个 ${\mathcal{D}}$-丛对应唯一一组四元组 $(X,Y,i,j)$，满足 $[X,Y] + ij = I$，即卡洛杰罗-莫泽关系。
• 通过哈密顿约化，将 ${\mathcal{D}}$-丛的模空间识别为无挠层模空间上扭曲余切丛。
• 利用紧化余切丛 $S = \mathbb{P}(T_X \oplus \mathcal{O}_X)$ 上的 perverse 向量丛，实现框架化无挠自由层模空间的构造。
• 证明 $n$ 阶卡洛杰罗-莫泽空间 $\mathsf{CM}_n(X)$ 即为第二陈类为 $n$ 的平凡框架化 ${\mathcal{D}}$-线丛的模空间。

实验结果

研究问题

• RQ1 如何将威莱代数理想模空间推广至高亏格曲线？
• RQ2 光滑曲线 $X$ 上无挠 ${\mathcal{D}}$-模模空间的几何结构为何？
• RQ3 曲线上卡洛杰罗-莫泽空间 $\mathsf{CM}_n(X)$ 与 ${\mathcal{D}}$-丛的几何关系为何？
• RQ4 非交换贝利松变换是否可用于通过类似箭头图的数据描述曲线上的 ${\mathcal{D}}$-模？
• RQ5 $\mathsf{CM}_n(X)$ 与第二陈类为 $n$ 的框架化 ${\mathcal{D}}$-线丛之间的确切对应关系为何？

主要发现

• 曲线上 $n$-体有理卡洛杰罗-莫泽系统的模空间 $\mathsf{CM}_n(X)$ 被识别为第二陈类为 $n$ 的平凡框架化 ${\mathcal{D}}$-线丛的模空间，从而解决了金兹堡的问题。
• 无挠 ${\mathcal{D}}$-丛的模空间被证明是长度为 $n$ 的无挠层模空间上扭曲余切丛，推广了经典 $\mathbb{C}^2$ 情形。
• $\mathsf{CM}_n(X)$ 被实现为 $T^*Q_n(X)$ 在单位元处的哈密顿约化，其中 $Q_n(X)$ 参数化对 $(\mathcal{O}_X^n \to Q, i \in H^0(Q))$，$Q$ 为长度为 $n$ 的无挠层。
• 科祖尔对偶构造提供了 ${\mathcal{D}}$-丛与满足卡洛杰罗-莫泽关系 $[X,Y] + ij = I$ 的四元组 $(X,Y,i,j)$ 之间的一一对应，模去同伦等价。
• 每个科祖尔数据的同伦类对应唯一一个 CM 四元组，且在商去同伦等价后该对应为双射，从而证明了分类的完备性。
• 无扭余切丛（在无挠层模空间上）被识别为 $\mathbb{P}(T_X \oplus \mathcal{O}_X)$ 上 perverse 向量丛的模空间，且希尔伯特概形 $T^*X^{[n]}$ 在秩一情形下为其开子集。