The cyclic quandle cohomology suspension conjecture for RpR_p

Let pp be an odd prime, let RpR_p be the dihedral quandle of order pp, and let σ\sigma^* denote the cohomology homomorphism induced by the quandle chain map σ\sigma. Using the identifications

HQ3(Rp;Zp)Zp,HQ4(Rp;Zp)Zp2,H_Q^3(R_p;\mathbb{Z}_p)\cong\mathbb{Z}_p,\qquad H_Q^4(R_p;\mathbb{Z}_p)\cong\mathbb{Z}_p^2,

consider the induced map σ\sigma^*.

The cyclic quandle cohomology suspension conjecture. The map

σ ⁣:HQ3(Rp;Zp)HQ4(Rp;Zp)\sigma^* \colon H_Q^3(R_p;\mathbb{Z}_p) \to H_Q^4(R_p;\mathbb{Z}_p)

is an injective homomorphism ZpZp2\mathbb{Z}_p\to\mathbb{Z}_p^2 such that 1(1,0)1\mapsto(-1,0).

The preceding proposition establishes the same map with the second coordinate known only to be some nZpn\in\mathbb{Z}_p; computer calculations verify n=0n=0 for p=3,5,7,11,13p=3,5,7,11,13. The conjecture asserts that this vanishing holds for every odd prime pp.

Sources & referencesView supporting material

Primary source

Yu Hashimoto and Kokoro Tanaka, “Shifting chain maps in quandle homology and cocycle invariants”, arXiv:2012.09584 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.