[论文解读] On quantization of Semenov-Tian-Shansky Poisson bracket on simple algebraic groups

Andrey Mudrov|ArXiv.org|Dec 18, 2004

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

一句话总结

本文为单连通简单复代数群上的Semenov-Tian-Shansky（STS）泊松括号建立了量子版的Kostant-Richardson定理。证明了当$G$单连通且$I(G)$为多项式时，坐标环$\mathbb{C}[G]$的$χ_{\hbar}[G]$量子化是其中心$I_{\hbar}(G)$上的自由模，其中$I_{\hbar}(G) \simeq I(G)\otimes\mathbb{C}[[\hbar]]$。该结果通过等变量子化将经典不变量理论推广至量子群。

ABSTRACT

Let $G$ be a simple complex factorizable Poisson Lie algebraic group. Let $\U_\hbar(\g)$ be the corresponding quantum group. We study $\U_\hbar(\g)$-equivariant quantization $\C_\hbar[G]$ of the affine coordinate ring $\C[G]$ along the Semenov-Tian-Shansky bracket. For a simply connected group $G$ we prove an analog of the Kostant-Richardson theorem stating that $\C_\hbar[G]$ is a free module over its center.

研究动机与目标

• 为单连通简单代数群上的Semenov-Tian-Shansky泊松括号建立Kostant-Richardson定理的量子类比。
• 利用量子群对称性，研究$\mathbb{C}[G]$沿STS括号的$χ_{\hbar}[G]$-等变量子化。
• 证明当$I(G)$为多项式时，$\mathbb{C}_{\hbar}[G]$是其中心$I_{\hbar}(G)$上的自由模。
• 证明作为$\mathbb{C}$-代数有$I_{\hbar}(G) \simeq I(G)\otimes\mathbb{C}[[\hbar]]$，并保持经典不变量结构。

提出的方法

• 利用与$\mathfrak{g}$上的拟三角李双代数结构相关的量子化普遍包代数$\mathcal{U}_{\hbar}(\mathfrak{g})$。
• 通过反射方程代数的扭量子化，将$\mathbb{C}_{\hbar}[G]$构造为$\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$-等变量子化。
• 应用由普遍$R$-矩阵$\mathcal{R}$给出的扭，将RTT代数结构与STS括号的量子化联系起来。
• 利用反射方程代数中$\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$-不变理想结构，将$\mathbb{C}_{\hbar}[G]$定义为商代数。
• 利用模代数的扭变换，将定义关系从张量代数转换至量子设定。
• 依赖于单连通$G$时，不变量代数$I(G)$为多项式，由基本特征标生成的事实。

实验结果

研究问题

• RQ1 量子坐标环$\mathbb{C}_{\hbar}[G]$是否继承了类似于经典Kostant-Richardson定理的关于其中心的自由模结构？
• RQ2 $\mathbb{C}_{\hbar}[G]$的中心如何与经典不变量代数$I(G)$相关联？
• RQ3 $\mathbb{C}_{\hbar}[G]$中$\mathcal{U}_{\hbar}(\mathfrak{g})$-不变子代数能否被识别为其中心？
• RQ4 当$I(G)$为多项式时，$\mathbb{C}_{\hbar}[G]$作为$I_{\hbar}(G)$-模的结构如何？
• RQ5 在扭构造下，$\mathbb{C}_{\hbar}[G]$的定义关系如何在反射方程代数中实现？

主要发现

• 中心$\mathbb{C}_{\hbar}[G]$与$\mathcal{U}_{\hbar}(\mathfrak{g})$-不变子代数$I_{\hbar}(G)$一致，建立了经典不变量理论的量子类比。
• $I_{\hbar}(G)$作为$\mathbb{C}$-代数同构于$I(G)\otimes\mathbb{C}[[\hbar]]$，表明量子不变量形式地变形了经典不变量。
• 当$I(G)$为多项式（例如单连通$G$时），$\mathbb{C}_{\hbar}[G]$是$\mathbb{C}[[\hbar]]$-有限同型分量的$\mathcal{U}_{\hbar}(\mathfrak{g})$-子模$\mathcal{E}$生成的$I_{\hbar}(G)$-自由模。
• 对于经典群如$SL(n)$、$SO(N)$、$Sp(n)$，代数$\mathbb{C}_{\hbar}[G_{STS}]$被实现为反射方程代数关于由$R$-矩阵关系和$\det_q(K) = 1$生成的理想之商。
• $\mathbb{C}_{\hbar}[G]$的量子化通过$\mathcal{U}_{\hbar}(\mathfrak{g})$-模代数结构的扭构造，保持了$\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$下的等变性。
• 该结果对所有简单复代数群$G$成立，自由性条件依赖于$I(G)$的多项式性，该条件在$G$单连通或$SO(2n+1)$时成立。