Guangyuan Guo

Heegaard Diagrams of $S^3$ and the Andrews-Curtis Conjecture

We show that the Andrews-Curtis conjecture holds for all balanced presentations of the trivial group corresponding to Heegaard diagrams of $S^3$.