Add first draft of README

This commit is contained in:
Antonia 2024-02-15 16:05:32 +01:00
parent 8e61895e9a
commit 9c636c1de3
2 changed files with 49 additions and 0 deletions

1
.gitignore vendored Normal file
View file

@ -0,0 +1 @@
*~

48
README.md Normal file
View file

@ -0,0 +1,48 @@
# Mildly Interesting Triangulations
This repository contains triangulations in [polymake][polymake] JSON
format of various closed, orientable 4-dimensional manifolds. The
triangulations were obtained by conversion of [Regina][regina]
isomorphism signatures taken from a [census of manifolds][lofano] into
polymake files, and then simplifying them using `edge_contraction` and
`bistellar_simplification`. For each isomporphism signature, the
smallest triangulation by number of vertices was chosen, and then
duplicates (combinatorially isomorphic triangulations) were removed.
## Contents
The triangulations are sorted by topological/PL-type, which was
determined by comparing them to a reference triangulation (or in the
case of the topology-P², by computing the intersection form). The
triangulations are further sorted by number of vertices.
###
The triangulation with 9 vertices is combinatorially isomorphic to the
[minimal triangulation][lutz-cp2] found in Frank H. Lutz's library of
triangulations. The triangulations with a larger amount of vertices
are triangulations which have been found to be PL-homeomorphic to
using Regina's [retriangulate][retriangulate] tool, but elude
polymake's simplification capabilities.
#### P² (top)
This category are four triangulations which have been shown to be
homoeomorphic to P² by computing the intersection form, however, it
is unknown whether they are also PL-homoeomorphic to P² as they elude
all methods tried on them so far.
### P²#S³xS¹
These 1464 triangulations have all been shown to be PL-Homeomorphic to
each other using retriangulate, however, polymake has big difficulties
in finding the PL-homeomorphisms between them.
[polymake]: https://polymake.org/doku.php/start
[regina]: https://regina-normal.github.io/
[lofano]: https://github.com/davelofa/Census6Pentachora
[lutz-cp2]: https://www3.math.tu-berlin.de/IfM/Nachrufe/Frank_Lutz/stellar/library_of_triangulations/CP2.txt
[retriangulate]: https://regina-normal.github.io/docs/man-retriangulate.html