[논문 리뷰] Quantum correspondences of affine Lie superalgebras

Ying Xu, R. B. Zhang|arXiv (Cornell University)|2016. 07. 05.

Algebraic structures and combinatorial models참고 문헌 19인용 수 8

한 줄 요약

이 논문은 Drinfeld twist $\mathcal{J}$를 사용한 호프 슈퍼대수의 구조 전환을 통해, $\mathfrak{osp}(2m+1|2n)$와 $\mathfrak{osp}(2n+1|2m)$와 같은 이중 쌍의 양자 아핀 슈퍼대수 사이의 명시적 등장사상(은자)을 수립한다. 주요 결과는 이러한 양자 슈퍼대수의 표현 범주가 브레이드된 엄밀한 텐서 범주로서 동치임을 보이며, 양자군에서 알려진 $q \leftrightarrow -q$ 대칭성의 일반화이다.

ABSTRACT

There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the representation categories of the quantum affine superalgebras in each pair are equivalent as strict tensor categories.

연구 동기 및 목표

• 유한 차원 양자군에서 알려진 $\mathfrak{osp}(1|2n)$와 $\mathfrak{so}(2n+1)$ 간의 등장사상을 아핀 리 슈퍼대수로 일반화한다.
• 양자 아핀 슈퍼대수의 이중 쌍 간에 명시적인 호프 슈퍼대수 등장사상을 구축한다.
• 이들의 표현 범주가 브레이드된 엄밀한 텐서 범주로서 동치임을 확립한다.
• 수학적 물리학과 표현 이론에서의 양자 대칭 현상을 통합하기 위해, 양자 대응의 체계적 구성에 기반한 통합 틀을 제공한다.

제안 방법

• 근 시스템 대칭을 통해 작용하는 $\mathbb{Z}_2$-군 $G$를 이용해 스매시 tích $\mathfrak{U}_q(\mathfrak{g}, \Pi) = \mathrm{U}_q(\mathfrak{g}, \Pi) \sharp \mathbb{C}G$를 구성한다.
• 간단한 근 $\alpha_i$에 관련된 원소 $\sigma_i$를 사용해 Drinfeld twist $\mathcal{J}$를 정의하며, 이는 코승법과 항등원을 수정한다.
• 이를 통해 기존의 호프 슈퍼대수의 새로운 코승법 $\tilde{\Delta}^{\mathcal{J}}$, 코단위 $\epsilon$, 새로운 항등원 $\tilde{S}^{\mathcal{J}}$를 갖는 새로운 호프 슈퍼대수 구조 $({\mathfrak{U}}_q({\mathfrak{g}},\Pi), \tilde{\Delta}^{\mathcal{J}}, \epsilon, \tilde{S}^{\mathcal{J}})$를 얻는다.
• 왜곡된 호프 슈퍼대수는 명시적인 대수 등장사상을 통해 이중 대수 $\mathfrak{g}'$에 대해 $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$와 동치임을 증명한다.
• 이를 통해 $\mathfrak{U}_q(\mathfrak{g}, \Pi)$와 $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$의 표현 범주가 브레이드된 텐서 범주로서 관련됨을 보인다.
• Yetter-Drinfeld 모듈과 Nichols 대수의 양자 이중을 활용해, 이 대칭성을 범주론적으로 이해한다.

실험 결과

연구 질문

• RQ1 유한 차원 양자군에서 관찰된 $q \leftrightarrow -q$ 대칭성이 양자 아핀 슈퍼대수로 확장될 수 있는가?
• RQ2 형식 $\mathfrak{osp}(2m+1|2n)$와 $\mathfrak{osp}(2n+1|2m)$의 양자 아핀 슈퍼대수 간의 대칭성의 정확한 대수적 구조는 무엇인가?
• RQ3 이중 양자 아핀 슈퍼대수의 표현 범주는 어떻게 브레이드된 텐서 범주로서 연결될 수 있는가?
• RQ4 Drinfeld twist $\mathcal{J}$는 $\mathbb{Z}_2$-분할을 유지하지 않는 호프 슈퍼대수 등장사상을 실현하는 데 어떤 역할을 하는가?
• RQ5 예를 들어 Nichols 대수의 양자 이중과 같은 체계적인 범주론적 틀이 이러한 대칭성을 통합할 수 있는가?

주요 결과

• 표 1에 나열된 이중 쌍 $({\mathfrak{g}}, {\mathfrak{g}}')$에 대해, $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$와 $\mathfrak{U}_q(\mathfrak{g}, \Pi)$ 사이에 명시적인 결합 대수 등장사상을 구성하였다.
• 이 등장사상은 코승법과 항등원을 수정하면서도 기초 대수 구조를 유지하는 Drinfeld twist $\mathcal{J}$를 통해 실현되었다.
• 왜곡된 호프 슈퍼대수 $({\mathfrak{U}}_q({\mathfrak{g}},\Pi), \tilde{\Delta}^{\mathcal{J}}, \epsilon, \tilde{S}^{\mathcal{J}})$의 코승법은 $\tilde{\Delta}^{\mathcal{J}}(E_i) = E_i \otimes 1 + K_i \otimes E_i$ 및 $\tilde{\Delta}^{\mathcal{J}}(F_i) = F_i \otimes K_i^{-1} + 1 \otimes F_i$로 표현되며, 표준 양자군 형태와 일치한다.
• 양자 슈퍼대수 $\mathfrak{U}_q(\mathfrak{g}, \Pi)$와 $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$의 표현 범주는 브레이드된 엄밀한 텐서 범주로서 동치이다.
• 이 대칭은 슈퍼대수 등장사상이 아니며, 군 작용과 Drinfeld twist를 통해 호프 슈퍼대수의 구조를 재정의하는 '그림 바꿈'을 통해 발생한다.
• 이 구성은 알려진 $\mathfrak{osp}(1|2n) \cong \mathfrak{so}(2n+1)$ 양자 대칭성을 아핀 경우로 일반화하며, $\mathfrak{sl}(2m+1|2n)^{(2)}$와 $\mathfrak{osp}(2m+2|2n)^{(2)}$와 같은 변형 아핀 유형을 포함한다.