[论文解读] Global dimensions for Lie groups at level k and their conformally exceptional quantum subgroups

Robert Coquereaux|arXiv (Cornell University)|Mar 12, 2010

Algebraic structures and combinatorial models参考文献 30被引用 4

一句话总结

本文推导出与复李群在等级 $k$ 下关联的融合范畴的全局维数的显式公式，为所有单李群引入了李量子超阶乘。进一步通过共形嵌入计算了共形例外量子子群的全局维数，对类型 $A_r$ 以量子 Barnes 函数表示结果，并给出了如 $E_8$ 在等级 30 时的精确值，计算得维数约为 $5.579 imes 10^{22}$。该框架与陈-西蒙斯理论及边界共形场论相关联。

ABSTRACT

We obtain formulae giving global dimensions for fusion categories defined by Lie groups G at level k and for the associated module-categories obtained via conformal embeddings. The results can be expressed in terms of Lie quantum superfactorials of type G. The later are related, for the type Ar, to the quantum Barnes function.

研究动机与目标

• 推导与复李群 $G$ 在等级 $k$ 下关联的融合范畴 ${\mathcal{A}}_k(G)$ 的全局维数的一般公式。
• 将这些结果扩展至 ${\mathcal{A}}_k(G)$ 上的模范畴 ${\mathcal{E}}$，特别是源自共形嵌入的情形。
• 为所有单李群定义并计算李量子超阶乘，特别关注类型 $A_r$ 及其与量子 Barnes 函数的关系。
• 将数学结果与陈-西蒙斯拓扑场论及边界 WZW 共形场论中的物理解释相联系。
• 在关键情形下提供全局维数的显式数值，包括 $E_8$ 在等级 30 时最大的例外共形例外子群。

提出的方法

• 通过模 $S$-矩阵元素 $S_{00}$ 的平方倒数计算 ${\mathcal{A}}_k(G)$ 的全局维数，其与量子 Weyl 分母成正比。
• 将量子 Weyl 分母表示为李群 $G$ 的指数上量子阶乘的乘积，对非 simply-laced 类型进行调整。
• 对于模范畴 ${\mathcal{E}}$，其全局维数与 $\mathrm{End}_{{\mathcal{A}}_k(G)}{\mathcal{E}}$ 的双侧子范畴的维数相关，尤其在共形嵌入下得以简化。
• 利用 Frobenius 代数与张量函子理论，将模范畴描述为 ${\mathcal{A}}_k(G)$ 在加法、半单、不可约范畴上的作用。
• 对于类型 $A_r$，通过在整数参数和单位根处取值的量子 Barnes 函数来计算李量子超阶乘。
• 推导出共形例外量子子群全局维数的显式公式，包括使用 $q = \exp(i\pi/60)$ 的 $E_8$ 在等级 30 的情形。

实验结果

研究问题

• RQ1 如何利用模 $S$-矩阵数据系统地计算李群 $G$ 在等级 $k$ 下的融合范畴 ${\mathcal{A}}_k(G)$ 的全局维数？
• RQ2 模范畴 ${\mathcal{E}}$ 在 ${\mathcal{A}}_k(G)$ 上的结构及其全局维数是怎样的，特别是当 ${\mathcal{E}}$ 源自共形嵌入时？
• RQ3 李量子超阶乘如何为所有单李群定义，其与已知特殊函数（如量子 Barnes 函数）的关系是什么？
• RQ4 $E_8$ 在等级 30 时最大的共形例外量子子群的全局维数是多少，其与陈-西蒙斯划分函数有何关联？
• RQ5 此类范畴的全局维数能否在拓扑量子场论或边界共形场论的语境下进行解释？

主要发现

• ${\mathcal{A}}_k(G)$ 的全局维数由 $|{\mathcal{A}}_k(G)| = 1/S_{00}^2$ 给出，其中 $S_{00}$ 是模 $S$-矩阵的 $(0,0)$ 元素。
• 对于类型 $A_r$，李量子超阶乘可表示为在整数参数和单位根处取值的量子 Barnes 函数。
• 在正则对称系列中，$SU(g)$ 在等级 $g+2$ 下的共形例外量子子群的全局维数为 $|{\mathcal{E}}_{g+2}(SU(g))| = \{6, 12(2+\sqrt{2}), 40(5+2\sqrt{5}), 360(7+4\sqrt{3}), \ldots\}$。
• 在 $SU(g)$ 和 $SU(g-2)$ 中，共形例外子群的秩-等级对偶维数之比为 $g/(g-2)$，由两个 $\sqrt{g/(g-2)}$ 贡献项导出。
• $E_8$ 在等级 30 时最大的共形例外子群的全局维数计算为 $|{\mathcal{E}}_{30}(E_8)| = 2 \times \frac{60^4}{2^{120} \cdot [1]!_q [7]!_q \cdots [29]!_q \cdot \sin^{120}(\pi/60)} \approx 5.57902 \times 10^{22}$。
• $G = SU(N)$ 在等级 $k$ 下的 $S^3$ 上的陈-西蒙斯划分函数与 ${\mathcal{A}}_k(SU(N))$ 的全局维数直接相关，与已知结果一致。