[论文解读] On the operator content of nilpotent orbifold models

Chongying Dong, Geoffrey Mason|ArXiv.org|Dec 12, 1994

Algebraic structures and combinatorial models参考文献 16被引用 6

一句话总结

本文建立了有限幂零群 G 的子群与包含固定点子代数 V^G 的顶点算子子代数之间的伽罗瓦对应，并证明在扭曲模唯一性条件下，V^G-模的范畴通过群环 Z[G] 上的霍奇希爾德 3-上循环 α，与扭曲量子双代数 D_α(G) 的模范畴等价。该结果为共形场论中幂零对称群的对称化模型中的算子内容提供了范畴分类。

ABSTRACT

Let $V$ be a simple vertex operator algebra and $G$ be a finite nilpotent group of automorphisms of $V.$ We prove the following in this paper: (1) There is a Galois correspondence between subgroups of $G$ and the vertex operator subalgebras of $V$ which contain $V^G$ given by the map $H\mapsto V^H.$ (2) Assume that for every G\in G$ there is unique simple $g$-twisted $V$-module $M(g).$ Then there exists a Hochschild 3-cocycle $α$ on the integral group $Z[G]$ such that there is an equivalence of categories between $V^G$-module category (whose objects are $V^G$-submodules of direct sums of copies of $\oplus_{g\in G}M(g),$ and whose morphisms are $V^G$-module homomorphisms) and the module category for the twisted quantum double $D_α(G)$ associated to $α.$

研究动机与目标

• 建立有限幂零群 G 的子群与包含 V^G 的顶点算子代数 V 的子代数之间的伽罗瓦对应。
• 通过分析 V^G-模的范畴，对幂零对称化模型的算子内容进行分类。
• 确定 V^G-模范畴与扭曲量子双代数 D_α(G) 的模范畴等价的条件。
• 在扭曲模唯一性假设下，构造 Z[G] 上的霍奇希爾德 3-上循环 α，以实现该等价性。

提出的方法

• 利用有限幂零群 G 在简单顶点算子代数 V 上的作用，为每个子群 H ≤ G 定义固定点子代数 V^H。
• 证明映射 H ↦ V^H 构成 G 的子群与包含 V^G 的 V 的子代数之间的伽罗瓦对应。
• 假设对每个 g ∈ G，存在唯一的简单 g-扭曲 V-模 M(g)。
• 利用扭曲模的表示理论，在群环 Z[G] 上构造一个霍奇希爾德 3-上循环 α。
• 建立 V^G-模范畴（直接和 ⊕_{g∈G} M(g) 的子模）与扭曲量子双代数 D_α(G) 的模范畴之间的张量等价。
• 利用顶点算子代数与群上同调的结构，验证该等价性的结合性与一致性。

实验结果

研究问题

• RQ1 在 V 为简单顶点算子代数时，有限幂零群 G 的子群与包含 V^G 的 V 的子代数之间是否存在伽罗瓦对应？
• RQ2 在何种条件下，V^G-模范畴与扭曲量子双代数 D_α(G) 的模范畴等价？
• RQ3 能否构造一个 Z[G] 上的霍奇希爾德 3-上循环 α，使得 V^G-模范畴与 D_α(G)-模范畴等价？
• RQ4 对每个 g ∈ G，简单 g-扭曲 V-模 M(g) 的唯一性如何影响对称化理论的结构？
• RQ5 幂零对称化模型中的算子内容具有何种范畴结构？

主要发现

• 子群 H ≤ G 与包含 V^G 的 V 的子代数 V^H 之间存在伽罗瓦对应，且映射 H ↦ V^H 为双射。
• 当每个 g ∈ G 均存在唯一的简单 g-扭曲 V-模 M(g) 时，V^G-模范畴与扭曲量子双代数 D_α(G) 的模范畴等价。
• 该等价性通过 Z[G] 上的霍奇希爾德 3-上循环 α 实现，该上循环编码了范畴的结合性与辫子结构数据。
• 该构造通过 D_α(G) 的表示理论，完整地对幂零对称化模型中的算子内容进行了分类。
• 该结果将共形场论中对称化构造推广至具有幂零对称群的顶点算子代数设定。
• 该框架通过群上同调与范畴等价性，统一了扭曲模的表示理论与量子双代数理论。