MathOverflow is a question and answer site for professional mathematicians. 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

Let $\Gamma \subseteq PSL_2(\mathbb{R})$ be a Fuchsian group, possibly containing elliptic elements. Is it true that $N(\Gamma) / \Gamma$, where $N(\Gamma)$ the normalizer of $\Gamma$ in $PSL_2(\mathbb{R})$, is isomorphic to the automorphism group of $\Gamma \backslash \mathcal{H}^*$?

Here, $\mathcal{H}^*$ is the union of the upper-half plane and the set of cusps of $\Gamma$.

If so, can you point me to a reference, please?

share|cite|improve this question
up vote 3 down vote accepted

The compact Riemann surface $\Gamma\backslash\mathcal H^*$ may have authomorphisms that do not preserve the set of points corresponding to the cusps of $\Gamma$, so I believe the answer is no.

share|cite|improve this answer
Say, the compactified quotient could be the 2-sphere, whose group of automorphisms is $PSL(2,C)$, while the quotient $N(\Gamma)/\Gamma$ is always finite. – Misha Feb 25 '13 at 20:38
@Misha: pls post this as an answer. – Marc Palm Feb 25 '13 at 21:06
@Marc: stankewicz already wrote this as an answer, so I hope it will suffice. – Misha Feb 25 '13 at 23:51

How about $\Gamma = PSL_2(\mathbf{Z})$, where $N(\Gamma)/\Gamma)$ is the trivial group but the automorphism group of $\Gamma \setminus \mathcal{H}^*$ is infinite?

In general the best you can do is that you have a map $N(\Gamma) \to \mathrm{Aut}(\Gamma \setminus \mathcal{H}^*)$ whose kernel is $\Gamma$. If you have no cusps, then you can say something else.

share|cite|improve this answer
D'oh! Sorry Misha, completely didn't see your answer. I will gladly make this answer CW if requested. – stankewicz Feb 25 '13 at 22:38

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.