[论文解读] Spin networks and SL(2,C)-Character varieties

Sean Lawton, Elisha Peterson|arXiv (Cornell University)|Nov 10, 2005

Advanced Algebra and Geometry参考文献 23被引用 6

一句话总结

本文引入一种自旋网络演算，用于描述秩2自由群的SL(2,C)-特征簇的中心函数的规范加法基，证明所有此类函数均为三个迹变量的多项式。该文建立了一种递归算法来计算这些函数，并通过图解不变量给出了Fricke-Klein-Vogt迹恒等式的全新证明。

ABSTRACT

Denote the free group on 2 letters by F_2 and the SL(2,C)-representation variety of F_2 by R=Hom(F_2,SL(2,C)). The group SL(2,C) acts on R by conjugation. We construct an isomorphism between the coordinate ring C[SL(2,C)] and the ring of matrix coefficients, providing an additive basis of C[R]^SL(2,C) in terms of spin networks. Using a graphical calculus, we determine the symmetries and multiplicative structure of this basis. This gives a canonical description of the regular functions on the SL(2,C)-character variety of F_2 and a new proof of a classical result of Fricke, Klein, and Vogt.

研究动机与目标

• 开发一种利用自旋网络研究亏格为−1的曲面的基本群的SL(2,C)-表示的图形化演算。
• 为秩2自由群的SL(2,C)-特征簇的坐标环构造一个显式的中心函数加法基。
• 提供一种构造性证明，表明所有中心函数均为三个迹变量的多项式，从而恢复Fricke、Klein与Vogt的经典结果。
• 建立一种递归算法，利用自旋网络恒等式计算中心函数。
• 揭示中心函数基在指标置换下的强对称性，并将其推广至更高秩群。

提出的方法

• 利用自旋网络——即标记图，表示不可约SL(2,C)-表示V_a、V_b、V_c的张量积之间的互变算子。
• 采用分解 𝕔[SL(2,ℂ)] ≅ ⨁_{n≥0} V_n^* ⊗ V_n，将中心函数构造为End(V_c) ⊂ End(V_a)⊗End(V_b)中的不变量。
• 应用基于Penrose张量记号和鸟迹法的图解演算，通过图形收缩计算不变量。
• 推导出一个递推关系式（推论5.7），用包含(a±b±c)²的系数将χ^{a,b,c}表示为低次中心函数的组合。
• 通过度数δ = ½(a+b+c)的归纳法，证明每个χ^{a,b,c}属于ℂ[x,y,z]，其中x,y,z为生成元的迹。
• 建立一个对偶公式，将x,y,z的单项式表示为中心函数的线性组合，从而实现双向转换。

实验结果

研究问题

• RQ1 如何利用自旋网络为秩2自由群的SL(2,C)-特征簇的坐标环构造一个规范加法基？
• RQ2 中心函数基在指标(a,b,c)置换下表现出何种对称性质？
• RQ3 能否推导出一种递归算法，将任意中心函数χ^{a,b,c}表示为低次函数的组合？
• RQ4 迹函数x = tr(ρ(x))、y = tr(ρ(y))、z = tr(ρ(z))在多大程度上能生成整个不变量环ℂ[ℛ//SL(2,ℂ)]？
• RQ5 图解演算如何为SL(2,C)中乘积迹的Fricke-Klein-Vogt迹恒等式提供一种新证明？

主要发现

• 中心函数基{χ^{a,b,c}}构成ℂ[ℛ//SL(2,ℂ)]的规范加法基，由满足½(−a+b+c)、½(a−b+c)、½(a+b−c) ∈ ℕ的容许三元组(a,b,c)索引。
• 递推关系式（推论5.7）允许显式计算χ^{a,b,c}为x,y,z的多项式，其系数包含(a±b±c)²和组合因子。
• 证明所有中心函数均属于ℂ[x,y,z]，从而证明了映射ℂ[x,y,z] → ℂ[ℛ//SL(2,ℂ)]的满射性，并恢复了Fricke-Klein-Vogt恒等式。
• 该基表现出强对称性：χ^{a,b,c}在(a,b,c)的置换下不变，如定理5.2所确立。
• 对δ ≤ 4的显式计算（表2）表明：χ^{2,0,2} = x²−1，χ^{1,1,2} = xy − ½z，χ^{2,2,2} = xyz − ½(x²+y²+z²)+1。
• 对偶公式将单项式x^a y^b z^c表示为具有二项式差和6j符号类项的中心函数的线性组合。