The hyperbolic-geometry tag has no usage guidance.

**5**

votes

**1**answer

315 views

### What is known about maximal free subgroups of surface groups?

Let $\Gamma_g=< a_1,...,a_g,b_1,...,b_g | \prod_{i=1}^g [a_i,b_i]>$ (a surface group). What is known about maximal free subgroups of $\Gamma_g$ for $g>1.$ (I.e. free subgroups which are not ...

**11**

votes

**1**answer

851 views

### Geodesics on the twisted pseudosphere (Dini's surface)

I wonder how difficult it is to compute geodesics on Dini's Surface,
a twisted pseudosphere?
Here is one parametrization, from
Alfred Gray's Modern Differential Geometry of Curves and Surfaces, p....

**2**

votes

**1**answer

151 views

### Density of ends of long words in a hyperbolic group

Let $G$ be a Gromov hyperbolic group with a generating set $S$. For each $g \in G$, let $\xi_g$ be the point in the ideal boundary corresponding to the sequence $(g^n)$. Let $l_S(g)$ be the word ...

**2**

votes

**1**answer

115 views

### Fixed directions and Zariski density of hyperbolic groups

It is a fact that if $\Lambda$ is a nonelementary subgroup of ${\rm PSL_2}(\mathbb{C})$ which contains an hyperbolic transformation and moreover ${\rm tr}(g)\in\mathbb{R}/\pm 1$ for all $g\in\Lambda$ ...

**12**

votes

**2**answers

221 views

### Is $\mathbb{H}^n$ quasi-isometric to a leaf of a codimension 1 foliation of a compact manifold?

If we extend the action of $\pi_1(\Sigma_g), g\geq 2,$ from $\mathbb{H}^2$ to its boundary $\partial_{\infty}\mathbb{H}^2=S^1$, the surface bundle corresponding to this action of $\pi_1(\Sigma_g)$ on $...

**2**

votes

**0**answers

212 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

**0**answers

83 views

### Origin of spectral theory on infinite-area hyperbolic surfaces

The study of spectral theory of finite-area hyperbolic surfaces is intimately related to number theory, in particular by the importance of Maass cusp forms. The counting of resonances is of importance,...

**3**

votes

**1**answer

127 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

161 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. ...

**4**

votes

**1**answer

166 views

### Eigenvalues vs resonances

I understand that for infinite-area hyperbolic surfaces, there are no $L^2$-eigenfunctions of the Laplace-Beltrami operator but there are a lot resonances.
But I am confused about the notion of ...

**1**

vote

**0**answers

138 views

### How to pick out harmonics based on boundary conditions?

(..this is almost a continuation of my last question (which got closed!)...) Let me first rewrite one of the main results of this paper, http://calvino.polito.it/~camporesi/JMP94.pdf in a coordinate ...

**3**

votes

**1**answer

188 views

### Euclidean surfaces with conical singularities and cusped hyperbolic surfaces

Let $S$ be a compact orientable surface endowed with a singular euclidean metric $g$, with $n$ conical singularities $x_1,\ldots,x_n$.
Construction 1: it is well-known that the conformal class $[g]$...

**11**

votes

**1**answer

280 views

### Hyperbolic Manifolds which fiber over the circle

If $N^2$ is a closed, orientable surface of genus at least $2$, and if $\phi$ is an (orientation-preserving) pseudo-Anosov mapping on $N$, then one can form the closed orientable 3-manifold $M^3$ by ...

**5**

votes

**1**answer

152 views

### Injective simplicial maps between Arc complexes

Let $A(S)$ denotes the Arc complex of a finite type hyperbolic surface $S$ with nonempty boundary. Let $\lambda:A(S)\rightarrow A(S)$ be a map such that on triangulations of $S$ i.e. on the top ...

**10**

votes

**0**answers

228 views

### Right-angled polytopes

%This question is motivated by the little discussion here at the bottom.
The following thing are known about hyperbolic right-angled polytopes:
Compact hyperbolic right-angled polytopes do not ...

**7**

votes

**1**answer

361 views

### Do elements of the fundamental group give rise to isometries

Let $X$ be a complex algebraic variety, and let $\tilde X\to X$ be its universal cover. Suppose that there exists a Kahler-Einstein metric on $\tilde X$. Note that $\pi_1(X) \subset Aut(\tilde X)$.
...

**5**

votes

**3**answers

812 views

### Can the hyperbolic plane be immersed in three dimensional Euclidean space, if we are only looking for a weak solution?

Consider the following question:
"Can the hyperbolic plane $(\mathbb{R}^2, g_H)$ be isometrically
immersed in three dimensional Eulidean space$(\mathbb{R}^3, g_{flat})$?"
I believe the answer to ...

**6**

votes

**2**answers

286 views

### How close can closed geodesics be?

A consequence of the famous Jørgensen inequality is that there is a lower bound for the distance between closed geodesics in hyperbolic three-manifolds: for any $R>0$ there is a c>0 such ...

**3**

votes

**1**answer

411 views

### Geometrization & JSJ decomposition with boundary

Is there any paper where I can find a good explanation of the JSJ decomposition, the geometrization theorem and the relations between them when the manifold has nonempty (and non necessarily toroidal) ...

**0**

votes

**1**answer

207 views

### A question on Cayley graphs and hyperbolic 3-manifolds

There are two hyperbolic closed 3-manifolds, but I don't know whether they are homeomorphic or not. The only thing I know is that the Cayley graphs of their fundamental groups are quasi-isometric.
...

**5**

votes

**1**answer

342 views

### Can one use the continuity method to show that the two dimensional hyperbolic space can be immersed in five dimensional Euclidean space?

First of all, I must clarify at the outset that I am simply asking if there is an alternative way to solve an already known problem. It is known that the answer to my question is yes. The problem is ...

**4**

votes

**0**answers

166 views

### Haken manifolds and characterising sutured manifold hierarchies

In Gabai's paper (Knot Theory and Manifolds Lecture Notes in Mathematics Volume 1144, 1985, pp 14-17 An internal hierarchy for 3-manifolds) he considers sutured manifold decompositions of Haken $3$--...

**2**

votes

**1**answer

135 views

### The measure on the harmonic spectrum from Selberg trace formula

One can see the following two equations,
Theorem 6.1 (Selberg Trace formula) on page 26 of these notes.
Equation 3.19 and 3.20 on page 11 of this paper.
I vaguely feel that these two are the ...

**8**

votes

**1**answer

171 views

### Counterexamples to analogue of Cannon conjecture in higher dimensions

It is known that a group $G$ acts geometrically on $\mathbb{H}^2$ if and only if $G$ is word-hyperbolic and its boundary $\partial G$ is homeomorphic to $S^1$.
The analogous statement for $\mathbb{H}^...

**5**

votes

**1**answer

299 views

### Fixed points on boundary of hyperbolic group

Let G be a word-hyperbolic group with torsion and let ∂G be its boundary. Do there exist criteria that imply that all non-trivial finite order elements of G act fixed-point freely on ∂G?

**3**

votes

**0**answers

156 views

### The distance between two farthest points on the Bolza surface?

The Bolza surface $M$ is the closed hyperbolic surface of genus $2$ that can be obtained by identifying the opposite sides of the regular octagon in $\mathbb{H}^2$.
What two points on $M$ are ...

**6**

votes

**3**answers

515 views

### Smooth projective varieties with infinite abelian fundamental group and finite $\pi_2$

Let $X$ be a smooth projective complex algebraic variety of general type. Suppose that the (topological) fundamental group of $X$ is an infinite abelian group and that $\pi_2(X^{an})$ is finite.
What ...

**5**

votes

**1**answer

287 views

### Andreev's Theorem and Thurston's hyperbolization theorem

I am attempting to get to grips with Thurston's hyperbolization theorem for Haken $3$--manifolds. In particular I was looking at the section related to gluing up along hierarchy surfaces in Otal, Jean-...

**5**

votes

**1**answer

320 views

### Standard (special) spines and hyperbolic structure on 3-manifolds

My question relates to constructing angled triangulations or hyperbolic triangulations for $3$--manifolds. Briefly, an angle triangulation can be considered as an assignment of a real number (called ...

**6**

votes

**0**answers

181 views

### Spectral theory for Dirac Laplacian on a funnel

I would like to study the spectral theory of the Dirac Laplacian on a non-compact quotient of the hyperbolic plane by a discrete group (I am particularly interested in the simple case where the ...

**0**

votes

**0**answers

89 views

### Existence of special pants decompositions for non-elementary representations into PSL(2,R)

A Theorem by Gallo, Goldman and Porter states the following:
Let $S_g$ be a closed orientable surface of genus $g$ with fundamental group $\Gamma_g$, and fix a non-elementary representation $\rho\...

**13**

votes

**2**answers

824 views

### Dehn's algorithm for word problem for surface groups

For some $g \geq 2$, let $\Gamma_g$ be the fundamental group of a closed genus $g$ surface and let $S_g=\{a_1,b_1,\ldots,a_g,b_g\}$ be the usual generating set for $\Gamma_g$ satisfying the surface ...

**2**

votes

**0**answers

164 views

### Discrete Isoperimetric Problem in the Hyperbolic Plane

Let $S_{g}$ be the closed orientable genus $g$ surface. I'm interested in studying a certain class $\Gamma$ of graphs on $S_{g}$ which fill (the complementary regions are simply connected), and which ...

**13**

votes

**2**answers

1k views

### The fundamental group of a closed surface without classification of surfaces?

The fundamental group of a closed oriented surface of genus $g$ has the well-known presentation
$$
\langle x_1,\ldots, x_g,y_1,\ldots ,y_g\vert \prod_{i=1}^{g} [x_i,y_i]\rangle.
$$
The proof I know ...

**4**

votes

**2**answers

220 views

### Comparing two Delaunay tessellations on a hyperbolic surface

Let $S$ be a closed hyperbolic surface (i.e. a compact Riemann surface of genus $\geq 2$) and let $P=\{p_1,\ldots,p_m\}$ be a non-empty finite subset of $m$ points in $S$. Let $\pi:\mathbb H\...

**9**

votes

**1**answer

396 views

### Topology of boundaries of hyperbolic groups

For many examples of word-hyperbolic groups which I have seen in the context of low-dimensional topology, the ideal boundary is either homeomorphic to a n-sphere for some n or a Cantor set. So, I was ...

**9**

votes

**1**answer

232 views

### Heegaard genus of covers of cusped hyperbolic 3-manifold

Is there a cusped (non-compact) orientable hyperbolic 3-manifold $M$ which has Heegaard genus $g$, and has a finite-sheeted cover with Heegaard genus $<g$?
Moreover, if the cover is index $n$, then ...

**6**

votes

**2**answers

233 views

### Comparing different layered structures for fibered 3-manifolds: example request.

Let's consider a fibering hyperbolic 3-manifold obtained as a mapping torus over some hyperbolic surface with pseudo-Anosov monodromy, and let's suppose that the surface is punctured at the singular ...

**2**

votes

**1**answer

384 views

### Hyperbolic structures on once punctured tori

I've been working on a problem about billiards in ideal hyperbolic polygons and I was thinking about how the problem for ideal quadrilaterals relates to closed geodesics on once punctured tori.
My ...

**13**

votes

**1**answer

601 views

### Distortion of malnormal subgroup of hyperbolic groups

Let $G$ be a countable, Gromov-hyperbolic group.
We say that $H$ is hyperbolically embedded in $G$ if $G$ is relatively hyperbolic to {$H$} (in the strong sense). This definition is due to Osin.
A ...

**0**

votes

**0**answers

66 views

### Geometric effects of removing elements of D2n generalizable?

So, if I start with a full Dihedral group D2n to represent a regular, ideal polygon in the hyperbolic plane, then I remove an element (and any subsequently necessary elements so that it is still a ...

**6**

votes

**2**answers

423 views

### Negative sectionnal curvature and constant curvature

Good morning everyone,
I was wondering about the difference between manifolds carying a Riemanniann metric with negative sectionnal curvature and hyperbolic manifolds. I was told once "there are ...

**9**

votes

**1**answer

563 views

### Fundamental group of an hyperbolic $4$-manifold

Good afternoon everyone,
I have a very general question about hyperbolic manifolds and their fundamental groups in high dimension (at least $4$). If the theory of surfaces and $3$-manifolds provide ...

**3**

votes

**2**answers

701 views

### Hyperbolic pair of pants.

Suppose $Y$ is a pair of pants with a hyperbolic structure and $\gamma_i; i = 1, 2, 3$ are the geodesic boundaries of length $l_i; i=1, 2, 3$ respectively. Now consider a essential simple arc $\sigma$ ...

**0**

votes

**1**answer

393 views

### Relations between automorphisms of field of rational functions and Mobius Transfomation

Proposition: If $F$ is a field, let $F[x]$ be the ring of all polynomials whose coefficients are in $F$. The fraction field of $F[x]$, denoted $F(x)$, is defined to be the ratios $r(x) = f(x)/g(x)$ ...

**4**

votes

**2**answers

1k views

### Triangle area on surfaces of constant curvature

I am looking for an elementary derivation of the formula for the area of a geodesic triangle lying in a surface of constant curvature $\kappa$, depending on the angles and side length.
Of course, the ...

**2**

votes

**1**answer

189 views

### Purely parabolic Kleinian groups

What can be said about a discrete finitely generated subgroup $G$ of $PSL(2,\mathbb C)$ whose
nontrivial elements are parabolic? If $G$ is geometrically finite, one can show that $G$ must be ...

**10**

votes

**1**answer

614 views

### Why isn't $\langle x,y,z|xyzx^{-1}y^{-1}z^{-1}\rangle$ a hyperbolic surface group?

The group mentioned in the title, $\langle x,y,z|xyzx^{-1}y^{-1}z^{-1}=1\rangle$, is in between the torus fundamental group $\langle x,y|xyx^{-1}y^{-1}=1\rangle$ and the two-holed torus fundamental ...

**2**

votes

**3**answers

465 views

### Mid point with set square?

Is it possible to construct the midpoint of a segment in the hyperbolic plane
using the set square only?
With the set square one can
draw the line through the given two points and
drop the ...

**1**

vote

**1**answer

243 views

### An action or two of $SL_2(\Bbb Z)$?

$SL_2(\Bbb Z)$ acts on ${\Bbb R}^2$ fixing set-wise ${\Bbb Z}^2$, so $SL_2(\Bbb Z)$ acts on
${\Bbb R}^2\setminus {\Bbb Z}^2$, and then on the universal covering space of ${\Bbb R}^2\setminus {\Bbb Z}^...