[논문 리뷰] Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories

Thibault D. Décoppet, Matthew Yu|arXiv (Cornell University)|2023. 06. 13.

Carbohydrate Chemistry and Synthesis인용 수 11

한 줄 요약

이 논문은 그룹 이론적 융합 2-카테고리를 정의하고 분류하며, 섬유화 섹션의 2-펀터를 사용하여 융합 2-카테고리를 특징지우고, Tambara-Yamagami (TY) 결함 및 TY 융합 2-카테고리를, G-graded 2-vector space 구성과 4-cocycle 트위스팅을 사용하여 분류한다.

ABSTRACT

We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show that group-theoretical fusion 2-categories are completely characterized by the property that the braided fusion 1-category of endomorphisms of the monoidal unit is Tannakian. Then, we describe the underlying finite semisimple 2-category of group-theoretical fusion 2-categories, and, more generally, of certain 2-categories of bimodules. We also partially describe the fusion rules of group-theoretical fusion 2-categories, and investigate the group gradings of such fusion 2-categories. Using our previous results, we classify fusion 2-categories admitting a fiber 2-functor. Next, we study fusion 2-categories with a Tambara-Yamagami defect, that is $\mathbb{Z}/2$-graded fusion 2-categories whose non-trivially graded factor is $\mathbf{2Vect}$. We classify these fusion 2-categories, and examine more closely the more restrictive notion of Tambara-Yamagami fusion 2-categories. Throughout, we give many examples to illustrate our various results.

연구 동기 및 목표

• 그룹 이론적 융합 2-카테고리를 그룹 이론적 융합 1-카테고리의 범주화로 도입하고 이를 글로벌 대칭의 부분군 게이징과 관련지음.
• 모노이드 단위의 Tannakian 엔도모피즘 범주를 통해 섬유 2-펀ctors를 허용하는 융합 2-카테고리를 특징지움.
• 유한 군 데이터와 코사클 데이터를 통해 Tambara-Yamagami 결함 및 Tambara-Yamagami 융합 2-카테고리를 분류함.
• 그룹 이론적 융합 2-카테고리 및 그 이중모듈 2-카테고리의 기저 2-카테고리와 부분 융합 규칙을 기술함.

제안 방법

• G-graded 및 π-꼬임 구조를 모델링하기 위해 2VectG 및 2VectπG를 구성하고 연구함.
• 강직한 대수( rigid algebras )와 이중모듈 2-카테고리를 사용하여 Morita 등가를 구현하고 융합 2-카테고리에서 모듈, 이중모듈, 이차를 정의함.
• 융합 2-카테고리가 ΩC가 어떤 유한 군 H에 대해 Rep(H)와 braided 동치이면 그룹 이론적임을 보임.
• 섬유 2-펀ctor를 받으려면 C가 정확한 군 분해를 가진 유한 군 G와 부분군 H 및 K로의 동치에 의해 C(G,H,π,ψ)와 동치임을 보여 분류함.
• TY 2-카테고리의 분류의 2-카테고리적 대응을 개발하기 위해 A ≀ Z/2에서 4-코사슬 π로 TY 2-카테고리를 구성하고 섬유 2-펀ctor를 허용하는지 결정함.
• TY 결함을 군-graded 융합 2-카테고리와 연결하고 응축 그림으로 그들의 융합 규칙을 설명함.]
• research_questions: [

실험 결과

연구 질문

• RQ1 2-카테고리적 의미에서 융합 2-카테고리가 언제 그룹 이론적인가?
• RQ2 융합 2-카테고리가 섬유 2-펀ctor를 허용하기 위한 충분필요 조건은 무엇인가?
• RQ3 Tambara-Yamagami 결함을 융합 2-카테고리 설정에서 어떻게 모형화하고 분류할 수 있는가?
• RQ4 TY 2-카테고리와 동등성 을 분류하는 명시적 데이터(군, 코사클) 는 무엇인가?
• RQ5 섬유 2-펀ctor 및 TY 결함이 있는 (2+1)-차 이론에서 이원성과 응축은 어떻게 작동하는가?

주요 결과

• 융합 2-카테고리 C가 ΩC가 Tannakian일 때에만 그룹 이론적임, 즉 braided 동치가 Rep(H)에 대해 어떤 유한 군 H와 동치일 때임.
• 융합 2-카테고리가 섬유 2-펀ctor를 허용하려면 유한 군 G에 대해 H와 K의 정확한 요인화와 함께 π 및 ψ 코사클 데이터를 만족하는 C(G,H,π,ψ)와 동치일 때에만 가능함.
• 모든 Tambara-Yamagami 2-카테고리는 유한 아벨 군 A와 H4(A ≀ Z/2; k×)의 클래스 π의 데이터를 통해 구성될 수 있으며 A⊕A로의 제한은 자명하며 TY 2-카테고리의 동치성은 wreath 곱 구조를 존중하는 군 동형과 π/π′를 자명하게 만드는 것에 달려 있음.
• TY(A,π)가 병합적으로 동치로 분류되는 것은 A와 π에 의해 결정되며, 자명하게 등급된 인자는 Mod(VectA)의 |A| 복수로의 직접합임.
• A의 차수(order)가 홀수일 때 TY(A,triv)은 섬유 2-펀ctor를 허용하지만 A가 비자명일 때 어떤 유한 2-그룹의 2-표현과 동치가 되지 않으며, A=Z/2인 특정 경우는 유한 2-그룹의 2-표현과 동치임.