On third homologies of groups and of quandles via the Dijkgraaf–Witten invariant and Inoue–Kabaya map

Nosaka, Takefumi¹

¹Faculty of Mathematics, Kyushu University, 744, Motooka, Nishi-ku, Fukuoka 819-0395, Japan

Algebraic and Geometric Topology, Tome 14 (2014) no. 5, pp. 2655-2692

Résumé

We propose a simple method for producing quandle cocycles from group cocycles by a modification of the Inoue–Kabaya chain map. Further, we show that, with respect to “universal extension of quandles”, the chain map induces an isomorphism between third homologies (modulo some torsion). For example, all Mochizuki’s quandle 3–cocycles are shown to be derived from group cocycles. As an application, we calculate some ℤ–equivariant parts of the Dijkgraaf–Witten invariants of some cyclic branched covering spaces, via some cocycle invariant of links.

Détail

DOI : 10.2140/agt.2014.14.2655

Classification : 20J06, 57M12, 57M27, 57N65
Keywords: quandle, group homology, $3$–manifolds, link, branched covering, Massey product

Bibliographie

[1] S Asami, K Kuga, Colorings of torus knots and their twist-spuns by Alexander quandles over finite fields, J. Knot Theory Ramifications 18 (2009) 1259

[2] K S Brown, Cohomology of groups, Graduate Texts in Mathematics 87, Springer (1982)

[3] J S Carter, D Jelsovsky, S Kamada, L Langford, M Saito, Quandle cohomology and state-sum invariants of knotted curves and surfaces, Trans. Amer. Math. Soc. 355 (2003) 3947

[4] J S Carter, S Kamada, M Saito, Geometric interpretations of quandle homology, J. Knot Theory Ramifications 10 (2001) 345

[5] F J B J Clauwens, The adjoint group of an Alexander quandle,

[6] R Dijkgraaf, E Witten, Topological gauge theories and group cohomology, Comm. Math. Phys. 129 (1990) 393

[7] M Eisermann, Quandle coverings and their Galois correspondence, to appear in Fundamenta Mathematicae

[8] R Fenn, C Rourke, B Sanderson, Trunks and classifying spaces, Appl. Categ. Structures 3 (1995) 321

[9] R Fenn, C Rourke, B Sanderson, The rack space, Trans. Amer. Math. Soc. 359 (2007) 701

[10] A Inoue, Quandle homomorphisms of knot quandles to Alexander quandles, J. Knot Theory Ramifications 10 (2001) 813

[11] A Inoue, Y Kabaya, Quandle homology and complex volume, (2013)

[12] D Joyce, A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra 23 (1982) 37

[13] Y Kabaya, Cyclic branched coverings of knots and quandle homology, Pacific J. Math. 259 (2012) 315

[14] A Kawauchi, A survey of knot theory, Birkhäuser, Basel (1996)

[15] D Kraines, Massey higher products, Trans. Amer. Math. Soc. 124 (1966) 431

[16] I J Leary, The mod-$\!p$ cohomology rings of some $p$–groups, Math. Proc. Cambridge Philos. Soc. 112 (1992) 63

[17] J Mandemaker, Various topics in rack and quandle homology, Master thesis, Radboud University (2009)

[18] J Milnor, On the $3$–dimensional Brieskorn manifolds $M(p,q,r)$, from: "Knots, groups, and $3$–manifolds (Papers dedicated to the memory of R H Fox)" (editor L P Neuwirth), Ann. of Math. Studies 84, Princeton Univ. Press (1975) 175

[19] T Mochizuki, The $3$–cocycles of the Alexander quandles $\mathbb F_q[T]/(T-\omega)$, Algebr. Geom. Topol. 5 (2005) 183

[20] T Nosaka, On quandle homology groups of Alexander quandles of prime order, Trans. Amer. Math. Soc. 365 (2013) 3413

[21] T Nosaka, Quandle cocycles from invariant theory, Adv. Math. 245 (2013) 423

[22] T Nosaka, Homotopical interpretation of link invariants from finite quandles, (2014)

[23] M Wakui, On Dijkgraaf–Witten invariant for $3$–manifolds, Osaka J. Math. 29 (1992) 675