16
$\begingroup$

The fundamental group of a closed oriented surface of genus $g$ has the well-known presentation

$$ \langle x_1,\ldots, x_g,y_1,\ldots ,y_g\vert \prod_{i=1}^{g} [x_i,y_i]\rangle. $$

The proof I know is in two steps: 1. draw your favorite presentation of the surface onto a sheet of paper and compute the fundamental group using Seifert-van Kampen. 2. Appeal to the classification of surfaces to prove that any surface is diffeomorphic to what you drew. Here is my question:

''Can one avoid using the classification of surfaces? More specifically, can one prove that a discrete subgroup of $PSL_2 (R) $ that acts freely and cocompactly on the upper half plane must be of the above form - using a group-theoretic argument and without refering to the classification of surfaces or something that comes close to it?''

By ''something that comes close to it'', I mean an argument using Morse theory or another device that decomposes a surface into simpler parts.

Background: while contemplating again about the well-known paper by Earle and Eells ('A fibre bundle description of Teichmueller theory'), I realized that their main arguments can be upgraded slightly to give at once

  1. closed surfaces are determined up to diffeomorphism by their fundamental groups
  2. each isomorphism of fundamental groups is realized by a diffeomorphism which is unique up to isotopy (Dehn-Nielsen-Baer-Epstein)
  3. the group of diffeomorphisms homotopic to the identity is contractible (the original Earle-Eells result)

and I would like to know whether this also gives the classification cheaply. According to the above two step argument, I would be happy with an argument that proves that two surfaces with the same genus (defined by the relation $\chi = 2 -2g$) must have isomorphic fundamental groups.

Improve this question
$\endgroup$
6
  • 1
    $\begingroup$ I remember hearing that it is known that the only spaces satisfying $2$-dimensional Poincare duality (for arbitrary coefficient systems) are those which are weakly homotopy equivalent to the usual surfaces. I don't have a reference, and I don't know how the proof goes, but such a result would include the result that every surface is homotopy equivalent to one of the usual ones and therefore has the right sort of fundamental group. $\endgroup$
    – Tom Goodwillie
    Commented Jul 10, 2013 at 21:47
  • 4
    $\begingroup$ @TomGoodwillie : That theorem is due to Eckmann; a suitable reference is B. Eckmann, Poincare duality groups of dimension two are surface groups, Combinatorial Group Theory and Topology (eds. S.M. Gersten and J. Stallings), Annals of Math. Studies 111 (1987), 35–51, Princeton Univ. Press, Princeton. $\endgroup$
    – Andy Putman
    Commented Jul 10, 2013 at 23:22
  • $\begingroup$ By the way, it is conjectured that every finitely presentable Poincare duality group is the fundamental group of a compact aspherical orientable manifold (generalizing the above statement for surfaces). I believe that this is open even for $3$-dimensional Poincare duality groups. The condition "finitely presented" is necessary; Mike Davis has constructed non-finitely-presentable Poincare duality groups in M. Davis, The cohomology of a Coxeter group with group ring coefficients, Duke Math. J. 91 (1998), 297-313. $\endgroup$
    – Andy Putman
    Commented Jul 10, 2013 at 23:28
  • $\begingroup$ @Andy: the proof by Eckmann uses deep things such as a version of Stallings' splitting theorem, so it is quite complicated. Nevertheless it was a pleasant read, thanks for the reference. $\endgroup$
    – Johannes Ebert
    Commented Jul 11, 2013 at 17:36
  • 1
    $\begingroup$ I think there's something to be said for Lars Louder's paper "Nielson Equivalence of generating sets for closed surface groups". He proves that any presentation of closed surfaces groups are either reducible or Nielson equivalent to the standard one. One component of the paper is expressing a closed surface as a graph of graphs having one vertex space. Supposing that we are beginning with at least an aspherical 2-complex having $\chi \leq 0$, i would want to know what Louder's paper has to say. $\endgroup$
    – JHM
    Commented Jul 11, 2013 at 18:12

2 Answers 2

Reset to default
9
$\begingroup$

I will answer the question of whether this also gives the classification cheaply.

No.

It gives the classification at the expense of proving that every surface group has a free cocompact action on the upper half plane (or on the euclidean plane, or on the 2-sphere). This in turn depends upon proving:

  • Every surface has a triangulation (Rado's Theorem, and now you've done 90% of the work of the classification theorem)...

  • Every triangulated surface has a compatible smooth structure...

  • Every smooth surface has a compatible conformal structure...

and, finally

  • Every conformal structure has a compatible hyperbolic metric, euclidean metric, or spherical metric (the uniformization theorem).
Improve this answer
$\endgroup$
1
  • $\begingroup$ Steps 3 and 4 are involved anyway in the argument and I would consider using them as "cheap" in this context. $\endgroup$
    – Johannes Ebert
    Commented Jul 11, 2013 at 6:57
8
$\begingroup$

Yes, the magic words are "The Poincare polygon theorem". For (considerably) more detail, see Fine and Rosenberger "Algebraic generalizations of discrete groups: A path to combinatorial group theory through One-relator products" (section 4, I believe).

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .