[論文レビュー] Topological quantum field theory and hyperkähler geometry

Justin Sawon|arXiv (Cornell University)|Sep 25, 2000

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

この論文は、LMO不変量に基づく村上・大槻TQFTに、超ケーラー多様体のコホロジーから得られる超ケーラー重み関数を適用することで、超ケーラートポロジカル量子場理論（TQFT）を構成する。主な結果として、得られるTQFTのヒルベルト空間がロザンスキー＝ウィットン理論と同一であることが示され、有限型不変量と超ケーラー幾何の間に深い関係があることが示唆される。

ABSTRACT

Rozansky and Witten proposed a 3-dimensional sigma-model whose target space is a hyperkähler manifold. They conjectured that this theory has an associated TQFT, with Hilbert spaces given by certain cohomology groups of the hyperkähler manifold. On the other hand, there is a certain modified TQFT constructed by Murakami and Ohtsuki using the universal quantum invariant. We explain how the Rozansky-Witten TQFT can be obtained from the latter by applying a `hyperkähler weight system'.

研究の動機と目的

• 超ケーラー多様体のコホロジーから得られる重み関数を村上・大槻TQFTに適用することで、超ケーラーTQFTを構築すること。
• 得られるTQFTが、特に genus g のリーマン面に対してロザンスキー＝ウィットン理論のヒルベルト空間と一致するかどうかを調査すること。
• コホロジー的ペアリングを用いて、村上・大槻TQFTの枠組み内でロザンスキー＝ウィットンの観測量を再解釈すること。
• 村上・大槻構成に基づき、超ケーラーヒルベルト空間上のマッピングクラス群作用を構築すること。
• 境界が非連結である3次元多様体への重み関数の適用における技術的課題を解決すること。

提案手法

• LMO不変量と3次元多様体の普遍的有限型不変量に基づく、修正されたTQFTである村上・大槻TQFTを用いる。
• 超ケーラー多様体のコホロジーおよびベクトル束から構成される超ケーラー重み関数を、村上・大槻TQFTの図式的空間に適用する。
• 有向辺と単一頂点を持つ3価グラフ上のチャネル図を、AS、IHX、STU、および分岐関係を法として、指定された部分空間に制限して扱う。
• g個の区間の集合上の図式的空間から、木Δを区間部分に接続したグラフΓ上の図式的空間へ写像ρを定義する。
• ラベル付きタブと根に基づく分岐関係を用いて、Γの木部分から区間部分へチャネル図の脚を「押し出す」ことで、逆写像σを構成する。
• σがwell-definedな逆写像であることを示し、STU関係を含む関係の下での同値性を用いて、A(∅)-加群としてのρの同型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 村上・大槻TQFTに超ケーラー重み関数を一貫的に適用することで、ロザンスキー＝ウィットン理論と同一のヒルベルト空間を持つTQFTを構成できるか？
• RQ2 超ケーラー多様体上の複素構造の選択が、得られるTQFTのヒルベルト空間にどのように依存するか？
• RQ3 ロザンスキー＝ウィットンの観測量は、村上・大槻枠組み内でのTQFTのベクトルとコホロジー類のペアリングとして、どの程度まで回復可能か？
• RQ4 区間上の図式的空間と木を接続したグラフ上の図式的空間の間の同型が、TQFTの構造にどのような意味を持つのか？
• RQ5 マッピングクラス群作用は、村上・大槻TQFTからどのように超ケーラーヒルベルト空間に導かれるか？

主な発見

• 重み関数を村上・大槻TQFTに適用して構成された超ケーラーTQFTは、ロザンスキー＝ウィットン理論と同一のヒルベルト空間を持つ：H_g = ⨁_q H^q(X, (Λ^•T)^⊗g)。
• 写像ρ: A(⊔_i=1^g I) → A(Γ)は、A(∅)-加群としての同型である。これは、木部分から区間部分へ脚を押し出す逆写像σを構成することで証明された。
• 逆写像σはSTU関係を法としてwell-definedである。これは、根の周りを脚をスライドさせる際の不確実性が、目標空間内の既知の恒等式により消えるためである。
• この構成により、区間に基づく図式的空間からグラフに基づく空間へのTQFT構造の転送が可能となる図式的同型が得られた。
• ロザンスキー＝ウィットン理論のすべての観測量は、TQFTのベクトルと超ケーラー多様体のコホロジー類のペアリングとして、命題4.1で形式化された形で回復可能である。
• このアプローチは、LMO不変量とロザンスキー＝ウィットン不変量の背後にある普遍的有限型構造を示唆し、両TQFTが同値であるという予想を支持する。