[논문 리뷰] Surface operators in 3d Topological Field Theory and 2d Rational Conformal Field Theory

Anton Kapustin, Natalia Saulina|arXiv (Cornell University)|2010. 12. 04.

Black Holes and Theoretical Physics인용 수 4

한 줄 요약

이 논문은 3차원 토폴로지적 양자장이론(TFT)에서의 표면 연산자와 2차원 유리적 conformal 장이론(RCFT)에서의 일관된 접합 구조 사이의 대응을 수립한다. 표면 연산자가 보틀라인 연산자의 레이저 카테고리에서 대칭 프로베누스 대수의 모리타--equivalence 클래스에 대응함을 보이며, 푸흐스-룬켈-슈바이거(Fuchs-Runkel-Schweigert) 구조의 물리적 해석을 제공하고, 2차원 TFT의 경계-바깥 맵을 3차원 TFT로 일반화한다.

ABSTRACT

We study surface operators in 3d Topological Field Theory and their relations with 2d Rational Conformal Field Theory. We show that a surface operator gives rise to a consistent gluing of chiral and anti-chiral sectors in the 2d RCFT. The algebraic properties of the resulting 2d RCFT, such as the classification of symmetry-preserving boundary conditions, are expressed in terms of properties of the surface operator. We show that to every surface operator one may attach a Morita-equivalence class of symmetric Frobenius algebras in the ribbon category of bulk line operators. This provides a simple interpretation of the results of Fuchs, Runkel and Schweigert on the construction of 2d RCFTs from Frobenius algebras. We also show that every topological boundary condition in a 3d TFT gives rise to a commutative Frobenius algebra in the category of bulk line operators. We illustrate these general considerations by studying in detail surface operators in abelian Chern-Simons theory.

연구 동기 및 목표

• 3차원 TFT에서의 표면 연산자의 물리적 역할을 2차원 RCFT의 관점에서 명확히 하기 위해.
• 모듈러 텐서 카테고리에서 유도된 2차원 RCFT의 푸흐스-룬켈-슈바이거(FRS) 구조를 3차원 TFT의 관점에서 물리적 해석을 제공하기 위해.
• 3차원 TFT로 2차원 TFT의 경계-바깥 맵을 일반화하기 위해, 위상적 경계 조건에 교환 법칙을 가진 프로베누스 대수를 연결함으로써.
• 구체적인 사례로서 아벨 차이-시몬스 이론에서 표면 연산자를 분석하여 일반적 프레임워크의 실현을 위해.
• 모리타 등가성과 대칭 프로베누스 대수와 같은 범주론적 도구를 통해 표면 연산자의 대수적 구조를 탐색하기 위해.

제안 방법

• 3차원 TFT를 실린더 위에서 재해석하기 위해 '접기 기술(folding trick)'을 사용하여, 내부 라인 연산자를 측면과 반측면의 섹터로 연결한다.
• 표면 연산자를 TFT의 2-카테고리에서 2-모르피즘으로 정의하며, 투명한 표면 연산자가 모노이드 항등원으로 작용한다.
• 지역 연산자가 없는 표면 연산자는 보틀라인 연산자의 레이저 카테고리에서 대칭 프로베누스 대수를 통해 측면과 반측면의 섹터를 일관되게 접합함을 보인다.
• 보틀라인 연산자의 카테고리에서 대칭 프로베누스 대수의 모리타-등가 클래스와 표면 연산자 사이의 일대일 대응을 수립한다.
• 3차원 TFT에서 위상적 경계 조건에 대해 교환 법칙을 가진 프로베누스 대수를 연결함으로써 3차원 TFT의 경계-바깥 맵을 유도한다.
• U(1)_k × U(1)_{-k} 차이-시몬스 이론을 분석하여 표면 연산자와 그 대수적 불변량을 명시적으로 실현하며, 작은 k에 대해 D형 및 E형 연산자가 나타남을 보인다.

실험 결과

연구 질문

• RQ1 3차원 TFT에서의 표면 연산자는 2차원 RCFT의 측면과 반측면 섹터의 접합과 어떻게 관련이 있는가?
• RQ2 보틀라인 연산자의 카테고리에서 주어진 표면 연산자에 대응하는 대수적 구조는 무엇인가?
• RQ3 2차원 RCFT의 FRS 구조가 프로베누스 대수로부터 유도되는데, 이는 3차원 TFT의 고려에서 어떻게 도출되는가?
• RQ4 위상적 경계 조건을 통해 2차원 TFT의 경계-바깥 맵을 3차원 TFT로 일반화할 수 있는가?
• RQ5 아벨 차이-시몬스 이론에서 표면 연산자의 분류는 무엇이며, 이는 모듈러 데이터와 대칭성과 어떻게 관련이 있는가?

주요 결과

• 3차원 TFT에서의 표면 연산자는 보틀라인 연산자의 레이저 카테고리에서 대칭 프로베누스 대수의 모리타-등가 클래스에 대응한다.
• FRS 프로그램에서 대칭 프로베누스 대수를 통해 2차원 RCFT를 구성하는 것은 3차원 TFT에서 표면 연산자의 삽입을 통해 물리적으로 실현된다.
• 3차원 TFT에서의 위상적 경계 조건은 보틀라인 연산자의 카테고리에서 교환 법칙을 가진 프로베누스 대수를 유도하며, 이는 2차원의 경계-바깥 맵을 일반화한다.
• U(1)_k × U(1)_{-k} 차이-시몬스 이론에서 표면 연산자는 Z_{2N} × Z_{2N}의 관계에 의해 분류되며, 작은 k에 대해 D형 및 E형 연산자가 나타난다.
• 표면 연산자의 복합은 약수의 최대공약수와 최소공배수를 포함하는 공식에 의해 지배되며, R_v와 R_{v'}의 복합은 g R_x를 유도한다. 여기서 g = gcd(v, v', N/v, N/v').
• 표면 연산자의 대수적 구조는 대칭 프로베누스 대수의 범주론적 자료에 의해 완전히 기록되며, D형 연산자는 양측에서 SO(3) 게이지 장이 일치함으로써 정의된다.