The diameter function is a topological Morse function

Abstract

Schmutz Schaller developed techniques for studying Teichmüller space using the systole function. These were presented in \cite{SchmutzMorse}, \cite{SchmutzVoronoi} as a hyperbolic analogue of Voronoi's theory of quadratic forms in the theory of Euclidean lattice packings and coverings \cite{VoronoiPDQF}. It is known that the packing density function on Euclidean space is a topological Morse function, \cite{TMFAsh}, and the same is true of the systole function on Teichmüller space, \cite{Akrout}, \cite{SchmutzMorse}. The study of hyperbolic packing and covering problems is technical, for example, the density depends on the scale, and very little is known about optimisers of the density \cite{tóth2022ballpackingshyperbolicspace}. At least in the Euclidean setting, there are also fewer techniques available for studying sphere covering as opposed to sphere packing problems, as the covering problems seem to have less discernible structure. One approach to studying efficient circle coverings in the hyperbolic plane is to study the critical points of the diameter function on Teichmüller space. This paper shows that the diameter function on Teichmüller space is a topological Morse function. As a mapping class group-equivariant topological Morse function, critical points of the diameter function are related to the homology of moduli space. It would seem that for small genus, the systole function and diameter function have a larger proportion of common critical points than at higher genus.