Given $a,b\in S_n$ such that their commutator has at least $n-4$ fixed points, is there an element $z\in S_n$ such that $a^z=a^{-1}$, and $b^z=b^{-1}$? Here $a^z:=z^{-1}az$.
Magma says that the answer is yes up to $n\leq 11$ (computed by M. Zieve). The answer is also yes if $a$ and $b$ commute via the argument below. It would be great to have an answer in case a,b do not commute, even under the assumption that $\langle a,b\rangle$ contains the alternating group $A_n$. If $\langle a,b\rangle$ contains $A_n$ with $n\geq 4$, then any $z$ as above is unique.
The commutative case: If $a^b=a$, the orbits (and cycles) of $a$ are permuted by $b$. Say $b$ permutes under conjugation cyclicly the orbits $A_1,A_2,\ldots,A_r$ of $a$. Let $a_i\in S_n$ be the cycle induced by $a$ on $A_i$, for $i=1,\ldots,r$. Choose $c\in S_n$ to be element of order $r$ such that $b=c$ on $A_i$ for $i=1,...,r-1$. (This forces $a_r^c=a_1$). Since $b=c$ outside $A_1$ and $a_1^{bc^{-1}}=a_1$, we have $b=a_1^e c$ for some integer $e$.
Choose $v$ to be an involution on $A_1$ such that $a_1^v=a_1^{-1}$ on $A_1$, and trivial outside $A_1$. Choose $w$ to be the involution in the symmetric group on $1,\ldots,r$ such that $(1,\ldots,r)^w=(r,\ldots,1)$ and $1^w=2$. Define $u$ to be a permutation such that if $(i,j)$, $i\leq j$, is an orbit of $w$, then $\alpha^u = \alpha^{c^{j-i}}$ for every $\alpha\in A_i$, $i=1,\ldots,r$. This way $c^u =c^{-1}$. Let $z:=vv^c\cdots v^{c^{r-1}}u$, so that $c^z=c^{-1}$, and $a^z=a^{-1}$. (Moreover, $a_i^z=a_{i^w}^{-1}$ for $i=1,\ldots,r$). It follows that $b^z=a_{1^w}^{-e}c^{-1} = a_2^{-e}c^{-1}=c^{-1}a_1^{-e} = b^{-1}$.
Some might consider this proof (in the commutative case) to be simpler in the language of wreath products.
