[논문 리뷰] Algebraic Structures in Euclidean and Minkowskian Two-Dimensional Conformal Field Theory

Liang Kong, Ingo Runkel|ArXiv.org|2009. 02. 22.

Algebraic structures and combinatorial models참고 문헌 22인용 수 7

한 줄 요약

이 논문은 2차원 유클리드 및 미ン코프스키 conformal field theory(CFT)에서 나타나는 대수적 구조 간의 깊은 대응을 수립하며, 모듈러 카테고리와 프로베누스 대수—특히 가환 및 비가환 특수 대칭 프로베누스 대수—가 둘 다 자연스럽게 나타남을 보여준다. 주요 기여는 미ン코프스키 시공간에서의 경계 CFT와 표현 카테고리 내의 대수적 자료 사이의 동치 관계를 밝혀내며, 카디 조건과 모듈러 불변성이 하그 이중성과 최대성 조건의 자연스러운 결과로 나타남을 보인다.

ABSTRACT

We review how modular categories, and commutative and non-commutative Frobenius algebras arise in rational conformal field theory. For Euclidean CFT we use an approach based on sewing of surfaces, and in the Minkowskian case we describe CFT by a net of operator algebras.

연구 동기 및 목표

• 유럽계 및 미ン코프스키 계의 서식에서 합리적 conformal field theory의 기초가 되는 대수적 구조를 통합하기 위해.
• 모듈러 카테고리 내에서의 가환 및 비가환 프로베누스 대수가 둘 다의 설정에서 경계 및 폐쇄 CFT를 분류함을 보여주기 위해.
• 하그 이중성과 최대성의 관점에서 카디 조건과 모듈러 불변성이 미ン코프스키 CFT에서 어떻게 작용하는지 명확히 하기 위해.
• 함자적 및 넷 기반 구성 방법을 통해 표현 카테고리 내의 프로베누스 대수와 물리적 CFT 사이의 대응을 수립하기 위해.
• 정점 연산자 대수나 conformal net에 의존하지 않고도 미ン코프스키 CFT를 대수적 자료로부터 구성할 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 경계가 매개변수화된 리만 곡면의 카테고리에서 위상 벡터 공간으로의 대칭 모나이드 함자를 사용하여 유클리드 CFT를 정의한다.
• 고차수의 복합에서의 수렴 문제를 피하기 위해 성질 0인 표면에 대한 재봉(세wing) 구성 기법을 적용한다.
• 두 차원의 미ン코프스키 시공간에서 연산자 대수의 넷을 통해 미ン코프스키 CFT를 모델링하며, 국소성과 인과성을 보장한다.
• 특히 합리적 이론의 경우 표현 카테고리가 모듈러 카테고리가 되도록 측정 가능한 하위이론을 식별한다.
• 모듈러 카테고리 내의 특수 대칭 프로베누스 대수로부터 경계 CFT를 구성하며, 이 대수는 경계 관측 가능성을 코딩한다.
• 표현 카테고리의 텐서곱 내에서 단일가환 대칭 *-프로베누스 대수가 물리적 CFT와 동치임을 바탕으로 하며, 이는 미ン코프스키 시공간에서의 물리적 CFT와 대응된다.

실험 결과

연구 질문

• RQ1 모듈러 카테고리 내의 프로베누스 대수는 어떻게 유클리드 및 미ン코프스키 CFT에서 경계 조건을 분류하는가?
• RQ2 표현 카테고리 내의 대수적 자료와 미ン코프스키 시공간에서의 물리적 CFT 사이의 정확한 대응은 무엇인가?
• RQ3 하그 이중성이 만족될 경우 왜 카디 조건이 자동으로 미ン코프스키 CFT에서 성립하는가?
• RQ4 모듈러 불변성이 하그 이중성과 같은 최대성 조건으로부터 유도될 수 있는가?
• RQ5 기하학적 기초가 서로 다름에도 불구하고 유클리드 및 미ン코프스키 CFT 내의 대수적 구조는 어떻게 관련되어 있는가?

주요 결과

• 채널 이론의 표현 카테고리 내의 특수 대칭 프로베누스 대수는 미ン코프스키 시공간에서의 경계 CFT에 대응한다.
• 같은 대수에서 유도된 미ン코프스키 공간의 CFT는 유클리드 설정에서 얻은 CFT와 국소적으로 동형이다.
• 카디 조건이 성립하는 것은 이론이 하그 이중성 조건을 만족할 때에만 가능하며, 이는 국소 대수에 대한 최대성 조건이다.
• 토러스 분할 함수의 모듈러 불변성은 프로베누스 대수의 차원이 모듈러 카테고리의 전역 차원과 동일할 때에 등가이다.
• 양성 및 음성 채널 카테고리의 델라인 곱 내에서의 가환 대칭 *-프로베누스 대수는 경계 대수에서 유래되며, Z-함수에 의한 이미지와 동형이다.
• 대수적 자료와 물리적 CFT 사이의 대응은 함자적이며, 정점 연산자 대수나 conformal net에 의한 특정 실현에 의존하지 않는다.