(2+1)维中具有不可逆对称性的有能隙相：第二部分

我们使用对称拓扑场论（SymTFT）来系统刻画具有范畴对称性的2+1维有能隙相。我们考虑的SymTFT是有限群$G$的(3+1)维Dijkgraaf-Witten（DW）理论，其有能隙边界实现了所有所谓的“全玻色子型”融合2-范畴对称性。在arXiv:2408.05266中，我们提供了总体框架并研究了$G$为阿贝尔群的情况。本文重点研究非阿贝尔$G$的情况。有能隙边界条件在对称有能隙相的SymTFT构造中起着核心作用。这些边界条件分为两大类：最小边界条件和非最小边界条件。第一类对应于所有线算符均可作为体线算符的边界投影获得的边界。此类边界上的对称性包括（反常）2-群和2-群的2-表示范畴。相反，非最小边界包含边界固有的线算符。此类边界上的对称性对应于融合2-范畴，其中模张量范畴与上述对称类型非平凡地交织。我们详细讨论了这些对称性的广义荷及其凝聚模式，这些模式产生了一系列丰富的超越朗道有能隙相。其中包括表现出新颖对称性破缺模式的相，其中对称性破缺的真空携带不同类型的拓扑序。我们以$G$为二面体群的情况为例来说明这一框架。