[论文解读] Wilson's grassmannian and a noncommutative Quadric

Vladimir Baranovsky, Victor Ginzburg+1 more|ArXiv.org|Mar 13, 2002

Algebraic structures and combinatorial models参考文献 10被引用 7

一句话总结

该论文在四个几何与代数对象之间建立了自然的双射：秩 r 的 μm-等变adelic Grassmannian、变形 smash 乘积代数 Dτ 上的秩 r 项目模、非交换二次曲面 P¹×τP¹ 上的挠自由层，以及具有 m 个顶点的循环 quiver 的 Nakajima quiver 变体。其关键贡献是构建了一个非交换代数框架，通过广义的 Riemann-Hilbert 对应关系与 De Rham 赋函子，将 Wilson 的 Grassmannian 构造与 quiver 变体统一起来，将 Berest-Wilson 的秩 1 结果推广至更高秩和群等变情形。

ABSTRACT

Let the group G of m-th roots of unity act on the complex line by multiplication, inducing an action on the algebra, Diff, of polynomial differential operators on the line. Following Crawley-Boevey and Holland, we introduce a multiparameter deformation, D_c, of the smash-product (Diff # G). Our main result provides natural bijections between (roughly speaking) the following spaces: (1) G-equivariant version of Wilson's adelic Grassmannian of rank r; (2) Rank r projective D_c-modules (equipped with generic trivialization); (3) Rank r torsion-free sheaves on a `noncommutative quadric'; (4) Disjoint union of Nakajima quiver varieties for the cyclic quiver with m vertices. The bijection between (1) and (2) is provided by a version of Riemann-Hilbert correspondence between D-modules and sheaves. The bijections between (2), (3) and (4) were motivated by our previous work math.AG/0103068. The resulting bijection between (1) and (4) reduces, in the very special case: r=1 and G=1, to the partition of (rank 1) adelic Grassmannian into a union of Calogero-Moser spaces, discovered by Wilson. This gives, in particular, a natural and purely algebraic approach to Wilson's result.

研究动机与目标

• 将 Wilson 在 adelic Grassmannian 与 Calogero-Moser 空间之间的双射关系推广至更高秩和 μm-等变情形。
• 为 Dτ-模提供一个代数的、非全纯的 Riemann-Hilbert 对应关系的一般化。
• 通过 Weyl 代数的形变与群作用，将 Nakajima quiver 变体与非交换几何统一起来。
• 通过引入非交换二次曲面 P¹×τP¹ 作为更高秩模的自然几何模型，解决先前方法的局限性。
• 在不依赖先前结果的前提下，建立 adelic Grassmannian 与 quiver 变体之间直接且独立的双射关系。

提出的方法

• 构造 Weyl 代数 Diff 与 μm 作用在直线上乘法的 smash 乘积代数 Diff#μm 的多参数形变 Dτ。
• 定义从 Dτ-模到非交换二次曲面 P¹×τP¹ 上层的 De Rham 赋函子，推广经典 D-模与构造层之间的对应关系。
• 利用广义的 Riemann-Hilbert 对应关系，将 μm-等变 Dτ-模与 P¹×τP¹ 上的挠自由层联系起来。
• 通过主丛技巧与 quiver 变体构造，将 Dτ-模与具有 m 个顶点的循环 quiver 的 Nakajima quiver 变体联系起来。
• 利用 Koszul 性质与 Beilinson 族谱序列，在非交换设定下解析对角线，并构造所需的等价关系。
• 利用代数 ΔA 作为非交换对角嵌入，在分次模范畴中定义对角线的解析。

实验结果

研究问题

• RQ1 Wilson 在 adelic Grassmannian 与 Calogero-Moser 空间之间的双射关系如何推广至更高秩和群等变情形？
• RQ2 何种适当的非交换几何时对象可参数化秩 r 的 Dτ-模的项目模？
• RQ3 De Rham 赋函子在等变设定下如何推广至非全纯 Dτ-模？
• RQ4 Nakajima quiver 变体能否自然地识别为非交换曲面上挠自由层的模空间？
• RQ5 非交换二次曲面 P¹×τP¹ 在统一 adelic Grassmannian、Dτ-模与 quiver 变体中起何作用？

主要发现

• 在 μm-等变的秩 r adelic Grassmannian 与具有通用平凡化的秩 r 项目 Dτ-模之间建立了自然双射。
• De Rham 赋函子在 Dτ-模与非交换二次曲面 P¹×τP¹ 上的挠自由层之间提供了一个等价关系。
• 通过主丛技巧与分次模理论，构建了 Dτ-模与具有 m 个顶点的循环 quiver 的 Nakajima quiver 变体之间的双射。
• 该构造将 Wilson 的秩 1 结果推广至更高秩，并完整包含 μm-等变性，解决了先前方法的局限性。
• 非交换二次曲面 P¹×τP¹ 被证明是更高秩模的正确几何模型，取代了早期工作中使用的非交换 P²。
• 将 Beilinson 族谱序列应用于代数 Dτ 的 Koszul 对偶，得到对角线的解析，并使得能够构造出从上同调数据恢复层的族谱序列。