[논문 리뷰] Categorical Fermionic Actions and Minimal Modular Extensions

César Galíndo, César F. Venegas-Ramírez|arXiv (Cornell University)|2017. 12. 19.

Algebraic structures and combinatorial models참고 문헌 21인용 수 11

한 줄 요약

이 논문은 유한 초군의 페르미온적 작용에 대해 페르미온적 및 스피노브레이드 분해 가능 카테고리 위에 범주론적 프레임워크를 개발하며, 코homological 장애와 Tannakian 사례에 유사한 2-동치를 확립한다. 초탄나키안 카테고리의 최소 모듈라 확장을 위한 필요하고도 충분한 조건을 제공하고, 그러한 확장을 갖지 않는 브레이드 분해 가능 카테고리의 예를 구성함으로써 페르미온적 설정에서의 모듈라 확장 문제의 핵심 측면을 해결한다.

ABSTRACT

We define fermionic actions of finite super-groups on fermionic fusion categories and establish necessary and sufficient conditions for their existence. Our main result characterizes when a braided fusion category admits a minimal non-degenerate extension in terms of cohomological obstructions. This characterization for braided fusion categories with non-Tannakian Müger center involves the fermionic structures and fermionic actions introduced in this work.

연구 동기 및 목표

• 유한 초군의 페르미온적 작용 이론을 페르미온적 및 스피노브레이드 분해 가능 카테고리 위에 수립한다.
• Tannakian 사례에서의 결과를 초군 설정으로 일반화하며, 코homological 장애와 2-동치를 포함한다.
• 초군 표현 카테고리와 비-탄나키안 브레이드 분해 가능 카테고리의 최소 모듈라 확장을 분류하고 구성한다.
• 페르미온적 설정에서 최소 모듈라 확장의 존재를 위한 필요하고도 충분한 조건을 규명한다.
• 최소 모듈라 확장을 갖지 않는 브레이드 분해 가능 카테고리의 명시적 예를 제공한다.

제안 방법

• 범주론적 및 텐서 카테고리적 구조를 사용하여 초군의 페르미온적 작용을 페르미온적 분해 가능 카테고리와 스피노브레이드 분해 가능 카테고리에 정의한다.
• 페르미온적 분해 가능 카테고리 위에 초군 작용을 갖는 2-카테고리와 Rep(Ḡ,z) 위의 분해 가능 카테고리 사이의 2-동치를 확립하며, DGNO10의 결과를 초군 설정으로 일반화한다.
• such 작용의 존재를 위한 H^3(Ḡ, ℂ×) 내의 코homological 장애를 도입하며, 군 이론적 해석을 제공한다.
• 브레이드 G-크로스드 카테고리와 Műger 중심을 사용하여 최소 모듈라 확장을 분석한다.
• 이론을 적용하여 초군의 최소 모듈라 확장을 분류하고, 랭크-4 포인트 카테고리에서의 H^4 장애를 연구한다.
• 직접 곱군의 코hom로 클래스를 계산하기 위해 군 코hom로 계산 도구, 특히 Kunneth 공식과 Lyndon의 알고리즘을 활용한다.

실험 결과

연구 질문

• RQ1 초군이 페르미온적 분해 가능 카테고리 위에 범주론적으로 작용하기 위한 필요하고도 충분한 조건은 무엇인가?
• RQ2 초탄나키안 분해 가능 카테고리의 최소 모듈라 확장을 어떻게 분류하고 구성할 수 있는가?
• RQ3 어떤 조건에서 브레이드 분해 가능 카테고리가 최소 모듈라 확장을 갖지 못하는가?
• RQ4 H^3 및 H^4 코hom로가 페르미온적 작용과 모듈라 확장을 차단하는 데 어떤 역할을 하는가?
• RQ5 Rep(Ḡ,z)의 최소 모듈라 확장에서 SVec로의 호모모르피즘이 언제 전사가 되는가?

주요 결과

• 페르미온적 분해 가능 카테고리 위에 초군 (Ḡ,z)의 페르미온적 작용을 갖는 2-카테고리와 Rep(Ḡ,z) 위의 분해 가능 카테고리 사이의 2-동치가 확립되었으며, DGNO10의 정리가 초군 설정으로 일반화되었다.
• such 작용의 존재를 위한 H^3(Ḡ, ℂ×) 내의 코homological 장애가 규명되었으며, 외부 드리플린트 더블의 군 이론적 해석을 통해 해석된다.
• 논문은 Rep(Ḡ,z)의 최소 모듈라 확장에서 SVec로의 호모모르피즘이 전사임을 보였으며, 그 조건은 초군 (Ḡ,z)가 자명할 때에 한하여 성립한다.
• 최소 모듈라 확장을 갖지 않는 브레이드 분해 가능 카테고리의 예가 명시적으로 구성되었으며, 이러한 확장이 항상 존재하지는 않음을 보여준다.
• 랭크-4 포인트 스피노브레이드 분해 가능 카테고리에서 H^4 장애가 계산되었고, 일반적으로 비자명함이 입증되었으며, 이는 작용의 확장을 방해함을 시사한다.