[논문 리뷰] The Morita Theory of Fusion 2-Categories

Thibault D. Décoppet|arXiv (Cornell University)|2022. 08. 18.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 논문은 분리 가능 대수에서 분리 가능 대수에 대한 상대 텐서곱의 존재를 증명하고, 분리 가능 대수의 모듈로 구성된 모리타 3-카테고리의 구축 및 그 분리 가능 모듈 2-카테고리의 3-카테고리와의 동치성을 증명함으로써 융합 2-카테고리의 모리타 이론을 수립한다. 핵심 결과는 이중 텐서 2-카테고리와 분리 가능 모듈 2-카테고리에 의한 융합 2-카테고리 간의 모리타 동치의 특성화로, 고전적 모리타 이론을 2-카테고리적 맥락으로 일반화한다.

ABSTRACT

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita 3-category of separable algebras in a fusion 2-category. Then, we go on to explain how module 2-categories form a 3-category. After that, we define separable module 2-categories over a fusion 2-category, and prove that the Morita 3-category of separable algebras is equivalent to the 3-category of separable module 2-categories. As a consequence, we show that the dual tensor 2-category with respect to a separable module 2-category, that is the associated 2-category of module 2-endofunctors, is a multifusion 2-category. Finally, we give three equivalent characterizations of Morita equivalence between fusion 2-categories.

연구 동기 및 목표

• 융합 1-카테고리에서의 고전적 모리타 동치를 융합 2-카테고리로 일반화하여 융합 2-카테고리에 대한 포괄적인 모리타 이론을 개발하는 것.
• 융합 2-카테고리에서 분리 가능 대수에 대한 모듈의 상대 텐서곱의 존재를 증명하는 것. 이는 기본적인 기술적 결과이다.
• 분리 가능 대수의 모리타 3-카테고리를 구성하고, 이와 융합 2-카테고리의 분리 가능 모듈 2-카테고리의 3-카테고리 간의 동치성을 보이는 것.
• 분리 가능 모듈 2-카테고리에 대한 이중 텐서 2-카테고리가 다중융합 2-카테고리임을 보이는 것.
• 융합 2-카테고리 간의 모리타 동치에 대한 세 가지 동치 특성화를 제공하여 1-카테고리 사례에서 알려진 결과를 일반화하는 것.

제안 방법

• 도식적 계산과 2-콤���트 단순성의 이론을 사용하여 융합 2-카테고리에서 분리 가능 대수에 대한 모듈의 상대 텐서곱의 존재를 증명한다.
• 분리 가능 모듈 2-카테고리의 정의를 내리고, 모리타 3-카테고리 구성에서 그 역할을 확립한다.
• 융합 2-카테고리 위의 모듈 2-카테고리의 3-카테고리 구조를 구성하며, 2-함수와 2-수반관계를 포함한다.
• 2-압축 단순체 이론과 이중가능성의 이론을 활용하여 모듈 2-카테고리와 그 내부 동형 2-카테고리 분석을 수행한다.
• 두 3-함수 간의 동치를 통해 분리 가능 대수의 모리타 3-카테고리와 분리 가능 모듈 2-카테고리의 3-카테고리 간의 동치를 확립한다.
• 이 동치를 적용하여, 분리 가능 모듈 2-카테고리에 대한 융합 2-카테고리의 이중 텐서 2-카테고리가 다중융합 2-카테고리임을 보인다.

실험 결과

연구 질문

• RQ1 융합 1-카테고리의 모리타 이론은 어떻게 융합 2-카테고리의 맥락으로 카테고리화될 수 있는가?
• RQ2 융합 2-카테고리에서 분리 가능 대수에 대한 모듈의 상대 텐서곱의 존재를 보장하는 조건은 무엇인가?
• RQ3 융합 2-카테고리에서 분리 가능 모듈 2-카테고리는 분리 가능 대수의 모리타 3-카테고리와 어떻게 관련되어 있는가?
• RQ4 분리 가능 모듈 2-카테고리에 대한 이중 텐서 2-카테고리의 구조는 무엇이며, 이는 모리타 동치와 어떻게 관련되어 있는가?
• RQ5 융합 2-카테고리 간의 모리타 동치에 대한 동치 특성화는 무엇이며, 이는 1-카테고리 사례를 어떻게 일반화하는가?

주요 결과

• 어느 융합 2-카테고리에서든 분리 가능 대수에 대한 모듈의 상대 텐서곱이 존재하며, 이는 모리타 3-카테고리의 구성에 기여한다.
• 분리 가능 대수의 모리타 3-카테고리는 융합 2-카테고리의 분리 가능 모듈 2-카테고리의 3-카테고리와 동치이다.
• 분리 가능 모듈 2-카테고리에 대한 융합 2-카테고리의 이중 텐서 2-카테고리는 다중융합 2-카테고리이다.
• 분리 가능 대수 B에 대한 이중모듈 2-카테고리와 그 이중 대수에 대한 모듈 2-카테고리 사이에 모노이드 동치가 존재하며, 이는 핵심적인 이중성 관계를 확립한다.
• 충실한 분리 가능 모듈 2-카테고리에 대한 융합 2-카테고리 C에서 그 이중의 이중으로의 자연스러운 모노이드 2-함수는 동치이며, 이는 모리타 구성의 자기이중성임을 확인한다.
• 이론은 기존 결과를 복원하고 일반화한다: 예를 들어, G-급 융합 1-카테고리는 2Rep(G)에서의 분리 가능 대수이며, 그 모리타 동치는 Mod(B1)와 Mod(B2)의 경우 브라운드 융합 1-카테고리의 위트 동치에 대응한다.