[논문 리뷰] A toy model for categorical charges

Clement Delcamp|arXiv (Cornell University)|2022. 08. 15.

Topological and Geometric Data Analysis인용 수 12

한 줄 요약

이 논문은 3차원 고차 게이지 이론에서 0형 Z2 및 1형 Z3 대칭의 혼합된 2군 대칭을 갖는 모형을 통해 카테고리적 전하를 실현하는 장난감 모형을 제안한다. 이는 2군으로 표현되며, 경계의 자극 상태가 2군의 2표현의 모노이드 2-category로 조직화됨을 보여준다. 간단한 2표현은 내재된 자극과 응축 결함의 복합체로 물리적으로 해석된다.

ABSTRACT

We consider a higher gauge topological model in three spatial dimensions whose input datum is a 2-group encoding the mixing of a 0-form $\mathbb Z_2$- and 1-form $\mathbb Z_3$-symmetry. We study the excitation content of the theory on the symmetry-preserving boundary. We show that boundary operators are organised into the fusion 2-category of 2-representations of the 2-group. These can be interpreted as categorical charges for an effective boundary model that inherits a global 2-group symmetry from the bulk topological order. Interestingly, we find that certain simple 2-representations are physically interpreted as composites of intrinsic excitations and condensation defects.

연구 동기 및 목표

• .
• 고립된 경계 상에서 2군의 2표현의 물리적 실현을 이해하기 위해.
• 카테고리 대칭의 맥락에서 응축 결함과 내재된 자극의 역할을 명확히 하기 위해.
• 경계 위상수학적 연산자와 2군의 2표현의 모노이드 2-category 사이의 대응 관계를 수립하기 위해.
• 혼합된 0형 및 1형 대칭을 갖는 Yetter의 TQFT의 구체적인 격자 해밀토니안 실현을 제공하기 위해.

제안 방법

• .
• Z2 0형 대칭과 Z3 1형 대칭을 조합한 엄격한 2군 G(2,3)를 기반으로 한 3차원 격자 해밀토니안을 구성한다.
• 자기형 스트림 자극(Z3 스트림)을 응축시켜 노이만 경계 조건을 구현함으로써 고립된 대칭적 경계를 확보한다.
• 경계 연산자를 효과적인 2군 대칭 모형의 전하 연산자로 식별한다.
• 경계 자극 상태의 융합과 통계를 2군의 2표현의 2-category의 모노이드 구조로 매핑한다.
• 모듈러 카테고리와 모듈러 함자를 사용하여 2표현을 실현하며, 카테고리의 텐서곱에 VecZ2-모듈러 구조를 적용한다.
• 융합 규칙 Eη ⊗ Eμ ≅ Eημ ⊕ Eη¯μ 가 2표현의 텐서곱으로 자연스럽게 유도됨을 검증한다.

실험 결과

연구 질문

• RQ1 .
• RQ2 혼합된 0형 및 1형 대칭을 갖는 3차원 고차 게이지 이론의 경계에서 카테고리적 전하는 어떻게 실현되는가?
• RQ3 2군의 단순한 2표현은 anyonic 자극과 결함의 관점에서 물리적으로 어떻게 해석되는가?
• RQ4 경계 연산자의 융합은 2표현의 2-category에서의 모노이드 구조와 어떻게 대응되는가?
• RQ5 2군의 2표현 이론은 위상적 순서를 갖는 격자 해밀토니안 모형에서 물리적으로 실현될 수 있는가?
• RQ6 응축 결함은 2표현의 구조와 그 물리적 실현에서 어떤 역할을 하는가?

주요 결과

• .
• 고차 게이지 모형의 경계 자극 상태는 2군 G(2,3)의 2표현의 모노이드 2-category로 조직화된다.
• 경계 상의 1차 전하의 융합 규칙은 Eη ⊗ Eμ ≅ Eημ ⊕ Eη¯μ 로 주어지며, 2표현의 텐서곱 구조와 일치한다.
• 간단한 2표현은 내재된 자극(점형 또는 고리형)과 응축 결함의 복합체로 물리적으로 해석된다.
• 2표현 Eω 는 1차원 부분다양체를 따라 0형 대칭을 깨는 스트링형 응축 결함을 나타낸다.
• 2표현 이론은 일반 anyon 뿐 아니라, 1형 대칭을 게이지화함으로써 유도되는 고차 결함까지도 포함한다.
• 이 구성은 임의의 2군으로 일반화되며, 자극과 결함의 복합체로 해석되는 2표현의 물리적 해석은 동일하게 유지된다.