[논문 리뷰] A graphical approach to the Drinfeld centre

Leonard Hardiman|arXiv (Cornell University)|2019. 11. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 구면 분할 분류체 C의 드린펠트 중심 Z(C)에 대해, 관계 카테고리 TC를 사용하여 그래픽적 프레임워크를 제시한다. 이는 원통 위의 프로젝터에 의한 반 브레이딩 구조의 위상적 해석을 제공한다. C가 모듈라일 경우 Z(C)와 C ⊠ C 사이의 동치를 새로운 방식으로 증명하며, 그래픽 계산을 통해 자연스러운 함자 Φ: C ⊠ C → Z(C)의 상이 TC 내의 완전한 정규 직교 원시 프로젝터 집합과 대응됨을 보여, 프로젝터 완성과 차원 계산을 통해 동치를 확립한다.

ABSTRACT

Let $\mathcal{C}$ be a spherical fusion category. The goal of this article is to present the tube category of $\mathcal{C}$, denoted $\mathcal{TC}$, as giving an alternative graphical perspective on the Drinfeld centre of $\mathcal{C}$, denoted $Z(\mathcal{C})$. We then exploit this perspective to obtain an alternative proof of the equivalence between $Z(\mathcal{C})$ and $\mathcal{C} \boxtimes \bar{\mathcal{C}}$ when $\mathcal{C}$ is modular. Sections 2-4 provide a survey of the required prerequisites; readers already familiar with graphical calculus in fusion categories should start at Section 5.

연구 동기 및 목표

• 구면 분할 분류체 C의 드린펠트 중심 Z(C)를 관계 카테고리 TC를 통해 그래픽적이고 위상적으로 해석하는 것.
• 요네다 임bedding과 반 브레이딩 자료를 통한 Z(C)의 대상과 TC 내 프로젝터 사이의 대응을 설정하는 것.
• 관관계 카테고리의 구조를 활용하여 C가 모듈라일 경우 Z(C)와 C ⊠ C 사이의 동치를 새로운 다이어그램 증명으로 제시하는 것.
• 프로젝터 완성과 통합하여 옵네아누의 관계 대수와 Z(C)의 카테고리적 구조 간의 관계를 체계화하는 것.

제안 방법

• 반 브레이딩 자료를 포함하는 원통 위의 다이어그램으로 정의된, C의 대상이 객체이고, TC의 사상이 되는 관계 카테고리 TC를 정의한다.
• 각 X 위의 반 브레이딩 τ에 대해, (X, τ) ∈ Z(C)가 요네다 임bedding 아래에서 어떤 이미지를 가지는지를 분류하는 TC 내의 프로젝터 ǫτ ∈ EndTC(X)를 구성한다.
• 요네다 임bedding을 통해 RT C (TC의 프로젝터 완성)가 Z(C)와 동치임을 보이며, 반 브레이딩과 프로젝터의 구조 간의 대응을 통해 이를 증명한다.
• 그래픽 계산을 통해 함자 Φ: C ⊠ C → Z(C)에 의한 X ⊠ Y의 이미지를 표현하기 위해, 프로젝터 ǫYX = 1/d(C) ⊗S d(S) · (X ⊗Y →S →X ⊗Y)를 적용한다.
• HomT C(ǫYX, ǫBA)를 계산하고, 이가 HomC(X,A) ⊗ HomC(Y,B)와 동형임을 보여, {ǫJ_I}I,J∈Irr(C) 가 TC 내에서 완전한 정규 직교 원시 프로젝터 집합임을 증명한다.
• 차원 계산과 죽이는 링 레미를 적용하여, 합성 사상 ∑IJ HomT C(X, ǫJ_I) ⊗ HomT C(ǫJ_I, Y) → HomT C(X,Y) 가 동형임을 확인함으로써, Φ의 전사성과 본질적 전사성을 증명한다.

실험 결과

연구 질문

• RQ1 구면 분할 분류체 C의 드린펠트 중심 Z(C)는 원통 위의 위상적 다이어그램을 통해 어떻게 그래픽적으로 해석될 수 있는가?
• RQ2 관계 카테고리 TC는 프로젝터 완성을 통해 드린펠트 중심을 어떻게 실현하는가?
• RQ3 TC 내의 그래픽 프로젝터 ǫτ ∈ EndTC(X)는 Z(C)의 X 위의 반 브레이딩과 어떻게 대응되는가?
• RQ4 모듈라 분류체에서 Z(C) ≅ C ⊠ C 의 동치는 TC 내에서 그래픽 계산을 통해 재증명될 수 있는가?
• RQ5 집합 {ǫJ_I}I,J∈Irr(C) 가 TC 내에서 완전한 정규 직교 원시 프로젝터 집합이 되기 위한 조건은 무엇인가?

주요 결과

• 요네다 임bedding ¥: TC → RT C 는 프로젝터 완성임을 보여, RT C ≅ Z(C) 이므로, TC 가 Z(C)에 대한 그래픽 모델임을 증명한다.
• TC 내 프로젝터 ǫτ = 1/d(C) ⊗S d(S) · (X →S →X) 는 정확히 X 위의 반 브레이딩 τ 와 대응되며, (X, τ) ∈ Z(C) 가 요네다 임bedding 아래에서 어떤 이미지를 가지는지를 실현한다.
• 함자 Φ: C ⊠ C → Z(C) 는 전부 충실함을 보이며, HomT C(ǫYX, ǫBA) ≅ HomC(X,A) ⊗ HomC(Y,B) 이며, 사상 f⊗g ↦ ǫBA ◦ (f⊗g) ◦ ǫYX 를 통해 증명된다.
• 집합 {ǫJ_I}I,J∈Irr(C) 는 차원 계산과 죽이는 링 레미를 통해 TC 내에서 완전한 정규 직교 원시 프로젝터 집합임을 증명하였다.
• 합성 사상 ∑IJ HomT C(X, ǫJ_I) ⊗ HomT C(ǫJ_I, Y) → HomT C(X,Y) 는 동형이며, 이는 Φ의 본질적 전사성을 증명하고, C가 모듈라일 경우 Z(C) ≅ C ⊠ C 의 동치를 보장한다.
• 역으로, C가 모듈라가 아니면 Φ는 동치가 아니며, ǫI_I∨ 와 ǫ1_1 사이에 비자명한 사상이 존재함으로써 S-행렬의 퇴화가 발생함을 보여, 이는 반례가 된다.