[论文解读] Algebraic K-Theory and Partition Functions in Conformal Field Theory

Sinéad Keegan|ArXiv.org|May 30, 2007

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

一句话总结

本博士论文通过基于ADET Dynkin图的可积模型，建立了代数K-理论（特别是Bloch群和polylogarithm函数）与有理 conformal field theories（RCFTs）之间的严格联系。利用Yangian与李代数的表示理论，作者求解了(D_m, A_n)模型的Kirillov-Reshetikhin方程，并计算了有效中心荷，表明某些q-超几何级数f_{A,B,C}是RCFT的模形式特征标，其中当A = \begin{pmatrix}4&1\\1&1\end{pmatrix}时，得到c_{\text{eff}} = \frac{80}{11}。

ABSTRACT

Certain integrable models are described by pairs (X,Y) of ADET Dynkin diagrams. At high energy these models are expected to have a conformally invariant limit. The S-matrix of the model determines algebraic equations, whose solutions are mapped to the central charge and scaling dimensions of the corresponding conformal field theory. We study the equations of the (D_m,A_n) model and find all solutions explicitly using the representation theory of Lie algebras and related Yangians. These mathematically rigorous results are in agreement with the expectations arising from physics. We also investigate the overlap between certain q-hypergeometric series and modular functions. We study a particular class of 2-fold q-hypergeometric series, denoted f_{A,B,C}. Here A is a positive definite, symmetric, 2x2 matrix, B is a vector of length 2, and C is a scalar, all three with rational entries. It turns out that for certain choices of the matrix A, the function f_{A,B,C} can be made modular. We calculate the corresponding values of B and C. It is expected that functions f_{A,B,C} arising in this way are characters of some rational conformal field theory. We show that this is true in at least one case.

研究动机与目标

• 建立一个数学框架，将代数K-理论（特别是Bloch群与dilogarithm恒等式）与有理共形场论（RCFTs）联系起来。
• 利用李代数与Yangian的表示理论，求解(D_m, A_n)型可积模型的Kirillov-Reshetikhin方程。
• 研究双变量q-超几何级数f_{A,B,C}的模性质，并确定其作为RCFT特征标的条件。
• 计算(D_m, A_n)及例外李代数模型(E_m, T_1)的有效中心荷，验证其与物理预期的一致性。

提出的方法

• 利用与李代数D_r和E_m相关的Yangian表示理论，求解可积模型的Kirillov-Reshetikhin方程。
• 应用Weyl特征标公式与Weyl分母恒等式，计算不可约表示的特征标及其在子代数上的限制。
• 利用dilogarithm函数的函数方程与Bloch群中的挠元，将模型方程的解与中心荷联系起来。
• 从模型的S矩阵导出关于变量x_i的对数方程组，代数求解以提取中心荷与标度维数数据。
• 分析f_{A,B,C}的模性质，该级数为具有有理矩阵A、向量B与标量C的双变量q-超几何级数，识别其成为模形式的情形。
• 利用Galois群作用于解上，对所得中心荷的整数性与模性进行分类与验证。

实验结果

研究问题

• RQ1 在代数K-理论中，(D_m, A_n)模型的Kirillov-Reshetikhin方程的解如何与Bloch群及dilogarithm恒等式相关联？
• RQ2 在何种参数A、B、C条件下，双变量q-超几何级数f_{A,B,C}是模形式，且是否对应于有理共形场论的特征标？
• RQ3 (D_m, A_n)模型的有效中心荷c_{\text{eff}}是多少？其与共形场论预测值相比如何？
• RQ4 能否证明当A = \begin{pmatrix}4&1\\1&1\end{pmatrix}时，函数f_{A,B,C}是某个有理CFT的模特征标？
• RQ5 模型方程解上的Galois群作用如何反映中心荷模24\mathbb{Z}的结构？

主要发现

• 对于(D_m, A_n)模型，当x_1 = \frac{1}{2} + \frac{\sqrt{5}}{10}时，有效中心荷计算为c_{\text{eff}} = \frac{24}{5}，与已知RCFT值一致。
• 在(E_7, T_1)模型中，解x_1 = -\frac{3}{2} + \frac{\sqrt{21}}{2}给出c_{\text{eff}} = 6，与极小模型预期一致。
• 在(E_8, T_1)模型中，一个解给出c_{\text{eff}} = \frac{80}{11}，由x_1 = -4\cos(\frac{5\pi}{11}) + 2\cos(\frac{4\pi}{11}) - 2\cos(\frac{3\pi}{11}) + 2\cos(\frac{\pi}{11})导出，确认了中心荷预测。
• 当A = \begin{pmatrix}4&1\\1&1\end{pmatrix}时，双变量q-超几何级数f_{A,B,C}被证明是模形式，其参数B与C被显式计算，支持其作为有理CFT特征标的解释。
• 模型方程解上的Galois群作用被发现保持了中心荷模24\mathbb{Z}的结构，将数论与CFT数据联系起来。
• 该方法成功求解了(D_m, A_n)与(E_m, T_1)模型的所有方程解，验证了代数K-理论与共形场论预测的一致性。