Presentation conjecture for Dehn quandles of Artin groups

Let SS be a generating set and let

A=S(st)mst=(ts)mts for s,tS with st\mathcal{A}=\langle S\mid (st)_{m_{st}}=(ts)_{m_{ts}}\text{ for }s,t\in S\text{ with }s\neq t\rangle

be an Artin group. For quandle elements, write (st)m(s*t)_m for the alternating product of ss and tt under the quandle operation, beginning with ss and having mm factors. The presentation conjecture. The Dehn quandle D(SA)\mathcal{D}(S^{\mathcal{A}}) has presentation

D(SA)=S(st)mst=s if mst is even, and (ts)mst=s if mst is odd for all st.\mathcal{D}(S^{\mathcal{A}})=\langle S\mid (s*t)_{m_{st}}=s\text{ if }m_{st}\text{ is even, and }(t*s)_{m_{st}}=s\text{ if }m_{st}\text{ is odd for all }s\neq t\rangle.

The claim proposes a uniform presentation encompassing the spherical Artin-group and right-angled Artin-group examples discussed immediately beforehand. Its resolution would determine whether these parity-dependent relations always suffice to present the Dehn quandle of an Artin group.

Sources & referencesView supporting material

Primary source

Neeraj K. Dhanwani, Hitesh Raundal and Mahender Singh, “Presentations of Dehn quandles”, arXiv:2202.02531 (2022).

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.