[论文解读] On the Structure of Modular Categories

Michael Mueger|ArXiv.org|Jan 3, 2002

Advanced Algebra and Logic参考文献 14被引用 9

一句话总结

本文建立了模范畴的双重中心化定理，证明了对于一个在直和、子对象和对偶下封闭的全张张量子范畴，其双重中心化恢复原始范畴，且维度相乘等于总维度。关键贡献是一项结构分解定理：每个模范畴可分解为素模范畴的带绳范畴直积，该结果在预模范畴的伽罗瓦理论及张量范畴的模闭包中具有应用。

ABSTRACT

For a braided tensor category C and a subcategory K there is a notion of centralizer C_C(K), which is a full tensor subcategory of C. A pre-modular tensor category is known to be modular in the sense of Turaev iff the center Z_2(C):=C_C(C) (not to be confused with the center Z_1 of a tensor category, related to the quantum double) is trivial, i.e. equivalent to Vect, and dim(C)<>0. Here dim(C)=sum_i d(X_i)^2, the X_i being the simple objects. We prove the following double centralizer theorem: Let C be a modular category and K a full tensor subcategory closed w.r.t. direct sums, subobjects and duals. Then C_C(C_C(K))=K and dim(K)dim(C_C(K))=dim(C). We give several applications, the most important being the following. If C is modular and K is a full modular subcategory, then also L=C_C(K) is modular and C is equivalent as a ribbon category to the direct product of K and L. Thus every modular category factorizes (non-uniquely, in general) into prime ones. We study the prime factorizations of the categories D(G)-Mod, where G is a finite abelian group.

研究动机与目标

• 发展模范畴的一般结构理论，模范畴在拓扑量子场论和纽结不变量中具有核心地位。
• 阐明中心 $\mathcal{Z}_2(\mathcal{C})$ 在确定模性中的作用，特别是与非退化条件的关系。
• 通过构造具有指定伽罗瓦群的预模范畴，解决辫子张量范畴的逆伽罗瓦问题。
• 建立维度界，并确定模闭包达到最小维度的条件。

提出的方法

• 为模范畴 $\mathcal{C}$ 中的全张张量子范畴 $\mathcal{K}$ 引入中心化构造 $C_{\mathcal{C}}(\mathcal{K})$，推广了算子代数中交换子的概念。
• 证明双重中心化定理：若全子范畴在直和、子对象和对偶下封闭，则有 $C_{\mathcal{C}}(C_{\mathcal{C}}(\mathcal{K})) = \mathcal{K}$ 且 $\dim \mathcal{K} \cdot \dim C_{\mathcal{C}}(\mathcal{K}) = \dim \mathcal{C}$。
• 应用双重中心化定理，证明若 $\mathcal{K}$ 是全模子范畴，则 $\mathcal{C} \simeq \mathcal{K} \boxtimes C_{\mathcal{C}}(\mathcal{K})$ 作为带绳范畴。
• 利用量子双构造 $\mathcal{Z}_1(\mathcal{C})$ 构造包含 $\operatorname{Rep}(G)$ 作为全子范畴的模范畴，从而实现具有指定伽罗瓦群的预模范畴的构造。
• 构造了两类不同的模范畴：$\mathcal{Z}_1(\mathcal{Z}_1(\operatorname{Rep}(G)))$ 和 $\mathcal{Z}_1(\operatorname{Rep}(K))$，其中 $1 \to H \to K \to G \to 1$ 为群扩张，以实现具有 $\operatorname{Gal}(\mathcal{C}) \cong G$ 的非对称预模范畴。
• 推导出维度界：对于 $*$-范畴，有 $\dim \mathcal{C} \geq \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$，并证明在模闭包构造中等号成立。

实验结果

研究问题

• RQ1 每个模范畴是否都能分解为素模范畴的直积？
• RQ2 在何种条件下，预模范畴的模闭包在维度上达到最小？
• RQ3 每个预模范畴是否都能完全嵌入一个模范畴中，使得维度界 $\dim \mathcal{C} = \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$ 达到饱和？
• RQ4 每个有限群是否都能作为非对称预模范畴的伽罗瓦群出现？
• RQ5 包含 $\operatorname{Rep}(G)$ 的辫子张量范畴的模闭包结构如何？

主要发现

• 双重中心化定理成立：对于模范畴 $\mathcal{C}$ 中在直和、子对象和对偶下封闭的全子范畴 $\mathcal{K}$，有 $C_{\mathcal{C}}(C_{\mathcal{C}}(\mathcal{K})) = \mathcal{K}$ 且 $\dim \mathcal{K} \cdot \dim C_{\mathcal{C}}(\mathcal{K}) = \dim \mathcal{C}$。
• 每个模范畴 $\mathcal{C}$ 都可作为带绳范畴分解为 $\mathcal{C} \simeq \mathcal{K} \boxtimes \mathcal{L}$，其中 $\mathcal{K}$ 是全模子范畴，$\mathcal{L} = C_{\mathcal{C}}(\mathcal{K})$ 也是模的。
• 对任意有限群 $G$，存在一个酉的预模范畴 $\mathcal{C}$，使得 $\operatorname{Gal}(\mathcal{C}) \cong G$ 且 $\mathcal{C}$ 不是对称的，因此具有非平凡的模闭包。
• 当 $\dim \mathcal{C} > |G|^2$ 时，$\mathcal{D} = C_{\mathcal{C}}(\operatorname{Rep}(G))$ 的模闭包是非平凡的，特别地，当 $\mathcal{C} = \mathcal{Z}_1(\operatorname{Rep}(K))$ 且 $K$ 是 $H$ 对 $G$ 的扩张时，有 $\dim(\mathcal{D} \rtimes \operatorname{Rep}(G)) = |H|^2$。
• 对于 $*$-范畴，维度界 $\dim \mathcal{C} \geq \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$ 可达饱和，且在通过 $\mathcal{Z}_1(\mathcal{Z}_1(\operatorname{Rep}(G)))$ 构造模闭包时等号成立。
• 模闭包 $\mathcal{Z}_1(\operatorname{Rep}(G))$ 同构于 $D(G)\text{-mod}$，而 $C_{\mathcal{Z}_1(\operatorname{Rep}(K))}(\operatorname{Rep}(G))$ 的模闭包同构于 $D(H)\text{-mod}$，从而验证了模闭包结构的猜想。