[论文解读] $\mathbb{C}^*$-actions on generalized Calogero-Moser spaces and Hilbert schemes

Tomasz Przeździecki|arXiv (Cornell University)|Oct 13, 2016

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

一句话总结

本文在广义 Calogero-Moser 空间与 Hilbert 算法上建立了 $ℂ^*$-作用，并通过反射函子表明，该作用在 $ℂ^*$-固定点上诱导的映射对应于广义 $l$-多分拆到核心分拆的双射。这为 $q$-钩子公式提供了新的证明与推广，并证实了 Gordon 关于固定点标记的猜想。

ABSTRACT

In this paper we study $\mathbb{C}^*$-actions on generalized Calogero-Moser spaces and Hilbert schemes. The spectrum of the centre of the rational Cherednik algebra associated to the complex reflection group $(\mathbb{Z}/l\mathbb{Z}) \wr S_n$ at $t=0$ is isomorphic, via the Etingof-Ginzburg map, to a certain Nakajima quiver variety. Assuming smoothness, reflection functors yield a hyper-K\{a}hler isometry between this quiver variety and a subvariety of a Hilbert scheme. We show that the induced map on the labelling sets of $\mathbb{C}^*$-fixed points is given by a version of the classical bijection between $l$-multipartitions and partitions with a certain fixed core depending on the choice of parameters, as claimed by Gordon in [10]. We apply this result to obtain a new proof and a generalization of the $q$-hook formula.

研究动机与目标

• 理解广义 Calogero-Moser 空间与 Hilbert 算法上 $ℂ^*$-作用的结构。
• 利用反射函子，在 Nakajima quiver 变体与 Hilbert 算法的一个子簇之间建立超凯勒等距。
• 验证该等距在 $ℂ^*$-固定点上的诱导映射是否与 $l$-多分拆与具有固定核心的分拆之间的经典双射的广义版本相对应。
• 将此几何对应关系应用于推导 $q$-钩子公式的全新证明与推广。

提出的方法

• 利用 Etingof-Ginzburg 映射，将有理 Cherednik 代数中心的谱与 $t=0$ 时的 Nakajima quiver 变体相联系。
• 应用反射函子，在 quiver 变体与 Hilbert 算法的一个子簇之间构造超凯勒等距。
• 分析该等距下 $ℂ^*$-固定点上的诱导映射，表明其对应于 $l$-多分拆与具有特定核心的分拆之间的组合双射。
• 利用 $ℂ^*$-作用的几何性质，关联两个空间的固定点结构并推导组合恒等式。
• 利用光滑性假设以确保反射函子构造及其所得等距的有效性。
• 借助所得对应关系，通过几何手段重新推导并推广 $q$-钩子公式。

实验结果

研究问题

• RQ1 广义 Calogero-Moser 空间与 Hilbert 算法上的 $ℂ^*$-作用在几何上如何相互关联？
• RQ2 quiver 变体与 Hilbert 算法的 $ℂ^*$-固定点集之间映射的精确性质是什么？
• RQ3 该映射是否对应于 $l$-多分拆与具有固定核心的分拆之间已知的组合双射？
• RQ4 此几何对应关系能否用于证明或推广 $q$-钩子公式？
• RQ5 在此设定下，反射函子构造在多大程度上保持了 $ℂ^*$-等变结构？

主要发现

• 在 $ℂ^*$-固定点标签上诱导的映射由 $l$-多分拆与具有由参数决定的核心的分拆之间经典双射的广义版本给出。
• 通过反射函子构造的超凯勒等距保持了 $ℂ^*$-作用，并在固定点上诱导出一个典范对应。
• 该几何对应关系为 $q$-钩子公式提供了新证明，将其推广至更广泛的参数类。
• 该结果证实了 Gordon 在有理 Cherednik 代数背景下关于 $ℂ^*$-固定点标记的猜想。
• 该构造依赖于 quiver 变体的光滑性，这确保了反射函子方法及其所得等距的有效性。
• 本文在 Hilbert 算法与 Calogero-Moser 空间背景下，建立了表示论几何与组合恒等式之间的直接联系。