[論文レビュー] The Universal Perturbative Quantum 3-manifold Invariant, Rozansky-Witten Invariants, and the Generalized Casson Invariant

Nathan Habegger, G.E. Thompson|ArXiv.org|Nov 8, 1999

Geometric and Algebraic Topology参考文献 35被引用数 14

ひとこと要約

本稿は、普遍的摂動的量子3次元多様体不変量 $Z^{LMO}$ とRozansky-Witten不変量の間の推測的関係を確立し、$b_1(M) > 3$ のとき $Z^{LMO}(M) = 1$ であり、$b_1(M) = 3$ のときはコhomology環によって完全に決定されることを示している。さらに、一般化されたCasson不変量が $Z^{LMO}$ から計算可能であると示唆し、トポロジカル量子場理論と有限型不変量を結びつける物理的・数学的枠組みを提供する。

ABSTRACT

Let Z^{LMO} be the 3-manifold invariant of [LMO]. It is shown that Z^{LMO}(M)=1, if the first Betti number of M, b_{1}(M), is greater than 3. If b_{1}(M)=3, then Z^{LMO}(M) is completely determined by the cohomology ring of M. A relation of Z^{LMO} with the Rozansky-Witten invariants Z_{X}^{RW}[M] is established at a physical level of rigour. We show that Z_{X}^{RW}[M] satisfies appropriate connected sum properties suggesting that the generalized Casson invariant ought to be computable from the LMO invariant.

研究の動機と目的

• LMO不変量 $Z^{LMO}$ とRozansky-Witten不変量 $Z^{RW}_X$ の間の推測的物理的・数学的関係を確立すること。
• 一般化されたCasson不変量が $Z^{LMO}$ から計算可能かどうかを、特に連結和の性質を通じて調査すること。
• 第一ベッチ数が小さい（$b_1(M) \leq 3$）3次元多様体における $Z^{LMO}$ のトポロジカルな意味を特定すること。
• $Z^{LMO}$ が普遍的摂動的量子不変量としての役割を果たし、重み関数を通じて量子不変量を統一する可能性を探索すること。
• $Z^{LMO}$ がCasson-Walker-Lescop不変量や高階の不変量といった古典的トポロジカル不変量を捉えている証拠を提示すること。

提案手法

• IHXおよびAS関係を modulo とする空間 $A(\emptyset)$ におけるフェルミオン図式技術を用いて $Z^{LMO}(M)$ を分析する。
• 第一ベッチ数 $b_1(M) \geq 4$ の3次元多様体に対してLMO不変量の構造を適用し、関連する図式の消滅により $Z^{LMO}(M) = 1$ を証明する。
• コhomology環のデータを用いて $b_1(M) = 3$ のとき $Z^{LMO}(M)$ を完全に決定する。AS関係と図式的制約に依存する。
• 経路積分的議論とBRST対称性に基づき、Rozansky-Witten不変量と $Z^{LMO}$ の間のヒューリスティックな物理的対応を確立する。
• $S^2$ 上のヒルベルト空間形式を適用し、$Z^{LMO}$ の連結和公式を導出し、$S^3$ 上の分配関数と関連付ける。
• 超ケーラー多様体上でのバーレリン積分と曲率テンソルの分解を用い、Euler類をGrassmann積分として表現し、$Z^{RW}$ の重み関数を支持する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたCasson不変量は、普遍的摂動的枠組みを通じてLMO不変量 $Z^{LMO}$ から計算可能か？
• RQ2 第一ベッチ数 $b_1(M) \leq 3$ の3次元多様体に対して、Rozansky-Witten不変量 $Z^{RW}_X$ とLMO不変量 $Z^{LMO}$ の間の正確な関係は何か？
• RQ3 $b_1(M) = 3$ のとき $Z^{LMO}(M)$ は多様体 $M$ のコhomology環にどのように依存するか？
• RQ4 $Z^{LMO}$ の経路積分的定式化によって、Reidemeister-Franz torsion やAlexander多項式が符号化されているか？
• RQ5 物理的双対性としてのChern-Simons理論との関係から示唆されるように、$Z^{LMO}$ は平坦接続のモジュライ空間の構造をどの程度捉えているか？

主な発見

• $b_1(M) > 3$ であるすべての3次元多様体 $M$ に対して $Z^{LMO}(M) = 1$ であり、これは高ベッチ数の場合における不変量の自明性を示している。
• $b_1(M) = 3$ のとき、$Z^{LMO}(M)$ は多様体 $M$ のコhomology環によって完全に決定され、強いトポロジカル制約を示している。
• Rozansky-Witten不変量 $Z^{RW}_X(M)$ は、$Z^{LMO}$ と同様の連結和の性質を満たすと推測され、普遍的構造を示唆している。
• 経路積分的議論により、$Z^{RW}_X(M) = \chi_G(M)$（平坦 $G$-接続のモジュライ空間の正則化されたEuler指標）であるという推測が支持されている。
• 実次元 $4n$ のコンパクトな超ケーラー多様体 $X$ のEuler類は、リーマン曲率テンソルと正則形式を含むGrassmann積分として表現される。
• 本稿では、Euler類を形式的に $\mathbf{e}(TX) = \sqrt{g} \left( \int d\mu(\chi_\alpha) \exp\left( \frac{1}{24} \Omega_{IJKL} \chi^I_\alpha \chi^J_\beta \chi^K_\gamma \chi^L_\delta \epsilon^{\alpha\beta\gamma\delta} \right) \right) d^{4n}x$ として導出し、Rozansky-Witten重み関数と関連づけた。