[论文解读] Explicit equivariant quantization on (co)adjoint orbits of $GL(n,\C)$

J. Donin, Andrey Mudrov|ArXiv.org|Jun 6, 2002

Advanced Algebra and Geometry参考文献 17被引用 7

一句话总结

本文通过扩展反射方程代数（ERE代数）$\mathcal{L}_{t,h}$，在$GL(n,\mathbb{C})$的余伴随轨道上构造了显式的$\mathcal{U}_{h}(\mathfrak{gl}(n,\mathbb{C}))$-等变量子化，该代数提供了对基利洛夫-科斯塔nt-苏里奥（KKS）泊松括号和反射方程$ r $-矩阵括号的双参数形变。关键结果是通过矩阵多项式关系和形变的量子迹条件，实现了量子轨道的显式闭式构造，得到的是在$\mathbb{C}[[t,h]]$上平坦的代数，其限制于具有指定特征值重数的半单轨道。

ABSTRACT

We present an explicit $\U_h\bigl(gl(n,\C)\bigr)$-equivariant quantization on coadjoint orbits of $GL(n,\C)$. It forms a two-parameter family quantizing the Poisson pair of the reflection equation and Kirillov-Kostant-Souriau brackets.

研究动机与目标

• 在$GL(n,\mathbb{C})$的余伴随轨道上构造显式的$\mathcal{U}_h(\mathfrak{gl}(n,\mathbb{C}))$-等变量子化。
• 解决对兼容泊松括号对（基利洛夫-科斯塔nt-苏里奥括号与反射方程$ r $-矩阵括号）进行量子化的难题。
• 通过显式代数关系，提供函数代数在半单余伴随轨道上的$\mathbb{C}[[t,h]]$上平坦形变。
• 将经典轨道参数化方法（通过矩阵多项式方程与迹条件）推广至量子情形，利用量子迹与形变关系实现。

提出的方法

• 使用ERE代数$\mathcal{L}_{t,h}$作为通用量子化代数，其生成元满足量子群关系与双参数形变结构。
• 余伴随轨道上的量子化通过$\mathcal{L}_{t,h}$对由$(L - \mu_1)\cdots(L - \mu_k) = 0$生成的理想取商来实现，该关系在经典情形下截取出具有特征值$\mu_i$与重数$n_i$的矩阵轨道。
• 利用$q = e^h$定义的量子迹$\mathrm{Tr}_q(L^m)$，将经典迹条件$\mathrm{Tr}(X^m) = \sum_i n_i \mu_i^m$形变为量子约束$\mathrm{Tr}_q(L^m) = \vartheta_m(\mathbf{n}, q^{-2}, \mu, t)$。
• 在$\mathcal{L}_{t,h}$中，前$n$个量子迹$\mathrm{Tr}_q(L^m)$生成其中心，确保在$\mathcal{U}_h(\mathfrak{gl}(n,\mathbb{C}))$作用下的不变性。
• 在不变子代数$\mathcal{S}_{t,h}/\mathcal{J}^{\mathcal{S}}_{t,h,\mu}$上构造一个特征标$\chi_{t,h}(\mathbf{n})$，该特征标形变了经典特征标$\chi(\mathbf{n})$，并在量子情形下保证了正确的特征值重数。
• 通过证明量子特征标数量与经典轨道数量一致，确立了商代数在$\mathbb{C}[[t,h]]$上的平坦性，从而表明其模结构为自由。

实验结果

研究问题

• RQ1 能否在$GL(n,\mathbb{C})$的余伴随轨道上构造显式的$\mathcal{U}_h(\mathfrak{gl}(n,\mathbb{C}))$-等变量子化？
• RQ2 如何在量子情形下一致地形变通过矩阵多项式方程与迹条件实现的经典轨道参数化？
• RQ3 量子迹$\mathrm{Tr}_q$在定义形变的量子不变量方面起什么作用，这些不变量可形变经典特征值的对称函数？
• RQ4 对ERE代数取由量子多项式与迹关系生成的理想后的商代数，是否在$\mathbb{C}[[t,h]]$上给出一个平坦形变，并限制于特定的半单轨道？
• RQ5 所得到的量子代数在$t=h=0$时是否同构于经典函数代数，且是否保持轨道结构？

主要发现

• ERE代数$\mathcal{L}_{t,h}$为$\mathfrak{gl}(n,\mathbb{C})^*$上的函数代数提供了通用的双参数量子化，且满足$\mathcal{L}_{0,0}$同构于对称代数$S(\mathfrak{gl}(n,\mathbb{C}))$。
• 对$\mathcal{L}_{t,h}$取由$(L - \mu_1)\cdots(L - \mu_k) = 0$生成的理想后的商代数$\mathcal{A}_{t,h}(M^k_\mu)$，是一个在$\mathbb{C}[[t,h]]$上平坦的代数，该代数是具有特征值$\mu_i$与重数$n_i$的半单矩阵轨道$M^k_\mu$上的量子化。
• 对$m=1,\dots,k-1$，量子迹条件$\mathrm{Tr}_q(L^m) = \vartheta_m(\mathbf{n}, q^{-2}, \mu, t)$是将量子化限制于具有给定特征值重数的特定轨道的充要条件。
• 函数$\vartheta_m(\mathbf{n}, q^{-2}, \mu, t)$是$q^{-2}$、$t$与$\mu$的多项式，确保形变在$\mathbb{C}[[t,h]]$上定义良好。
• $\mathcal{S}_{t,h}/\mathcal{J}^{\mathcal{S}}_{t,h,\mu}$的不变量代数是秩为$|n:k|$的$\mathbb{C}[[t,h]]$-自由模，与经典轨道数量一致，从而确认了形变的平坦性与正确性。
• 在$h=0$极限下，该构造给出了半单余伴随轨道上基利洛夫-科斯塔nt-苏里奥泊松括号的$G$-等变量子化，恢复了BFFLS的结果。