9
$\begingroup$

Good morning,

I am having a hard time trying to describe the commutator subgroup of a surface group. Namely, if $S$ is a compact orientable surface and $G$ its fundamental subgroup, let's recall that $G$ is given by the following presentation $ \langle a_1, b_1, ..., a_g, b_g \ | \ \prod_{1\leq i \leq g}{[a_i,bi]} =1 \rangle$. Its commutator subgroup is an infinite rank free group. Can one give a set of generator of this subgroup ? Or even better, could one make such a set free ?

I would be grateful for any hint or reference !

Selim

$\endgroup$
10
  • $\begingroup$ Just a guess for the genus 2 surface: Take a simple loop $c$ which separates $S$ in two one-holed tori. Then $c$ is clearly in the commutator subgroup of $G$. Now, consider the orbit of $c$ under the entire group $Aut(G)$. The result, I think, is a generating set for the commutator subgroup of $G$. $\endgroup$ Nov 22, 2013 at 10:53
  • $\begingroup$ What you say is right and can be extended in the general case, since $G$ is a free group, $Aut(G)$ acts transitively on free set of generator. However, I'm searching for an explicit description of a set of generator, which could be found using your method if one is able to describe $Aut(G)$ or the orbit of an element through its action. $\endgroup$ Nov 22, 2013 at 11:01
  • $\begingroup$ See this question math.stackexchange.com/questions/184176/… for the answer in the case of commutator subgroup of the free group. The same method should work for surface groups. $\endgroup$ Nov 22, 2013 at 12:27
  • 2
    $\begingroup$ @SelimGhazouani, $\;G\;$ as given by you can't be a free group since it is defined by means of non-trivial relations. $\endgroup$
    – DonAntonio
    Nov 22, 2013 at 22:44
  • $\begingroup$ Now asked on MathOF mathoverflow.net/questions/296006/… $\endgroup$
    – YCor
    Mar 23, 2018 at 21:09

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.