[论文解读] Elliptic Quantum Groups U_{q,p}(gl_N) and E_{q,p}(gl_N)

Hitoshi Konno|arXiv (Cornell University)|Mar 14, 2016

Algebraic structures and combinatorial models被引用 3

一句话总结

本文通过在 $ p $ 的形式幂级数上的拓扑代数结构，建立了 Drinfeld 实现 $ U_{q,p}(\text{gl}_N) $ 与椭圆量子群 FRST 形式化版本的中心扩张 $ E_{q,p}(\text{gl}_N) $ 之间的同构。关键结果是通过高斯分解和 $ q $-行列式公式，精确建立了 Drinfeld 生成元与 $ L $-算子之间的对应关系，解决了椭圆量子群理论中长期存在的同构问题。

ABSTRACT

We reformurate a central extension of Felder's elliptic quantum group in the FRST formulation as a topological algebra E_{q,p}(gl_N) over the ring of formal power series in p. We then discuss the isomorphism between E_{q,p}(gl_N) and the elliptic algebra U_{q,p}(gl_N) of the Drinfeld realization. An evaluation H-algebra homomorphism from U_{q,p}(gl_N) to a dynamical extension of the quantum affine algebra U_q(gl_N) resolves the problem into the one discussed by Ding and Frenkel in the trigonometric case. We also provide some useful formulas for the elliptic quantum determinants.

研究动机与目标

• 解决长期悬而未决的难题：在 $ U_{q,p}(\text{gl}_N) $ 的 Drinfeld 实现与椭圆量子群的 FRST 形式之间建立同构。
• 将 FRST 型椭圆量子群 $ E_{\tau,\nu}(\text{gl}_N) $ 重新表述为 $ p $ 的形式幂级数上的拓扑代数 $ E_{q,p}(\text{gl}_N) $。
• 构造一个与霍普夫胚丛结构相容的 FRST 形式的中心扩张，从而支持无穷维表示理论。
• 提供椭圆量子行列式的显式公式，并通过高斯分解将其与 Drinfeld 生成元联系起来。

提出的方法

• 利用 $ p $-进拓扑，将 FRST 型椭圆量子群 $ E_{\tau,\nu}(\text{gl}_N) $ 重新表述为 $ \mathbb{C}[[p]] $ 上的拓扑代数 $ E_{q,p}(\text{gl}_N) $。
• 基于文献 [37, 36] 的框架，定义 $ E_{\tau,\nu}(\text{gl}_N) $ 的中心扩张，得到在 $ p $-进拓扑下关系明确定义的 $ E_{q,p}(\text{gl}_N) $。
• 通过将 $ H $-代数同态映射到 $ U_q(\widehat{\text{gl}}_N) $ 的动态扩张，建立 $ U_{q,p}(\text{gl}_N) $ 与 $ E_{q,p}(\text{gl}_N) $ 之间的同构。
• 利用 $ L $-算子 $ \widehat{L}^+(u) $ 的高斯分解 $ \mathcal{F}_{a,b}(u)\mathcal{K}_{a,b}(u)\mathcal{E}_{a,b}(u) $，将 Drinfeld 生成元用矩阵元和 $ q $-行列式表达。
• 推导出 $ K^+_a(u) $、$ E^+_{a,b}(u) $ 和 $ F^+_{a,b}(u) $ 关于 $ \widehat{L}^+(u) $ 的子矩阵的 $ q $-行列式的显式公式。
• 通过证明 $ q $-行列式 $ {q}\text{det}\widehat{L}^+(u) $ 与所有生成元可交换，证明其属于 $ E_{q,p}(\text{gl}_N) $ 的中心。

实验结果

研究问题

• RQ1 是否存在 $ U_{q,p}(\widehat{\text{gl}}_N) $ 与 FRST 型椭圆量子群 $ E_{\tau,\nu}(\text{gl}_N) $ 之间的典范同构？
• RQ2 FRST 形式化椭圆量子群能否被提升为支持无穷维表示的中心扩张？
• RQ3 如何通过 $ q $-行列式从 FRST 形式中的 $ L $-算子显式重构 Drinfeld 生成元？
• RQ4 在扩展的 FRST 代数 $ E_{q,p}(\text{gl}_N) $ 的中心中，$ q $-行列式起什么作用？
• RQ5 从 $ U_{q,p}(\text{gl}_N) $ 到动态量子仿射代数的赋值同态如何解决同构问题？

主要发现

• 代数 $ E_{q,p}(\text{gl}_N) $ 被定义为 $ \mathbb{C}[[p]] $ 上的拓扑代数，确保在 $ p $-进拓扑下关系明确定义。
• 通过映射到 $ U_q(\widehat{\text{gl}}_N) $ 的动态扩张的赋值 $ H $-代数同态，建立了 $ U_{q,p}(\text{gl}_N) $ 与 $ E_{q,p}(\text{gl}_N) $ 之间的显式同构。
• Drinfeld 生成元 $ K^+_a(u) $、$ E^+_{a,b}(u) $ 和 $ F^+_{a,b}(u) $ 通过高斯分解和 $ q $-行列式公式，从 $ L $-算子重构得出。
• $ q $-行列式 $ {q}\text{det}\widehat{L}^+(u) $ 被证明属于 $ E_{q,p}(\text{gl}_N) $ 的中心，且满足 $ {q}\text{det}\widehat{L}^+(u) = \mathcal{N}_N K(u) $，其中 $ K(u) = \prod_{l=1}^N K^+_l(u - l + 1) $。
• 公式 $ K^+_a(u) $、$ E^+_{a,b}(u) $ 和 $ F^+_{a,b}(u) $ 被推导为 $ K^+_a(u) = \frac{{q}\text{det}\widehat{L}^+(u)_{a,a}}{{q}\text{det}\widehat{L}^+(u-1)_{a+1,a+1}} \cdot \frac{1}{{\cal N}'_{N-a-1}} $，且 $ E^+_{a,b}(u) $ 和 $ F^+_{a,b}(u) $ 的表达式类似，以子矩阵的 $ q $-行列式表示。
• 在 $ E_{q,p}(\text{gl}_N) $ 中，中心包含 $ q $-行列式，且由于椭圆电流的对易关系，$ K(u) $ 与所有生成元可交换。