Chain-homotopy conjecture for the maps g1jg_1^j and g2jg_2^j on dihedral rack complexes

Let RqR_q be the dihedral quandle of prime order q>3q>3, and let g1j,g2j:CnR(Rq)CnR(Rq)g_1^j,g_2^j:C_n^R(R_q)\to C_n^R(R_q) be the chain maps defined by

g1j(x)=yRq(y,,y,yxj,xj+1,,xn),g_1^j(x)=\sum_{y\in R_q}(y,\ldots,y,y*x_j,x_{j+1},\ldots,x_n), g2j(x)=yRq(y,,y,xjy,xj+1,,xn).g_2^j(x)=\sum_{y\in R_q}(y,\ldots,y,x_j*y,x_{j+1},\ldots,x_n).

Chain-homotopy conjecture. The maps g1jg_1^j and g2jg_2^j are chain homotopic. The source notes that these maps are chain maps for the stated prime orders; proving their chain homotopy would complete the cancellation needed for the broader torsion argument.

Sources & referencesView supporting material

Primary source

Maciej Niebrzydowski and Jozef H. Przytycki, “Homology of dihedral quandles”, arXiv:math/0611803 (2006).

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.