Uniqueness conjecture for two-parameter presentations of Q36

From papers

Let P9(n1,n2;m1,m2)\mathcal{P}_9(n_1,n_2;m_1,m_2) be a presentation of Q36Q_{36}, and let P9std\mathcal{P}_9^{\operatorname{std}} denote the standard presentation.

Q36 presentation conjecture. If P=P9(n1,n2;m1,m2)\mathcal{P}=\mathcal{P}_9(n_1,n_2;m_1,m_2) presents Q36Q_{36}, then

PP9std\mathcal{P}\simeq\mathcal{P}_9^{\operatorname{std}}

or

PP9(2;2).\mathcal{P}\simeq\mathcal{P}_9(2;-2).

This is a heuristic-computation conjecture about the possible homotopy types of presentations of Q36Q_{36} within the specified family. The supplied text gives no resolution, so the claim remains open.

Progress summary

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

Sources & referencesView supporting material

Primary source

Tommy Hofmann and John Nicholson, “Exotic presentations of quaternion groups and Wall's D2 problem”, arXiv:2507.15999 (2025).

Solutions 0

No solutions have been posted yet.