[论文解读] Congruence subgroups and rational conformal field theory

Antoine Coste, Terry Gannon|ArXiv.org|Sep 15, 1999

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

一句话总结

本文研究了有理 conformal field theories (RCFTs) 的字符在 SL₂(ℤ) 的同余子群下是否变换为模形式。若模 T-矩阵的阶为奇数，则 RCFT 的字符是某个 Γ(N) 的模形式。对于偶数阶 T-矩阵，本文基于伽罗瓦对称性提出一个检验方法，若满足该条件，则可推出同余性质。其主要贡献在于建立了一个将 RCFT 模数据的代数结构与同余子群行为相联系的判别准则。

ABSTRACT

We address here the question of whether the characters of an RCFT are modular functions for some level N, i.e. whether the representation of the modular group SL_2(Z) coming from any RCFT is trivial on some congruence subgroup. We prove that if the matrix T, associated to $(\matrix{1&1\cr 0&1})\in{ m SL}_2(\Z)$, has ODD order, then this must be so. When the order of T is even, we present a simple test which if satisfied -- and we conjecture it always will be -- implies that the characters for that RCFT will also be level N. We use this to explain three curious observations in RCFT made by various authors.

研究动机与目标

• 确定有理 conformal field theory (RCFT) 的模表示是否通过 SL₂(ℤ) 的同余子群进行因子分解。
• 解决一个长期存在的猜想：所有 RCFT 均具有同余性质，即其字符是某个 Γ(N) 的模函数。
• 为 T-矩阵阶为偶数的 RCFT 提供一个实用的同余性质检验方法。
• 利用同余子群理论与伽罗瓦对称性，解释 RCFT 文献中的三个经验观察。
• 深化对 RCFT 中模数据、伽罗瓦作用与同余子群结构之间关系的理解。

提出的方法

• 使用与 RCFT 字符相关的 SL₂(ℤ) 的模表示 ρ，其由 S 与 T 矩阵在初级场空间上的作用定义。
• 应用 Verlinde 公式将 S-矩阵与融合规则关联，并分析伽罗瓦作用对 RCFT 数据的影响。
• 利用字符与 T-矩阵元素的伽罗瓦对称性，推导出同余性质的充要条件。
• 应用同余子群及其表示的理论，特别是利用群 SL₂(N) 及其关系。
• 利用如下事实：若 T-矩阵阶为奇数，则通过伽罗瓦共轭与范数同余关系，表示可因子化为同余子群。
• 对于偶数阶 T-矩阵，引入一个基于伽罗瓦自同构对 T-矩阵元素作用行为的检验方法，条件为 T_{σ(a),σ(a)} = σ²(T_{aa})

实验结果

研究问题

• RQ1 在 T-矩阵满足何种条件时，有理 conformal field theory 的字符是某个同余子群 Γ(N) 的模形式？
• RQ2 当 T-矩阵阶为奇数时，模表示是否一定通过同余子群因子化？
• RQ3 能否为 T-矩阵阶为偶数的 RCFT 制定一个实用的检验方法，以判断其是否仍满足同余性质？
• RQ4 为何某些 RCFT（如仿射 Kac-Moody 理论与对称化理论）始终表现出同余性质？
• RQ5 模数据的伽罗瓦对称性如何约束模表示的结构及其在 SL₂(ℤ) 中的像？

主要发现

• 若 RCFT 中的 T-矩阵阶为奇数，则模表示因子化为同余子群 Γ(N)，因此字符是某个水平 N 的模形式。
• 对于 T-矩阵阶为偶数的 RCFT，本文提出一个基于伽罗瓦对称性的检验：若伽罗瓦共轭满足 T_{σ(a),σ(a)} = σ²(T_{aa})，则同余性质成立。
• 该检验被推测始终成立，意味着所有 RCFT 均满足同余性质，从而支持猜想 1。
• 作者解释了 RCFT 文献中的三个经验观察（如傅里叶系数为代数整数的模函数出现）为同余性质的推论。
• 本文提出了一种使用自同构的新 SL₂(N) 表示方法，简化了同余子群检验，并相比先前工作减少了关系数量。
• 结果被应用于仿射 Kac-Moody 代数与对称化 RCFT，两者均通过伽罗瓦检验被证明满足同余性质，与已知结果一致。