The Powell Conjecture for the genus-three Heegaard splitting of the 3-sphere

The Powell Conjecture states that the Goeritz group of the Heegaard splitting of the <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="3"> <mml:semantics> <mml:mn>3</mml:mn> <mml:annotation encoding="application/x-tex">3</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -sphere is finitely generated; furthermore, four specific elements suffice to generate the group. Zupan demonstrated that the conjecture holds if and only if the reducing sphere complexes are all connected. In this work, we establish the connectivity of the reducing sphere complex for the genus- <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="3"> <mml:semantics> <mml:mn>3</mml:mn> <mml:annotation encoding="application/x-tex">3</mml:annotation> </mml:semantics> </mml:math> </inline-formula> case, thereby confirming the Powell Conjecture in the genus- <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="3"> <mml:semantics> <mml:mn>3</mml:mn> <mml:annotation encoding="application/x-tex">3</mml:annotation> </mml:semantics> </mml:math> </inline-formula> case. Additionally, we propose a potential framework for extending this approach to Heegaard splittings of higher genera.