6
$\begingroup$

Hi, everyone:

I have been going over some simplicial homology recently, hoping to get
some geometric insight that I don't know how to get from the algebraic machinery alone.

I have been trying to find the homology of the torus this way, i.e., by triangulating it ( i.e., finding a carrier for the torus), but the smallest triangulation I have been able to do , has 18 triangles/faces --I checked it works; there are 8 vertices and 26 edges. Still: does anyone know of a simpler triangulation, ie., one with a smaller total number of triangles (and, of course, fewer vertices and edges resp.). ?

I had tried the long shot of solving the very simple equation:

V-E+F =0

in positive integers.

but this alone does not seem to help . Any ideas.?. Any ideas for finding minimal triangulations of surfaces, or higher-dimensional manifolds.?

Thanks.

$\endgroup$
7
  • $\begingroup$ My apology. I mistakenly, and carelessly, entered triangulated categories as tags. Sorry. $\endgroup$
    – Herb
    Commented Apr 25, 2010 at 3:53
  • 1
    $\begingroup$ Well, the question about "finding minimal triangulations of ... higher-dimensional manifolds" is not at all trivial. $\endgroup$ Commented Apr 26, 2010 at 18:08
  • 1
    $\begingroup$ The pattern is pretty clear. Low points, because they just created an account, name that can't be traced back to an individual. Homework question dressed up to look like a little more. $\endgroup$ Commented Apr 26, 2010 at 18:44
  • 1
    $\begingroup$ To Charlie Frohman: This is not a homework question. I am computing the actual simplicial homology of spaces to get insights I do not know how to get by using the algebraic machinery alone (e.g., with simplicial homology) As to not stating my name, I have to admit I feel somewhat intimidated in this forum, being a first-year student at a school other than one of the top 10, specially after having read the resumes/CV's of many here. If this is against MO policy, I apologize, and I will drop out. $\endgroup$
    – Herb
    Commented Apr 28, 2010 at 4:11
  • 1
    $\begingroup$ Get a hold of the book by Croom I mentioned. Also Munkres book on homology theory (it might be called algebraic topology) has a nice section on how to compute with simplicial homology. There are tricks for computing with a large triangulation, and yet only have to work with a little bit, that is in Munkres. You probably want to move on quickly to a book that does singular homology though. I really liked reading the original Greenberg book on algebraic topology. I also read Spanier cover to cover, and worked the exercises. The section of Vick on applications to Euclidian space is nice. $\endgroup$ Commented May 9, 2010 at 3:12

3 Answers 3

17
$\begingroup$

If you're just looking to glue triangles together along their edges, you can do it with two triangles, glued together to form a square, and then with opposite sides of the square glued to form a torus in the usual way. The resulting mesh has one vertex and three edges.

But if the triangles have to form a simplicial complex (meaning that the intersection of any two triangles is empty, a single vertex, or an edge) then I think the smallest mesh for a torus has 14 triangles, connected to each other in the pattern of the Heawood graph. The resulting mesh has seven vertices and 21 edges. It can be embedded into space as the Császár polyhedron.

$\endgroup$
1
  • 4
    $\begingroup$ Herb, if you want to employ David's "triangulation" for computing homology of the torus, take a look at Hatcher's algebraic topology book. He explains how to use Delta complexes in place of simplicial complexes (David's decomposition of the torus into two triangles is a Delta complex). This gives a theory in which it's easy to find (generalized) triangulations of spaces you may encounter, and also makes the resulting homology computations very clean. $\endgroup$
    – Dan Ramras
    Commented Apr 25, 2010 at 23:22
8
$\begingroup$

For the particular case of a simplicial complex structure for a torus, David Eppstein is right: the minimal triangulation has 7 vertices, 21 edges, and 14 triangles. For a sphere, the minimal triangulation has $(v,e,f) = (4, 6, 4)$. For a real projective plane, the minimal triangulation has $(v,e,f) = (6, 15, 10)$.

For the general situation of finding minimal triangulations of manifolds, Frank Lutz has written a nice preprint, and he also has some information and other references on The Manifold Page. There are plenty of unsolved problems in this area, it seems...

$\endgroup$
0
$\begingroup$

The minimal triangulation of a torus has 1 vertex, 3 edges and 2 triangles, if one allows an edge to have equal start and ending point: Draw a square and its diagonal, glue together its corresponding edges to create a torus.

Note that this triangulation is degenerated from the standpoint of simplicial homology since the triangles are not homeomorphic to a standard 2-simplex in affine space (whose vertices are distinct). However, this does not influence the Euler-characteristik, which can be defined for any graph with simply connected faces.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .