Powell's Conjecture on the Goeritz group of $S^3$ is stably true
Geometric Topology
2025-10-15 v2
Abstract
In 1980 J. Powell proposed that, for every genus , five specific elements suffice to generate the Goeritz group of genus Heegaard splittings of . Powell's Conjecture remains undecided for . Let denote the subgroup generated by Powell's elements. Here we show that, for each genus , the natural function is trivial.
Cite
@article{arxiv.2210.13629,
title = {Powell's Conjecture on the Goeritz group of $S^3$ is stably true},
author = {Martin Scharlemann},
journal= {arXiv preprint arXiv:2210.13629},
year = {2025}
}
Comments
version 2: 32 pages, 21 figures, now includes the promised lengthy appendix that sets an essential but apparently ad hoc construction used in the proof into a larger context