[论文解读] Minimal nondegenerate extensions

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

Rings, Modules, and Algebras被引用 8

一句话总结

本文证明了每个轻微退化的辫子融合范畴均存在一个极小非退化扩张，从而完成了对该类扩张的分类程序。通过使用融合2-范畴与Drinfel'd中心构造，作者表明扩张的障碍因源自克莱因瓶上的二维拓扑量子场论的拓扑不变量而消失，解决了范畴表示理论与拓扑量子场论中长期存在的问题。

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.

研究动机与目标

• 完成对辫子融合范畴极小非退化扩张的分类。
• 解决轻微退化辫子融合范畴扩张的障碍问题。
• 建立每个拟幺正超模 tensor 范畴均存在极小模扩张的结论。
• 为未来应用开发辫子融合2-范畴中的计算工具。
• 使用高阶范畴与上同调方法，建立非退化扩张的完整障碍理论。

提出的方法

• 使用辫子融合1-范畴B的模范畴融合2-范畴Mod-B的Drinfel'd中心构造Z(Mod-B)。
• 建立B的极小非退化扩张与Z(Mod-B)的平凡化之间的对应关系。
• 引入一种新不变量——克莱因不变量κ，通过在克莱因瓶上计算的二维TQFT得到，用于检测H⁵(K(Z₂, 2); k×)中的障碍类。
• 以B中代数对象的形式，发展Z(Mod-B)的计算友好模型，实现显式计算。
• 为辫子融合2-范畴构造S-矩阵配对，并证明Z(Mod-B)的非退化性。
• 使用扭曲迹与η-不变量分析Z(ΣB)中的典范拉格朗日子对象，针对半辫子代数。

实验结果

研究问题

• RQ1 每个轻微退化的辫子融合范畴是否都存在极小非退化扩张？
• RQ2 此类扩张的障碍是什么？它是否总是消失？
• RQ3 如何利用融合2-范畴的Drinfel'd中心来分类非退化扩张？
• RQ4 来自二维TQFT的拓扑不变量能否检测H⁵(K(Z₂, 2); k×)中上同调障碍的消失？
• RQ5 Z(Mod-B)的连通分支范畴的结构是什么？它与B的Müger中心有何关系？

主要发现

• 每个轻微退化的辫子融合范畴均存在极小非退化扩张，解决了长期悬而未决的开放问题。
• 扩张障碍位于H⁵(K(Z₂, 2); k×)，由于通过二维TQFT在克莱因瓶上计算的克莱因不变量κ消失而消失。
• Drinfel'd中心Z(Mod-B)具有非退化的S-矩阵配对，确保该范畴是模的。
• Z(Mod-B)的连通分支与B的环形范畴中的块以及Müger中心的格罗滕迪克环到基域k的同态一一对应。
• Z(ΣB)中的典范拉格朗日子对象作为半辫子代数出现，从而实现对扩张的显式分类。
• 障碍群Obstr(sRep(G, ϖ))同构于扭曲超上同调SHϖ+•中的映射的余像，为超-坦纳基情形提供了完整的障碍理论。