Low Dimensional Topology

January 11, 2013

Normal loops in surfaces

Filed under: Surfaces,Triangulations — Jesse Johnson @ 3:50 pm

I plan to write a post or two about normal surfaces and branched surfaces in three-dimensional manifolds, but I want to warm up first, with two posts about the two-dimensional analogues of these objects. Train tracks play a huge role in the approach to the topology of surfaces initiated by Nielsen and Thurston, for understanding mapping class groups, Teichmuller space, laminations, etc. They organize the set of isotopy classes of simple closed curves in a surface in a way that allows one to take limits of infinite sequences of loops. (The limits are called projective measured laminations.)  In this post and the next, I will discuss train tracks from a rather unusual perspective, via normal loops in a triangulation of the given surface.

Let S be a surface and let G be the one-skeleton of a triangulation of S. In other words, G is a graph embedded in S so that its complement is a collection of triangles. If \ell is a simple closed curve in S then we can isotope \ell to be transverse to G (so that G \cap \ell is a finite number of points in the edges of G). In fact, we can do even better: If \ell ever intersects the same edge of G twice in a row, then the arc of \ell between these two points will be contained in a triangle, and moreover will cut off a disk in that triangle. (Such an arc is called a bent arc because it cannot be drawn by a straight line in the interior of the triangle.) If we isotope this arc of \ell across this disk and into the adjacent triangle, we will strictly reduce the number of points of intersection G \cap \ell. Note that we can isotope an arc with endpoints in different edges out of the triangle, but this will usually increase the number of points of intersection. If we each bent arc in this way, we will eventually isotope \ell so that each arc of \ell \setminus G has its endpoints in distinct edges of G. We will say that such an arc is normal.

If, after this isotopy, \ell is disjoint from G then \ell is contained in a triangle and is trivial (bounds a disk by the Jordan Curve Theorem). Otherwise, we will say that \ell is a normal loop. Note that in each triangle, there are exactly three types of normal arcs, defined by the pair of edges that contain their endpoints. Each edge of the triangulation contains the endpoints of four different classes of normal arcs, two in each of the adjacent disks and the total numbers of normal arcs on each side must be equal, since \ell is a loop. So every normal loop determines a vector whose entries are the number of normal arcs in each class. (So, these are 3F dimensional vectors where F is the number of faces in the triangulation.) Because the arcs must match up along the edges, they all satisfy a collection of linear equations of the form x_1 + x_2 = x_3 + x_4 where x_1, x_2 are the numbers of normal arcs on one side of an edge and x_3, x_4 are the numbers of arcs on the other side.

Conversely, if we choose an integer vector with positive entries that satisfies this set of linear equations, we can draw the corresponding normal arcs in the surface S and there will be a unique way to match up the endpoints to form a closed one-manifold in S. So this means that there is a one-to-one correspondence between normal loops and vectors in \mathbf{Z}^{3E} with all positive entries that lie in the subspace defined by the linear equations. (This is called the positive cone of the subspace.)

This vector structure on the set of normal loops turns out to be very nice. For example, we might translate a given normal loop into a vector, then multiply the vector by some integer k, then translate the new vector back into a normal loop. In this case, the resulting one-dimensional manifold will (usually) correspond to k copies of the original loop. (For one-sided loops in non-orientable surfaces, it’s a little more complicated.) But what happens if we add two of these vectors? If v and w are vectors corresponding to disjoint normal loops then the vector v + w will correspond to the union of the two normal loops. However, if the original loops intersect non-trivially, their union is not an embedded one-manifold.

In particular, if we look at the normal arcs of these loops inside a given triangle in S, the normal arcs will intersect. However, if we shuffle the endpoints of these arcs, we can make them pairwise disjoint. In the process of shuffling the endpoints, we will break the original loops then reattach them to form some new one-manifold. (It may or may not be a single loop.) There will always be exactly one way to do this and the result is called the Haken sum of the original loops.

Note that while every essential loop can be isotoped to a normal loop, not every normal loop is necessarily essential. In particular, a small trivial loop around any vertex of the triangulation will be normal. If the triangulation has two or more vertices, one can construct very complicated normal loops that are topologically trivial, as the boundary of a regular neighborhood of a complicated arc between the two vertices. Moreover, (as if this weren’t bad enough) an isotopy class of essential loops will generally have a lot of different normal representatives, for similar reasons. In order to correct these problems, we need to introduce train tracks, and this will be the subject of my next post.


  1. Really nice, but maybe you can explain where did you get the 3E from?
    Or maybe it’s 3F dimensional?

    Comment by Tali — January 14, 2013 @ 12:38 pm | Reply

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

Blog at WordPress.com.

%d bloggers like this: