# Number of non-intersecting non-homotopic simple closed curve

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.

-
You should google "pants decomposition". Here is one hit. brownsharpie.courtneygibbons.org/?p=144 –  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

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).

-
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