4
$\begingroup$

how how will the minimal triangulation of a torus look like?

$\endgroup$

1 Answer 1

11
$\begingroup$

Let $\omega = e^{2 \pi i/3}$. Let $L$ be the planar lattice generated by $1$ and $\omega$. Let $M$ be the sublattice generated by $2-\omega$ and $\omega (2 - \omega)$. Tile $\mathbb{R}^2$ by equilateral triangles with vertices at $L$, and quotient by $M$. This is a triangulation of the torus with $7$ vertices (exercise!). It is minimal because any triangulation of the torus must have a vertex of degree $6$, so you can't get use fewer vertices.

$\endgroup$
6
  • 6
    $\begingroup$ As a bonus this shows the embedding of $K_7$ in the torus, and the dual graph is the strongly regular Heawood graph (= incidence graph of the Fano plane) and tiles the torus with $7$ pairwise adjacent hexagons. $\endgroup$ Apr 9, 2012 at 20:23
  • 1
    $\begingroup$ [Correction: the Heawood graph isn't quite strongly regular, but it is vertex- and edge-transitive.] $\endgroup$ Apr 9, 2012 at 21:22
  • $\begingroup$ Moreover, Dewdney proved in "Wagner’s theorem for torus graphs" Discrete Math. 4 (1973), 139–149, that every triangulation of the torus can be transformed to this one by a sequence of flips and edge contractions. $\endgroup$ Apr 9, 2012 at 22:08
  • 3
    $\begingroup$ Moreover, this $7$-vertex triangulation can be realized as an embedded simplicial complex in $3$-space, so you can actually see it. (I made one out of construction paper during an idle undergraduate afternoon.) For more information about this, see, for example, eg-models.de/models/Classical_Models/2001.02.069/_preview.html . $\endgroup$ Apr 9, 2012 at 23:38
  • $\begingroup$ Why can't I use fewer vertices? Does the definition of "triangulation" preclude an edge that joins a vertex to itself? $\endgroup$
    – maproom
    Apr 10, 2012 at 11:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.