Filling with separating curves

A pair $(\alpha, \beta)$ of simple closed curves on a closed and orientable surface $S_g$ of genus $g$ is called a filling pair if the complement is a disjoint union of topological disks. If $\alpha$ is separating, then we call it as separating filling pair. In this article, we find a necessary and sufficient condition for the existence of a separating filling pair on $S_g$ with exactly two complementary disks. We study the combinatorics of the action of the mapping class group $\M$ on the set of such filling pairs. Furthermore, we construct a Morse function $\mathcal{F}_g$ on the moduli space $\mathcal{M}_g$ which, for a given hyperbolic surface $X$, outputs the length of shortest such filling pair with respect to the metric in $X$. We show that the cardinality of the set of global minima of the function $\mathcal{F}_g$ is the same as the number of $\M$-orbits of such filling pairs.Comment: 30 Pages, 16 Figures, Theorem 1.3, Subsection 4.1, Lemma 7.8 are added to the previous versio