Search Results

Documents authored by Burke, Rhuaidi Antonio

Document
DOI: 10.4230/LIPIcs.SoCG.2024.29
Practical Software for Triangulating and Simplifying 4-Manifolds

Authors: Rhuaidi Antonio Burke

Published in: LIPIcs, Volume 293, 40th International Symposium on Computational Geometry (SoCG 2024)

Abstract
Dimension 4 is the first dimension in which exotic smooth manifold pairs appear - manifolds which are topologically the same but for which there is no smooth deformation of one into the other. Whilst smooth and triangulated 4-manifolds do coincide, comparatively little work has been done towards gaining an understanding of smooth 4-manifolds from the discrete and algorithmic perspective. In this paper we introduce new software tools to make this possible, including a software implementation of an algorithm which enables us to build triangulations of 4-manifolds from Kirby diagrams, as well as a new heuristic for simplifying 4-manifold triangulations. Using these tools, we present new triangulations of several bounded exotic pairs, corks and plugs (objects responsible for "exoticity"), as well as the smallest known triangulation of the fundamental K3 surface. The small size of these triangulations benefit us by revealing fine structural features in 4-manifold triangulations.
Cite as

Rhuaidi Antonio Burke. Practical Software for Triangulating and Simplifying 4-Manifolds. In 40th International Symposium on Computational Geometry (SoCG 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 293, pp. 29:1-29:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{burke:LIPIcs.SoCG.2024.29,
  author =	{Burke, Rhuaidi Antonio},
  title =	{{Practical Software for Triangulating and Simplifying 4-Manifolds}},
  booktitle =	{40th International Symposium on Computational Geometry (SoCG 2024)},
  pages =	{29:1--29:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-316-4},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{293},
  editor =	{Mulzer, Wolfgang and Phillips, Jeff M.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2024.29},
  URN =		{urn:nbn:de:0030-drops-199748},
  doi =		{10.4230/LIPIcs.SoCG.2024.29},
  annote =	{Keywords: computational low-dimensional topology, triangulations, 4-manifolds, exotic 4-manifolds, mathematical software, experiments in low-dimensional topology}
}
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact