Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am reading a book (Mapping Class Group by Farb and Margalit) and it says (in a proof of one theorem):

If $S$ admits a hyperbolic metric (they define such a surface to be of finite area and complete) and we had $\pi_1(S)\cong \mathbb{Z}\ $ then the surface would have an infinite volume which is a contradiciton. Hence $\pi_1(S)$ is NOT isomorphic to $\mathbb{Z}$.


  1. If we have a Riemannian manifold of finite area, does it have a finite volume also? I am interested in the case of hyperbolic surfaces.
  2. Why $\pi_1(S)\cong \mathbb{Z}\ $ implies the volume of $S\ $ is infinite?

Can someone help me, please?

share|cite|improve this question
Could you clarify in how many dimensions you are working and what are your definitions of area and volume? Since it seems to me you are only talking about surfaces and for those volume = area, at least in my book... – Marek Sep 10 '12 at 10:02
@Marek I do not have a definition in the book (Mapping Class Group-Farb & Margalit) I am using! But I am intrested in the case of surfaces only. If volume=area for surfaces, then Q1 is done. – JimWang Sep 10 '12 at 18:00
up vote 2 down vote accepted

$\pi_1(S)= \mathbb{Z}$ means that $S$ is topologically an open annulus. Actually, there is a classification of annuli (Look at John Hubbard's Teichmuller Theory , volume 1, section 3.2, page 63) by using the uiformization theorem , which says the annuli (non copact Riemann surface with fundamental group $\mathbb{Z}$ ) are isomorphic to $C- {0}$ = $C / \mathbb{Z}$ , $D-{0} = \mathbb{H}/ z\to z+a, a\in \mathbb{R}-0$ , or a round annulus with inner radius 1 and outer radius r = $H/ z\to \lambda.z$ for some suitable $\lambda$ depending only on r. Now if you look at the fundamental domains F of each of these $\mathbb{Z}$-action you will get infinite hyperbolic area (for example, F for $H/ z\to \lambda.z$ is the open semi-annulus in $\mathbb{H}$ with vertices $1,\lambda, -1, -\lambda$, which has infinite hyperbolic area (use the hyperbolic metric on $\mathbb{H}$).Similarly, you can try to find (it is easy) the F for the other actions and show they have infinite area. So, ALL the annuli have infinite area.

share|cite|improve this answer
Thanks for your help. – JimWang Sep 13 '12 at 19:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.