[논문 리뷰] Shifted quantum affine algebras: integral forms in type $A$ (with appendices by Alexander Tsymbaliuk and Alex Weekes)

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

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).

연구 동기 및 목표

• 형 $A$의 이동 양자 아핀 대수의 정수형을 $\mathbb{C}[\boldsymbol{v}, \boldsymbol{v}^{-1}]$ 위에서 정의하는 것.
• 이 정수형에 대해 Poincaré-Birkhoff-Witt-Drinfeld 기저를 구성하는 것.
• 정수형이 코프로덕트 및 이동 호모모르피즘에 대해 닫혀 있음을 증명하는 것.
• 퀘이브 게이지 이론의 양자화된 $K$-이론 쿨롱 브랜치로의 호모모르피즘이 전사임을 확립하는 것.
• 쿨롱 브랜치가 확장된 양자 보편 포락다이어그램 대수와 일치하는 특수한 경우를 특정하는 것.

제안 방법

• 양자 아핀 $\mathfrak{gl}_n$ 의 RTT 표현을 사용하여 정수형을 정의하고, 이를 이동 대수로 확장하는 것.
• 양자 미니멀과 드린펠드 생성자를 사용하여 정수형을 확보하는 PBWD 기저를 구성하는 것.
• 반복 코프로덕트 $\Delta^n$ 과 그 PBW 생성자에 대한 작용을 분석하여 코프로덕트에 대한 닫힘을 증명하는 것.
• 드린펠드-지모 표현과 셔플 대수 기법을 사용하여 정수형을 알려진 양자 군과 연관짓는 것.
• 정수형에서 $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 기저를 갖는다.
• 반복 코프로덕트 $\Delta^n$ 과 그 PBW 생성자에 대한 작용을 통해, 정수형이 코프로덕트 및 이동 호모모르피즘에 대해 닫혀 있음을 입증하였다.
• $\overline{\Phi}^\lambda_\mu$ 는 정수형에서 $K$-이론 쿨롱 브랜치로의 호모모르피즘으로서, 정리 4.32에 의해 전사임을 증명하였다.
• $\mu = 0$, $\lambda = n\omega_{n-1}$ 인 경우, 쿨롱 브랜치는 확장된 양자 보편 포락다이어그램 대수와 일치함을 특정하였다.
• 분수적(호모로지적) 동치 결과들이 복원되었으며, 이는 [KMWY, KTWWY]의 이전 결과들이 새로운 대수적 프레임워크를 통해 확인됨을 보여준다.
• 코프로덕트와 $\Delta^n(R)$ 의 최고 차수 항들의 선형 독립성에 기반한 새로운 접근법을 사용하여 양자 대수의 PBW 정리가 재증명되었다.