two curves filling a surface - MathOverflow

two curves filling a surface

2012-10-21T10:55:05Z

Let $S$ be a closed surface of genus $g \geq 2$. There exist two simple closed curves filling $S$?

Definitions:

Two closed curves $\alpha, \beta$ fill $S$ if they have minimal intersection and $S \setminus (\alpha \cup \beta)$ is a union of topological disks.

Two closed curves $\alpha, \beta$ have minimal intersection if $card(\alpha \cap \beta) \leq card(\alpha^' \cap \beta^')$ for all $\alpha^'$ in the same homotopy class of $\alpha$ and for all $\beta^'$ in the same homotopy class of $\beta$.

Answer by Pietro Majer for two curves filling a surface

2012-10-21T17:29:38Z

A first obvious remark: if there are two curves separating the surface as required, up to a generic perturbation they have an intersection of finite cardinality. So by well-ordering, there are two such curves with intersection of minimal cardinality. In other words, the requirement that $\mathrm{card}(\alpha\cup\beta)$ be be minimal can always be ensured, if there are two not necessarily minimal separating curves.

If two surfaces have this property, so does their connected sum (w.r.to the connected sum of the disks suitably arranged). Also, the property is certainly true for the sphere, for the torus, and for the real projective plane, by direct decomposition. Therefore the property it is true for any closed surface, since it is a connected sum of some copies of the preceding.

Answer by Misha for two curves filling a surface

2012-10-22T03:25:34Z

Here is a quick but nonelementary proof; however, if you are interested in geometry and topology of surfaces, or Teichmuller theory, you should learn about curve complex in any case, this is a very powerful tool for studying mapping class groups, etc.

Let $X=C(S)$ be the curve complex of the surface $S$, see e.g. Schleimer's notes here. Vertices of $X$ are isotopy classes of simple nontrivial loops on $S$; two vertices are connected by an edge iff the loops can be made disjoint. Equip $X$ with the path-metric where every edge has unit length. If $\alpha, \beta$ are vertices of $X$ so that the pair $(\alpha, \beta)$ does not fill in the surface $S$, then the distance between $\alpha, \beta$ in $X$ is at most $2$, since you can find a nontrivial loop disjoint from both $\alpha$ and $\beta$. On the other hand, $X$ is connected and has infinite diameter, see the same source as above. Thus, there are pairs of loops in $S$ which fill.