[论文解读] On Chern-Simons Matrix Models

Stavros Garoufalidis, Marcos Mariño|ArXiv.org|Jan 16, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 15

一句话总结

本文为有理同调球面的U(N)版本LMO不变量建立了矩阵模型表示，表明其源于赫米特矩阵上的高斯矩阵积分。关键结果是：LMO不变量——其被猜想为在陈-西蒙斯理论中捕捉平凡连接贡献的量——可被精确表示为一个矩阵模型，其势能由构造3-流形所用手术链的康特维奇积分导出。

ABSTRACT

The contribution of reducible connections to the U(N) Chern-Simons invariant of a Seifert manifold $M$ can be expressed in some cases in terms of matrix integrals. We show that the U(N) evaluation of the LMO invariant of any rational homology sphere admits a matrix model representation which agrees with the Chern-Simons matrix integral for Seifert spheres and the trivial connection.

研究动机与目标

• 为有理同调球面的U(N)版本LMO不变量建立矩阵模型表示。
• 通过LMO不变量与阿鲁斯积分形式化，阐明陈-西蒙斯不变量与矩阵积分之间的联系。
• 表明以U(N)权系统计算的LMO不变量对应于高斯矩阵模型积分。
• 证明矩阵模型的势能由手术链的康特维奇积分决定。
• 确认结果与塞费特同调球面及平凡连接贡献的已知结果一致。

提出的方法

• 使用LMO不变量的阿鲁斯积分表示，将其表达为雅可比图代数中的形式幂级数。
• 应用U(N)权系统，将LMO不变量映射为赫米特N×N矩阵上的形式矩阵积分。
• 通过赫米特矩阵上的标准测度与威克收缩定义高斯矩阵模型积分。
• 建立可交换图，表明LMO积分映射与高斯矩阵模型积分一致。
• 利用已知的高斯积分的特征值表示，将矩阵模型期望表示为舒尔多项式。
• 通过比较具体例子（如两方框的分拆）与已知矩阵积分结果，验证等价性。

实验结果

研究问题

• RQ1 有理同调球面的U(N)版本LMO不变量能否表示为矩阵积分？
• RQ2 矩阵模型势能与手术链的康特维奇积分有何关系？
• RQ3 被猜想为捕捉陈-西蒙斯理论中平凡连接贡献的LMO不变量，是否具有矩阵模型形式？
• RQ4 LMO构造中的积分映射是否等价于高斯矩阵模型积分？
• RQ5 矩阵模型表示在多大程度上重现了塞费特同调球面的已知结果？

主要发现

• 任何有理同调球面的U(N)版本LMO不变量均可精确表示为高斯矩阵积分。
• 矩阵模型势能由构造3-流形所用手术链的康特维奇积分导出。
• 通过威克收缩与特征值表示验证，矩阵模型积分映射与LMO积分映射一致。
• 显式计算证实矩阵模型与已知结果一致：∫s₂ dX = N(N+1)/2 且 ∫s₁,₁ dX = -N(N-1)/2。
• 对于塞费特球面，LMO不变量与包含双曲正弦函数和戴德金和的已知矩阵模型表达式一致。
• 该结果支持了如下猜想：陈-西蒙斯理论中平凡连接贡献具有普遍的矩阵模型表示。