[논문 리뷰] Tensor categories: A selective guided tour

Michael Mueger|arXiv (Cornell University)|2008. 04. 22.

Algebraic structures and combinatorial models참고 문헌 150인용 수 11

한 줄 요약

이 논문은 유한 차원 호모지 공간을 갖는 체 위의 선형 범주에 초점을 맞춰, 텐서 범주에 대한 간결하고 접근하기 쉬운 소개를 제공한다. 엄격하고 비엄격한 텐서 범주, 함자, 자연 변환과 같은 기초 개념을 서술하며, 양자군과 저차원 위상수학과의 연결을 다루며, 위상수학적 양자 장 이론과 모듈라 범주에 기반한 범주적 구조를 강조한다.

ABSTRACT

These are the lecture notes for a short course on tensor categories. The coverage in these notes is relatively non-technical, focussing on the essential ideas. They are meant to be accessible for beginners, but it is hoped that also some of the experts will find something interesting in them. Once the basic definitions are given, the focus is mainly on k-linear categories with finite dimensional hom-spaces. Connections with quantum groups and low dimensional topology are pointed out, but these notes have no pretension to cover the latter subjects at any depth. Essentially, these notes should be considered as annotations to the extensive bibliography.

연구 동기 및 목표

• 분야 초보자들을 위한 자율적이고 비기술적인 텐서 범주 소개를 제공한다.
• 엄격한 텐서 범주와 조율 정리가 범주적 구조를 단순화하는 데 수행하는 역할를 명확히 한다.
• 텐서 범주, 양자군, 저차원 위상수학 사이의 연결 고리를 설명한다.
• 텐서 범주가 위상수학적 양자 장 이론(TQFTs)과 모듈라 범주에 어떻게 관련되어 있는지 부각한다.
• 풍부한 참고문헌과 더 깊은 결과로의 연결 고리들을 통해 문헌에 대한 선별된 가이드를 제공한다.

제안 방법

• 엄격한 텐서 범주를 범주 C, 단위 대상 1, 그리고 엄격한 결합 법칙과 단위 법칙을 만족하는 텐서 함자 ⊗를 통해 정의한다.
• 텐서 구조와 단위 대상을 보존하는 엄격한 텐서 함자와 모노이드 자연 변환을 도입한다.
• End(C), 군 기반 범주, 대칭 범주 S, 그리고 대수의 자기 사상 범주를 예시로 삼아 핵심 구성 요소를 설명한다.
• 평면 텐클 다이어그램을 사상으로 갖는 선형 범주인 Temperley-Lieb 범주 TL(τ)를 제시한다.
• 수술과 삼각분할을 통한 TQFT의 구성 방법을 설명하며, 이를 모듈라 범주와 Reshetikhin-Turaev 불변량과 연결한다.
• 중심 Z1(C)와 Z2(C)의 역할과 이중 교환자 정리가 브레드 범주를 모듈라 범주로 포함시키는 데 기여하는 바를 논의한다.

실험 결과

연구 질문

• RQ1 텐서 범주는 양자군과 저차원 위상수학을 통합하는 틀로 어떻게 작용하는가?
• RQ2 위상수학적 양자 장 이론(TQFTs)의 기초가 되는 범주적 구조는 무엇이며, 모듈라 범주와 어떻게 관련되어 있는가?
• RQ3 모든 브레드 융합 범주는 차원 제약 조건이 있는 모듈라 범주에 완전히 포함될 수 있는가?
• RQ4 대칭 텐서 범주의 비단순적이고 비형식적인 변형의 범주적 해석은 무엇인가?
• RQ5 서브팩터 이론에서 L(F∞)의 보편성은 어떻게 범주적으로 일반화될 수 있는가?

주요 결과

• 조율 정리에 따르면, 기술적 제약이 있음에도 불구하고 엄격한 텐서 범주는 모든 실용적 목적에 충분하다.
• 융합 범주 C의 중심 구조 Z1(C)는 C가 단순적이면 모듈라가 되며, Z1(C) ≅ C ⊠ C̃로 표현되어 Turaev의 TQFT와 연결된다.
• C가 모듈라일 경우 Reshetikhin-Turaev TQFT와 수술 기반 TQFT는 Turaev와 Virelizier에 의해 동형임이 입증되었다.
• 공액원소를 갖는 가чёт히 생성된 C*-텐서 범주라면, 어떤 von Neumann 대수 A에 대해 End(A)에 완전히 포함될 수 있으며, 이는 Yamagami의 결과를 일반화한다.
• 모든 단순적 피봇 범주는 일반화된 양자 군oids의 표현 범주로 나타나지 않는다는 추측은 여전히 열려 있다.
• 이중 교환자 정리는 브레드 융합 범주를 모듈라 범주로 포함시키는 데 있어 최적의 차원 제약 조건을 제공한다: dim M = dim C · dim Z2(C).