[논문 리뷰] Braid actions on quantum toroidal superalgebras

Luan Bezerra, E. Mukhin|arXiv (Cornell University)|2019. 12. 18.

Algebraic structures and combinatorial models참고 문헌 14인용 수 5

한 줄 요약

이 논문은 $\mathfrak{gl}_{m|n}$ 유형의 서로 다른 근계 $\mathbf{s}$에 대응하는 양자 토로이드 초대수 $\mathcal{E}_{\mathbf{s}}$가 서로 동형임을 증명하고, 수직 및 수평 부분대수를 교환하는 마이키 호모모르피즘을 구축한다. 직접 합 $\oplus_{\mathbf{s}} \mathcal{E}_{\mathbf{s}}$ 위에 토로이드 브레이드 군 $\widehat{\mathcal{B}}_{m+n}$의 작용을 통해, 동형성 불변성과 브레이드 군 원소 위의 푸리에 변환을 통한 마이키 호모모르피즘 유도를 증명한다.

ABSTRACT

We prove that the quantum toroidal algebras $\mathcal{E}_\mathbf{s}$ associated with different root systems $\mathbf{s}$ of $\mathfrak{gl}_{m|n}$ type are isomorphic. We also show the existence of Miki automorphism of $\mathcal{E}_\mathbf{s}$, which exchanges the vertical and horizontal subalgebras. To obtain these results, we establish an action of the toroidal braid group on the direct sum $\oplus_\mathbf{s} \mathcal{E}_\mathbf{s}$ of all such algebras.

연구 동기 및 목표

• 다른 근계의 부호 $\mathbf{s}$를 가진 $\mathfrak{gl}_{m|n}$에 대해 양자 토로이드 대수 $\mathcal{E}_{\mathbf{s}}$가 동형임을 증명하는 것.
• $\mathcal{E}_{\mathbf{s}}$ 위에 수직 및 수평 부분대수를 교환하는 마이키 호모모르피즘을 구축하는 것.
• 직접 합 $\oplus_{\mathbf{s}} \mathcal{E}_{\mathbf{s}}$ 위에 토로이드 브레이드 군 $\widehat{\mathcal{B}}_{m+n}$의 작용을 확립하여, 근계 선택에 관계없이 대수들을 통합하는 것.
• 기존의 브레이드 군 작용 및 마이키 호모모르피즘 결과를 $m \neq n$ 이며 $m+n > 3$인 초대수 설정으로 확장하는 것.

제안 방법

• 수직 부분대수 $U_q^{ver}\widehat{\mathfrak{sl}}_{\mathbf{s}}$와 수평 부분대수 $U_q^{hor}\widehat{\mathfrak{sl}}_{\mathbf{s}}$를 포함하는 $\mathcal{E}_{\mathbf{s}}$를 정의하며, $q_1q_2q_3=1$ 및 $q^2=q_2$를 만족하는 매개수 $q_1,q_2,q_3$를 사용한다.
• 생성자 $\widehat{T}_i$, $\widehat{\mathcal{Y}}_j$, $\widehat{\tau}$를 통해 $\oplus_{\mathbf{s}} \mathcal{E}_{\mathbf{s}}$ 위에 토로이드 브레이드 군 $\widehat{\mathcal{B}}_{m+n}$의 작용을 정의하며, $\widehat{\tau}$는 부호 시퀀스 $\mathbf{s}$를 순환시킨다.
• 브레이드 군 작용을 현재 표현과 체바렐 표현에 적용하여 $\widehat{T}_1$을 정의하며, 교차부분 $U_q\mathfrak{sl}_{\mathbf{s}}$에서의 호환성을 확보한다.
• 참고 문헌 [Y]의 확장된 애피니티 브레이드 군 작용을 $\oplus_{\mathbf{s}} U_q\widehat{\mathfrak{sl}}_{\mathbf{s}}$에 적용하여, 잘 정의됨을 검증하는 것을 수직 부분대수에서의 계산으로 축소한다.
• 브레이드 군의 푸리에 변환 $\Phi$에 대한 코너지션으로서 마이키 호모모르피즘 $\psi$를 정의하며, $\widehat{\mathcal{Y}}_i$를 키니즈니크-자몰로드치코프 원소로 매핑한다.
• 푸리에 변환의 성질 $\Phi^2(\widehat{\mathcal{Y}}_i) \in \langle \widehat{\mathcal{Y}}_i \rangle$를 사용하여 $\psi$가 $U_q^{ver}\widehat{\mathfrak{sl}}_{\mathbf{s}}$와 $U_q^{hor}\widehat{\mathfrak{sl}}_{\mathbf{s}}$를 교환함을 검증한다.

실험 결과

연구 질문

• RQ1 다른 근계의 부호 $\mathbf{s}$를 가진 $\mathfrak{gl}_{m|n}$에 대해 양자 토로이드 초대수 $\mathcal{E}_{\mathbf{s}}$는 동형인가?
• RQ2 초대수 설정에서 수직 및 수평 부분대수를 교환하는 마이키 호모모르피즘을 구축할 수 있는가?
• RQ3 토로이드 브레이드 군 $\widehat{\mathcal{B}}_{m+n}$은 직접 합 $\oplus_{\mathbf{s}} \mathcal{E}_{\mathbf{s}}$ 위에 이러한 동형성을 실현하는 방식으로 작용하는가?
• RQ4 생성자 $\widehat{T}_i$가 완전히 명시되지 않은 경우, $\mathcal{E}_{\mathbf{s}}$ 위에 브레이드 군 작용을 어떻게 명시적으로 정의할 수 있는가?
• RQ5 토로이드 브레이드 군의 푸리에 변환 $\Phi$는 마이키 호모모르피즘을 구축하는 데 어떤 역할을 하는가?

주요 결과

• 모든 근계 부호 $\mathbf{s}$에 대해 $\mathfrak{gl}_{m|n}$의 양자 토로이드 대수 $\mathcal{E}_{\mathbf{s}}$는 동형이며, 정리 5.2의 추론에서 이를 입증한다.
• 마이키 호모모르피즘 $\psi$가 $\mathcal{E}_{\mathbf{s}}$ 위에 존재하며, $\psi(U_q^{ver}\widehat{\mathfrak{sl}}_{\mathbf{s}}) = U_q^{hor}\widehat{\mathfrak{sl}}_{\mathbf{s}}$ 및 $\psi(U_q^{hor}\widehat{\mathfrak{sl}}_{\mathbf{s}}) = U_q^{ver}\widehat{\mathfrak{sl}}_{\mathbf{s}}$를 만족함을 정리 5.9에서 보여준다.
• 토로이드 브레이드 군 $\widehat{\mathcal{B}}_{m+n}$은 생성자 $\widehat{T}_i$, $\widehat{\mathcal{Y}}_j$, $\widehat{\tau}$를 통해 $\oplus_{\mathbf{s}} \mathcal{E}_{\mathbf{s}}$ 위에 작용하며, $\widehat{T}_1$은 현재 표현과 체바렐 표현 위의 브레이드 작용의 호환성에 의해 정의된다.
• 마이키 호모모르피즘 $\psi$는 브레이드 군의 푸리에 변환 $\Phi$에 대한 코너지션으로서 실현되며, $\psi(b g) = \Phi(b) g$ ($b \in A$, $g \in U_q\mathfrak{sl}_{\mathbf{s}}$)를 만족함을 5.11조합에서 밝혀냈다.
• 평가 준동형사상 $\operatorname{ev}_u^\mathbf{s}: \mathcal{E}_{\mathbf{s}} \to \widetilde{U}_q\widehat{\mathfrak{gl}}_{\mathbf{s}}$는 브레이드 군 작용을 통해 구성되며, $C^2 = q_3^{m-n}$를 만족하며, 표준 부호에 대한 이전 구성과 일치한다.
• 평가 준동형사상 $\operatorname{ev}_u^\mathbf{s}$의 상에 대한 그레디에이션은 $X$의 그레디에이션 $(d_0, \dots, d_{N-1}, d_\delta)$에 대해 $\deg^{v}(\operatorname{ev}_u^\mathbf{s}(X)) = (d_1 - d_0, \dots, d_{N-1} - d_0; d_\delta)$로 주어진다.