[论文解读] Hilbert schemes, Hecke algebras and the Calogero-Sutherland system

Kevin Costello, I. Grojnowski|ArXiv.org|Oct 13, 2003

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

一句话总结

本文通过将希尔伯特概形上点的上同调环与可积系统联系起来，建立了新的联系：识别出该环结构为一个在微分算子环中的形变卡洛杰罗-瑟达尔顿哈密顿量的中心化子。利用 Fock 空间模型和邓克尔-切雷德尼克算子，构造了一个显式的交换微分算子族，实现了上同调环的上面对乘法，从而通过运动积分对希尔伯特概形上同调环给出了完整的代数刻画。

ABSTRACT

We describe the ring structure of the cohomology of the Hilbert scheme of points for a smooth surface X. When the canonical class K_X = 0, this was done by Lehn and Sorger, extending earlier work when X = C^2. Their approach does not generalize. Instead we recast this problem as a question of finding integrals of motion for a Hamiltonian which describes ``intersection with the boundary''. To do so, we use the identification of the cohomology of the Hilbert schemes with a Fock space modelled on the lattice H(X). With this identification, Lehn computed the operator of intersection with the boundary. It is essentially the Calogero-Sutherland Hamiltonian. We then solve the problem of finding integrals of motion by using the Dunkl-Cherednik operators to find an explicit commuting family of differential operators; these operators represent cup product on the Hilbert scheme. We provide two characterizations of the Hilbert scheme multiplication operators; the first as an algebra of operators that can be inductively built from functions and the CS Hamiltonian, and the second in terms of the centralizer of the CS Hamiltonian inside an appropriate ring of differential operators.

研究动机与目标

• 解决长期存在的问题：描述光滑代数曲面上点的希尔伯特概形上同调环的环结构，特别是当典范类非零时。
• 克服先前基于轨道丛上同调和赫克代数的方法的失败——这些方法仅在典范类为零时有效。
• 通过将边界交点算子识别为卡洛杰罗-瑟达尔顿哈密顿量的变体，将上同调环结构重新表述为可积系统问题。
• 利用与该哈密顿量可交换的微分算子，显式构造希尔伯特概形上同调上乘法算子的代数实现。
• 提供一个不依赖希尔伯特概形存在的上同调环的表述，仅依赖于曲面的上同调及其典范类。

提出的方法

• 通过海森堡代数作用，将希尔伯特概形的上同调实现为与曲面上同调的对称代数同构的 Fock 空间。
• 将与边界除子的上面对乘法算子识别为等价于形变卡洛杰罗-瑟达尔顿哈密顿量的二阶微分算子。
• 利用邓克尔-切雷德尼克算子，构造一组与该哈密顿量可交换的微分算子族，作为其运动积分。
• 定义一个依赖于曲面的上同调的弗罗贝尼乌斯代数结构及与典范类相关的参数的连续微分算子环。
• 将乘法算子代数刻画为该哈密顿量在微分算子环中的中心化子，并证明其等于由运动积分生成的代数。
• 证明乘法算子代数的伴随分次代数同构于上同调与动量变量的对称代数，从而确认其完备性。

实验结果

研究问题

• RQ1 当典范类非零时，如何代数地描述光滑曲面上点的希尔伯特概形上同调环结构？
• RQ2 希尔伯特概形上同调上的上面对乘法能否实现为一组可交换的微分算子？
• RQ3 是否存在一种方法，可在不依赖希尔伯特概形几何存在性的情况下构造其上同调环？
• RQ4 能否将确定上同调环的问题重新表述为可积系统问题，特别是通过卡洛杰罗-瑟达尔顿模型？
• RQ5 在 Fock 空间上的微分算子环中，边界交点算子的中心化子的精确代数结构是什么？

主要发现

• 希尔伯特概形上同调上乘法算子的代数同构于 Fock 空间上微分算子环中卡洛杰罗-瑟达尔顿哈密顿量的中心化子。
• 所构造的微分算子代数 $\mathcal{D}^{\text{hilb}}$ 与每个 $\mathcal{F}^n$ 上的左乘法算子代数一致。
• 代数 $\mathcal{D}^{\text{hilb}}$ 的伴随分次代数同构于 $\operatorname{Sym}H[p]$，即上同调与动量变量的对称代数，从而确认其完备性。
• 通过邓克尔-切雷德尼克算子显式构造了卡洛杰罗-瑟达尔顿哈密顿量的运动积分，其构成一组可交换算子族，并生成乘法代数。
• 该构造提供了一个不依赖希尔伯特概形的上同调环表述，仅依赖于 $H(X,\mathbb{C})$ 的弱弗罗贝尼乌斯代数结构及典范类 $K\in H^2(X,\mathbb{C})$。
• 该方法通过将轨道丛上同调替换为可积系统框架，解决了当 $K \neq 0$ 时先前方法的障碍。