One Powell generator is redundant

Abstract

In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$. This conjecture remains unresolved for genus $g \geq 4$. Here a short argument shows that one of his proposed generators is redundant, in fact a consequence of three of the other four.