[论文解读] Parabolic Hilbert schemes via the Dunkl-Opdam subalgebra

Eugene Gorsky|arXiv (Cornell University)|Jun 25, 2020

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

一句话总结

本文通过Dunkl-Opdam子代数，构建了有理Cherednik代数与量化Gieseker代数在平面曲线奇点$\{x^m = y^n\}$的抛物型Hilbert概形的等变同调上的作用，其中$m,n$互素。关键贡献在于通过Cherednik代数在$t=0$时的表示理论，对非约曲线与奇异平面曲线实现了这些对称性的组合化实现。

ABSTRACT

In this note we explicitly construct an action of the rational Cherednik algebra $H_{1,m/n}(S_n,\\mathbb{C}^n)$ corresponding to the permutation representation of $S_n$ on the $\\mathbb{C}^{*}$-equivariant homology of parabolic Hilbert schemes of points on the plane curve singularity $\\{x^{m} = y^{n}\\}$ for coprime $m$ and $n$. We use this to construct actions of quantized Gieseker algebras on parabolic Hilbert schemes on the same plane curve singularity, and actions of the Cherednik algebra at $t = 0$ on the equivariant homology of parabolic Hilbert schemes on the non-reduced curve $\\{y^{n} = 0\\}.$ Our main tool is the study of the combinatorial representation theory of the rational Cherednik algebra via the subalgebra generated by Dunkl-Opdam elements.

研究动机与目标

• 建立有理Cherednik代数作用在平面曲线奇点$\{x^m = y^n\}$的$\mathbb{C}^*$-等变同调上的几何实现，其中$m,n$互素。
• 将这些作用扩展到相同奇点几何结构下的量化Gieseker代数。
• 在非约曲线$\{y^n = 0\}$的抛物型Hilbert概形的等变同调上，构造Cherednik代数在$t=0$时的作用。
• 通过Dunkl-Opdam子代数，发展有理Cherednik代数表示理论的组合框架。
• 通过表示论工具，统一Hilbert概形在奇异曲线上的几何与代数结构。

提出的方法

• 将有理Cherednik代数$H_{1,m/n}(S_n,\mathbb{C}^n)$的Dunkl-Opdam子代数作为核心代数工具。
• 通过Dunkl-Opdam元素的组合学，显式构造有理Cherednik代数在抛物型Hilbert概形的$\mathbb{C}^*$-等变同调上的作用。
• 将有理Cherednik代数的表示理论应用于几何对象——奇异曲线$\{x^m = y^n\}$上的抛物型Hilbert概形。
• 通过相同的代数框架与几何设定，将构造扩展至量化Gieseker代数。
• 分析Cherednik代数中$t=0$的情形，以在非约曲线$\{y^n = 0\}$的抛物型Hilbert概形的等变同调上定义作用。
• 利用$S_n$在$\mathbb{C}^n$上的置换表示结构，指导代数作用的构造。

实验结果

研究问题

• RQ1 如何在平面曲线奇点$\{x^m = y^n\}$的抛物型Hilbert概形的$\mathbb{C}^*$-等变同调上，实现有理Cherednik代数$H_{1,m/n}(S_n,\mathbb{C}^n)$的几何实现？
• RQ2 Dunkl-Opdam子代数在构造这些作用以及实现向量化Gieseker代数的过渡中起到什么作用？
• RQ3 是否可以在非约曲线$\{y^n = 0\}$的抛物型Hilbert概形的等变同调上实现Cherednik代数在$t=0$时的作用？
• RQ4 通过Dunkl-Opdam子代数实现的Cherednik代数组合表示理论，如何促进在奇异曲线奇点上的几何构造？
• RQ5 当这些作用从光滑曲线扩展到非约曲线设定时，会涌现出何种代数结构？

主要发现

• 本文显式构造了有理Cherednik代数$H_{1,m/n}(S_n,\mathbb{C}^n)$在平面曲线奇点$\{x^m = y^n\}$的抛物型Hilbert概形的$\mathbb{C}^*$-等变同调上的作用，其中$m,n$互素。
• 该构造导致通过相同代数框架在相同几何对象上定义了量化Gieseker代数的作用。
• 作者在非约曲线$\{y^n = 0\}$的抛物型Hilbert概形的等变同调上实现了Cherednik代数在$t=0$时的作用，将几何图像扩展至奇异与非约设定。
• Dunkl-Opdam子代数作为关键代数结构，贯穿全文，使组合与几何构造成为可能。
• 基于Dunkl-Opdam元素的表示论框架，为在奇异曲线Hilbert概形上实现对称性提供了统一机制。
• 结果在有理Cherednik代数的组合学与奇异及非约曲线Hilbert概形的几何之间建立了桥梁。