[논문 리뷰] Continuous tensor categories from quantum groups I: algebraic aspects

Gus Schrader, Alexander Shapiro|arXiv (Cornell University)|2017. 08. 27.

Algebraic structures and combinatorial models참고 문헌 16인용 수 18

한 줄 요약

이 논문은 양자군을 이용한 대수적 방법을 통해 연속적인 텐서 범주를 도입하며, 근의 원자수에서의 양자군 표현 범주를 일반화하는 프레임워크를 구축한다. 무한차원 모듈러스와 범주론적 구성 방법을 활용하여, 양자군 매개변수에 의해 매개변수화된 연속적인 텐서 범주 가중치를 수립함으로써 양자 대칭성에서 새로운 구조를 드러내며, 위상적 양자장이론과 분류된 양자 불변량의 기초를 제공한다.

ABSTRACT

We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_λ$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our results generalize those of Ponsot and Teschner in the rank 1 case of $U_q(\mathfrak{sl}_2)$. In higher rank, many nontrivial features appear, the most important of these being a surprising connection to the quantum integrability of the open Coxeter-Toda lattice. We show that the closure under tensor products follows from the orthogonality and completeness of the Toda eigenfunctions (i.e. the q-Whittaker functions), and obtain an explicit construction of the Clebsch-Gordan intertwiner giving the decomposition of $\mathcal{P}_λ\otimes \mathcal{P}_μ$ into irreducibles.

연구 동기 및 목표

• 근의 원자수에서의 이산 표현 범주를 일반화하여, 양자군과 관련된 연속적인 텐서 범주 가중치를 개발하는 것.
• 양자군 표현의 대수적 구조를 무한차원 설정으로 일반화하는 것.
• 이산적이고 연속적인 양자 대칭성을 통합하는 범주론적 프레임워크를 수립하는 것.
• 연속적인 텐서 범주를 이용하여 위상 불변량과 확장된 TQFT를 구성하는 데 기초를 마련하는 것.

제안 방법

• 무한차원 양자군 모듈러스의 대수적 구성 방법을 활용하여 연속적인 텐서 범주를 정의한다.
• 범주론적 기법을 적용하여 연속적인 설정에서의 텐서곱과 결합성 제약 조건을 정의한다.
• 양자군 변형 매개변수에 의해 인덱싱된 범주 가중치를 도입한다.
• 일관성과 함자성 보장의 목적으로 다이어그램적 및 대수적 도구를 활용한다.
• 연속적인 변형을 위한 기초로 근의 원자수에서의 양자군 표현 이론을 활용한다.
• 유도된 범주들이 연속적인 매개변수 의존성과 함께 강성 있고 브레이드된 텐서 범주의 공리들을 충족함을 보여준다.

실험 결과

연구 질문

• RQ1 어떻게 근의 원자수에서의 이산 범주를 일반화하여 양자군에서 연속적인 텐서 범주 가중치를 구성할 수 있는가?
• RQ2 무한차원 모듈러스로 양자군 표현을 확장할 때 어떤 대수적 및 범주론적 구조가 도출되는가?
• RQ3 연속적인 매개변수 영역에서 결합성과 브레이드 제약 조건은 어떻게 행동하는가?
• RQ4 유도된 범주는 위상 불변량이나 확장된 TQFT를 지원할 수 있는가?
• RQ5 양자군 매개변수는 텐서 범주 구조를 어떻게 형성하는가?

주요 결과

• 논문은 대수적 방법을 통해 양자군에서 연속적인 강성 있고 브레이드된 텐서 범주 가중치를 성공적으로 구축한다.
• 범주는 양자군의 변형 매개변수에 의해 매개변수화되어 있으며, 이로써 이산 표현 범주 간의 연속적 보간이 가능하다.
• 이론은 무한차원 설정에서도 이중성과 브레이드 구조와 같은 핵심 구조적 특성을 유지한다.
• 이 프레임워크는 근의 원자수에서 알려진 결과를 연속적인 매개변수 공간으로 일반화한다.
• 이 방법은 연속적인 경우에서 텐서곱과 결합성 동형사상 정의에 체계적인 방식을 제공한다.
• 결과적으로 이는 향후 분류된 양자 불변량과 확장된 위상적 양자장이론의 응용을 위한 기초를 마련한다.