[논문 리뷰] Hopf algebras and finite tensor categories in conformal field theory

Jürgen Fuchs, Christoph Schweigert|arXiv (Cornell University)|2010. 04. 20.

Algebraic structures and combinatorial models참고 문헌 55인용 수 6

한 줄 요약

이 논문은 유한 텐서 범주와 호프 대수를 사용하여 유리적이고 비유리적인 등각(field) 이론(CFT)에 대한 범주론적 프레임워크를 개발한다. 내부 호프 대수를 통한 텐서 범주에서의 내재적 호프 대수를 활용하여 베르린트 공식을 비단순적 설정으로 일반화하며, 이러한 구조들이 상관 함수를 코딩하고 3차원 다면체의不变량 및 매핑 클래스 군 표현을 생성함을 보여준다.

ABSTRACT

In conformal field theory the understanding of correlation functions can be divided into two distinct conceptual levels: The analytic properties of the correlators endow the representation categories of the underlying chiral symmetry algebras with additional structure, which in suitable cases is the one of a finite tensor category. The problem of specifying the correlators can then be encoded in algebraic structure internal to those categories. After reviewing results for conformal field theories for which these representation categories are semisimple, we explain what is known about representation categories of chiral symmetry algebras that are not semisimple. We focus on generalizations of the Verlinde formula, for which certain finite-dimensional complex Hopf algebras are used as a tool, and on the structural importance of the presence of a Hopf algebra internal to finite tensor categories.

연구 동기 및 목표

• 유한 텐서 범주에서의 상관 함수의 대수적 이해를 단순 모듈러 텐서 범주를 넘어서 확장하기 위해.
• 비유리적 CFT의 과제를 해결하기 위해 반드시 단순적이지 않은 유한 텐서 범주를 도입하기 위해.
• 상관 함수가 텐서 범주 내부의 프로비엔스 대수와 호프 대수의 구조를 통해 코딩되는 범주론적 프레임워크를 수립하기 위해.
• 유한 차원 호프 대수와 그 히그먼 아이디얼을 활용하여 비단순적 설정으로 베르린트 공식을 일반화하기 위해.
• 범주론적 호프 대수—즉, 강성 함수의 코엔드로 정의된 것—이 3차원 다면체의不变량과 매핑 클래스 군 표현을 생성하는 데 수행하는 역할를 탐색하기 위해.

제안 방법

• CFT의 치랄 데이터를 위한 범주론적 프레임워크로 유한 텐서 범주를 사용하며, 이를 단순 모듈러 텐서 범주로 일반화한다.
• 리본 범주에서의 그래픽적 계산을 적용하여 브레이딩, 딜레티, 토르크를 포함한 사상들을 표현하며, S³ 내의 리본을 사용한다.
• 강성과 관련된 함수의 코엔드로 정의된 범주론적 호프 대수를 도입하며, 이는 모듈러 텐서 범주의 개념을 일반화한다.
• 3차원 위상적 장 이론을 통한 상관 함수 구축을 위한 핵심 입력으로, 범주 C 내부의 프로비엔스 대수를 사용한다.
• 적분과 코적분이 항등원이 되는 조건에서, 호프 대수에서 프로비엔스 사상의 가역성을 이용하여, 이 사상과 그 역이 상호 역함수임을 증명한다.
• 범주론적 호프 대수의 구조를 사용하여, 인자화된 리본 호프 대수의 히그먼 아이디얼에 대한 베르린트 유사 공식을 유도한다.

실험 결과

연구 질문

• RQ1 비유리적 CFT에서의 상관 함수는 어떻게 비단순적 텐서 범주 내부의 대수적 구조를 체계적으로 코딩할 수 있는가?
• RQ2 비단순적 유한 텐서 범주에서의 베르린트 공식의 일반화는 무엇이며, 이는 호프 대수의 구조와 어떻게 관련되어 있는가?
• RQ3 강성과 관련된 함수의 코엔드로 정의된 범주론적 호프 대수—즉, 코엔드로 정의된 것—는 CFT에서 위상적 불변량을 생성하는 데 어떤 역할을 하는가?
• RQ4 왜 3차원 다면체의不变량과 매핑 클래스 군 표현이 동일한 범주론적 호프 대수에서 유도되지만, 그들이 완벽하게 조화를 이루지 못하는가?
• RQ5 적분과 코적분을 갖는 유한 차원 호프 대수의 구조는 어떻게 비단순적 경우로의 베르린트 공식 일반화를 위한 도구가 되는가?

주요 결과

• 역행렬이 존재하고 적분과 코적분의 합성이 항등원이 되는 조건에서, 프로비엔스 사상 Ψ와 그 역 Ψ⁻¹이 상호 역함수임을 보였다.
• 역행렬이 존재하고 정규화된 적분을 갖는 리본 범주 내의 호프 대수 H는 Ψ⁻¹ ◦ Ψ = id_H 및 Ψ ◦ Ψ⁻¹ = id_H 를 만족하며, 이는 프로비엔스 성질을 증명한다.
• 호프 대수 H는 적분과 역행렬을 통해 정의된 프로비엔스 코곱 Δ_F와 프로비엔스 코단위 ε_F = λ를 갖는 자연스러운 프로비엔스 대수이다.
• 강성 함수의 코엔드로 정의된 범주론적 호프 대수는 3차원 다면체의不变량과 매핑 클래스 군의 표현을 생성한다.
• 인자화된 리본 호프 대수의 히그먼 아이디얼에 대한 베르린트 유사 공식이 도출되었으며, 이는 고전적 베르린트 공식을 비단순적 설정으로 확장한다.
• 비단순적 범주에서도 내재된 프로비엔스 대수와 3차원 위상적 장 이론을 통해 유리적 CFT의 상관 함수 구축 방식이 비유리적 모델로 일반화되었다.