[论文解读] Shifted quantum affine algebras: integral forms in type $A$ (with appendices by Alexander Tsymbaliuk and Alex Weekes)

Michael Finkelberg, Alexander Tsymbaliuk|arXiv (Cornell University)|Nov 29, 2018

Algebraic structures and combinatorial models参考文献 37被引用 7

一句话总结

本文构建了类型 $A$ 的移位量子仿射代数的积分形式，确立了 Poincaré-Birkhoff-Witt-Drinfeld 基，并证明了其在对角映射和移位同态下封闭。证明了从该积分形式到 quiver 规范理论的量化 $K$-理论 Coulomb 代数的同态是满射，并在一种情况下将 Coulomb 代数识别为扩展的量子普遍包络代数。

ABSTRACT

We define an integral form of shifted quantum affine algebras of type $A$ and construct Poincaré-Birkhoff-Witt-Drinfeld bases for them. When the shift is trivial, our integral form coincides with the RTT integral form. We prove that these integral forms are closed with respect to the coproduct and shift homomorphisms. We prove that the homomorphism from our integral form to the corresponding quantized $K$-theoretic Coulomb branch of a quiver gauge theory is always surjective. In one particular case we identify this Coulomb branch with the extended quantum universal enveloping algebra of type $A$. Finally, we obtain the rational (homological) analogues of the above results (proved earlier in arXiv:1611.06775, arXiv:1806.07519 via different techniques).

研究动机与目标

• 在 $\mathbb{C}[\boldsymbol{v}, \boldsymbol{v}^{-1}]$ 上定义类型 $A$ 的移位量子仿射代数的积分形式。
• 为这些积分形式构造一个 Poincaré-Birkhoff-Witt-Drinfeld 基。
• 证明积分形式在对角映射和移位同态下封闭。
• 建立从积分形式到 quiver 规范理论的量化 $K$-理论 Coulomb 代数的同态的满射性。
• 在一种情况下识别出 Coulomb 代数与类型 $A$ 的扩展量子普遍包络代数一致。

提出的方法

• 使用量子仿射 $\mathfrak{gl}_n$ 的 RTT 表示定义积分形式，并将其推广到移位代数。
• 利用量子子式和 Drinfeld 生成元构造 PBWD 基，确保在 $\mathbb{C}[\boldsymbol{v}, \boldsymbol{v}^{-1}]$ 上的整性。
• 通过分析迭代对角映射 $\Delta^n$ 及其在 PBW 生成元上的作用，证明对角映射下的封闭性。
• 利用 Drinfeld-Jimbo 表示和混合同调代数技术，将积分形式与已知量子群联系起来。
• 建立从积分形式到 $K$-理论 Coulomb 代数的同态 $\overline{\Phi}^\lambda_\mu$。
• 通过显式实现与已知 Coulomb 代数结构的比较，验证 $\overline{\Phi}^\lambda_\mu$ 的满射性。

实验结果

研究问题

• RQ1 是否存在一种类型 $A$ 的移位量子仿射代数的积分形式，使其在对角映射和移位同态下封闭？
• RQ2 能否在 $\mathbb{C}[\boldsymbol{v}, \boldsymbol{v}^{-1}]$ 上为该积分形式构造一个 PBWD 基？
• RQ3 从积分形式到 quiver 规范理论的量化 $K$-理论 Coulomb 代数的同态是否为满射？
• RQ4 在何种情况下 $K$-理论 Coulomb 代数与类型 $A$ 的扩展量子普遍包络代数一致？
• RQ5 通过该积分形式构造，能否恢复结果的有理（同调）类比？

主要发现

• 为类型 $A$ 的移位量子仿射代数构造了积分形式 $\mathfrak{U}^\mu_{\boldsymbol{v}}[\mathsf{z}_1^{\pm1}, \ldots, \mathsf{z}_N^{\pm1}]$，并建立了在 $\mathbb{C}[\boldsymbol{v}, \boldsymbol{v}^{-1}]$ 上的 PBWD 基。
• 通过迭代对角映射 $\Delta^n$ 及其在 PBW 生成元上的作用，证明了积分形式在对角映射和移位同态下封闭。
• 从积分形式到 $K$-理论 Coulomb 代数的同态 $\overline{\Phi}^\lambda_\mu$ 是满射，如定理 4.32 所证明。
• 当 $\mu = 0$，$\lambda = n\omega_{n-1}$ 时，Coulomb 代数被识别为类型 $A$ 的扩展量子普遍包络代数。
• 有理（同调）类比结果得以恢复，通过新的代数框架确认了 [KMWY, KTWWY] 的早期结果。
• 通过基于对角映射和 $\Delta^n(R)$ 中高阶项线性无关性的新方法，重新证明了杨代数的 PBW 定理。