[論文レビュー] Perturbative 3-manifold invariants by cut-and-paste topology

Greg Kuperberg, Dylan P. Thurston|ArXiv.org|Dec 21, 1999

Geometric and Algebraic Topology参考文献 18被引用数 51

ひとこと要約

この論文は、カットアンドパーストトポロジーを用いて、チェーン＝シモンズ理論に関連する3次元多様体の摂動的不変量を、純粋に位相的定義する。これは、修正された配置空間間の一般化されたガウス写像を介して定義される。主な貢献は、これらの不変量が代数的に分離可能およびトーレリの手術に関して有限型であること、および整数ホモロジー球面に関して普遍的であることを証明することにある。

ABSTRACT

We give a purely topological definition of the perturbative quantum invariants of links and 3-manifolds associated with Chern-Simons field theory. Our definition is as close as possible to one given by Kontsevich. We will also establish some basic properties of these invariants, in particular that they are universally finite type with respect to algebraically split surgery and with respect to Torelli surgery. Torelli surgery is a mutual generalization of blink surgery of Garoufalidis and Levine and clasper surgery of Habiro.

研究の動機と目的

• 3次元多様体およびリンクの摂動的量子不変量を、微分形式や積分に依存せずに、純粋に位相的定義すること。
• フレームド有理ホモロジー3次元球面における手術操作を用いて、ヴァシリエフの意味での有限型であることの確立。
• トーレリ手術を共通の枠組みとして導入することで、既存の有限型不変量の概念を一般化・統一すること。
• 整数ホモロジー球面において、有限型枠組み内での不変量 $ I_n(M) $ の普遍性の証明。
• ヤコビ図とハンドル体分解から構成される配置空間を用いて、コhomologicalペアリングにより不変量を定義すること。

提案手法

• 3次元多様体 $M$ を用いたカットアンドパーストトポロジーから導かれる修正配置空間 $X_n$ と $Y_n$ 間の一般化されたガウス写像 $\Phi: X_n \to Y_n$ を用いて、摂動的不変量を定義する。
• $X_n$ と $Y_n$ を、ヤコビ図の組み合わせ論および $\alpha \in H^2(P; \mathbb{Q})$ のプロパゲーターを用いて $M$ から構成する。
• コhomologicalペアリング $\Phi^*: H^{6n}(P^{\times 3n}, Q; \mathbb{Q}) \to H^{6n}(X_n, D; \mathbb{Q})$ を用い、$I_w(M) = \langle w, \Phi^*(\alpha^{\otimes 3n}) \rangle$ により不変量を定義する。
• 重み系空間 $V_n^*$ に対する双対として、$I_n(M) \in V_n$ を定義し、有限型構造と整合性を保つ。
• サイクル値関数 $\mu_w(t)$ に有限差分計算を適用し、トーレリ手術の立方体における交項和を計算する。
• バブルラップモデルとグルーリング構成を用いて、ハンドル体部品間でのコhomologicalプロパゲーター $\alpha_I$ の一貫性を保証し、グローバルなコサイクル $\alpha$ を形成する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体の摂動的不変量は、微分形式や積分に依存せずに、純粋に位相的に定義可能か？
• RQ2 これらの不変量は、クラッパーおよびブリンク手術の一般化たるトーレリ手術に関して有限型か？
• RQ3 不変量 $I_n(M)$ は、整数ホモロジー球面における有限型不変量の中で普遍的か？
• RQ4 ガウス写像の次数は、代数的に分離可能な手術およびトーレリ手術における有限型フィルトレーションとどのように関係するか？
• RQ5 配置空間 $C_n$ 及びそのホモロジーは、重み系と普遍不変量をエンコードする役割を果たすか？

主な発見

• 摂動的不変量 $I_n(M)$ は、連結和に関して加法的である：$I_n(M_1 \# M_2) = I_n(M_1) + I_n(M_2)$ であり、標準的フレーミング下で $I_n(S^3) = 0$ である。
• 不変量 $I_n(M)$ は、フレームド有理ホモロジー3次元球面において、代数的に分離可能およびトーレリの両意味で次数 $n$ の有限型である。
• 有限差分 $I_w^{(2n)}(M,T)$ は非ゼロであり、重み $w(\Gamma)$ を持つグラフ $\Gamma$ における和として計算され、ハンドル体部品内の自己リンク不変量とペアリングされる。
• サイクル値関数の有限差分 $\nu_w$ は $k > 2n$ のとき恒等的にゼロであり、$I_w^{(k)}(M,T)$ が $k > 2n$ のときゼロであることを示し、有限型性を確認する。
• ペアリング $\langle \nu_w, \gamma \rangle$ は、ハンドル体ペア $B_i \times B_j$ 内の1次元サイクル間のリンク数を計算し、これはトーレリ手術に対して不変のままである。
• この構成により、普遍不変量 $I_n(M) \in V_n$ が得られ、商 $\mathcal{M}_{kn}/\mathcal{M}_{kn+1}$ への上への写像をなす。$k=2$ のときトーレリの場合に普遍性が確認される。