[论文解读] Quiver varieties, category O for rational Cherednik algebras, and Hecke algebras

Iain J. Gordon|ArXiv.org|Mar 6, 2007

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

一句话总结

本文通过将有理 Cherednik 代数的 $c$-函数与 Nakajima quiver 变体上的 Morse 函数联系起来，建立了有理 Cherednik 代数、quiver 变体和 Hecke 代数之间的几何桥梁，为 $c$-序提供了几何解释，并通过 KZ-函子揭示了与 Hecke 代数中 $a$-函数的联系。关键贡献是一个统一的几何框架，通过 quiver 变体上的 G.I.T. 房间结构解释了表示论中组合序的几何意义。

ABSTRACT

We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.

研究动机与目标

• 通过 Nakajima quiver 变体为有理 Cherednik 代数的范畴 $\mathcal{O}$ 提供一个几何模型。
• 将范畴 $\mathcal{O}$ 中的 $c$-函数序解释为 quiver 变体上的 Morse 函数，为最高权结构提供几何起源。
• 将 Iwahori-Hecke 代数中的 $a$-函数与 quiver 变体上的 G.I.T. 房间结构联系起来，连接到 Bonnafé 和 Geck 关于权函数等价类的猜想。
• 通过基于 quiver 变体和稳定性参数的共享几何框架，统一 Cherednik 代数与 Hecke 代数的组合结构。

提出的方法

• 从有理 Cherednik 代数的表示范畴构造一个 $\mathbb{Z}$-代数，并将其与 Nakajima quiver 变体上的层联系起来。
• 利用 quiver 变体的几何性质，将 $c$-函数解释为拓扑 Morse 函数，其中稳定性参数 $\boldsymbol{\theta}$ 对应于 G.I.T. 房间。
• 通过 quiver 变体中的吸引子子簇 $\mathcal{Z}_{\boldsymbol{\lambda}}$ 定义 $\ell$-多分拆上的几何偏序 $\prec_{\bf h}$。
• 应用 KZ-函子，将几何信息从 Cherednik 代数传递到循环 Hecke 代数，将 $a$-函数与 quiver 变体的分层结构联系起来。
• 分析参数空间 $\mathbb{Q}^\ell$ 的房间分解，证明 $a$-函数在 G.I.T. 房间上为常数，支持 Bonnafé 和 Geck 的猜想。
• 使用 $\beta$-数、内容函数以及仿射对称群 $\tilde{\mathfrak{S}}_\ell$ 等组合工具，描述几何序及其细化。

实验结果

研究问题

• RQ1 如何通过 quiver 变体为有理 Cherednik 代数范畴 $\mathcal{O}$ 中的 $c$-函数序提供几何解释？
• RQ2 $c$-函数与 Nakajima quiver 变体的 Morse 理论之间有何关系，特别是与稳定性参数和房间分解的关系？
• RQ3 具有不等参数的 Iwahori-Hecke 代数中的 $a$-函数如何与 quiver 变体的 G.I.T. 房间结构相关联？
• RQ4 从 quiver 变体中得出的 $\ell$-多分拆上的几何序是否能细化 $c$-序并尊重范畴 $\mathcal{O}$ 的最高权结构？
• RQ5 $c$-房间与 $a$-函数等价类在参数空间中在多大程度上对应于相同的 G.I.T. 房间分解？

主要发现

• 有理 Cherednik 代数范畴 $\mathcal{O}$ 中的 $c$-函数序源于 Nakajima quiver 变体上的 Morse 函数，为最高权结构提供了几何起源。
• $\ell$-多分拆上的几何偏序 $\prec_{\bf h}$ 通过 quiver 变体中的吸引子子簇 $\mathcal{Z}_{\boldsymbol{\lambda}}$ 定义，且预期尊重最高权结构。
• Hecke 代数中的 $a$-函数在 quiver 变体参数空间的 G.I.T. 房间上为常数，支持 Bonnafé 和 Geck 关于权函数等价类的猜想。
• 参数空间 $\mathbb{Q}^\ell$ 中的 $c$-房间对应于 $c$-函数在多分拆上诱导相同全序的区域，且这些房间与 quiver 变体构造的 G.I.T. 房间一一对应。
• 几何序的组合结构通过 $\beta$-数和内容函数描述，且通过 $\mathbb{Z}$-代数构造，明确建立了 $c$-函数与 quiver 变体几何之间的关系。
• 通过分析 $B$-数相对位置的分情况讨论，证明了等式 $L(\boldsymbol{\lambda}) - L(\boldsymbol{\mu}) = R(\boldsymbol{\lambda}) - R(\boldsymbol{\mu})$，确认了几何序的一致性。