[論文レビュー] Colored tangles and signatures

David Cimasoni, Anthony Conway|arXiv (Cornell University)|Jul 28, 2015

Geometric and Algebraic Topology参考文献 17被引用数 4

ひとこと要約

本稿は、GambaudoとGhysの2005年のバターンのシグニチャーディフェクトに関する結果を、多変数シグニチャ不変量を導入することで、色付きトゥーリングに一般化する。トゥーリングの閉包における多変数シグニチャの準同型デフォクトは、ラグランジュ関手によるトゥーリングの像のマスロフ指数によって与えられ、Turaevのラグランジュ的枠組みと多変数ガスナー表現を通じて、メイアーコサイクル構成を色付きトゥーリングへ拡張する。

ABSTRACT

Taking the signature of the closure of a braid defines a map from the braid group to the integers. In 2005, Gambaudo and Ghys expressed the homomorphism defect of this map in terms of the Meyer cocycle and the Burau representation. In the present paper, we simultaneously extend this result in two directions, considering the multivariable signature of the closure of a colored tangle. The corresponding defect is expressed in terms of the Maslov index and of the Lagrangian functor defined by Turaev and the first-named author.

研究の動機と目的

• バターンのシグニチャーディフェクトに関するGambaudo-Ghysの公式を、色付きトゥーリングの設定へ拡張すること。
• 自由アーベル被覆と交差形式を用いて、色付きリンクの多変数シグニチャ不変量を定義すること。
• トゥーリングの閉包における多変数シグニチャの加法性デフォクトを、ラグランジュ部分空間のマスロフ指数で表現すること。
• 環 $\mathbb{Z}[t,t^{-1}]$ 上のラグランジュ関手を用いて、多変数シグニチャとガスナー表現を統一すること。

提案手法

• $\mu$-色付きトゥーリングの圏から $\mathbb{Z}[t,t^{-1}]$ 上のラグランジュ的圏へのラグランジュ関手 $\mathscr{F}$ を構成し、ガスナー表現を拡張すること。
• 自由アーベル被覆のリンク外部空間の1次ホモロジー上の交差形式のシグニチャとして、多変数シグニチャ $\mathrm{sign}_\omega(L)$ を定義すること。
• シンプレクティックベクトル空間 $H_1(\widehat{D}_c)_\omega \oplus H_1(\widehat{D}_{c'})_\omega$ 内の3つのラグランジュ部分空間のマスロフ指数を用いて、シグニチャーディフェクトを捉えること。
• 根の単位円周 $\omega \in \mathbb{T}^\mu$ における関手 $\mathscr{F}$ の評価により、複素ラグランジュ部分空間を生成し、その上でマスロフ指数を計算すること。
• 補題5.9の同型 $\psi_c$ を用いて、$\mathscr{F}_\omega(\tau)$ を写像 $j_\tau \otimes \mathrm{id}_{\mathbb{C}_\omega}$ の核に同定すること。
• 交差形式の非退化性と局所化ホモロジー加群の自由性を用いて、次元の整合性とマスロフ指数計算における等式を保証すること。

実験結果

リサーチクエスチョン

• RQ1 トゥーリングの閉包における多変数シグニチャの準同型デフォクトは、マスロフ指数のような幾何的不変量で表現可能か？
• RQ2 多変数ガスナー表現を用いて、Gambaudo-Ghysのバターンシグニチャーディフェクトの公式は、色付きトゥーリングへ拡張可能か？
• RQ3 ラグランジュ関手 $\mathscr{F}$ は、シグニチャ不変量と整合する形で、色付きトゥーリングの位相的データをどのように符号化するか？
• RQ4 マスロフ指数は、トゥーリング合成における多変数シグニチャの非加法性をどのように捉えているか？
• RQ5 ラグランジュ関手 $\mathscr{F}_\omega$ によるトゥーリングの像のマスロフ指数を用いて、シグニチャーディフェクトは計算可能か？

主な発見

• 2つの合成可能な $\mu$-色付きトゥーリング $\tau_1, \tau_2$ の閉包におけるシグニチャーディフェクトは、ほとんどすべての $\omega \in \mathbb{T}^\mu$ に対して、三重組 $\mathscr{F}_\omega(\overline{\tau}_1), \mathscr{F}_\omega(\mathrm{id}_c), \mathscr{F}_\omega(\tau_2)$ のマスロフ指数に等しい。
• マスロフ指数の計算は、色付きバターンの場合に古典的なメイアー・コサイクルを回復するため、Gambaudo-Ghysの公式が多変数設定へ一般化される。
• ラグランジュ関手 $\mathscr{F}$ はガスナー表現をトゥーリングへ拡張し、マスロフ指数評価に必要なシンプレクティック構造を保つ。
• 同型 $\psi_c$ により、$\mathscr{F}_\omega(\tau)$ は $j_\tau \otimes \mathrm{id}_{\mathbb{C}_\omega}$ の核に同定され、ラグランジュ部分空間の明示的計算が可能になる。
• $\mathscr{F}_\omega(\tau)$ の次元は、境界トゥーリングのホモロジー加群のランクの和の半分に等しく、ラグランジュ部分空間と整合する。
• 結果は、$\mathbb{T}^\mu$ の開くわせた稠密部分集合内のすべての $\omega$ に対して成り立ち、表現がユニタリでなくなるか、形式が退化するような根の単位円周上の点を除いて成立する。