[論文レビュー] 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不変量が、手術リンクのコンツェビッチ積分から導かれるポテンシャルを持つ行列モデルとして正確に表現可能であるということである。

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不変量を写像する。
• ヘルミート行列上の標準測度とウィック縮約を用いてガウス型行列モデル統合を定義する。
• LMO統合写像とガウス型行列モデル統合写像が一致することを示す可換図式を構築する。
• 既知の固有値表現を用いて、行列モデル期待値をシュール多項式の形に表現する。
• 具体的な例（2つの箱を持つ分割など）を比較することで、等価性を検証する。

実験結果

リサーチクエスチョン

• 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不変量は双曲正弦関数とデデキンド和を含む既知の行列モデル式と一致する。
• この結果は、チェーン＝サイモンズ理論における自明な接続寄与が普遍的な行列モデル表現を持つという予想を支持する。