Spanning disks in triangulations of surfaces

Katie Clinch,Sean Dewar,Niloufar Fuladi,Maximilian Gorsky,Tony Huynh,Eleftherios Kastis,Anthony Nixon,Brigitte Servatius
2024-10-06
Abstract:Given a triangulation $G$ of a surface $\mathbb{D}$, a spanning disk is a disk $\mathbb{D} \subseteq \mathbb{S}$ containing all the vertices of $G$ such that the boundary of $\mathbb{D}$ is a cycle of $G$. In this paper, we consider the question of when a triangulation of a surface contains a spanning disk. We give a very short proof that every triangulation of the torus contains a spanning disk, which strengthens a theorem of Nevo and Tarabykin. For arbitrary surfaces, we prove that triangulations with sufficiently high facewidth always contain spanning disks. Finally, we exhibit triangulations which do not have spanning disks. This shows that a minimum facewidth condition is necessary. Our results are motivated by and have applications for rigidity questions in the plane.
Combinatorics,Discrete Mathematics
What problem does this paper attempt to address?
This paper mainly explores whether there exists a spanning disk in the triangulation \(G\) of a given surface \(S\). A spanning disk is defined as a closed disk \(D\subseteq S\) that contains all vertices of \(G\) and whose boundary is a cycle in \(G\). Specifically, the paper solves the following problems: 1. **Prove that every triangulation of a torus contains a spanning disk**: This is an enhancement of the previous work by Nevo and Tarabykin, who proved that every triangulation of a torus contains a spanning cylinder. 2. **For general surfaces, when the face - width of the triangulation is high enough, prove that it contains a spanning disk**: The author proves that if the Euler genus \(g\geq1\) of a surface \(S\) and the face - width of its triangulation \(G\) is at least \(2g + 3\), then \(G\) must contain a spanning disk. 3. **Show that there are triangulations that do not contain a spanning disk**: By constructing specific examples, the author shows that the triangulations on certain specific surfaces (such as \(T_{18}\) and \(N_{18}\)) do not indeed contain a spanning disk, thus indicating that the face - width condition is necessary. The research motivation for these problems comes from rigidity theory, especially its applications in the plane. The results of the paper not only deepen the understanding of the structure of surface triangulations but also provide new perspectives and tools for rigidity problems.