[논문 리뷰] On braided fusion categories I

Vladimir Drinfeld, Shlomo Gelaki외 2명|arXiv (Cornell University)|2009. 06. 02.

Algebraic structures and combinatorial models참고 문헌 25인용 수 22

한 줄 요약

이 논문은 유한군에서 기인하지 않는 부분을 분리하는 데 초점을 맞춘 브레드 퓌셔 분류의 핵심을 새로운 불변량으로 도입한다. 최대 탄카anian 부분분류 E = Rep(G)의 중심화자를 비등변화함으로써 핵심은 비군론적 구조를 포착하며, 이는 약한 등방성임이 입증되며, 중심과 라그랑주 부분분류를 통한 비퇴화 브레드 퓌셔 분류의 분류에 적용된다.

ABSTRACT

This work is a detailed version of arXiv:0704.0195 [math.QA]. We introduce a new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and self-contained exposition of the known results on braided fusion categories without assuming them pre-modular or non-degenerate. The guiding heuristic principle of our work is an analogy between braided fusion categories and Casimir Lie algebras.

연구 동기 및 목표

• 예비 모듈러성 또는 퇴화하지 않음 조건을 가정하지 않고 브레드 퓌셔 분류의 기초 이론을 수립하는 것.
• 새로운 핵심의 개념을 통해 브레드 퓌셔 분류의 군론적 구조가 아닌 부분을 분리하는 것.
• 구형 또는 비퇴화 구조를 요구하지 않고 기존 중심화자 및 가우스 합에 관한 결과를 일반화하는 것.
• 핵심이 약한 등방성 분류임을 입증하여, 즉 브레드 자동동치에 대해 안정된 비자명한 탄카anian 부분분류가 없는 것.
• 후속 연구에서 보여지듯, 핵심과 유한군 자료로부터 브레드 퓌셔 분류를 재구성하는 프레임워크를 제공하는 것.

제안 방법

• 최대 탄카anian 부분분류 E = Rep(G)의 중심화자를 비등변화하여 브레드 퓌셔 분류 C의 핵심을 정의한다.
• 핵심을 CoreE(C) = E′ ⊠E Vec로 구성하며, 여기서 E′는 C 내에서 E의 중심화자이다.
• G가 핵심의 브레드 자동동치에 의해 이미지화된 ΓE에 대해 (CoreE(C), ΓE)의 동치류는 E의 선택에 관계없이 일정하다는 것을 보인다.
• 수반 작용과 C →G →Func(C1, C1)의 복합의 자명화를 이용하여, 그라디에이션이 충실할 경우 핵심 위의 작용이 자명함을 증명한다.
• G-크로스드 그룹화 분류 이론과 토르서를 적용하여 π0 및 π1 불변량을 통해 G의 핵심 위 작용을 묘사한다.
• 복소화된 그로텐디크 링과 양의 추적을 활용하여, ∗-대수의 스펙트럼 성질과 영항성 기준을 통해 융합 부분분류의 강성 증명을 한다.

실험 결과

연구 질문

• RQ1 어떻게 브레드 퓌셔 분류에서 유한군에서 기인하는 부분을 정확히 나누어 분리할 수 있는가?
• RQ2 브레드 퓌셔 분류의 핵심의 구조는 무엇이며, 자동동치에 대해 어떻게 행동하는가?
• RQ3 핵심이 약한 등방성이 되는 조건은 무엇이며, 이는 내부 구조에 어떤 함의를 갖는가?
• RQ4 비퇴화 브레드 퓌셔 분류는 핵심과 군 자료로부터 재구성될 수 있는가?
• RQ5 비퇴화 또는 예비 모듈러성 조건이 없을 경우 가우스 합과 중심화자는 어떤 역할을 하는가?

주요 결과

• 브레드 퓌셔 분류의 핵심은 동치에 대해 잘 정의되어 있으며, 최대 탄카anian 부분분류의 선택에 관계없이 일정하다.
• 핵심은 약한 등방성이다. 즉, 모든 브레드 자동동치에 대해 안정된 비자명한 탄카anian 부분분류가 없다.
• 비퇴화 브레드 퓌셔 분류의 경우, 라그랑주 부분분류의 존재는 그 분류가 점지점 융합 분류의 중심임과 동치이다.
• 핵심과 군 자료로부터 브레드 퓌셔 분류의 재구성이 가능하며, 이는 정리 4.64 및 후속 연구에서 보여졌다.
• G-크로스드 그룹화 분류의 그라디에이션이 충실할 경우, 핵심 위에 유도된 모노이드 자동동치는 항등 함자와 동형이다.
• 양의 추적을 갖춘 복소화된 그로텐디크 링은, 임의의 융합 부분분류가 영항성 및 추적 기준을 통해 강성 있음을 보장한다.