[論文レビュー] Hyper-Kahler Geometry and Invariants of Three-Manifolds

Lev Rozansky, Edward Witten|arXiv (Cornell University)|Dec 20, 1996

Black Holes and Theoretical Physics参考文献 15被引用数 8

ひとこと要約

本稿では、ハイパーカラーマンフォールド X を標的多様体とする3次元トポロジカルσ模型を導入し、フェยマン図式計算を通じてその分配関数が3次元多様体の有限型不変量を生じることを示している。X の曲率は、チャーン=サイモンズ理論における構造定数と類似した役割を果たし、バイアンキ恒等式により不変量間のIH X関係が保証され、新たな3価グラフ重み系が得られ、特定のXの選択に対してカソン=ウォーカー不変量が回復される。

ABSTRACT

We study a 3-dimensional topological sigma-model, whose target space is a hyper-Kahler manifold X. A Feynman diagram calculation of its partition function demonstrates that it is a finite type invariant of 3-manifolds which is similar in structure to those appearing in the perturbative calculation of the Chern-Simons partition function. The sigma-model suggests a new system of weights for finite type invariants of 3-manifolds, described by trivalent graphs. The Riemann curvature of X plays the role of Lie algebra structure constants in Chern-Simons theory, and the Bianchi identity plays the role of the Jacobi identity in guaranteeing the so-called IHX relation among the weights. We argue that, for special choices of X, the partition function of the sigma-model yields the Casson-Walker invariant and its generalizations. We also derive Walker's surgery formula from the SL(2,Z) action on the finite-dimensional Hilbert space obtained by quantizing the sigma-model on a two-dimensional torus.

研究の動機と目的

• ハイパーカラーマン多様体を標的空間とするトポロジカルσ模型を用いて、3次元多様体の新たな有限型不変量を構成すること。
• ハイパーカラーマン多様体のリーマン曲率とチャーン=サイモンズ理論におけるリー代数の構造定数との対応を確立すること。
• 曲率テンソルのバイアンキ恒等式を用いて、3次元多様体不変量の文脈でIH X関係を導出すること。
• 特定のハイパーカラーマン多様体に対して、σ模型の分配関数がカソン=ウォーカー不変量およびその一般化を再現することを示すこと。
• トーラス上でモデルを量子化して得られるヒルベルト空間におけるSL(2,Z)作用から、ウォーカーの手術公式を導出すること。

提案手法

• ハイパーカラーマン多様体Xを標的空間とする3次元トポロジカルσ模型を定式化する。
• フェイマン図式技法を用いて分配関数を計算し、有限型不変量を抽出する。
• Xのリーマン曲率を、チャーン=サイモンズ理論における構造定数の類似物として特定する。
• 曲率テンソルのバイアンキ恒等式を用いて、3価グラフ重み間のIH X関係を導出する。
• 2次元トーラス上でモデルを量子化し、有限次元ヒルベルト空間を得て、その上でのSL(2,Z)作用を解析する。
• SL(2,Z)変換におけるヒルベルト空間のモジュラー性質から、ウォーカーの手術公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーカラーマン多様体上のトポロジカルσ模型は、どのようにして3次元多様体の有限型不変量を生成するのか？
• RQ2 リーマン曲率テンソルは、これらの不変量の構造において果たす役割は何か？また、リー代数の構造定数とはどのように関係するか？
• RQ3 曲率テンソルのバイアンキ恒等式は、どのようにして3価グラフ重み間のIH X関係を強制するのか？
• RQ4 どのような条件下で、σ模型の分配関数がカソン=ウォーカー不変量を再現するのか？
• RQ5 トーラス上で量子化して得られるヒルベルト空間のモジュラー表現から、カソン不変量のウォーカーの手術公式を導出できるか？

主な発見

• ハイパーカラーマン多様体Xを標的空間とする3次元トポロジカルσ模型の分配関数は、3次元多様体の有限型不変量である。
• Xのリーマン曲率は、チャーン=サイモンズ理論における構造定数と類似した役割を果たし、不変量の展開における3価グラフの重みを定義する。
• 曲率テンソルのバイアンキ恒等式により、グラフ重み間のIH X関係が保証され、ゲージ理論におけるヤコビ恒等式に類似した性質を示す。
• K3表面やその解体など、特定のXの選択に対して、分配関数はカソン=ウォーカー不変量およびその一般化を生成する。
• トーラス上で量子化して得られる有限次元ヒルベルト空間におけるSL(2,Z)作用から、ウォーカーの手術公式が導出される。
• 本モデルは、ハイパーカラーマン幾何を通じて有限型不変量の幾何的実現を提供し、微分幾何と量子トポロジーを結ぶ。