English

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 gg, five specific elements suffice to generate the Goeritz group Gg\mathcal {G}_g of genus gg Heegaard splittings of S3S^3. Powell's Conjecture remains undecided for g4g \geq 4. Let PgGg\mathcal{P}_g \subset \mathcal {G}_g denote the subgroup generated by Powell's elements. Here we show that, for each genus gg, the natural function GgGg+1/Pg+1\mathcal {G}_g \to \mathcal {G}_{g+1}/\mathcal {P}_{g+1} is trivial.

Keywords

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