Homeomorphisms of the torus, part IV (topology of the identity component)

30 Dec

See Part I for a definition of homeomorphism and torus and Part II for a bit more linear algebra.  

I still owe a Part III for the explanation of the linear algebraic classification of homeomorphisms.  But let’s take a step away from linear algebra and look at shapes (my favorite!)

We know what homeomorphisms are (continuous functions with continuous inverses), with the famous example in the picture below: a coffee cup turns into a donut and vice-versa.

New meaning to cup of (j)Oe.  From wikipedia
New meaning to cup of (j)Oe. From wikipedia

In fact, this pictures doesn’t just show us the homeomorphism (which says where each point of the coffee cup gets sent to in the torus and vice-versa).  It also shows us a homotopy (remember the definition from this post)- essentially, because we can see it traveling through time and back, it’s a homotopy.  And in fact, this homotopy is an isotopy– a type of homotopy where at each frozen point in time, the image is homeomorphic to what we started with.  An example of a homotopy which is not an isotopy is the map that ends up sending x\mapsto -x, where x is a real number.  Homotopies take place over time, so I would actually write this map as \mathbb{R}\times [0,1] \to \mathbb{R}; (x,t)\mapsto (1-t)x+t(-x).  So when t=0, we have x mapping to x, and when t=1, x maps to -x.  One reason this isn’t an isotopy is because when t=1/2, all of the real line gets mapped to the point 0.  And mapping everything to 0 isn’t a homeomorphism (what would the continuous inverse be?)

A big part of geometric group theory is using shapes to come up with algebraic theorems, and using algebra to come up with shapes.  One thing you can do (which we’re doing RIGHT NOW!) is take a shape, do some algebra, and then make a new shape.  To be specific, our first shape is the torus.  Our algebra was figuring out the group of homeomorphisms of the torus, also written as Homeo(T)- T for torus.  Sometimes you’ll see T^2, to specify that we’re talking about the 2-torus rather than a higher dimension (more on higher dimensional tori later.  Isn’t it cool that the plural of torus is tori?  Pronounced tor-eye.)  Now we’re going to make a new shape from this group of homeomorphisms.

We’ll only consider homeomorphisms isotopic to the identity, written as Homeo_0(T^2).  Starting in 1962 and finishing in 1965, badass Mary-Elizabeth Hamstrom proved in a series of papers that Homeo_0(X) is contractible (homotopic to a point) if X is a two-manifold with a short list of exceptions [torus, sphere, plane, disk, annulus, disk with a hole in it, plane with a hole in it.]

Abstractly, I realize that there are many 10-year olds out there who could make a better picture than this.  But I'm still so proud of myself.  Exceptions to the theorem that the space of homeomorphisms isotopic to the identity is contractible.
Abstractly, I realize that there are many 10-year olds out there who could make a better picture than this. But I’m still so proud of myself. Exceptions to the theorem that the space of homeomorphisms isotopic to the identity is contractible.

Let’s look at our current favorite from this list, $Homeo_0(T^2)$.  If we start from the identity, which homeomorphisms can we isotope to?  Well, I can rotate my torus around its hole-axis, and that ending homeomorphism is definitely isotopic to the identity (the rotation through time is the isotopy; where the points end up is the ending homeomorphism).

Orange dot moves to red dot.
Orange dot moves to red dot.

Since I can rotate by all the degrees up to 360, which brings me back to the identity, this means that Homeo_0(T^2) contains a circle- each point on the circle represents rotating the torus by that many degrees.

What else can I do that’ll be isotopic to the identity?  I can rotate the torus around its center circle (running through the middle of the donut), like if I was wringing out a towel.

Again, orange dot to red dot.
Again, orange dot to red dot.

Again, I can do this for 360 degrees before coming back to the identity.  So there’s another circle, different from the first one, in Homeo_0(T).

I can also do any combination of these two: I can rotate 27 degrees around the hole-axis, and then 78 around the center circle.  This is true for any numbers between 0 and 360, but then 0 and 360 are the same for both.  So far, we have the picture on the left.  I colored it to indicate that 0=360 on both axes.  Look familiar?

torus

Notice that all four corners are the same homeomorphism: the identity can be had by rotating by 360 degrees in either direction, or in both directions, or by doing nothing.  So we’ve shown that Homeo_0(T^2) actually contains a torus!  This is cool because all those other Homeo_0(X) were contractible.  In fact, Homeo_0(T^2) is a torus- we’ve actually described all the homeomorphisms of the torus which are isotopic to the identity- combinations of rotations around the center axis and around the center circle.

Personally I find this much more exciting than classifying the homeomorphisms by trace (yeup that’s happening in Part III, nope Part IV is coming out before Part III and you’re going to like it), probably because it involves shapes rather than numbers.

Update on health: I’m taking antibiotics to help with whooping cough.  So that explains why I’ve been sick for a month.  My boyfriend walked by and asked what I was doing an hour ago, and I told him I was very busy feeling sorry for myself.  Then I wrote this blog post to be less lump-ish.

Advertisements

3 Responses to “Homeomorphisms of the torus, part IV (topology of the identity component)”

Trackbacks/Pingbacks

  1. An open problem in group theory | Baking and Math - February 25, 2014

    […] may remember that I once did a series of posts 1, 2, 4, on the homeomorphisms of the torus.  You don’t need to read all the posts to get this post, […]

  2. Introduction to random groups | Baking and Math - April 26, 2015

    […] group, but I’ll let you convince yourself of that)- for instance, we’ve thought about homeomorphisms of the torus.  We’re going to use group presentations to describe our groups- every element will be […]

  3. Current research: lifting geodesics to embedded loops (and quantification) | Baking and Math - November 19, 2015

    […] your two-dimensional looking space, and then suddenly it stops.  This is also what a boundary of a manifold is: where the manifold locally looks like a half-space instead of all of .  Surfaces are […]

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 )

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s

%d bloggers like this: