# A simple closed curve on a surface

How to describe a simple closed curve on an oriented surface of genus g? I know the answer only for the torus. It would be nice to find an article or a book where proof can be found.

-
A proof of what? –  HJRW Jun 13 '12 at 13:12

First, a remark on the other two answers: The Dehn-Thurston coordinates describe multicurves (that is, disjoint unions of essential simple curves). Figuring out when a multicurve is connected (so, an actual curve) is a very difficult computational problem, though it is know through the work of yours truly (Simple curves on surfaces) and Mirzakhani (I suggest taking a look at my paper "A simpler proof of Mirzakhani's simple curve asymptotics") that there is a positive probability (which Mirzkhani expresses in terms of volumes of moduli spaces) that a multicurve (given by D-T coordinates) is a curve.

Given an element in the fundamental group, there are algorithms (Birman-Series, M. Cohen-Lustig, M. Lustig for closed surfaces) to determine whether this element represents a simple closed curve -- unfortunately, this is a decision procedure, and not a method to generate all simple closed curves.

-
Here's a simple such algorithm, assuming that your multicurve is expressed as an integer system of weights on a train track: start splitting the train track. Split, split, split. Eventually it falls into integer weighted simple closed curves. Verify whether the result is one curve with weight $1$. –  Lee Mosher Jun 13 '12 at 13:49
This in some sense is a direct analogue of the torus situation: given a rational number expressed as $p/q$, is $gcd(p,q)=1$? To decide, apply the Euclidean algorithm: divide, divide, divide... –  Lee Mosher Jun 13 '12 at 13:52
@Lee: I would love to know more about this (any references you can recommend would be most welcome), but my fear is that the algorithm you get is polynomial in the WEIGHTS, so exponential in the size of the input... But of course, i speak from ignorance. –  Igor Rivin Jun 13 '12 at 14:34
There is a polynomial algorithm in log of the weights in this paper (due to Thurston): ams.org/journals/tran/2006-358-09/S0002-9947-05-03919-X/… –  Ian Agol Jun 13 '12 at 14:52
@Agol: Thanks! One would not have guessed from the title of the paper :) –  Igor Rivin Jun 13 '12 at 15:08
show 1 more comment

Check out the book Thurston's Work on Surfaces for a treatment of Dehn-Thurston coordinates which is simultaneously intuitive and in-depth.

-