2020/08/26 by Iguchi, Daiki
#57M50 #57M60 #FOS: Mathematics #Geometric Topology (math.GT)
paper · doi:10.48550/arxiv.2008.11548
We give a necessary and sufficient condition for the fundamental group of the space of Heegaard splittings of an irreducible 3-manifold to be finitely generated. The condition is exactly the conclusion of the thick isotopy lemma proved by Colding, Gabai and Ketover, which says that any isotopy of a Heegaard surface is achieved by a 1-parameter family of surfaces with area bounded above by a universal constant and with some ``thickness property''. We also prove that a Heegaard splitting of a hyperbolic or spherical 3-manifold satisfies the condition if it is topologically minimal (in the sense of Bachman) and its disk complex has finitely generated homotopy group. In conclusion, such a Heegaard splitting has finitely generated mapping class group.