[논문 리뷰] Higher Frobenius-Schur indicators for pivotal categories

Peter Schauenburg|arXiv (Cornell University)|2015. 01. 01.

Algebraic structures and combinatorial models참고 문헌 16인용 수 61

한 줄 요약

이 논문은 선형 피보탈 모나이드 카테고리의 대상들에 대해 고차의 프로베누스-슐루르 지표를 도입하며, 이들이 순환 정수에 값을 갖는 카테고리 불변량임을 증명한다. 또한 단순한 고정된 모나이드 카테고리에서 프로베누스-슐루르 내적을 정의하여, 이러한 지표들이 이 내적의 추적으로 나타남을 보이며, 카테고리적 관점과 표현 이론적 관점의 통합을 이룬다.

ABSTRACT

We define higher Frobenius-Schur indicators for objects in linear pivotal monoidal categories. We prove that they are category invariants, and take values in the cyclotomic integers. We also define a family of natural endomorphisms of the identity endofunctor on a $k$-linear semisimple rigid monoidal category, which we call the Frobenius-Schur endomorphisms. For a $k$-linear semisimple pivotal monoidal category -- where both notions are defined --, the Frobenius-Schur indicators can be computed as traces of the Frobenius-Schur endomorphisms.

연구 동기 및 목표

• 선형 피보탈 모나이드 카테고리의 맥락에서 프로베누스-슐루르 지표를 고차로 일반화하는 것.
• 이 고차 지표들이 카테고리 구조의 불변량임을 확립하는 것.
• 단순한 고정된 모나이드 카테고리에서 항등 함자에 대한 자연스러운 내적의 가닥—프로베누스-슐루르 내적—을 정의하는 것.
• $k$-선형 단순한 피보탈 모나이드 카테고리에서 고차 프로베누스-슐루르 지표가 정확히 이 내적의 추적임을 보여주는 것.

제안 방법

• 선형 피보탈 모나이드 카테고리에서 고차 추적 구성에 기반해 고차 프로베누스-슐루르 지표를 정의하는 것.
• 이 지표들이 텐서 카테고리 동치에 대해 불변임을 증명하는 것.
• 지표의 값이 순환 정수의 링에 속해 있음을 보이는 것.
• 단순한 고정된 모나이드 카테고리에서 쌍대성과 고정성 구조를 이용해 항등 함자에 대한 자연스러운 내적의 가닥—프로베누스-슐루르 내적—을 도입하는 것.
• 고차 프로베누스-슐루르 지표를 프로베누스-슐루르 내적의 추적으로 표현하는 추적 공식을 확립하는 것.
• $k$-선형 단순한 피보탈 모나이드 카테고리의 구조를 이용해 카테고리적 정의와 추적 이론적 정의 사이의 호환성을 보장하는 것.

실험 결과

연구 질문

• RQ1 피보탈 카테고리에서 프로베누스-슐루르 지표는 어떻게 고차로 일반화될 수 있는가?
• RQ2 이 고차 지표들은 피보탈 카테고리의 동치에 대해 불변인가?
• RQ3 고차 지표를 지배하는 내적의 카테고리적 성격은 무엇인가?
• RQ4 고차 프로베누스-슐루르 지표는 항등 함자에 대한 자연스러운 내적의 추적으로 표현될 수 있는가?
• RQ5 고차 지표의 값들이 속하는 대수적 구조는 무엇인가?

주요 결과

• 고차 프로베누스-슐루르 지표는 선형 피보탈 모나이드 카테고리의 잘 정의된 불변량이다.
• 고차 프로베누스-슐루르 지표의 값들은 순환 정수의 링에 속한다.
• 단순한 고정된 모나이드 카테고리에서 항등 함자에 대한 자연스러운 내적의 가닥—프로베누스-슐루르 내적—이 구성된다.
• $k$-선형 단순한 피보탈 모나이드 카테고리에서 고차 프로베누스-슐루르 지표는 해당 프로베누스-슐루르 내적의 추적과 정확히 일치한다.
• 이 구성은 표현 이론적 지표와 카테고리적 추적 구조를 연결하는 통합 프레임워크를 제공한다.