[论文解读] Quantum Dimensions and Quantum Galois Theory

Chongying Dong, Xiangyu Jiao+1 more|arXiv (Cornell University)|Jan 13, 2012

Algebraic structures and combinatorial models参考文献 32被引用 5

一句话总结

本文引入了顶点算子代数（VOA）模的量子维数，建立了其性质，并利用它们为具有有限自同构群的有理VOA构建了完整的伽罗瓦理论。证明了当量子维数为1时，其对应于简单电流；通过子群包含关系刻画伽罗瓦扩张；并表明可能的量子维数值被限制在{2cos(π/n) | n ≥ 3} ∪ [2, ∞)之间，与子因子指标值一致。

ABSTRACT

The quantum dimensions of modules for vertex operator algebras are defined and their properties are discussed. The possible values of the quantum dimensions are obtained for rational vertex operator algebras. A criterion for simple currents of a rational vertex operator algebra is given. A full Galois theory for rational vertex operator algebras is established using the quantum dimensions.

研究动机与目标

• 定义并系统研究顶点算子代数模的量子维数。
• 利用Perron-Frobenius理论和图论，确定有理、C₂-余有限VOA的量子维数可能取值。
• 通过量子维数作为关键不变量，建立有限自同构群G的子群与包含V^G的VOA之间的完全伽罗瓦对应关系。
• 证明一个模是简单电流当且仅当其量子维数为1。
• 证明模的量子维数等于其在群代数分解中对应不可约表示的维数。

提出的方法

• 将量子维数定义为各分量维数之比的极限：limₙ→∞ (dim M_{λ+n} / dim V_n)。
• 利用模的q-特征函数和模S-矩阵，通过Verlinde公式和模不变性计算量子维数。
• 建立三种定义的等价性：分量比值的极限、累积和的极限，以及特征函数比值在q→1时的极限。
• 应用Perron-Frobenius定理由融合矩阵约束可能的量子维数值为{2cos(π/n) | n ≥ 3} ∪ [2, ∞)。
• 利用群代数分解V ≅ ⊕_χ W_χ ⊗ V_χ，将量子维数与自同构群G的不可约表示联系起来。
• 证明群类元素g = ∑_h λ_h h ∈ ℂ[G]满足Δ(g) = g⊗g，从而实现伽罗瓦对应。

实验结果

研究问题

• RQ1 有理、C₂-余有限顶点算子代数的不可约模的量子维数可能取值是什么？
• RQ2 量子维数如何用于刻画VOA中的简单电流？
• RQ3 能否使用量子维数为V^G ⊂ V且自同构群G有限的VOA建立完整的伽罗瓦理论？
• RQ4 模的量子维数是否等于其在群代数分解中对应不可约表示的维数？
• RQ5 量子维数如何与有理VOA中的S-矩阵和模不变性相关联？

主要发现

• 两个模的张量积的量子维数等于其各自量子维数的乘积。
• 不可约模是简单电流当且仅当其量子维数恰好为1。
• 有理、C₂-余有限VOA的量子维数可能取值被限制在{2cos(π/n) | n ≥ 3} ∪ [2, ∞)之间，与II型子因子指标的平方根可能取值一致。
• 对于有限自同构群G的任意子群H，有[V : V^H] = o(H)，即H的阶。
• G的子群与V^G和V之间的VOA之间的伽罗瓦对应关系已完全建立，V^H是V^G的伽罗瓦扩张当且仅当H在G中正规。
• 在分解V ≅ ⊕_χ W_χ ⊗ V_χ中，V^G上不可约模V_χ的量子维数等于dim W_χ，即对应不可约G-模的维数。