[论文解读] 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-上循環，建立了鏈結的擬群上循環不變量與三維流形的狄傑格拉夫-威滕不變量之間的聯繫。它表明非2-上循環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-上循環。
• 以群上同調的角度，確定非2-上循環3-上循環的代數來源。
• 建立鏈結的擬群上循環不變量與S³中鏈結的循環分支覆疊所得到的三維流形的狄傑格拉夫-威滕不變量之間的對應關係。
• 透過此對應關係，利用擬群上循環不變量計算梅西三重積。

提出的方法

• 利用莫奇奇基對有限域上亞歷山大擬群的第三上同調中3-上循環的分類。
• 證明所有3-上循環（除2-上循環型外）均由某個冪零可換群的群3-上循環誘導而成。
• 構造S³中關於鏈結的循環覆疊，並將所得三維流形的狄傑格拉夫-威滕不變量與擬群上循環不變量關聯起來。
• 識別狄傑格拉夫-威滕不變量的ℤ-等變部分，證明其與擬群上循環不變量等價。
• 利用此等價關係，透過擬群上循環不變量計算梅西三重積。
• 利用冪零可換群的代數結構，推導出這些不變量的上同調性質。

实验结果

研究问题

• RQ1 在有限域上亞歷山大擬群的擬群上同調中，3-上循環（排除2-上循環形式）的群論來源為何？
• RQ2 鏈結的擬群上循環不變量與S³中鏈結的循環分支覆疊所得到的三維流形的狄傑格拉夫-威滕不變量之間有何關係？
• RQ3 在此背景下，狄傑格拉夫-威滕不變量的ℤ-等變部分能否被識別為擬群上循環不變量？
• RQ4 透過此對應關係，梅西三重積在多大程度上可利用擬群上循環不變量來計算？
• RQ5 冪零可換群結構在這些3-上循環構造中扮演何種角色？

主要发现

• 有限域上亞歷山大擬群的第三擬群上同調中，除2-上循環形式外的所有3-上循環，均源自某個冪零可換群的群3-上循環。
• 使用莫奇奇基3-上循環時，鏈結的擬群上循環不變量等價於S³中鏈結的循環分支覆疊的狄傑格拉夫-威滕不變量的ℤ-等變部分。
• 此對應關係使透過擬群上循環不變量框架計算梅西三重積成為可能。
• 該構造揭示了在三維流形不變量背景下，擬群上同調與群上同調之間深刻的代數聯繫。
• 此等價關係僅在循環分支覆疊中成立，突顯了對稱性在不變量構造中的作用。
• 該方法提供了一種利用擬群理論不變量計算梅西三重積的新工具。