MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How many simple closed curves can be put on a orientable genus $g$ surface $\Sigma_g$ such that the following are true:

  1. The curves are pairwise non-homotopic
  2. The curves are pairwise set-theoretically disjoint.

I am trying to give an upper bound on this number.

share|cite|improve this question
You should google "pants decomposition". Here is one hit. – Sam Nead Apr 7 '12 at 9:52
Provided $g \geq 2$ such a maximal collection is called a pant decomposition of the surface. That there's $3g-3$ curves in such a decomposition is a very old result, observed probably by many people but certainly well-known by Poincare's time. Such curve collections are used to put "coordinates" on the collection of all curves on the surface, usually called "Dehn-Thurston coordinates". – Ryan Budney Apr 7 '12 at 10:06
up vote 2 down vote accepted

This is Lemma 3.2 of this paper by Juvan, Malnic and Mohar.

Theorem. Let $F$ be a family of non-null homotopic closed curves on a surface $\Sigma$ with $b \geq 0$ boundary components which are pairwise non-homotopic and pairwise disjoint. Then

$|F| \leq \max (1, 3(g_{\Sigma}-1)+2b)$,

where $g_{\Sigma}$ is the genus of $\Sigma$ (orientable or non-orientable).

share|cite|improve this answer

I am tacitly assuming that your curves should also be non-contractible, otherwise you have to add 1 to the answer. Let's suppose for simplicity that the surface is closed (but the argument adapts in a straightforward way to the non-closed situation) and has negative Euler characteristic.

Clearly, the best solution is to have your curves decompose the surface into pairs-of-pants (discs are forbidden; annuli are forbidden; and any other surface can be further decomposed).

Each pair-of-pants has Euler characteristic -1, and contributes 3/2 boundary curves (dividing by 2 to account for the fact that each boundary curve appears twice). The answer is then -3/2 the Euler characteristic, as described in the first answer above.

share|cite|improve this answer
Except of course if both ends of the annulus are the same, in which case you are on the torus, and the correct answer is $1$. – Will Sawin Apr 6 '12 at 18:37

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.