[論文レビュー] Construction of an invariant for integral homology 3-spheres via completed Kauffman bracket skein algebras

Shunsuke Tsuji|arXiv (Cornell University)|Jul 6, 2016

Geometric and Algebraic Topology参考文献 9被引用数 5

ひとこと要約

本稿は、完備化されたKauffmanブラケットスケイン代数とハーゲード分割を用いて、整数ホモロジー3次元球面 $ M $ に対して新しい不変量 $ z(M) \in \mathbb{Q}[[A+1]] $ を構成する。この不変量は、$ (A+1)^{n+1} $ を法として、順序 $ n $ の有限型不変量であることが示され、係数 $ -a_1/6 $ はカスン不変量に等しい。パoincaréホモロジー3次元球面に対しては、$ A^4 = q $ の下で $ z(M) \mod (A+1)^{14} $ がオーツキー級数と一致する。これは $ z(M) = \tau(M)_{|q=A^4} $ を示唆し、二つの主要な不変量を統一する。

ABSTRACT

We construct an invariant $z (M) =1+a_1(A^4-1)+ a_2(A^4-1)^2+a_3(A^4-1)^3 + \cdots \in \mathbb{Q} [[A^4-1]]= \mathbb{Q} [[A+1]]$ for an integral homology $3$-sphere $M$ using a completed skein algebra and a Heegaard splitting. The invariant $z(M)\mathrm{mod} ((A+1)^{n+1}) $ is a finite type invariant of order $n$. In particular, $-a_1/6$ equals the Casson invariant. If $M$ is the Poincaré homology 3-sphere, $(z(M))_{|A^4 =q} \mod (q+1)^{14} $ is the Ohtsuki series for $M$.

研究の動機と目的

• 整数ホモロジー3次元球面の新しい不変量を、完備化されたKauffmanブラケットスケイン代数とハーゲード分割を用いて構成すること。
• この不変量が $ (A+1)^{n+1} $ を法として、順序 $ n $ の有限型不変量であることを確立すること。
• 不変量における $ A^4 - 1 $ の係数 $ -a_1/6 $ がカスン不変量に等しいことを示すこと。
• パoincaréホモロジー3次元球面に対して、$ (A+1)^{14} $ を法とした不変量が $ A^4 = q $ の下でオーツキー級数と一致することを示すこと。
• すべての $ M \in \mathcal{H}(3) $ に対して $ z(M) = \tau(M)_{|q=A^4} $ が成り立つという予想を提示すること。

提案手法

• Torelli群作用を伴う完備化スケイン代数と形式的べき級数を用いて、$ \mathcal{I}(\Sigma_{g,1}) \to \mathbb{Q}[[A+1]] $ なる写像 $ Z $ を定義する。
• Torelli群の元を完備化スケイン代数に持ち上げる埋め込み $ \zeta: \mathcal{I}(\Sigma_{g,1}) \to \widehat{\mathcal{S}(\Sigma_{g,1})} $ を用いる。
• Torelli群の元から整数ホモロジー3次元球面への双対写像を介して、不変量 $ z(M) $ を $ Z(\xi) $ の像として構成する。
• 完備化スケイン代数の構造を活用し、$ \mathbb{Q}[[A+1]] $-加群準同型 $ e_* $ を定義し、不変量を評価する。
• $ z(M) \mod (A+1)^{n+1} $ が、$ \xi_i^{\epsilon_i} $ に関する交代和の標準的条件に基づき、順序 $ n $ の有限型不変量であることを活用する。
• ハビロの彩色ジョーンズ多項式の公式を適用し、三葉結び目および図8結び目の特定のスケーリングに対して $ z(M) $ を計算する。

実験結果

リサーチクエスチョン

• RQ1 整数ホモロジー3次元球面に対して、完備化されたKauffmanブラケットスケイン代数とハーゲード分割を用いて新しい不変量を構成できるか？
• RQ2 構成された不変量 $ z(M) $ は、$ (A+1)^{n+1} $ を法として、順序 $ n $ の有限型不変量か？
• RQ3 $ z(M) $ における $ A^4 - 1 $ の係数 $ -a_1/6 $ はカスン不変量に等しいか？
• RQ4 パoincaréホモロジー3次元球面に対して、$ z(M) \mod (A+1)^{14} $ は $ A^4 = q $ の下でオーツキー級数と一致するか？
• RQ5 すべての $ M \in \mathcal{H}(3) $ に対して $ z(M) = \tau(M)_{|q=A^4} $ が成り立つか？ これにより、二つの不変量が統一されるか？

主な発見

• 不変量 $ z(M) \in \mathbb{Q}[[A+1]] $ は、完備化スケイン代数とハーゲード分割を用いて構成され、$ z(M) = 1 + a_1(A^4 - 1) + a_2(A^4 - 1)^2 + \cdots $ と表される。
• $ z(M) \mod (A+1)^{n+1} $ は順序 $ n $ の有限型不変量であり、$ n \geq 1 $ に対して非自明である。
• $ z(M) $ における係数 $ -a_1/6 $ はカスン不変量に等しく、古典的不変量との明確な代数的関係を確立する。
• パoincaréホモロジー3次元球面に対して、$ z(M) \mod (A+1)^{14} $ は $ q = A^4 $ の下でオーツキー級数 $ \tau(M) $ と一致する。
• 明示的計算により、$ z(M(1,1,1)) = [1, -6, 45, -464, \dots] $ および $ z(M(1,-1,1)) = [1, 6, 63, 932, \dots] $ が得られ、係数は $ \mathbb{Q}[[A+1]] $ に属する。
• 本稿は、すべての $ M \in \mathcal{H}(3) $ に対して $ z(M) = \tau(M)_{|q=A^4} $ が成り立つと予想し、スケイン理論的不変量と有限型不変量の深い統一を示唆する。