7
$\begingroup$

The uniformization theorems of Riemann surfaces state that any Riemann surface can be constructed by an action of some group on some space. It is quite hard to find materials relating different uniformizations in the math literature. I have several questions related to different uniformizations. I appreciate any comment or pointing to references.

For a closed Riemann surface $\Sigma_{g,n}$ of genus $g$ with $n$ number of punctures:

  • Is there a Fuchsian uniformization in terms of a Fuchsian group $\Gamma$ acting on the upper half-plane ${\mathbb{H}}$?

    I suppose there is a unique uniformization up to the action of $\text{PSL}(2,\mathbb{R})$, the group of orientation-preserving automorphisms of $\mathbb{H}$.

  • Is there a Schottky uniformization in terms of a Schottky group $S$?

    I suppose there is but I am not sure about the uniqueness. Any comment would help.

  • Is there a way to get Schottky uniformization from a Fuchsian one or vice versa?

  • Is there a way to get objects like period matrix, prime form, abelian differential, and ... in terms of Fenchel-Nielsen coordinates?

  • Is there a way to get complex analytic structure of Teichmuller in terms of Fenchel-Nielsen coordinates?

And the same set of questions for a bordered surfaces,

For a bordered Riemann surface $\Sigma_{g,n}^{(L_1,\cdots,L_n)}$ of genus $g$ with $n$ number of boundaries of lenghts $\{L_1,\cdots,L_n\}$:

  • Is there a Fuchsian uniformization in terms of a Fuchsian group $\Gamma$ acting on the upper half-plane ${\mathbb{H}}$?

    I suppose there is a unique uniformization up to the action of $\text{PSL}(2,\mathbb{R})$, the group of orientation-preserving automorphisms of $\mathbb{H}$.

  • Is there a Schottky uniformization in terms of a Schottky group $S$?

  • Is there a way to get Schottky uniformization from a Fuchsian one or vice versa?

  • Is there a way to get objects like period matrix, prime form, abelian differential, and ... in terms of Fenchel-Nielsen coordinates?

  • Is there a way to get complex analytic structure of Teichmuller in terms of Fenchel-Nielsen coordinates?

    I am not even sure that in this case, the Teichmuller space has a complex analytic structure.

$\endgroup$

2 Answers 2

4
$\begingroup$

In the closed or bounded case, there is a uniformization of a Riemann surface by a fuchsian group. In the closed case this is the content of the uniformization theorem. The bounded case follows from a standard doubling trick.

Classical Schottky groups are always closed, so they cannot uniformize Riemann surfaces with boundary. All closed Riemann surfaces are uniformized by Schottky groups - I believe that the correct reference is

Maskit, A characterisation of Schottky groups, J. Analyse Math. 19 (1967) 227–230

It is "straight-forward" to convert a Schottky or fuchsian uniformization into a Riemann surface. So, if you have a black box that can solve the fuchsian or Schottky uniformization problem, then you can convert in one direction or the other.

Similarly, the FN coordinates specify a Riemann surface, so we can in principle deduce a period matrix. I don't know what the period matrix is for a bounded surface. I don't know what the prime form is.

A Riemann surface (closed or bounded) does not have a "canonical" abelian differential. It also does not have a "canonical" quadratic differential (which is how I interpret your question about "Teichmüller structure").

$\endgroup$
8
  • $\begingroup$ Dear @Sam , Thank you very much for the answer. I am not a mathematician so I can not precisely follow your arguments except the first paragraph. I wish for references to find the precise answers to my questions. For Fuchsian to Schottky, I found the following note but it is very dense and it doesn't explain things much: link.springer.com/chapter/10.1007%2F978-3-7643-9906-1_11#page-1 I want to figure out an explicit algorithm to convert Fuchsian to Schottky. For example, finding a way to map Fuchsian generators to Schottky ones. Again I wish to find the relevant references. $\endgroup$
    – QGravity
    Commented Nov 15, 2016 at 2:25
  • $\begingroup$ Dear @Sam Are you aware of a reference about different uniformizations of Riemann surfaces? $\endgroup$
    – QGravity
    Commented Nov 15, 2016 at 2:31
  • $\begingroup$ What are the parameters that involved in the Fuchsian and Schottky uniformizations? $\endgroup$
    – QGravity
    Commented Nov 15, 2016 at 5:27
  • $\begingroup$ You can find some references here: mathoverflow.net/questions/10516/… $\endgroup$
    – Sam Nead
    Commented Nov 16, 2016 at 2:06
  • $\begingroup$ The parameters involved in the various uniformizations can be stated in various ways. For Fuchsian and Schottky uniformizations, they are essentially given via matrices in SL(2,R) or SL(2,C), respectively. $\endgroup$
    – Sam Nead
    Commented Nov 16, 2016 at 2:08
1
$\begingroup$

In the case of compact Riemann surface of genus $g$ with $n$ marked points, I can give an answer to two of the questions I asked:

Is there a Fuchsian uniformization in terms of a Fuchsian group $\Gamma$ acting on the upper half-plane $\mathbb{H}$?

Answer :

There is a unique uniformization up to the action of $\text{PSL}(2,\mathbb{R})$, the group of orientation-preserving automorphisms of $\mathbb{H}$.

Is there a way to get Schottky uniformization from a Fuchsian one or vice versa?

Answer :

Let $\Gamma_F$ denoted the uniformizing group of Fuchsian uniformization and $\Gamma_S$ denoted the uniformizing group of Schottky uniformization. Then there are the following facts:

  • $\Gamma_F$ acts on a fundamental polygon in upper half-plane $\mathbb{H}$. Compact Riemann surface $\Sigma_{g,n}$ can be viewed as

$$\Sigma_{g,n}\cong \frac{\mathbb{H}}{\Gamma_F}$$

  • $\Gamma_S$ acts on the domain of discontinuity $\Omega_{\Gamma_S}$ of $\Gamma_S$. Compact Riemann surface $\Sigma_{g,n}$ can be viewed as

$$\Sigma_{g,n}\cong \frac{\Omega_{\Gamma_S}}{\Gamma_S}$$

Definition I : The limit set of the action of $\Gamma_S$ is the closure of the set of the attractive and repelling fixed points of the loxodromic elements $g\in\Gamma_s$.

Definition II : The domain of discontinuity $\Omega_{\Gamma_S}$ of the group $\Gamma_S$ is the complement of the limit set of the action of $\Gamma_S$ in Riemann sphere $\mathbb{C}^*$ ($\Omega_{\Gamma_S}\subset \mathbb{C}^*$).

Let $\{a_i\}_{i=1}^{n}$ denoted the set of generators of the fundamental group $\pi_1(\Sigma_{g,n})$ of the compact surface $\Sigma_{g,n}$, let $\mathcal{N}\equiv\langle a_1,\cdots,a_m\rangle$ be the normal subgroup of the $\pi_1(\Sigma_{g,n})$ which is generated by half of the genrators. Using the fact that $\Gamma_F\cong\pi_1(\Sigma_{g,n})$, the relation between Shottky group $\Gamma_S$ and Fuchsian group $\Gamma_F$ can be written as follows:

$$\Gamma_S\cong\frac{\Gamma_F}{\mathcal{N}}$$

$\endgroup$

You must log in to answer this question.

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