Generating the Goeritz group of $S^3$

Abstract

In 1980 J. Powell \cite{Po} proposed that five specific elements sufficed to generate the Goeritz group for any genus Heegaard splitting of the 3-sphere. Here we prove that a natural expansion of Powell's proposed generators, to include all eyeglass twists and all topological conjugates of Powell's generators does suffice.