[논문 리뷰] Pivotal objects in rigid monoidal categories and their Frobenius-Schur indicators

Kenichi Shimizu|arXiv (Cornell University)|2013. 09. 18.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 왼쪽 강한 모나이드 범주 𝒞의 중심적인 커버 𝒞ᵖⁱᵛ를 도입하여, 펄서르-쇼어(Frobenius-Schur, FS) 지표를 펄서르르 구조가 없는 경우로 일반화한다. 이는 𝒞ᵖⁱᵛ 내의 대상에 대해 (n, r)-번째 FS 지표 uₙ,ᵣ(𝕍)를 정의함으로써, 특히 유한 텐서 범주에서 호프 대수의 수반 표현의 일반화로서, 반복된 텐서 곱 함수의 내부자 변환과 연결되는 카테고리적 프레임워크를 수립한다.

ABSTRACT

In this paper, we introduce the notion of the pivotal cover $\mathcal{C}^{\mathsf{piv}}$ of a left rigid monoidal category $\mathcal{C}$ to develop a theoretical foundation for the theory of Frobenius-Schur (FS) indicators in non-pivotal settings. For an $\mathbf{V} \in \mathcal{C}^{\mathsf{piv}}$, the $(n, r)$-th FS indicator $ u_{n, r}(\mathbf{V})$ is defined by generalizing that of an of a pivotal monoidal category. This notion gives a categorical viewpoint to some recent results on generalizations of FS indicators. Based on our framework, we also study the FS indicators of the object in a finite tensor category, which can be considered as a generalization of the adjoint representation of a Hopf algebra. The indicators of this closely relate to the space of endomorphisms of the iterated tensor product functor.

연구 동기 및 목표

• 왼쪽 강한 모나이드 범주 𝒞의 중심 커버 𝒞ᵖⁱᵛ를 도입하여, 비펄서르르 설정에서 펄서르르-쇼어 지표의 카테고리적 프레임워크를 개발한다.
• 펄서르르르 구조가 없는 범주로의 (n, r)-번째 FS 지표 uₙ,ᵣ(𝕍)의 정의를 일반화하여, 더 넓은 카테고리적 맥락에서의 적용 가능성을 확보한다.
• 특히 호프 대수의 수반 표현과 유사한 구조를 지닌 유한 텐서 범주 내의 대상에 대한 FS 지표를 연구한다.
• 이 지표들과 반복된 텐서 곱 함수의 내부자 변환 공간 사이의 연결 고리를 확립한다.
• 최근 텐서 범주에서의 일반화된 FS 지표에 대한 결과들을 통합하고 확장하는 이론적 기초를 제공한다.

제안 방법

• 펄서르르르가 존재하지 않는 곳에서도 펄서르르르를 구현할 수 있도록, 왼쪽 강한 모나이드 범주 𝒞의 카테고리적 확장을 통해 중심 커버 𝒞ᵖⁱᵛ를 구성한다.
• 𝒞ᵖⁱᵛ의 중심 구조와 호환되는 일반화된 추적 유사 구성법을 사용하여, 𝒞ᵖⁱᵛ에 속한 대상 𝕍에 대해 (n, r)-번째 FS 지표 uₙ,ᵣ(𝕍)를 정의한다.
• 중심 커버의 보편 성질을 활용하여, 펄서르르르 범주에서의 불변량을 비펄서르르르인 경우로 이행한다.
• 𝒞 위에서 반복된 텐서 곱 함수의 내부자 변환 공간을 분석하여, 이와 카테고리적으로 FS 지표를 연결한다.
• 이 프레임워크를 유한 텐서 범주에 적용하여, 특정 기저 대상의 지표가 텐서 거듭제곱 함수의 내부자 변환 공간의 차원과 직접적으로 관련됨을 보여준다.
• 카테고리적 쌍대성과 강성 구조를 활용하여 지표가 잘 정의되고 텐서 동치에 대해 불변임을 보장한다.

실험 결과

연구 질문

• RQ1 펄서르르르르가 없는 상황에서 펄서르르-쇼어 지표를 어떻게 의미 있게 일반화할 수 있는가?
• RQ2 비펄서르르르인 왼쪽 강한 모나이드 범주로 펄서르르르 불변량을 확장할 수 있는 카테고리적 구성은 무엇인가?
• RQ3 중심 커버에서의 (n, r)-번째 FS 지표는 반복된 텐서 함수의 내부자 변환 구조와 어떻게 관련되는가?
• RQ4 유한 텐서 범주 내의 대상에 대한 지표는 호프 대수의 수반 표현을 어떻게 일반화하는가?
• RQ5 n번째 텐서 거듭제곱 함수의 내부자 변환 공간은 이 일반화된 FS 지표를 통해 어떻게 특징지을 수 있는가?

주요 결과

• 중심 커버 𝒞ᵖⁱᵛ는 비펄서르르르 왼쪽 강한 모나이드 범주로 펄서르르-쇼어 지표 이론을 일반화하는 표준적인 방법을 제공한다.
• 모든 𝕍 ∈ 𝒞ᵖⁱᵛ에 대해 (n, r)-번째 FS 지표 uₙ,ᵣ(𝕍)는 잘 정의되며, 펄서르르르 범주에서의 고전적 개념을 일반화한다.
• 유한 텐서 범주에서는 수반 표현에 해당하는 대상의 FS 지표가 n번째 텐서 거듭제곱 함수의 내부자 변환 공간의 차원과 직접적으로 관련된다.
• 이 프레임워크는 최근의 FS 지표 일반화 결과들을 일관된 카테고리적 구조 안에 통합한다.
• 중심 커버 내의 지표들은 텐서 동치와의 호환성과 같은 핵심 불변성 성질을 유지한다.
• 이 구조는 반복된 텐서 곱 함수의 내부자 변환 공간이 일반화된 FS 지표에 의해 제어됨을 드러내며, 특히 유한 경우에 그 특징이 뚜렷하다.