[論文レビュー] Quandle cocycle invariants of links using Mochizuki's 3-cocycles and Dijkgraaf-Witten invariants of 3-manifolds

Takefumi Nosaka|arXiv (Cornell University)|Mar 20, 2011

Geometric and Algebraic Topology参考文献 13被引用数 3

ひとこと要約

本稿は、有限体上のアレクサンドル準同型の3次コhomologyにおけるモチヅキの3次コchainを介して、リンクの群準同型コchain不変量と3次元多様体のDijkgraaf-Witten不変量との間の関係を確立する。非2次コchain型の3次コホモロジーがメタアーベル群の群コホモロジーから生じることを示し、S³内のリンクについてのサイクリックな分岐被覆の下で、群準同型コホモロジー不変量と同値であることが示された。この枠組みにより、マッセイ三重積の計算が可能になる。

ABSTRACT

T. Mochizuki determined all 3-cocycles of the third quandle cohomologies of Alexander quandles on finite fields. We show that all the 3-cocycles, except those of 2-cocycle forms, are derived from group 3-cocycles of a meta-abelian group. Further, the quandle cocycle invariant of a link using Mochizuki's 3-cocycle is equivalent to a $\Z$-equivariant part of the Dijkgraaf-Witten invariant of a cyclic covering of $S^3$ branched over the link using the group. We compute some Massey triple products via the former invariant.

研究の動機と目的

• 有限体上のアレクサンドル準同型の3次コホモロジーにおけるすべての3次コホモロジーを分類すること。
• 2次コホモロジー型でない3次コホモロジーの代数的起源を群コホモロジーの観点から特定すること。
• リンクの群準同型コホモロジー不変量とS³のリンクに関するサイクリック分岐被覆として得られる3次元多様体のDijkgraaf-Witten不変量との対応関係を確立すること。
• この対応関係を用いて、群準同型コホモロジー不変量を用いてマッセイ三重積を計算すること。

提案手法

• 有限体上のアレクサンドル準同型の3次コホモロジーにおける3次コホモロジーのモチヅキによる分類を利用する。
• 2次コホモロジー型でないすべての3次コホモロジーが、メタアーベル群の群3次コホモロジーから誘導されることを示す。
• リンクを分岐集合とするS³のサイクリック被覆を構成し、得られた3次元多様体のDijkgraaf-Witten不変量と群準同型コホモロジー不変量を関連付ける。
• Dijkgraaf-Witten不変量のℤ-不変部分を、群準同型コホモロジー不変量と同値であると特定する。
• 同値性を用いて、群準同型コホモロジー不変量の枠組みを通じてマッセイ三重積を計算する。
• メタアーベル群の代数的構造を活用して、これらの不変量のコホモロジー的性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 2次コホモロジー型でない、有限体上のアレクサンドル準同型の群コホモロジーにおける3次コホモロジーの群論的起源は何か？
• RQ2 S³内のリンクについてのサイクリック分岐被覆として得られる3次元多様体のDijkgraaf-Witten不変量と、リンクの群準同型コホモロジー不変量との関係は何か？
• RQ3 この文脈において、Dijkgraaf-Witten不変量のℤ-不変部分は、群準同型コホモロジー不変量と同一視可能か？
• RQ4 この対応関係を通じて、マッセイ三重積はどの程度、群準同型コホモロジー不変量を用いて計算可能か？
• RQ5 メタアーベル群の構造は、これらの3次コホモロジーの構成において果たす役割は何か？

主な発見

• 有限体上のアレクサンドル準同型の3次コホモロジーにおけるすべての3次コホモロジーは、2次コホモロジー型を除き、メタアーベル群の群3次コホモロジーから生じる。
• モチヅキの3次コホモロジーを用いたリンクの群準同型コホモロジー不変量は、S³のリンクに関するサイクリック分岐被覆のDijkgraaf-Witten不変量のℤ-不変部分と同値である。
• この対応関係により、群準同型コホモロジー不変量の枠組みを通じてマッセイ三重積の計算が可能になる。
• この構成は、3次元多様体不変量の文脈において、群準同型コホモロジーと群コホモロジーとの間の深い代数的関係を明らかにする。
• 同値性は特定のサイクリック分岐被覆において成立しており、不変量の構成における対称性の役割を強調する。
• この方法は、群準同型的不変量を用いたマッセイ三重積の計算のための新しい計算的ツールを提供する。