Shifting chain maps in quandle homology and cocycle invariants

Abstract

Quandle homology theory has been developed and cocycles have been used to define invariants of oriented classical or surface links. We introduce a shifting chain map σ \sigma on each quandle chain complex that lowers the dimensions by one. By using its pull-back σ ♯ \sigma ^\sharp , each 2 2 -cocycle ϕ \phi gives us the 3 3 -cocycle σ ♯ ϕ \sigma ^\sharp \phi . For oriented classical links in the 3 3 -space, we explore relation between their quandle 2 2 -cocycle invariants associated with ϕ \phi and their shadow 3 3 -cocycle invariants associated with σ ♯ ϕ \sigma ^\sharp \phi . For oriented surface links in the 4 4 -space, we explore how powerful their quandle 3 3 -cocycle invariants associated with σ ♯ ϕ \sigma ^\sharp \phi are. Algebraic behavior of the shifting maps for low-dimensional (co)homology groups is also discussed.