1: \begin{abstract}

2: We show that if a Heegaard splitting is obtained by gluing a splitting of Hempel distance at least $4$ and the genus-$1$ splitting of $S^2 \times S^1$, then the Goeritz group of the splitting is finitely generated. 

3: To show this, 

4: we first provide a sufficient condition for a full subcomplex of the arc complex for a compact orientable surface

5: to be contractible, which generalizes the result by Hatcher that the arc complexes are contractible. 

6: We then construct infinitely many Heegaard splittings, including the above-mentioned Heegaard splitting, 

7: %and in particular the genus-$2$ Heegaard splitting of $S^2 \times S^1$, 

8: for which suitably defined complexes of Haken spheres are contractible. 

9: \end{abstract}