Failure of automorphism invariance for Andrews–Curtis equivalence

Let F2F_2 be the free group on x,yx,y, let B2{\mathcal B}_2 be the set of balanced presentations of the trivial group with two generators, and let Aut(F2)\operatorname{Aut}(F_2) act componentwise on pairs. Write (u,v)AC(u,v)(u,v)\sim_{\operatorname{AC}}(u',v') when the pairs are related by Andrews–Curtis moves. Failure of automorphism invariance. It is not true that for every (u,v)B2(u,v)\in{\mathcal B}_2 and every φAut(F2)\varphi\in\operatorname{Aut}(F_2), one has (u,v)AC(φ(u),φ(v))(u,v)\sim_{\operatorname{AC}}(\varphi(u),\varphi(v)). This contradicts the possibility that adding automorphism moves never enlarges Andrews–Curtis orbits for all balanced presentations. The source gives no resolution evidence beyond the asserted negative statement.

Sources & referencesView supporting material

Primary source

Dmitry Panteleev and Alexander Ushakov, “Conjugacy search problem and the Andrews-Curtis conjecture”, arXiv:1609.00325 (2016).

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.