[論文レビュー] 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基底を確立し、コプロダクトおよびシフト自己同型に関して閉じていることを証明する。また、クーロンブランチの$K$-理論的量子化への同型写像が全射であることを証明し、特定の場合にはクーロンブランチが拡張された量子普遍包あくり代数と一致することを同定する。

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基底を構成すること。
• 整数的形がコプロダクトおよびシフト自己同型に関して閉じていることを証明すること。
• クーロンブランチの$K$-理論的量子化への同型写像が全射であることを確立すること。
• クーロンブランチが型$A$の拡張された量子普遍包あくり代数と一致する特別な場合を同定すること。

提案手法

• 量子アフィン$\mathfrak{gl}_n$のRTT提示を用いて整数的形を定義し、それをシフトされた代数へ拡張する。
• 量子小行列式とDrinfeld生成子を用いて、$\mathbb{C}[\boldsymbol{v}, \boldsymbol{v}^{-1}]$上での整数性を保証するPBWD基底を構成する。
• iterated coproduct $\Delta^n$の作用を分析することで、コプロダクトに関しての閉包性を証明する。
• Drinfeld-Jimbo提示およびシャッフル代数の技法を用いて、整数的形を既知の量子群と関連付ける。
• 整数的形から$K$-理論的クーロンブランチへの同型写像$\overline{\Phi}^\lambda_\mu$を確立する。
• 既知のクーロンブランチ構造との明示的実現および比較により、$\overline{\Phi}^\lambda_\mu$の全射性を検証する。

実験結果

リサーチクエスチョン

• RQ1 コプロダクトおよびシフト自己同型に関して閉じている、型$A$のシフトされた量子アフィン代数の整数的形が存在するか？
• RQ2 $\mathbb{C}[\boldsymbol{v}, \boldsymbol{v}^{-1}]$上でのこの整数的形に対してPBWD基底を構成できるか？
• RQ3 クーロンブランチの$K$-理論的量子化への同型写像が全射であるか？
• RQ4 どの条件下で$K$-理論的クーロンブランチが型$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基底が得られた。
• iterated coproduct $\Delta^n$の作用を用いた分析により、整数的形がコプロダクトおよびシフト自己同型に関して閉じていることが示された。
• $\overline{\Phi}^\lambda_\mu$が$K$-理論的クーロンブランチへの同型写像として全射であることは、定理4.32で証明された。
• $\mu = 0$, $\lambda = n\omega_{n-1}$の場合、クーロンブランチは型$A$の拡張された量子普遍包あくり代数と一致することが同定された。
• 有理的（ホモロジー的）類似結果が再び得られ、[KMWY, KTWWY]の先行結果が新たな代数的枠組みにより確認された。
• コプロダクトおよび$\Delta^n(R)$における最高次数項の線形独立性に基づく新しいアプローチにより、ヤングリアンのPBW定理が再証された。