# Questions tagged [fuchsian-groups]

In mathematics, a Fuchsian group is a discrete subgroup of PSL(2,R)

53
questions

**0**

votes

**0**answers

2 views

### How to construct a Mobius group corresponding to a given fundamental triangle?

Most introductory textbooks on the modular group begin with an introduction of it as the group generated by the two Mobius transformations:
$$z'=z+1$$
$$z'=-\frac{1}{z}$$
and immediately after that, ...

**1**

vote

**0**answers

45 views

### Variation of the geometry of a Dirichlet region as the defining point varies

Let $\Gamma$ a Fuchsian group acting on the hyperbolic plane $\mathfrak{H}$. For me, I am most interested in the case where $\Gamma$ has a fundamental domain that is a finite-polygon with all ...

**3**

votes

**1**answer

129 views

### Schwarzian derivative, accessory parameters, projective connections

I am looking at the following Riemann surface (let's call it $M$),
\begin{equation}
y^n=\frac{(x-x_1)(x-x_3)}{(x-x_2)(x-x_4)}
\end{equation}
which is a Riemann surface of genus $n-1$. It can be ...

**1**

vote

**0**answers

46 views

### Ideal Ford domain (for finite index subgroup)

Let $G$ be a lattice Fuchsian group with parabolic elements, seen as a discrete subgroup of matrices
$
g=
\begin{pmatrix}
\alpha & \overline{\beta} \\
\beta & \overline{\alpha}
\end{pmatrix}
$...

**0**

votes

**0**answers

32 views

### Dirichlet domains of cusped hyperbolic surfaces

I'm used to think of cusped hyperbolic surfaces as equipped with ideal (all vertices are ideal) fundamental domain, but this is not in general a Dirichlet domain.
Is is true that any such surface has ...

**2**

votes

**1**answer

136 views

### Dirichlet region of a free group

Let $G$ be a non-uniform lattice Fuchsian group and let $P$ be a Dirichlet region for $G$. In particular $G$ has parabolic elements, $P$ is not compact and has finite area. We are in the unit disc. Is ...

**26**

votes

**4**answers

920 views

### Equations defining hyperbolic geodesics in $\mathbb C \setminus\{0,1\}$

Let $X=\mathbb C\setminus\{0,1\}$, equipped with the hyperbolic structure it inherits from Klein's modular $\lambda$ function $\lambda:\mathbb H \to X$. In each (non-peripheral and nontrivial) free-...

**6**

votes

**2**answers

226 views

### Positive genus Fuchsian groups

Let $G$ be a lattice in $SL(2,\mathbb{R})$. Is it always true that there exists a finite index subgroup $F$ of $G$ such that the quotient surface $\mathbb{H}/F$ has positive genus? Is the statement ...

**9**

votes

**1**answer

376 views

### Fuchsian groups and Eichler's result

Let $G$ be a Fuchsian group of first kind contained in $\text{PSL}_2(\mathbb{R})$. A result of Eichler says, there exists a finite set $S\subset G$ such that any $\gamma$ in $G$ can be written as a ...

**6**

votes

**2**answers

204 views

### Reference for openness of subspace of PSL(2,R) representation variety corresponding to Teichmüller space

$\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\Hom{Hom}$Let $S$ be a compact oriented surface with nonempty boundary. There are two variants of Teichmuller space for $S$ you might consider:
The ...

**1**

vote

**0**answers

68 views

### Arithmetic product and sum of limit sets of non-elementary Fuchsian group of second kind

Let $L \subset \mathbb{R}$ be a limit set of a Fuchsian group $\Gamma$. If $\Gamma$ is a non-elementary Fuchsian group of second kind, then $L$ is a Cantor set. For example: $\Gamma= \bigg\langle \...

**2**

votes

**2**answers

244 views

### $PSL_2(\mathbb{R})$ representations of free groups

Let $S_{g,n}^b$ denote a surface of genus $g$ with $n$ punctures and $b$ boundary components. Let us assume $\max\{b,n\}\geq 1$. It is then obvious that $S_{g,n}^b$ deformation retracts to a bouquet ...

**7**

votes

**0**answers

216 views

### Hyperbolic group with boundary $S^1$ implies virtually Fuchsian via bounded cohomology?

Question: Is there an approach to $\partial G \cong S^1$ implies virtually Fuchsian using bounded cohomology of $\mathrm{Homeo^+} (S^1)$? If not is there a reason to believe it wouldn't work, or maybe ...

**5**

votes

**1**answer

186 views

### Normal Fuchsian subgroups

I've been working with Fuchsian groups and from geometrical motivations finding a cocompact normal Fuchsian subgroups of $PSL(2,\mathbb{R})$ would have intresting properties for my research.
It is ...

**3**

votes

**1**answer

142 views

### Reference request: geometric finiteness of Fuchsian groups

My limited knowledge on hyperbolic geometry suggests me that the following proposition should be true (please correct me if I'm wrong):
Proposition. The convex core of a complete hyperbolic surface ...

**3**

votes

**0**answers

51 views

### Spectral theory for Fuchsian groups of the first kind

There are tons of material on the spectral theory of $L^2(\Gamma\backslash G)$ for a lattice $\Gamma$ in $G=PSL_2({\mathbb R})$. There are also many papers on the case of $\Gamma$ being convex-...

**2**

votes

**1**answer

210 views

### Build a Fuchsian group starting from punctures on a disk

Consider the moduli space of hyperbolic metrics on the disk with $n>3$ marked points on its boundary, $\mathcal{M}_{D,n}$.
$\mathcal{M}_{D,n}$ can be parametrised in terms of cross ratios of the ...

**3**

votes

**1**answer

549 views

### Hyperbolic Metric on a Riemann Surface

From uniformization theorem, it is known that every conformal class of metrics on a genus-$g$ Riemann surface with $n$ punctures such that $2g+n\ge 3$ contains a unique hyperbolic metric. The ...

**3**

votes

**2**answers

147 views

### What is the homeomorphism from $\Gamma \backslash T_1 \mathbb{H}$ to $T_1(\Gamma \backslash \mathbb{H})$

Let $\mathbb{H}$ be hyperbolic plane, $\Gamma$ is a discrete subgroup of $PSL_2(\mathbb{R}$) so that $\Gamma \backslash \mathbb{H}$ is a compact hyperbolic surface. Maybe it will be very simple to you ...

**4**

votes

**1**answer

218 views

### Fuchsian group which is derived from a division quaternion algebra, Mixing flows on the quotient space

Suppose a Fuchsian group $\Gamma$ is derived from a division
quaternion algebra. Then the quotient space $\Gamma\backslash \mathcal{H}$ is compact.
I am reading the book "Fuchsian Groups" of ...

**28**

votes

**6**answers

4k views

### Why are Fuchsian groups interesting?

I keep hearing that fuchsian groups are interesting for other reasons than the Fuchsian model for hyperbolic Riemann surfaces.
What are those reasons?
Are the Fuchsian groups with fixed points ...

**0**

votes

**2**answers

202 views

### Reference for 'Normal Subgroups of Fuchsian Groups'

I am looking for a reference on how to explicitly construct normal subgroups of a given Fuchsian group. I appreciate any help.

**2**

votes

**0**answers

135 views

### example of fuchsian groups acting on 2-sphere by G. Martin

Currently I am reading a paper "Infinite group actions on spheres" by Gaven Martin. I am a first year graduate students and I got lots of questions, so one of them is about the following example: (...

**2**

votes

**0**answers

116 views

### What is the metric on the Fuchsian model? [closed]

Let $\mathbb{H}$ be the upper half plane, and $\Gamma < SL(2, \mathbb{R})$ be a Fuchsian group. How is the distance between any two points $x, y \in \mathbb{H} / \Gamma$ in the Fuchsian model ...

**2**

votes

**0**answers

172 views

### One question about iteration on groups

Let $G$ be a finitely generated group, $H$ a subgroup of $G$ of index $n$, with $a_i$ a set of coset representatives and $$G=\displaystyle\bigcup_{i=1}^nH{a_i}.$$
Let $\phi:H\rightarrow G$ be a ...

**20**

votes

**1**answer

782 views

### Canonical immersion of the double torus

It is easy to check that the immersion $\mathbb{T}^2=\mathbb{S}^1\times \mathbb{S}^1\longrightarrow\mathbb{R}^4$, $(\alpha,\beta)\longmapsto(\cos\alpha,\sin\alpha,\cos\beta,\sin\beta)$ induces the ...

**10**

votes

**3**answers

623 views

### Quotient of the hyperbolic plane with respect to commutator group of $\pi_1(\Sigma_g)$

Let $\Sigma_g$ be a Riemann surface of genus $g\geq 2$ and $G=\pi_1(\Sigma_g)$.
Let $\pi\colon \mathbb{H}\to \Sigma_g$ be the universal covering map. What kind of surface is $\mathbb{H}/[G,G]$?
...

**7**

votes

**1**answer

393 views

### Can Galois conjugates of lattices in SL(2,R) be discrete?

Let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$. Suppose that the trace field of $\Gamma$ is a totally real number field of degree $d$. This gives $d$ homomorphisms $\rho_i:\Gamma\to SL(2,\mathbb{R})$ ...

**3**

votes

**1**answer

413 views

### The Fuchsian monodromy problem

I want to understand the argument being made from equation 6.1 to 6.5 in this paper between pages 27-28
6.2, 6.4 and 6.5 are completely out-of-the-blue to me and I have no clue as to from where they ...

**3**

votes

**0**answers

302 views

### Discussion of specific arithmetic triangle groups?

Arithmetic triangle groups were classified in Takeuchi, Arithmetic triangle groups, J. Math. Soc. Japan Volume 29, Number 1 (1977), 91-106. The (2,3,7) case was discussed in detail in a number of ...

**3**

votes

**1**answer

133 views

### Classification of maximal nonuniform Fuchsian lattices existent?

I am interested in the set of all non-cocompact Fuchsian lattices which all have a distinguished point as cusp, say $\infty$ in the upper half plane model of the hyperbolic plane. Of course, the ...

**3**

votes

**1**answer

216 views

### Arithmetic Fuchsian lattices that are not finite index subgroups of Eichler orders?

Lindenstrauss' proof of AQUE (arithmetic quantum unique ergodicity) assumes that the Fuchsian lattice is an Eichler order or, if I understand it correctly, a finite index subgroup of an Eichler order. ...

**5**

votes

**2**answers

661 views

### finite index subgroup of a fuchsian group

Given G, a fuchsian group and a finite sub set A of G. Does there exist a finite index subgroup H in G such that inter section of A with H is empty?

**0**

votes

**1**answer

308 views

### Fundamental domain for subgroup of fuchsian Schottky group.

Let G be a Fuchsian Schottky group defined by a possibly infinite set of disjoint halfplanes {C_i}_i. Let F be the fundamental domain obtained by intersecting the complements of the C_i's. If H i a ...

**1**

vote

**1**answer

459 views

### Fuchsian groups and their normalizers

Let $\Gamma \leq PSL_2(\mathbb{R})$ be a Fuchsian group. What is the relation between $N(\Gamma) = \{ \alpha \in PSL_2(\mathbb{R}) \mid \alpha \Gamma \alpha^{-1} = \Gamma \}$ and $Aut(\Gamma \...

**0**

votes

**2**answers

421 views

### Fuchsian groups and automorphisms of Riemann surfaces

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(\...

**2**

votes

**1**answer

300 views

### Can the finiteness of a Burnside group with two generators be checked algorithmically by using Fuchsian von Dyck groups?

BIG EDIT of the previous question "Coverings of the free Burnside groups", never answered.
In the paper http://link.springer.com/article/10.1007/BF00046586 (last section) there is an interesting ...

**4**

votes

**0**answers

171 views

### Asymptotics of arithmetic Fuchsian groups and Shimura curves.

I'm interested in what is known/expected about some families of arithmetic Fuchsian groups. Here is the simplest family that I'm interested in: Let $E = Z[\omega]$, where $\omega = e^{2 \pi i / 3}$. ...

**1**

vote

**2**answers

719 views

### How do you find the genus of a Fuchsian group derived from a quaternion algebra?

Let $G$ be a Fuchsian group with normalizer $N(G)$ inside $PSL(2,13)$
Due to the Hurwitz formula, it suffices to find a presentation of $G$ of the form:
$$\langle x_1,\ldots,x_r,a_1,b_1,\ldots,a_\...

**9**

votes

**1**answer

505 views

### Are any two Dirichlet domains for a Fuchsian group "comparable"?

Let $\Gamma$ be a [EDIT: finitely generated] Fuchsian group of the first kind (i.e. a discrete subgroup of $PSL_2(\mathbf{R})$ acting on the upper half-plane admitting a fundamental domain of finite ...

**5**

votes

**1**answer

483 views

### Non congruence subgroups containing congruence subgroups.

Does there exist Fuchsian groups, which is not conjugated in $SL(2, \mathbb{R})$ to a subgroup of $SL(2, \mathbb{Z})$, but still contains a congruence subgroup?

**11**

votes

**4**answers

480 views

### Growth of smallest closed geodesic in congruence subgroups?

Let $\Gamma$ be one of the classical congruence subgroups $\Gamma_0(N)$, $\Gamma_1(N)$ and $\Gamma(N)$ of $SL(2, \mathbb{Z})$.
How does the lower bound for the length of primitive geodesics on $\...

**4**

votes

**1**answer

348 views

### Genus of arithmetic surface groups

It is known that for each genus, only finitely many points in the moduli space of hyperbolic genus g surfaces are arithmetic. I'm wondering if an existence result is known: for which g do we have ...

**6**

votes

**2**answers

463 views

### Arithmetic Fuchsian group

I have the following questions: Are all Fuchsian groups of signature $(0;2,2,2,\infty)$ arithmetic? What is known about the trace fields of these groups?
Best, K.

**0**

votes

**0**answers

257 views

### Is the absolute value of the j-invariant bounded from below on an annulus

Let $j:\mathbf{H}\to \mathbf{C}$ be the $j$-invariant. It's a modular function for $\Gamma(1) = \textrm{PSL}_2(\mathbf{Z})$.
For $\epsilon>0$ small, let $B(\epsilon)$ be the image of the strip $$\{...

**3**

votes

**1**answer

761 views

### The smallest positive eigenvalue and the length of the shortest geodesic

I'm confused about some things concerning lengths of geodesics on Riemann surfaces and positive eigenvalues of the Laplacian. Moreover, I'm also interested in the relation between these two.
Let $X$ ...

**11**

votes

**1**answer

1k views

### How nice are representation varieties of Fuchsian groups?

Background
Let $S_{g,n}$ be an oriented surface of genus $g$, with $n$ punctures. We explicitly prohibit the non-hyperbolic cases:
$g=0$, $n=0,1,2$.
$g=1$, $n=0$.
Let $\Gamma$ be the fundamental ...

**5**

votes

**2**answers

1k views

### Cusp width for an arbitraty Fuchsian group

In Shimura's Intro to Arithmetic Theory of Automorphic Forms, he defines a cusp of a Fuchsian group $\Gamma$ as a point $s \in \mathbb{R} \cup \{ \infty \}$ that is fixed by a parabolic element of $\...

**2**

votes

**1**answer

361 views

### Conjugate Groups of (quasi) Fuchsian Groups

I apologize in advance if this question is so trivial or too low level.
Let $\Gamma$ be a Fuchsian group. Let $\mathcal{F}$ be the set of pairs $(\mu,f)$, where $\mu \in L^\infty(\mathbb{C})$ such ...

**11**

votes

**1**answer

480 views

### Which elements in SL2(Q) are conjugated to an element in SL2(Z)

Dear all,
once again my question is all about $SL_2(\mathbb{Z})$ and $SL_2(\mathbb{Q})$ ! Which elements in $M \in SL_2(\mathbb{Q})$ can you write in the following form:
$M= NBN^{-1}$
with $N \in ...