[논문 리뷰] Central Exact Sequences of Tensor Categories, Equivariantization and Applications

Alain Bruguières, Sonia Natale|arXiv (Cornell University)|2011. 12. 14.

Algebraic structures and combinatorial models참고 문헌 13인용 수 4

한 줄 요약

이 논문은 텐서 범주에 대한 중심 정확수열을 도입하고, 유한군 또는 유한군 스킴 작용에 의한 등변화가 발생할 수 있는 텐서 범주 정확수열이 되기 위한 필요 및 충분조건을 수립한다. 논문은 융합 및 유한 텐서 범주에 대한 등변화를 특성화하며, 프로베니우스-페르로의 지수 2이거나, 약한 정수성 범주의 프로베니우스-페르로 차원의 최소 소인수인 지수를 가진 강력한 텐서 함자는 항상 등변화임을 보여준다.

ABSTRACT

We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group scheme action. We introduce the notion of central exact sequence of tensor categories and use it in order to present an alternative formulation of some known characterizations of equivariantizations for fusion categories, and to extend these characterizations to equivariantizations of finite tensor categories under finite group scheme actions. In particular, we obtain a simple characterization of equivariantizations under actions of finite abelian groups. As an application, we show that if $\C$ is a fusion category and $F: \C o \D$ is a dominant tensor functor of Frobenius-Perron index $p$, then $F$ is an equivariantization if $p=2$, or if $\C$ is weakly integral and $p$ is the smallest prime factor of $\FPdim \C$.

연구 동기 및 목표

• 텐서 군 스킴 작용 하에서 텐서 범주의 등변화를 정의하고 연구하기.
• 등변화를 특성화하는 도구로 텐서 범주의 중심 정확수열의 개념을 도입하기.
• 유한군 스킴 작용 하에서 융합 범주에 알려진 등변화 특성화를 유한 텐서 범주로 확장하기.
• 작용하는 군이 유한이고 아벨일 경우 등변화를 판단하는 단순한 기준을 제공하기.
• 융합 범주 간의 강력한 텐서 함자가 반드시 등변화임이 보장되는 조건을 수립하기.

제안 방법

• 호프 대칭 이론의 정확수열을 일반화한 텐서 범주의 중심 정확수열을 도입하기.
• 정확수열을 텐서 범주 위의 호프 모나드와 연결하기 위해 단순화된 방법을 사용하기.
• 정규, 충실하고 정확한 호프 모나드의 구조를 통해 등변화를 특성화하기.
• 특히 유한 아벨군 작용 하에서 융합 범주와 유한 텐서 범주에 이 이론을 적용하기.
• 프로베니우스-페르로 차원과 범주의 중심의 성질을 사용하여 텐서 함자의 구조를 분석하기.
• 준-피어 복사자와 정수성에 관한 결과를 활용하여, 텐서 함자가 반드시 등변화임이 보장되는 조건을 도출하기.

실험 결과

연구 질문

• RQ1 언제 텐서 범주 정확수열이 유한군 또는 유한군 스킴 작용 하에서 등변화가 되는가?
• RQ2 텐서 범주 맥락에서 중심 정확수열은 무엇으로 특성화되는가?
• RQ3 프로베니우스-페르로 지수가 2인 강력한 텐서 함자가 반드시 등변화임이 보장되는 조건은 무엇인가?
• RQ4 약한 정수성 융합 범주의 프로베니우스-페르로 차원의 최소 소인수가 텐서 함자의 지수일 경우, 이 함자가 반드시 등변화임을 보장할 수 있는가?
• RQ5 융합 범주에서 지수 2인 모든 융합 부분범주는 반드시 정규인가?

주요 결과

• 프로베니우스-페르로 지수가 2인 융합 범주 간의 강력한 텐서 함자는 항상 등변화이다.
• 약한 정수성 융합 범주에서, 강력한 텐서 함자의 프로베니우스-페르로 지수가 범주의 프로베니우스-페르로 차원의 최소 소인수와 같다면, 이 함자는 등변화이다.
• 융합 범주의 중심은 단순한 대상의 프로베니우스-페르로 차원이 범주의 차원의 최소 소인수보다 작을 경우 오직 역원 가능 대상들만 포함한다.
• 융합 범주 간 중심 정확수열은 해당 호프 모나드가 정규이자 충실할 때이고, 그뿐일 때 등변화로부터 유도된다.
• 지수 2인 지배 부분범주를 가진 탐바라-야마가미 범주가 존재하며, 이는 일반적으로 지수 2이지만 정규가 아님을 보여주며, 지수 2가 정규성을 보장하지는 않는다.
• 피카르드 군의 차수가 소수인 탐바라-야마가미 범주는 단순하다. 왜냐하면 비자명한 정확수열이 존재하지 않기 때문이다.