[논문 리뷰] Minimal nondegenerate extensions

Theo Johnson-Freyd, David Reutter|arXiv (Cornell University)|2021. 05. 31.

Rings, Modules, and Algebras인용 수 8

한 줄 요약

이 논문은 약간의 비퇴화를 가진 모든 브레이드된 유한 분해 분류에서 최소 비퇴화 확장을 갖는다는 것을 증명하며, 이러한 확장에 대한 분류 프로그램을 완성한다. 융합 2분류와 드리닐레프 중심 구성법을 사용하여, 클라인 병에서 계산된 2차원 TQFT로부터 유도된 위상적 불변량을 통해 확장에 대한 장애물들이 사라짐을 보이며, 카테고리적 표현 이론과 양자 위상 이론 분야에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We prove that every slightly degenerate braided fusion category admits a minimal nondegenerate extension, and hence that every pseudo-unitary super modular tensor category admits a minimal modular extension. This completes the program of characterizing minimal nondegenerate extensions of braided fusion categories. Our proof relies on the new subject of fusion 2-categories. We study in detail the Drinfel'd centre Z(Mod-B) of the fusion 2-category Mod-B of module categories of a braided fusion 1-category B. We show that minimal nondegenerate extensions of B correspond to certain trivializations of Z(Mod-B). In the slightly degenerate case, such trivializations are obstructed by a class in $\mathrm{H}^5(K(\mathbb{Z}_2, 2); k^ imes)$ and we use a numerical invariant -- defined by evaluating a certain two-dimensional topological field theory on a Klein bottle -- to prove that this obstruction always vanishes. Along the way, we develop techniques to explicitly compute in braided fusion 2-categories which we expect will be of independent interest. In addition to the model of Z(Mod-B) in terms of braided B-module categories, we develop a computationally useful model in terms of certain algebra objects in B. We construct an S-matrix pairing for any braided fusion 2-category, and show that it is nondegenerate for Z(Mod-B). As a corollary, we identify components of Z(Mod-B) with blocks in the annular category of B and with the homomorphisms from the Grothendieck ring of the Müger centre of B to the ground field.

연구 동기 및 목표

• 브레이드된 유한 분해 분류의 최소 비퇴화 확장에 대한 분류를 완성하기 위해.
• 약간의 비퇴화 브레이드된 유한 분해 분류를 확장하는 데 있어 장애를 해결하기 위해.
• 모든 페시오-유니터리 수퍼 모듈라 텐서 카테고리가 최소 모듈라 확장을 갖는다는 것을 입증하기 위해.
• 미래의 응용을 위해 브레이드된 유한 분해 2카테고리에서의 계산 도구를 개발하기 위해.
• 고차 카테고리적 및 코homological 방법을 사용하여 비퇴화 확장에 대한 완전한 장애 이론을 제공하기 위해.

제안 방법

• 브레이드된 유한 분류 1카테고리 B에 대한 모듈러 카테고리의 융합 2카테고리 Mod-B의 드리닐레프 중심 구성법 Z(Mod-B)를 사용한다.
• B의 최소 비퇴화 확장와 Z(Mod-B)의 자명화 사이의 대응을 수립한다.
• H⁵(K(Z₂, 2); k×)에서 장애류를 탐지하기 위해, 클라인 병에서 평가된 2차원 TQFT를 통해 계산되는 새로운 불변량인 클라인 불변량 κ를 도입한다.
• Z(Mod-B)의 계산에 유용한 모델을 B 내부의 대수적 구조물로 표현하여 명시적 계산을 가능하게 한다.
• 브레이드된 유한 분해 2카테고리에 대해 S-행렬 쌍대를 구성하고, Z(Mod-B)에 대해 그 비퇴화성을 증명한다.
• 반-브레이드된 대수를 위한 타원형 추적과 η-불변량을 사용하여 Z(ΣB)의 표준 라그랑주 대상의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 모든 약간의 비퇴화 브레이드된 유한 분해 분류는 최소 비퇴화 확장을 갖는가?
• RQ2 그러한 확장의 장애는 무엇이며, 항상 사라지는가?
• RQ3 융합 2카테고리의 드리닐레프 중심은 어떻게 비퇴화 확장을 분류하는 데 사용될 수 있는가?
• RQ4 2차원 TQFT에서 유도된 위상적 불변량은 H⁵(K(Z₂, 2); k×)에서 코homological 장애의 사라짐을 탐지할 수 있는가?
• RQ5 Z(Mod-B)의 구성요소의 카테고리의 구조는 무엇이며, B의 무거르 중심과 어떻게 관련되는가?

주요 결과

• 모든 약간의 비퇴화 브레이드된 유한 분해 분류는 최소 비퇴화 확장을 갖는다. 이는 오랫동안 남아있던 열린 문제를 해결한다.
• 확장에 대한 장애는 H⁵(K(Z₂, 2); k×)에 위치하며, 클라인 병에서 2차원 TQFT로 계산된 클라인 불변량 κ의 영항성으로 인해 사라진다.
• 드리닐레프 중심 Z(Mod-B)는 비퇴화 S-행렬 쌍대를 갖는다. 이는 카테고리가 모듈라임을 보장한다.
• Z(Mod-B)의 구성요소는 B의 고리 카테고리의 블록들과, 무거르 중심의 그로텐디크 링에서 기초 체 k로의 준동형사상들과 일치한다.
• Z(ΣB)의 표준 라그랑주 대상은 반-브레이드된 대수로서 나타나며, 이는 확장의 명시적 분류를 가능하게 한다.
• 장애군 Obstr(sRep(G, ϖ))는 트위스트된 수퍼코호몰로지 SHϖ+•에서의 사상의 상에 의하여 동형임을 보이며, 이는 수퍼-탄나카이 경우에 대한 완전한 장애 이론을 제공한다.