[논문 리뷰] G-Extensions of Quantum Group Categories and Functorial SPT

Ammar Husain|arXiv (Cornell University)|2016. 05. 26.

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

한 줄 요약

이 논문은 3차원 대칭 보호 양자 위상 상태(SPT)를 평가하기 위한 프레임워크를 제안한다. 이는 확장된 위상적 장 이론(TFT) 프레임워크 내에서 양자군 분류의 G-확장을 통해 이루어지며, 맵핑 클래스군 작용과 호모토피 불변량을 통한 G-확장 분류를 통해 완전히 확장된 TFT와 결함을 구축한다. 이는 드린펠트 중심 구성과 브라우드된 융합 분류를 통해 이상성 유입과 이상성 없는 장 이론을 가능하게 한다.

ABSTRACT

In this short mostly expository note, we sketch a program for gauging fully extended topological field theories in 3 dimensions. One begins with the spherical fusion category with which one wants to do Levin-Wen or Turaev-Viro. One then computes a homotopic space with certain $π_\bullet$ given by autoequivalences, invertible objects and the ground (algebraic) field. Then for each desired symmetry group $G$ one looks at mapping $BG$ into that. This classifies equivalence classes of G-extended fusion categories. This is an equivalence at a fully extended level so will allow many defects rather than only evaluating partition functions on closed manifolds. We can now use these categories to build a new fully extended 3d topological field theory, but now possibly with extra data. This is the result of permeating defect walls and saying how that affects the assignment to the point strata.

연구 동기 및 목표

• 유한 대칭군을 3차원 대칭 보호 양자 위상 상태에서 범주론적 도구를 사용하여 체계적으로 게이징하는 방법을 개발하는 것.
• 융합 분류의 G-확장을 통해 레빈-웬과 투라에프-비로 모델을 완전히 확장된 위상적 장 이론으로 확장하여 결함을 포함하는 것.
• 드린펠트 중심과 브라우드된 융합 분류가 anyonic 준위와 이상성 유입을 어떻게 표현하는지 명확히 하는 것.
• 코보르디즘 가설과 $(\infty,3)$-분류의 맥락에서 G-확장과 등변적 구조 사이의 대응관계를 수립하는 것.
• 호모토피 이론적 자료를 이용하여 양자군 분류에서 이상성 없는 장 이론을 구성하는 계산 프레임워크를 제공하는 것.

제안 방법

• 완전히 확장된 3차원 TFT를 완전 이중성 있는 $(\infty,3)$-분류의 융합 분류와 이중모듈러스의 객체들과 연결하기 위해 코보르디즘 가설을 활용한다.
• 대칭 작용을 자동동치를 통해 표현하는 맵핑 $BG \to \text{Hom}^\text{eq}(\mathcal{C}, \mathcal{C})$를 분류하여, 구형 융합 분류 $\mathcal{C}$의 G-확장을 구성한다.
• $(\infty,3)$-모리타 분류를 적용하여 점 불변량에 대한 대칭 작용을 모델링하고, 단지 힐베르트 공간 뿐 아니라 결함이 풍부한 계층적 다양체를 가능하게 한다.
• 드린펠트 중심 $Z(\mathcal{C})$를 사용하여 anyon 준위를 본질적 준위로 실현하고, 대칭 게이징 하에서 모듈라성과 일관성을 보장한다.
• 메트릭 군과 위트 군의 구조를 통해 배경 게이지 장과 결합함으로써 이상성 유입을 구현한다.
• 포스트니코프 타워 분해와 호모토피 불변량 ($\pi_1$, $\pi_2$, $\pi_3$)을 활용하여 대수적 자료로부터 확장된 TFT의 위상 공간을 재구성한다.

실험 결과

연구 질문

• RQ1 범주론적 확장을 통해 3차원 SPT 위상에서 유한 대칭군을 어떻게 체계적으로 게이징할 수 있는가?
• RQ2 확장된 TFT에서 드린펠트 중심은 anyonic 통계와 이상성 유입을 어떻게 표현하는가?
• RQ3 융합 분류의 G-확장은 코보르디즘 가설과 완전히 확장된 TFT 및 결함을 포함하는 것과 어떻게 관련되는가?
• RQ4 어떤 대수적 구조(예: 라그랑주 하위군, 메트릭 군)가 양자군 분류에서 이상성과 대칭 데이터를 어떻게 표현하는가?
• RQ5 브라우드된 융합 분류의 위트 군은 이 프레임워크 내에서 양자 위상 순서를 분류하고 단순화하는 데 어떻게 활용될 수 있는가?

주요 결과

• 구형 융합 분류 $\mathcal{C}$의 G-확장은 맵핑 $BG \to \text{Hom}^\text{eq}(\mathcal{C}, \mathcal{C})$로 분류되며, 이때 호모토피 군 $\pi_1$, $\pi_2$, $\pi_3$은 각각 대칭군, 가역적 객체, 기본 체를 나타낸다.
• 드린펠트 중심 $Z(\mathcal{C})$는 레빈-웬 모델에서 anyonic 준위를 실현하는 모듈라 분류를 제공하며, G-확장 하에서도 그 구조가 유지된다.
• 이상성 유입은 메트릭 군 $E = A \oplus A^*$와 제곱형식 $q$를 가진 라그랑주 하위군을 통해 표현되며, $\text{Hom}(L, L)$은 교차점을 세는 데 사용된다.
• 초평면 메트릭 군의 분류 $Lag_{hyp}$는 아벨 이중모듈러스 분류 $Bimod_{ab}$와 동치이며, $\text{BrPic}(\text{Vec}_A) \cong O(A \oplus A^*)$이다.
• 위트 군 $\mathbf{W}$는 이징 분류로 생성된 $\mathbb{Z}_{16}$ 부분군을 포함하며, $W_{ptd}(2) \cong \mathbb{Z}_8 \oplus \mathbb{Z}_2$이므로, 지점형 브라우드된 분류의 분류가 가능하다.
• 전체 구조 $B\underline{\underline{BrPic}}$는 호모토피 군과 포스트니코프 불변량으로 재구성되며, 대수적 모델을 통해 확장된 TFT의 분류가 가능해진다.