[論文レビュー] 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)-特徴写像多様体の中心的関数の正規加法的基底を記述するスピンネットワーク記法を導入し、すべての such 関数が3つのトレース変数の多項式であることを証明する。この記法により、これらの関数を再帰的に計算するアルゴリズムを確立し、図式的不変量を用いて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)-特徴写像多様体の座標環に対する中心的関数の明示的加法的基底を構成すること。
• すべての中心的関数が3つのトレース変数の多項式であることを構成的証明することにより、Fricke, Klein, Vogtの古典的結果を再現すること。
• スピンネットワーク恒等式を用いて、中心的関数を再帰的に計算するアルゴリズムを確立すること。
• インデックスの置換に関して中心的関数基底に強い対称性が存在することを明らかにし、より高ランクの群へ一般化すること。

提案手法

• スピンネットワーク（各辺にラベル a,b,c を持つ、SL(2,C) の既約表現 V_a, V_b, V_c のテンソル積間のintertwinerを表すラベル付きグラフ）を用いる。
• 分解 𝕔[SL(2,ℂ)] ≅ ⨁_{n≥0} V_n^* ⊗ V_n を用いて、End(V_c) ⊂ End(V_a)⊗End(V_b) における不変量として中心的関数を構成する。
• Penroseのテンソル記法およびbirdtracksに基づく図式的記法を用い、図式的縮約により不変量を計算する。
• 補題5.7で得られる再帰関係式により、χ^{a,b,c} を (a±b±c)² を含む係数を伴う、より低い次数の中心的関数の線形結合として表現する。
• δ = ½(a+b+c) に関する帰納法を用い、すべての χ^{a,b,c} が ℂ[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}} は、½(−a+b+c), ½(a−b+c), ½(a+b−c) ∈ ℕ を満たす適切な三つ組 (a,b,c) によってインデックス付けられる、ℂ[ℛ//SL(2,ℂ)] の正規加法的基底をなす。
• 再帰関係式（補題5.7）により、χ^{a,b,c} が (a±b±c)² と組み合わせ的係数を含む x,y,z に関する多項式として明示的に計算可能である。
• すべての中心的関数が ℂ[x,y,z] に属することを示し、写像 ℂ[x,y,z] → ℂ[ℛ//SL(2,ℂ)] の全射性を証明するとともに、Fricke-Klein-Vogt恒等式を再現する。
• 基底は強い対称性を示す：定理5.2により、χ^{a,b,c} は (a,b,c) の置換に関して不変である。
• δ ≤ 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記号に類似した項を含む中心的関数の線形結合として表される。