[논문 리뷰] Exact sequences of tensor categories

Alain Bruguières, Sonia Natale|arXiv (Cornell University)|2010. 06. 03.

Algebraic structures and combinatorial models참고 문헌 38인용 수 73

한 줄 요약

이 논문은 군 이론과 호프 대수 이론에서의 정확한 수열을 텐서 범주로 일반화한 정확한 수열을 도입하며, 정규 충실한 호프 모나드와 교환 가능한 중심 대수와 같은 구조들과의 등가성을 확립한다. 주요 결과로는, 홀수 제곱 자유 프로비니우스-페르레르 차원을 가진 브레이디드 퓌전 범주가 유한군의 표현 범주와 텐서 동치임을 보여준다.

ABSTRACT

We introduce the notions of normal tensor functor and exact sequence of tensor categories. We show that exact sequences of tensor categories generalize strictly exact sequences of Hopf algebras as defined by Schneider, and in particular, exact sequences of (finite) groups. We classify exact sequences of tensor categories C' -> C -> C'' (such that C' is finite) in terms of normal faithful Hopf monads on C'' and also, in terms of self-trivializing commutative algebras in the center of C. More generally, we show that, given any dominant tensor functor C -> D admitting an exact (right or left) adjoint there exists a canonical commutative algebra A in the center of C such that F is tensor equivalent to the free module functor C -> mod_C A, where mod_C A denotes the category of A-modules in C endowed with a monoidal structure defined using the half-braiding of A. We re-interpret equivariantization under a finite group action on a tensor category and, in particular, the modularization construction, in terms of exact sequences, Hopf monads and commutative central algebras. As an application, we prove that a braided fusion category whose dimension is odd and square-free is equivalent, as a fusion category, to the representation category of a group.

연구 동기 및 목표

• 군과 호프 대수 이론에서의 정확한 수열을 더 넓은 텐서 범주적 맥락으로 일반화하기 위해.
• 몫 범주에 대한 대수적 구조를 이용해 퓌전 범주의 정확한 수열을 분류하기 위해.
• 정확한 수열, 호프 모나드, 그리고 중심 범주 내의 교환 가능한 대수 간의 구조적 연결 고리를 확립하기 위해.
• 이 프레임워크를 적용하여, 홀수 제곱 자유 차원을 가진 브레이디드 퓌전 범주가 군 표현 범주와 동치임을 증명하기 위해.
• 모듈라라이제이션과 동치화를 정확한 수열로 재해석하여, 이 두 구조를 동일한 프레임워크 아래 통합하기 위해.

제안 방법

• 기본 범주와 동치인 커널을 가지는 정규적, 전사 함자들을 통해 텐서 범주의 정확한 수열을 정의한다.
• 탄카 다우얼리티를 사용하여 수열에서 유래한 섬유 함자로부터 호프 대수를 부여한다.
• 정확한 수열과 목표 범주의 정규 충실한 호프 모나드 사이의 대응관계를 수립한다.
• 함자의 오른쪽 수반을 이용해 중간 범주의 중심 내에 표준적인 교환 가능한 대수를 구성한다.
• 이론을 동치화와 모듈라라이제이션에 적용하여, 이들이 정확한 수열의 특수한 경우로 나타남을 보인다.
• 코homological 및 차원 이론적 추론(예: 홀수성, 제곱 자유성)을 사용하여 브레이디드 퓌전 범주를 분류한다.

실험 결과

연구 질문

• RQ1 텐서 범주에서의 정확한 수열은 어떻게 정의되고 분류될 수 있으며, 군과 호프 대수 이론의 정확한 수열을 일반화할 수 있는가?
• RQ2 목표 범주에서 어떤 대수적 구조가 텐서 범주의 정확한 수열을 암시하는가?
• RQ3 홀수 제곱 자유 프로비니우스-페르레르 차원을 가진 브레이디드 퓌전 범주는 어떤 조건에서 군 표현 범주와 동치가 되는가?
• RQ4 호프 모나드와 교환 가능한 중심 대수는 정확한 수열의 구조와 어떻게 관련되어 있는가?
• RQ5 모듈라라이제이션과 동치화는 정확한 수열의 텐서 범주적 프레임워크를 통해 통일적으로 기술될 수 있는가?

주요 결과

• 퓌전 범주의 정확한 수열은 프로비니우스-페르레르 차원에 대해 곱셈적 성질을 만족한다: FPdim C = FPdim C′ × FPdim C′′.
• C가 유한일 때, C′ → C → C′′의 정확한 수열은 C′′에서 정규 충실한 호프 모나드로 분류되며, 이에 의해 유도된 호프 대수는 C′과 텐서 동치이다.
• 프로비니우스-페르레르 지수 2인 정규적 텐서 함자 F: C → C′′는 반드시 정규적이며, 따라서 rep Z₂를 커널로 가지는 정확한 수열을 유도한다.
• 복소수 위의 브레이디드 퓌전 범주에서 홀수 제곱 자유 프로비니우스-페르레르 차원을 가진 것은 모듈라라이제이션 가능하며, 그 모듈라라이제이션은 섬유 함자를 가진다.
• 홀수 제곱 자유 차원을 가진 임의의 브레이디드 퓌전 범주는 유한군의 표현 범주와 텐서 동치이다.
• 정규 함자 F: C → C′′와 정확한 오른쪽 수반을 가지는 경우, 유도된 중심 대수 (A, σ)는 정확히 F가 정규일 때에만 자기-자명화되며, 이 경우 F는 A 위의 자유 모듈러 함자와 동치이다.