[論文レビュー] On a Universal Invariant of 3-Manifolds

Thang T. Q. Lê, Jun Murakami+1 more|ArXiv.org|Dec 1, 1995

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

ひとこと要約

本稿では、フレーム付きリンクの修正された普遍バシリエフ＝コンツェビチ不変量を用いて、3次元多様体の普遍的量子不変量を構成する。この際、スケッチの手順で、手術曲線を表す実線の円を破線に置き換えることで、チェーン図のべき級数を得る。主な結果として、この不変量におけるトータス曲線の係数が $(-1)^{b_1(M)+1}3\tilde{\lambda}(M)$ に等しくなることが示され、ここで $\tilde{\lambda}(M)$ はカソン不変量の一般化であるレスコープの一般化である。これにより、リー代数への代入によって量子不変量が回復される普遍的な枠組みが得られる。

ABSTRACT

We construct an invariant of 3-manifolds using a modification of the Kontsevich integral and Kirby's calculus. This invariant, as expected in perturbative Chern-Simon theory, takes values in the algebra of oriented 3-valent graphs. This algebra is a Hopf algebra, graded by half the number of vertices in 3-valent graphs. The degree 1 term of the invariant coincides with Casson-Walker-Lescop invariant. The degree $n$ term is constructed out of the universal Vassiliev invariant of links of degree less than or equal to $(l+1)n$ where $l$ is the number of link components.

研究の動機と目的

• コンパクトなリー群に関連する量子不変量を一般化する3次元多様体の普遍的量子不変量を構成すること。
• チェーン図における実線の円（手術曲線を表す）を破線に置き換える写像を定義し、普遍バシリエフ＝コンツェビチ不変量から不変量を構成可能にする。
• 得られた不変量が、破線にリー代数を代入することで、自明な接続のまわりの摂動展開として量子不変量が回復されることを示し、普遍性を保証すること。
• 不変量の1次項が、特にレスコープの $\tilde{\lambda}(M)$ として知られるカソン不変量の一般化に対応することを確立すること。

提案手法

• フレーム付き方向付きリンクの修正された普遍バシリエフ＝コンツェビチ不変量 $\check{Z}(L)$ を出発点とし、これはキルビー移動IIに関して不変である。
• チェーン図における実線の円（手術曲線を表す）を破線に置き換える写像を定義し、その結果として、有限な台を持つチェーン図の系列が得られる。
• 不変量 $\Omega_n(M)$ を、この写像による $\check{Z}(L)$ の像として定義し、チェーン図の頂点数で次数づける。
• 普遍的量子不変量 $\omega(M)$ を、$\Omega(M)$ の対数として定義し、$\mathbb{Z}[[\hbar]]$ における係数をもつチェーン図のべき級数として得る。
• 乗法と符号変更の代数的公式を用いて、不変量が向きの反転および連結和に関して不変であることを示す。
• 不変量の構成には、チェーン図におけるAS、IHX、STU関係を用い、不変量が直積演算（直積和による定義）に関して群的な性質を有することを活用する。

実験結果

リサーチクエスチョン

• RQ1 リンクの普遍バシリエフ＝コンツェビチ不変量から、3次元多様体の普遍的量子不変量を構成可能か？
• RQ2 チェーン図における実線の円（手術曲線を表す）を、3次元多様体不変量を生じさせるように体系的に破線に置き換える方法は何か？
• RQ3 得られた不変量は、リー代数への代入によって、カソン不変量などの既知の不変量を回復するか？
• RQ4 不変量は、連結和および向きの反転に関して、どのような代数的構造を有するか？
• RQ5 不変量の1次項は、レスコープのカソン不変量一般化と関係があるか？

主な発見

• 不変量 $\omega(M)$ における破線のトータス曲線の係数は、$(-1)^{b_1(M)+1}3\tilde{\lambda}(M)$ に等しく、ここで $\tilde{\lambda}(M)$ はレスコープのカソン＝ウォーカー不変量の一般化である。
• $SU(N)$ に対して、$\omega(M)$ の最初の項は $\lambda^{SU(N)}(M) = \frac{N(N^2-1)}{6}\lambda(M)$ を与え、レンズ空間についての既知の結果と整合する。
• $SO(N)$ に対して、最初の項は $\lambda^{SO(N)}(M) = \frac{N(N-1)(N-2)}{24}\lambda(M)$ を与え、摂動展開からの期待と一致する。
• $Sp(N)$ に対して、最初の項は $\lambda^{Sp(N)}(M) = \frac{N(N+1)(2N+1)}{6}\lambda(M)$ を与え、量子不変量と整合性が確認される。
• 不変量 $\omega(M)$ は連結和の公式 $\omega(M) = \sum_d \left( m_2^d \omega(M_1)^{(d)} + m_1^d \omega(M_2)^{(d)} \right) $ を満たす。ここで $m_i$ は $M_i$ が有理数ホモロジー球面のとき $H_1(M_i,\mathbb{Z})$ の位数、それ以外は 0 である。
• 向きの反転に対して $\omega(-M) = \sum_d (-1)^d \omega(M)^{(d)}$ が成り立ち、各次数成分において符号反転が起こることを示し、不変量の変換性を示す。