Prefer a chat interface with context about you and your work?
The Powell Conjecture in genus four
The Powell Conjecture states that four specific elements suffice to generate the Goeritz group of the Heegaard splitting of the $3$-sphere. We show that this conjecture is true when the genus of the splitting is four.