Topological defects in reflection positive topological field theories

기술 요약: 반사 양의성(Reflection Positive) 위상적 장론에서의 위상적 결함(Topological Defects)

문제 제기
양자 장론에서 위상적 결함은 접선 구조(tangential structures)를 반영하는 추가적인 구조를 가진 고차 범주(higher categories)로 구성되는 것으로 이해된다. 방향성이 있는 2차원 및 3차원 위상 양자 장론(TQFT)에서의 결함 범주 구조는 이미 확립되어 있으나(예: 2D의 pivotal bicategories, 3D의 duals를 가진 Gray categories), 유니타리성(unitarity)을 통합하는 것은 여전히 미해결 과제로 남아 있다. 구체적으로, 유니타리 고차 범주의 이론은 아직 초기 단계에 있다. 본 논문은 다음과 같은 질문을 다룬다: 비확장적(non-extended) 유니타리(또는 반사 양의성) 위상적 장론에서의 위상적 결함에 대응하는 고차 범주 구조는 무엇인가? 저자는 2차원 방향성 이론에 초점을 맞추어, 반사 양의성의 프레임워크를 통해 결함 데이터를 규정하고자 한다.

방법론
저자는 두 가지 서로 다른 문헌의 흐름을 결합하여 자신의 프레임워크를 구축한다:

1. 결함 보드리즘 범주(Defect Bordism Categories): Carqueville, Runkel, Schaumann [CRS18]의 층화된 보드리즘 범주 $\text{Bord}^{\text{def}}_n(\mathcal{D})$를 활용한다. 여기서 대상(objects)은 결함 데이터 $\mathcal{D}$로 라벨링된 층화된 다양체이며, 사상(morphisms)은 층화된 코보리즘(cobordisms)이다.
2. 반사 양의 TQFT: Freed–Hopkins의 반사 양의 TQFT [FH16]를 채택하고, 이를 dagger 카테고리 [SS23, Ste23]를 통해 재구성한다. 이 프레임워크에서 반사 양의 TQFT는 방향 역전을 복소 공액(complex conjugation)과 인터와이닝(intertwining)하는 대칭 단성 함자(symmetric monoidal functor)이며, 헤르미션 패링(hermitian pairings)에 대한 양의 조건(positivity condition)을 만족한다.

저자는 **반사 결함 TQFT(reflection defect TQFTs)**를 결함 보드리즘 범주로부터 $\text{Vect}_{\mathbb{C}}$ (또는 $\text{Hilb}$)로 가는 $Z_2$-동변(equivariant) 대칭 단성 함자로 정의한다. 여기서 $Z_2$ 작용은 전체 방향 역전에 대응한다. 저자는 장식된 원(decorated circles)에 할당된 상태 공간(operator–state correspondence)을 분석함으로써 2차원 결함의 고차 범주적 데이터를 추출한다.

주요 기여 및 정의

• 반사 결함 TQFT: 본 논문은 결함을 반사 양의 프레임워크에 포함시키는 것을 공식화한다. 반사 결함 TQFT는 $\text{Bord}^{\text{def}}_n(\mathcal{D})$로부터 $\text{Vect}_{\mathbb{C}}$로 가는 함자 $Z: \text{Bord}^{\text{def}}_n(\mathcal{D}) \to \text{Vect}_{\mathbb{C}}$이며, $\rho: Z \circ R \Rightarrow Z$ (여기서 $R$은 전체 방향 역전)인 자연 동형(natural isomorphism)을 갖추고, 일관성(coherence) 및 양의 조건을 만족한다.
• O(2)-dagger bicategory: 저자는 새로운 대수적 구조인 O(2)-dagger bicategory를 정의한다. 이 구조는 다음을 갖춘 adjoint를 가진 $\mathbb{C}$-선형 bicategory로 구성된다:
  1. 대상(objects)과 1-morphism 상에서는 항등 함수이고 2-morphism을 역전시키는 안티-선형 인볼루션(anti-linear involution) $\dagger: \mathcal{B} \to \mathcal{B}^{2\text{op}}$.
  2. 1-morphism을 역전시키는 unitary dual functor $(-)^L: \mathcal{B} \to \mathcal{B}^{1\text{op}, 2\text{op}}$로서, $\dagger$와 교환(commute)하며 unitary coherence data를 가진다.
     이 구조는 SO(2) 부분(pivotal structure)과 dagger 구조(reflection part)를 통합하며, 이는 2D 결함 코보리즘과 그 반사의 기하학적 특성을 반영한다.
• 3-Hilbert 공간: 본 논문은 결함 이론의 양의성을 3-Hilbert 공간(CHFHS24에서 정의됨)의 개념과 연결하며, 특히 반사 양의 이론의 결함 bicategory가 표준적인 유한성 및 완비성 가정 하에서 완전한 3-Hilbert 공간이 되는 "pre-3-Hilbert space"임을 식별한다.

주요 결과

• 정리 1.1 (주요 결과): 2차원 반사 결함 TQFT와 연관된 위상적 결함의 bicategory($T_Z$)는 O(2)-dagger bicategory를 형성한다.
  • dagger $\dagger$는 반사 동변 isomorphism $\rho$와 결함 원의 기하학적 반사에 의해 유도된다.
  • dual functor $(-)^L$은 결함 선(defect lines)의 $\pi$ 회전(방향 역전)에 의해 유도된다.
  • $\dagger$와 $(-)^L$ 사이의 호환성은 반사가 회전을 그 역원으로 공액(conjugate)한다는 기하학적 사실에서 기인한다.
• 양의성 및 힐베르트 공간 구조: TQFT가 반사 양의적이면, 2-morphism 공간(장식된 원의 상태 공간)은 힐베르트 공간이 된다. 반사 구조에 의해 정의된 패링은 양의 정치(positive-definite) 내적(inner product)이 된다.
• 구형 가중치(Spherical Weights): 저자는 점 결함(point defect)이 삽입된 구(sphere) 위의 이론의 분할 함수(partition function)가 구형 가중치를 정의함을 입증한다. 이 가중치는 $\psi_\alpha(\text{tr}_R(f)) = \psi_\beta(\text{tr}_L(f))$라는 trace 조건을 만족하며, 이는 3-Hilbert 공간의 핵심 공리이다.
• Unitary Fusion Category의 회복: 2-strata에 대해 단일 결함 라벨이 존재하는 특정 경우, 결과적인 구조는 unitary dual functor를 갖춘 unitary fusion category가 되어, 2D QFT에서의 unitary categorical symmetry에 대한 기대치를 회복한다.

의의 및 주장
본 논문은 반사 양의성의 기하학적 정의와 higher dagger category의 대수적 언어 사이의 간극을 메움으로써, 유니타리 위상적 장론의 결함에 대한 고차 범주적 구조에 대한 정밀한 수학적 정식화를 제공한다고 주장한다.

• 결함 범주의 "추가적인 구조"가 정확히 O(2)-dagger bicategory임을 확립한다.
• 반사 양의성과 3-Hilbert space 정의 사이의 관계를 명확히 하여, 반사 양의 결함 TQFT가 자연스럽게 pre-3-Hilbert space의 구조를 갖게 됨을 보여준다.
• 이 연구는 확장된(extended) TQFT의 유니타리성을 이해하기 위해 비확장적 이론의 결함을 연구하는 경로를 제공함으로써, 유니타리 고차 범주에 대한 더 완전한 그림을 향한 단계로 제시된다.

저자는 자신의 결과가 임의의 양자 장론으로 일반화될 것으로 기대되지만, 본 논문이 일반적인 QFT의 무한 차원적 측면이나 전체적인 extended TQFT의 일반성을 다루지는 않는다는 점을 명시적으로 밝히고 있다.