[논문 리뷰] Gauging Noninvertible Defects: A 2-Categorical Perspective

Thibault D. Décoppet, Matthew Yu|arXiv (Cornell University)|2022. 11. 15.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 2-카테고리적 프레임워크를 사용하여 양자장이론에서의 이상 현상 개념을 역전이 불가능한 대칭으로 일반화한다. 비틀림 또는 대칭적 분리 가능한 대수를 다중융합 2-카테고리에서 응축하면, 통제 가능한 모노이드 구조를 가진 새로운 다중융합 2-카테고리가 얻어지며, 모든 대칭 융합 2-카테고리가 2SVec로의 피보터 2-함수를 갖는다는 것을 증명한다. 이는 페르미온 응축을 통해 장애를 해결한다.

ABSTRACT

We generalize the notion of an anomaly for a symmetry to a noninvertible symmetry enacted by surface operators using the framework of condensation in 2-categories. Given a multifusion 2-category, potentially with some additional levels of monoidality, we prove theorems about the structure of the 2-category obtained by condensing a suitable algebra object. We give examples where the resulting category displays grouplike fusion rules and through a cohomology computation, find the obstruction to condensing further to the vacuum theory.

연구 동기 및 목표

• 상전이 이론에서의 이상 현상 개념을 역전이 가능한 대칭에서 표면 연산자로 나타나는 비역전가능한 대칭으로 확장하기.
• 다중융합 2-카테고리에서 분리 가능한 대수를 사용하여 비역전가능한 대칭의 응축을 위한 2-카테고리적 프레임워크 개발하기.
• 비역전가능한 대칭이 진공 이론으로 완전히 응축될 수 있는 조건을 규명하기.
• 비틀림 또는 비틀림 없는 2-카테고리에서의 응축 장애를 코homology 클래스로 분류하기.
• 모든 대칭 융합 2-카테고리가 2SVec로의 피보터 2-함수를 갖는다는 것을 보여주며, 특히 장애가 사라지는 페르미온 설정에서의 응용을 다루기.

제안 방법

• 비역전가능한 대칭을 다중융합 2-카테고리에서 분리 가능한 대수 객체로 모델링하는 2-카테고리의 응축 프레임워크를 사용한다.
• 응축 후 생성된 카테고리의 구조를 분석하기 위해 2-함수와 피보터 수열 이론을 적용한다.
• 특히 아티야-히르체브루흐 스펙트럴 시퀀스를 사용하여 유한 아벨 군 E에 대해 초공학적 코homology 군 SH7(E[4])를 계산한다.
• 에일렌베르크-맥클레인 스펙트럼과 호모토피 이론 도구를 사용하여 스펙트럼 간의 사상들을 분류하고, 이를 장애 클래스와 연결한다.
• 보존적 및 페르미온 설정에서의 장애의 사라짐을 판단하기 위해 코homology 군 H7(E[4]; C×)와 SH7(E[4])를 분석한다.
• 델리뉴 타입 정리와 비틀림 데이터를 사용하여 응축된 카테고리의 모노이드 구조를 특성화하며, 특히 대칭 및 비틀림 없는 경우에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 표면 연산자로 실현된 비역전가능한 대칭에 대한 이상 현상의 2-카테고리적 일반화는 무엇인가?
• RQ2 비틀림 또는 비틀림 없는 다중융합 2-카테고리에서 분리 가능한 대수를 응축할 경우, 잘 정의된 융합 2-카테고리가 만들어지는 조건은 무엇인가?
• RQ3 비틀림 2-카테고리에서 진공 이론으로의 추가 응축을 방해하는 코homological 장애는 무엇인가?
• RQ4 모든 대칭 융합 2-카테고리는 대칭적으로 강력한 융합 2-카테고리로 응축될 수 있으며, 2SVec로의 피보터 2-함수를 갖는가?
• RQ5 왜 페르미온 설정(2SVec)에서는 장애가 사라지는가? 그리고 이는 어떻게 기인하는 페르미온의 기원과 관련이 있는가?

주요 결과

• 비틀림 다중융합 2-카테고리에서 비틀림 분리 가능한 대수를 응축하면, 정리 A에 의해 다중융합 2-카테고리가 얻어진다.
• 비틀림 없는 다중융합 2-카테고리에서 대칭 분리 가능한 대수를 응축하면, 정리 B에 따라 비틀림 다중융합 2-카테고리가 얻어진다.
• 비틀림 없는 2-카테고리의 대칭 중심에서 대칭 분리 가능한 대수를 응축하면 비틀림 없는 다중융합 2-카테고리가 얻어지며, 원래 카테고리가 대칭이면 결과도 대칭이 된다. 이는 정리 C에 따라 성립한다.
• 강력한 융합 2-카테고리를 진공 이론으로 응축하는 데에 장애는 H7(E[4]; C×)의 코homology 클래스로 기술되며, 이는 페르미온 설정에서 사라진다.
• 모든 유한 아벨 군 E에 대해 초공학적 코homology 군 SH7(E[4])는 영이 되며, 이는 모든 대칭 융합 2-카테고리가 2SVec로의 피보터 2-함수를 갖는다는 것을 의미한다.
• 모든 대칭적으로 강력한 융합 2-카테고리는 어떤 유한 아벨 군 E에 대해 2SVec[E]와 동치이며, 이를 제5.2조에서 보였다.