The domain conjecture for irreducible Artin groups modulo their centers

Let AA be an irreducible Artin group, and let Z(A)Z(A) denote its center. A group is a domain if for every x,yAx,y\in A with x,yex,y\neq e, there is gAg\in A such that [x,yg]e[x,y^g]\neq e.

Domain conjecture. Every quotient A/Z(A)A/Z(A) is a domain.

Being a domain requires indecomposability and trivial center, so this conjecture asserts that these are the only obstructions for irreducible Artin groups. The source notes that the claim is known in several classes, including irreducible spherical Artin groups after quotienting by their centers, but the general statement remains open.

Sources & referencesView supporting material

Primary source

Alberto Cassella, Gianluca Paolini and Giovanni Paolini, “First-order aspects of Artin groups”, arXiv:2507.21575 (2025).

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.