The Powell conjecture and reducing sphere complexes

From MaRDI portal



Abstract: The Powell Conjecture offers a finite generating set for the genus g Goeritz group, the group of automorphisms of S3 that preserve a genus g Heegaard surface Sigmag, generalizing a classical result of Goeritz in the case g=2. We study the relationship between the Powell Conjecture and the reducing sphere complex mathcalR(Sigmag), the subcomplex of the curve complex mathcalC(Sigmag) spanned by the reducing curves for the Heegaard splitting. We prove that the Powell Conjecture is true if and only if mathcalR(Sigmag) is connected. Additionally, we show that reducing curves that meet in at most six points are connected by a path in mathcalR(Sigmag); however, we also demonstrate that even among reducing curves meeting in four points, the distance in mathcalR(Sigmag) between such curves can be arbitrarily large. We conclude with a discussion of the geometry of mathcalR(Sigmag).












This page was built for publication: The Powell conjecture and reducing sphere complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5108152)