Presentation conjecture for Dehn quandles of Artin groups

About 4 years old · traced to

Let SS be a generating set and let

A=⟨S∣(st)mst=(ts)mts for s,t∈S with s≠t⟩\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 (s∗t)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∣(s∗t)mst=s if mst is even, and (t∗s)mst=s if mst is odd for all s≠t⟩.\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.

References

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.