Welcome to MathOverflow

Question

5

For surfaces there are many statements along the lines of: if two simple closed curves are homotopic, they are isotopic. I'm interested in such questions for families of curves.

More precisely, let $\Sigma$ be a hyperbolic surface, possibly with boundary. We fix an essential simple closed curve $\gamma$ on $\Sigma$. It is true that the subspace of $Emb(S^1,\Sigma)$ consisting of those curves that are isotopic to $\gamma$ is homotopy equivalent to a circle? Here the circle would come from reparametrisation of the curves.

This statement is true if we instead look at the space of all continuous (or smooth) maps of $S^1$ into $\Sigma$ that are homotopic to $\gamma$. Also note that this seems to be false for the torus, as for any essential simple closed curve we get at least $S^1 \times S^1$.

flag	asked Aug 21 at 21:30 skupers 3,109●6●26

Ryan Budney · Accepted Answer · 2012-08-21 22:00:38Z UTC

3

Earlier than Grayson, the determination of the homotopy-types of these spaces was done by Gramain.

There are a few special cases, like the torus and sphere and the non-orientable analogue, the case of null curves. But if they're not null homotopic the components of the embedding space have the homotopy type of $S^1$ -- the reparametrizations of the given curve.

Andre Gramain, Le type d'homotopie du groupe des diffeomorphisms d'une surface compacte. Ann. Sci. l'ENS $4^e$ serie tome 6 $n^o$ 1 (1973) 53--66

answered Aug 21 at 22:00

Ryan Budney
21.6k●1●40●101

1

I was just looking at this Gramain reference and it seems only to prove something which is equivalent, though perhaps not obviously so. Namely, Theorem 4 of the paper says the space of embeddings of a circle with a fixed 1-jet at a point has contractible components. This is the fiber of a map from the full embedding space which takes the 1-jet at a point. The base space of this fibration is essentially the unit tangent bundle of the surface. There's a little checking left to get the result from this, but it's not hard. Does anyone know a reference for the exact statement? – Allen Hatcher Aug 21 at 23:13

Igor Rivin · Answer 2 · 2012-08-21 22:40:35Z UTC

If you forget about the parametrization, the "curve shortening flow" isotopes an essential simple closed curve to THE geodesic isotopic to it (this is a celebrated result of Matt Grayson), which I believe is gives a deformation retraction of the unparametrized space to a point. When you throw the parametrization back in, you get your conjectured result.

The Grayson result is this: Shortening embedded curves MA Grayson - The Annals of Mathematics, 1989

What is the homotopy type of the space of simple closed curves isotopic to a given one?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.