[논문 리뷰] Para-fusion Category and Topological Defect Lines in $\mathbb Z_N$-parafermionic CFTs

Jin Chen, Babak Haghighat외 1명|arXiv (Cornell University)|2023. 09. 05.

Topological and Geometric Data Analysis인용 수 4

한 줄 요약

이 논문은 2차원 $Χ_N$-퍼라페르미온 CFT에서의 토폴로지적 결함선(TDLs)을 기술하기 위해 '퍼라-융합 카테고리'라는 새로운 범주적 프레임워크를 제안한다. 이는 페르미온계에서 사용되는 슈퍼-융합 카테고리의 일반화이며, $M|N$인 경우 $q_M$-유형의 객체와 퍼라페르미온 결함 연산자를 특수한 1-모르피즘으로 다룬다. 또한 일반화된 아이라온 응집을 통해 보손 TDL 융합 카테고리에서 퍼라-융합 카테고리로의 함자(functor)를 수립함으로써, 타마라-야마가미 $Χ_N$ 융합 카테고리의 퍼라-페르미온 응집에서 유도되는 보편 퍼라-융합 카테고리의 완전한 분류를 제공한다.

ABSTRACT

We study topological defect lines (TDLs) in two-dimensional $\mathbb Z_N$-parafermoinic CFTs. Different from the bosonic case, in the 2d parafermionic CFTs, there exist parafermionic defect operators that can live on the TDLs and satisfy interesting fractional statistics. We propose a categorical description for these TDLs, dubbed as ``para-fusion category", which contains various novel features, including $\mathbb Z_M$ $q$-type objects for $M\vert N$, and parafermoinic defect operators as a type of specialized 1-morphisms of the TDLs. The para-fusion category in parafermionic CFTs can be regarded as a natural generalization of the super-fusion category for the description of TDLs in 2d fermionic CFTs. We investigate these distinguishing features in para-fusion category from both a 2d pure CFT perspective, and also a 3d anyon condensation viewpoint. In the latter approach, we introduce a generalized parafermionic anyon condensation, and use it to establish a functor from the parent fusion category for TDLs in bosonic CFTs to the para-fusion category for TDLs in the parafermionized ones. At last, we provide many examples to illustrate the properties of the proposed para-fusion category, and also give a full classification for a universal para-fusion category obtained from parafermionic condensation of Tambara-Yamagami $\mathbb Z_N$ fusion category.

연구 동기 및 목표

• 2차원 $Χ_N$-퍼라페르미온 CFT에서 분수统계와 비가역 대칭을 갖는 토폴로지적 결함선(TDLs)을 위한 범주적 프레임워크를 개발한다.
• 페르미온계 CFT에서 사용되는 슈퍼-융합 카테고리의 구조를 일반화하여, 퍼라페르미온 통계와 그레드 엔도모르피즘 대수를 수용할 수 있도록 한다.
• 일반화된 아이라온 응집을 통한 함자(functor)를 정의하여 보손 TDL 융합 카테고리에서 퍼라-융합 카테고리로의 사상 관계를 수립한다.
• 타마라-야마가미 $Χ_N$ 융합 카테고리의 퍼라페르미온 응집에서 유도되는 보편 퍼라-융합 카테고리의 전체 분류를 확립한다.

제안 방법

• 모든 $N$의 약수 $M$에 대해 $q_M$-유형의 객체를 포함하고, 엔도모르피즘 대수들이 $\mathbb{C}[\mathbb{Z}_M]$와 동형인 '퍼라-융합 카테고리'를 초월한 슈퍼-융합 카테고리의 일반화로 제안한다.
• TDL 위의 특수한 1-모르피즘으로서 퍼라페르미온 결함 연산자를 도입하며, 이는 분수통계를 만족하고 $\mathbb{Z}_N$-그레딩에 의해 제약을 받는다.
• 3차원 아이라온 응집의 관점에서 일반화된 퍼라페르미온 아이라온 응집 과정을 정의하고, 보손 TDL 융합 카테고리에서 퍼라-융합 카테고리로의 함자를 구성한다.
• 모듈라 행렬 $S_{m,n}$과 $T_{m,n}$을 통한 모듈라 데이터 및 이중형태 분석을 통해 모듈라 조건을 도출하며, $\gcd(k,N)=1$일 때 $\mathcal{C}(\mathbb{Z}_N, q_k)$가 모듈라가 됨을 보장한다.
• $\mathbb{Z}_N$-그레드 분할 대수의 분류 정리를 활용하여 $M|N$인 경우 $q_M$-유형의 단순 객체를 식별하고, 이들을 엔도모르피즘 대수 $\mathrm{End}(X) \cong \mathbb{C}[\mathbb{Z}_M]$와 연결한다.
• 단순 기하학적 행렬(monodromy matrix)을 $b(m,n) = (\omega_{N,k})^{2mn}$로 유도하며, 이는 모듈라 $S$-행렬과 연결되어 아이라온의 브레이드 통계를 확인한다.

실험 결과

연구 질문

• RQ1 분수통계를 갖는 퍼라페르미온 결함 연산자를 포함하는 $Χ_N$-퍼라페르미온 CFT에서 TDL들이 체계적으로 분류될 수 있는 방법은 무엇인가?
• RQ2 퍼라페르미온 CFT에서 TDL의 더 풍부한 구조를 반영할 수 있는 슈퍼-융합 카테고리의 적절한 일반화는 무엇인가? 이는 $q_M$-유형의 객체와 퍼라페르미온 1-모르피즘을 포함해야 한다.
• RQ3 보손 TDL 융합 카테고리와 퍼라-융합 카테고리 간의 관계를 어떻게 수학적으로 형식화할 수 있는가? 특히 아이라온 응집에 의해 유도된 함자 관점에서 설명하라.
• RQ4 타마라-야마가미 $Χ_N$ 융합 카테고리의 퍼라페르미온 응집에서 유도된 보편 퍼라-융합 카테고리의 전체 분류는 무엇인가?
• RQ5 예비-모듈라 카테고리 $\mathcal{C}(\mathbb{Z}_N, q_k)$가 모듈라가 되는 조건은 무엇이며, 이는 $Χ_N$ 대칭의 오르비폭 또는 게이징 가능성에 어떤 영향을 미치는가?

주요 결과

• 퍼라-융합 카테고리는 $N$의 약수 $M$에 대해 각각 $q_M$-유형의 객체를 도입함으로써 슈퍼-융합 카테고리를 일반화하며, 총 $\tau(N)$종류의 유형이 존재한다.
• 퍼라페르미온 결함 연산자는 TDL 위의 특수한 1-모르피즘으로 실현되며, 분수통계는 이중형태 $b(m,n) = (\omega_{N,k})^{2mn}$에 의해 코딩된다.
• 모듈라 $S$-행렬은 $S_{m,n} = \frac{1}{\sqrt{N}} (\omega_{N,k})^{2mn}$로 주어지며, $\omega_{N,k} = e^{2\pi i k / N}$이다. 이 카테고리가 모듈라가 되는 것은 $\gcd(k,N) = 1$일 때에만 성립한다.
• 일반화된 퍼라페르미온 아이라온 응집 과정이 정의되며, 이는 부모 보손 융합 카테고리에서 퍼라-융합 카테고리로의 함자를 유도하여, 퍼라페르미온 이론에서 TDL의 구성이 가능하게 한다.
• 타마라-야마가미 $\mathbb{Z}_N$ 카테고리의 퍼라페르미온 응집에서 유도된 보편 퍼라-융합 카테고리는 완전히 분류되었으며, 이 구조는 약수 함수 $\tau(N)$과 $q_M$-유형 객체의 분류에 의해 결정된다.
• 특히 $N=2$인 경우, 퍼라-융합 카테고리는 두 종류의 $q_M$-유형 객체를 포함한다: $q_1$-유형(즉, $\mathbb{C}$와 동형)과 $q_2$-유형(즉, $\mathbb{C}^{1|1}$과 동형)으로, 각각 슈퍼-융합 카테고리에서의 $m$-유형과 $q$-유형 객체에 해당한다.