Let $\Gamma\_g=< a\_1,...,a\_g,b\_1,...,b\_g | \prod\_{i=1}^g [a\_i,b\_i]>$ (a surface group). What is known about maximal free subgroups of $\Gamma\_g$ for $g>1.$ (I.e. free subgroups which are not properly embedded into any other free subgroup)?


For example,


1. Is $<a\_1,...,a\_g,b\_1,...,b\_{g-1},b\_g^2>$ free? Maximal?
2. What are the lower, upper bounds on ranks of the maximal free subgroups?
3. Can the free subgroups of the minimal rank be classified somehow?



What is known about maximal free subgroups of surface groups?
1. The subgroup is free, and therefore not maximal (see 2.). To see this, the subgroup generated by all the generators except $b\_g$ is the fundamental group of a subsurface obtained by cutting along a curve (dual to $b\_g$). This surface lifts to a 2-fold cover dual to the curve, and the subgroup is obtained by adding another element corresponding to $b\_g^2$, so it has infinite index in the 2-fold cover (since its rank is too small to generate).
2. Maximal rank free subgroups (i.e. subgroups of infinite index) must be infinitely generated. More generally, this holds for [lattices in $PSL\_2(\mathbb{C})$](http://dx.doi.org/10.1090/S0002-9939-10-10310-4) (the argument they gives works for $PSL\_2(\mathbb{R})$, and is even easier, since finitely-generated subgroups are geometrically finite).
3. Since maximal free subgroups have infinite rank, I don't think there will be a nice description of them. They can't be normal, since the only possible quotient groups could have no proper non-trivial subgroups, so must be finite cyclic groups of prime order, a contradiction.


