[论文解读] Cohomology for quantum groups via the geometry of the nullcone

Christopher P. Bendel, Daniel K. Nakano+2 more|arXiv (Cornell University)|Feb 17, 2011

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

一句话总结

该论文通过复李代数 $\mathfrak{g}$ 的零化子簇 $\mathcal{N}(\mathfrak{g})$ 上的几何方法，计算了在 $\ell$ 次单位根处与复单李代数 $\mathfrak{g}$ 关联的小量子群 $u_\zeta$ 的上同调代数 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$。结果表明，$\operatorname{H}^{2\bullet}(u_\zeta, \mathbb{C})$ 同构于 $\mathcal{N}(\mathfrak{g})$ 的闭子簇 $\mathcal{N}(\Phi_0) \subset \mathcal{N}(\mathfrak{g})$ 的坐标环，而奇数阶上同调为零，从而将先前仅在 $\ell > h$ 情况下成立的结果推广到了 $\ell \leq h$ 的情形。

ABSTRACT

Let $ζ$ be a complex $\ell$th root of unity for an odd integer $\ell>1$. For any complex simple Lie algebra $\mathfrak g$, let $u_ζ=u_ζ({\mathfrak g})$ be the associated "small" quantum enveloping algebra. In general, little is known about the representation theory of quantum groups (resp., algebraic groups) when $l$ (resp., $p$) is smaller than the Coxeter number $h$ of the underlying root system. For example, Lusztig's conjecture concerning the characters of the rational irreducible $G$-modules stipulates that $p \geq h$. The main result in this paper provides a surprisingly uniform answer for the cohomology algebra $\opH^\bullet(u_ζ,{\mathbb C})$ of the small quantum group. When $\ell>h$, this cohomology algebra has been calculated by Ginzburg and Kumar \cite{GK}. Our result requires powerful tools from complex geometry and a detailed knowledge of the geometry of the nullcone of $\mathfrak g$. In this way, the methods point out difficulties present in obtaining similar results for the restricted enveloping algebra $u$ in small characteristics, though they do provide some clarification of known results there also. Finally, we establish that if $M$ is a finite dimensional $u_ζ$-module, then $\opH^\bullet(u_ζ,M)$ is a finitely generated $\opH^\bullet(u_ζ,\mathbb C)$-module, and we obtain new results on the theory of support varieties for $u_ζ$.

研究动机与目标

• 计算当 $\ell \leq h$ 时小量子群 $u_\zeta$ 的上同调代数 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$，将已知的 $\ell > h$ 情况推广至更一般情形。
• 利用李代数 $\mathfrak{g}$ 的零化子簇 $\mathcal{N}(\mathfrak{g})$，建立上同调环的几何描述，类似于正特征情形下的受限零化子簇。
• 证明对于任意有限维 $u_\zeta$-模 $M$，上同调 $\operatorname{H}^\bullet(u_\zeta, M)$ 是 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 上的有限生成模，从而建立支持簇理论。
• 阐明复几何与轨道闭包在上同调计算中的作用，突出其与正特征情形的差异。

提出的方法

• 利用复代数几何，特别是 Grauert-Riemenschneider 定理，通过奇点的解析解消来研究量子群的上同调。
• 构造一个闭子簇 $\mathcal{N}(\Phi_0) \subset \mathcal{N}(\mathfrak{g})$，作为 $\ell \leq h$ 情况下上同调环的几何模型。
• 应用抛物子代数与量子群表示论的技术，特别是分析上同调模中 Steinberg 模的重数。
• 利用 $\mathcal{N}(\mathfrak{g})$ 中轨道闭包的正规性，确保上同调群对应于其解消上线丛的全局截面。
• 利用关键的零化结果 $\operatorname{H}^{2\bullet+1}(u_\zeta, \mathbb{C}) = 0$，简化上同调结构。
• 依赖从 Lusztig 量子群 $U_\zeta$ 到小量子群 $u_\zeta$ 的基变换，将 $u_\zeta$ 视为 $\mathbb{C}$ 上的有限维霍普夫代数。

实验结果

研究问题

• RQ1 当 $\ell \leq h$ 时，上同调代数 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 的结构是什么？这一结果是否能超越已知的 $\ell > h$ 情况？
• RQ2 如何利用零化子簇 $\mathcal{N}(\mathfrak{g})$ 的几何结构来描述 $u_\zeta$ 在小秩或小 $\ell$ 情况下的上同调？
• RQ3 对于任意有限维 $u_\zeta$-模 $M$，上同调群 $\operatorname{H}^\bullet(u_\zeta, M)$ 在多大程度上继承了在 $\operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 上的有限生成性？
• RQ4 在特征零下使用的方法在多大程度上可被调整，以揭示正特征 $p$ 下尚未解决的上同调问题？
• RQ5 轨道闭包及其正规化在计算量子群上同调中起什么作用？

主要发现

• 小量子群 $u_\zeta$ 的奇数阶上同调为零：$\operatorname{H}^{2\bullet+1}(u_\zeta, \mathbb{C}) = 0$，从而将上同调环简化为纯偶数阶结构。
• 偶数阶上同调 $\operatorname{H}^{2\bullet}(u_\zeta, \mathbb{C})$ 同构于闭子簇 $\mathcal{N}(\Phi_0) \subset \mathcal{N}(\mathfrak{g})$ 的坐标环 $\mathbb{C}[\mathcal{N}(\Phi_0)]$，该子簇由根系显式构造。
• 上同调代数 $R = \operatorname{H}^\bullet(u_\zeta, \mathbb{C})$ 是 $\mathbb{C}$ 上的有限生成代数，确认了其在后续表示论应用中的基础性质。
• 对于任意有限维 $u_\zeta$-模 $M$，上同调 $\operatorname{H}^\bullet(u_\zeta, M)$ 是 $R$ 上的有限生成模，从而支持了支持簇理论的建立。
• 研究结果澄清了将正特征方法推广至量子群的局限性，同时为 $\ell \leq h$ 情况提供了几何洞察。
• 本文确立了 $\mathcal{N}(\Phi_0)$ 是正规的，并且是某个 $G$-轨道的闭包，从而将上同调与零化子中的轨道几何联系起来。