Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Is there a list of 2-dimensional hyperbolic orbifolds obtained from reflection groups (such as the double of a hyperbolic triangle with angles $\pi/p$, etc.) of small area, for instance area smaller than $\pi/2$?

share|improve this question

1 Answer 1

up vote 6 down vote accepted

Yes. One can extend the Gauss-Bonnet theorem to 2-orbifolds since but area an orbifold Euler characteristic behave well under the covering map.

To find all hyperbolic 2-orbifolds with area smaller than $\pi/2$, we need to get a list of orbifolds $\{O_i\}$ $0>\chi(O_i)>-1/4$.

Thankfully, this is not a horrible task. Background and pictures for this computation is in Chapter 13 of Thurston's notes, although there are certainly older sources. To set notation, $O$ is our orbifold, $X_O$ is the underlying topological space of this orbifold. Also, $O$ can have three types of singularities cone points of order $n_j$ (points fixed locally by rotations of order $n_j$ and not any reflections), points fixed by reflections but not any rotations, and corner reflections (points fixed locally by a dihedral group). Note, fixed by reflections but not fixed by a dihedral group will not contribute to this computation and if a point at infinity is fixed at least to reflections we say the dihedral group that fixes it is infinite. If an orbifold $O$ has $n$ cone points each fixed by a cyclic group of order $r_i$ and $m$ corner points each fixed by a dihedral group of order $t_j$ then the orbifold Euler characteristic is:

$$\chi(O)= \chi(X_O) - \Sigma_{i=1} ^n (1-1/r_i) -\Sigma_{j=1} ^m (1/2-1/t_j) $$

(if $t_j$ is $\infty$ of course $1/t_j$ should be treated as $0$).

Now in order to get a orbifold $O$ such that $0>\chi(O_i)>-1/4$. The underlying space has to be $S^2,D^2,RP^2$.

Also, adapting the same notation as the reference say $Q(r_1,...,r_n;t_1,..,t_m)$ is the orbifold with base space $Q$ cone points of orders $r_i$ and corner points of orders $t_j$.

If there are corner points, then the underlying space $X_O$ must be $D^2$. Each corner point contributes $-(t_j-2)/(2t_j)\leq -1/4$ to the Euler characteristic, and so there are at most 4 of them.

Each cone point contributes $-(r_i-1)/r_i\leq -1/2$ to Euler characteristic. So there are at most 2 cone points if the underlying space is $D^2$ or $RP^2$ and at most 4 if the base space is $S^2$.

From that, one should be able to make a list.

Note: If one allows equality, $\chi(O)=-1/4$, then an orbifold with underlying space an annulus or Mobius band and one corner point of order 4 should also be included on the list. As well as the orbifold with underlying space a disk and 5 corner points of order 4. There are few others as well, but they all have underlying space $S^2,D^2$ or $RP^2$.

share|improve this answer
    
Thanks very much! –  katz Dec 5 '13 at 13:12

Your Answer

 
discard

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.