Questions tagged [hyperbolic-geometry]
The hyperbolic-geometry tag has no usage guidance.
885 questions
9
votes
4
answers
4k
views
Canonical fundamental domain for a discrete subgroup Γ of SL₂(R) acting on hyperbolic plane
Let a discrete subgroup $\Gamma$ of $SL_2(\mathbb R)$ act on the hyperbolic plane by Möbius transformations. Is there a "best" or "most canonical" fundamental domain for this action?
Some (mostly ...
- 3,699
9
votes
1
answer
308
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}^...
- 245
9
votes
2
answers
233
views
Limits at infinity of fellow-travelling sequences in Teichmuller space,
I have a question concerning limits of sequences of points in Teichmuller space, and how this notion is preserved under fellow-travelling.
Suppose that we have closed surface of genus $g\geq 2$, and ...
- 540
9
votes
2
answers
293
views
Converse to Wolpert's Lemma
Recall Wolpert's lemma:
Let X,Y be hyperbolic surfaces and $f:X\to Y$ a $K$-quasiconformal homeomorphism. For any homotopy class of curves $c$ let $\ell(c)$ denote the length of the geodesic in the ...
- 445
9
votes
1
answer
423
views
Change of coordinates for Teichmüller space of the 4-holed sphere
The diagram below indicates 2 ways to use Fenchel-Nielsen coordinates to parameterize the Teichmüller space of conformal structures on the 4-holed sphere with totally-geodesic boundary, corresponding ...
- 2,513
9
votes
1
answer
726
views
Is there a simplicial volume definition of Chern Simons invariants?
Suppose we have some compact hyperbolic 3-manifold $M=\Gamma\backslash\mathbb H^3$. Now we know that the hyperbolic volume of $M$ can be defined as (a constant times) the simplicial volume of the ...
- 18.7k
9
votes
1
answer
382
views
Are two triangles with equal corresponding medians, congruent?
Is the hyperbolic or spherical analogy of the following Euclidean fact, true?
Two triangles with equal corresponding medians are congruent.
More precisely: Assume that $\Delta ABC$ and $ ...
- 356
9
votes
2
answers
385
views
Are pseudo-Anosov foliations dense?
A pseudo-Anosov foliation of a compact orientable surface $F$ is a one whose class in the space $\mathcal{PMF}(F)$ of projective measured foliations is preserved by some pseudo-Anosov homeomorphism of ...
- 2,390
9
votes
1
answer
1k
views
On the geometrization of double branched covers
I recently got into Lickorish's paper Prime knots and tangles and a question, which I didn't have the first time I read it, naturally emerged.
The Thurston-Perelman Geometrization Theorem asserts ...
- 606
9
votes
1
answer
518
views
Geodesic cuffs of pairs of pants in a hyperbolic manifold- why are they disjoint?
I'm trying to understand Kahn-Markovic's celebrated Immersing almost geodesic surfaces in a closed hyperbolic three manifold. There is something probably quite basic which I can't figure out.
We have ...
- 22.1k
9
votes
1
answer
180
views
When do the lengths of simple closed curves determine a hyperbolic surface?
Consider hyperbolic metrics on $\Sigma_g$ a closed orientable surface of genus $g$. Let $[\gamma_1] , \cdots, [\gamma_n]$ be a finite collection of isotopy classes of simple closed curves on $\Sigma_g$...
- 2,696
9
votes
1
answer
2k
views
How did Gauss characterize the metrical relations in the uniform (4 4 4) tiling of the hyperbolic unit disk?
My purpose is to verify an historical hypothesis I have on Gauss's tesselation of the unit disk as described in John Stilwell "Mathematics and its history". Looking at the relevant pages in ...
- 2,099
9
votes
1
answer
1k
views
The smallest Laplace-Beltrami eigenvalue on hyperbolic surfaces
For $g\geq 2$, let $M_g$ be the moduli space of genus $g$ hyperbolic surfaces, and let $\lambda_1(S_x): M_g \to \mathbb{R}$ be the smallest eigenvalue of the Laplace-Beltrami operator on the surface $...
- 13.1k
9
votes
1
answer
542
views
How much do the classes of geodesic metrics and Green metrics on a Gromov hyperbolic group differ?
Background
Let $G$ be a Gromov hyperbolic group. If $G$ acts properly discontinuously and cocompactly on a proper geodesic metric space $X$, then any bijective identification of $G$ with its orbit ...
- 637
9
votes
0
answers
309
views
What does the Chern-Simons invariant of a hyperbolic $3$-manifold mean?
Let $M$ be a closed $3$-manifold and $\rho : \pi_1(M) \to \operatorname{SL}_2(\mathbb C)$ a representation.
(Feel free to replace $\rho$ with a flat $\mathfrak{sl}_2$ connection with holonomy $\rho$.)
...
- 2,533
9
votes
0
answers
331
views
Connections between spectral geometry and critical point/Morse theory
I am researching electrostatic knot theory, which is essentially the theory of harmonic functions on knot complements. I want to understand the number of critical points of the electric potential, ...
- 217
9
votes
0
answers
359
views
Phillips-Sarnak conjecture in higher dimension
The Phillips-Sarnak conjecture states that for a generic Fuchsian lattice the space of Maass cusp forms is finite-dimensional. Generic here means in particular non-uniform, non-arithmetic, no special ...
- 245
8
votes
3
answers
942
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 ...
- 81
8
votes
2
answers
642
views
Hyperbolic Brunnian links and rectangular cusp shapes
My question is as follows.
Does every hyperbolic Brunnian link have rectangular cusp shapes on all its components?
Here is what I mean:
The Borromean rings form a famous link $B$ (a smooth closed ...
- 1,131
8
votes
2
answers
375
views
Hyperbolic structures on $S\times\mathbb{R}$
Let $S$ be a closed incompressible surface in a finite volume hyperbolic 3-manifold $M$ without cusps. Let $N$ be the cover of $M$ associated to $\pi_1(S) \subset \pi_1(M)$. The cover $N$ is ...
- 1,601
8
votes
2
answers
987
views
cocompact discrete subgroups of SL_2
How can one construct families of cocompact discrete subgroups of the topological group $\text{SL}_2(\mathbb{C})$?
Here quaternion algebra's might help, I believe, but I have some difficulties with ...
- 5,163
8
votes
4
answers
601
views
Residual finiteness of hyperbolic 3-manifold groups
So the consequence of the geometrization (according to 3-manifold group note) is that any finite-volumed hyperbolic 3-manifold is residually finite. So the question is:
Q1. If $M$ is an infinite-...
8
votes
1
answer
660
views
On trivial mapping class group of 3-manifolds
What are some examples of knots $K\subset S^3$ such that the mapping class group of $S^3_{1/n}(K)$ is trivial? I guess for hyperbolic knots with no symmetry in the complements are good candidate as ...
- 3,751
8
votes
2
answers
566
views
Pseudo-Anosov maps with same dilatation.
Let $S$ be a hyperbolic surface. Suppose $\mathcal{T}$ denotes the Teichmuller space of $S$ and $Mod(S)$ denotes the mapping class group of $S$. Given any pseudo-Anosov element $f\in Mod(S)$, suppose $...
- 1,713
8
votes
2
answers
667
views
Pseudo-Anosov map, Heegaard splitting, hyperbolic 3-manfold
Hi, I am interested in the relationship between the pseudo-anosov map and volume of the hyperbolic 3-manifold.
Assume $H_{1}$ and $H_{2}$ are two handlebodies with $\partial H_{1}=\partial H_{2}=S$. ...
- 841
8
votes
2
answers
793
views
Does there exist a Haken manifold where all its incompressible surfaces are non-separating?
Every non-zero element in $H_2(M,\mathbb Z)$ corresponds to an incompressible surface. So these surfaces are non-separating. But I'm interested in knowing about separating incompressible surfaces. A ...
- 3,751
8
votes
2
answers
495
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,399
8
votes
1
answer
339
views
Is Tarskian hyperbolic geometry consistent, complete & decidable?
Tarski developed an axiomatic description of Euclidean geometry in first order logic. Its primitive notions are points and its primitive relations are betweeness and congruence of points. The Parallel ...
- 2,369
8
votes
1
answer
613
views
Virtual fibering conjecture for cusped hyperbolic manifolds
I am interested in understanding if the Virtual Fibering Theorem holds in the non-compact case.
Agol proved that every closed hyperbolic $3$-manifold has a finite index cover which fibers over the ...
8
votes
1
answer
352
views
Can I endow the following 3-manifold with a hyperbolic metric?
Consider the following three-dimensional topology. Start with $S^3$ and drill out four unlinked tori as shown in the picture. Then, fill in the gaps with the same tori but with their longitudes and ...
- 355
8
votes
1
answer
900
views
Problem 3.14 from Kirby's list
In his famous list of Problems in Low-Dimensional Topology, Kirby states the following as Problem 3.14 (B), which is attributed to Thurston:
Conjecture: Suppose $G$ (an arbitrary group I suppose) ...
- 1,926
8
votes
2
answers
2k
views
Tweetable way to see that Willmore energy is Möbius invariant?
Consider a compact orientable Riemannian manifold $M$ (without boundary) isometrically immersed into $\mathbb{R}^3$. The Willmore energy of $M$ is the functional
$$\mathcal{W} = \int_M H^2 dA$$
...
- 3,059
8
votes
1
answer
487
views
When are groups generated by reflections in a triangle discrete?
Take a triangle in the (Euclidean or hyperbolic) plane, and consider the group of isometries generated by the reflections in the three sides of the triangle. If the angles between adjacent sides are ...
- 1,277
8
votes
1
answer
572
views
Mostow Rigidity Theorem and reconstruction from fundamental group
The Mostow Rigidity Theorem is phrased in terms of a relationship between isometries and isomorphisms of fundamental groups, which raises an obvious question. Given the fundamental group of a complete ...
- 3,816
8
votes
1
answer
280
views
Hyperbolic planes inside hyperbolic 3-space quotients
Let $\mathcal{H}_2 = \{(x,t) \in \mathbf{R}^2: t > 0\}$ be the upper half-plane, and let $\mathcal{H}_3$ be the hyperbolic 3-space $\{(x,t) \in \mathbf{C} \times \mathbf{R}: t > 0\}$. Clearly $\...
- 37k
8
votes
1
answer
155
views
Are the non-free factors of Grushko decomposition of a finitely generated convex-cocompact (but not cocompact) subgroup of PSL$(2,\mathbb{R})$ finite?
See Grushko decomposition theorem.
Are the non-free factors of Grushko decomposition of a finitely generated convex–cocompact (but not cocompact) subgroup of $\operatorname{PSL}(2,\mathbb{R})$ finite?
...
- 135
8
votes
1
answer
225
views
Preserving non-conjugacy of loxodromic isometries in a Dehn filling
Suppose that $g$ and $h$ are non-conjugate loxodromic isometries in a cusped hyperbolic $3$-manifold $M$ of finite volume. Fix a cusp $T$ of $M$. Can I choose a hyperbolic Dehn filling of $M$ along $...
8
votes
1
answer
988
views
When are isometry groups of hyperbolic 3-manifolds finite?
If $M$ is a finite volume hyperbolic 3-manifold, then its isometry group is finite. I believe this is also true for geometrically finite 3-manifolds. What is the most general condition on a hyperbolic ...
- 518
8
votes
1
answer
704
views
Hyperbolic 3-manifolds with no geometrically finite structure
Does there exist a compact hyperbolic 3-manifold $M$ that is not diffeomorphic to a geometrically finite hyperbolic manifold? If yes, can such $M$ have incompressible boundary?
I think the answer ...
- 29.1k
8
votes
3
answers
2k
views
Conformal Mappings for hyperbolic polygon
I am searching for a conformal mapping from the upper halfplane onto a hyperbolic polygon, i.e. the sides of the polygon have to be geodesics.
The classical Schwarz Christoffel theorem does the job ...
8
votes
1
answer
239
views
Decay of cusps in geometrically finite groups
Let $X=\mathbb{H}^{n}/\Gamma$ be a quotient of hyperbolic space of a geometric finite subgroup. Let $\mu$ be the Bowen-Margulis measure on the unit tangent bundle, and $m$ its projection to $X$.
Fix ...
- 2,964
8
votes
2
answers
320
views
Area method in Lobachevskian geometry
There are many proofs in Euclidean geometry using the area method; for example, Ceva's theorem or the proof of Pythagorean theorem shown below.
Do you know such proofs in hyperbolic geometry?
I ...
- 45k
8
votes
2
answers
631
views
Teichmüller space on non-orientable closed surfaces
It is known that any closed orientable surface of genus $g \geq 2$ admits a hyperbolic metric, and the Teichmüller space of such metrics has dimension $6g - 6$. I was wondering if there is a ...
- 81
8
votes
1
answer
573
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)$.
...
- 103
8
votes
1
answer
611
views
Laminations as a limit of ideal triangulations
I am wondering about the following:
Suppose that $S$ is a non-compact
hyperbolic surface of finite area.
Suppose that $\lambda \subset S$ is a
non-trivial, geodesic,
measured lamination. ...
- 1,329
8
votes
1
answer
292
views
Conditions on the hierarchy for Thurston's hyperbolization theorem
From my understanding the proof of Thurston's hyperbolization theorem for Haken $3$--manifolds consists of cutting the manifold along a hierarchy (collection of incompressible, $\partial$-...
- 367
8
votes
2
answers
224
views
Negatively curved metrics minimizing the length of a homotopy class of simple closed curves
Good afternoon everyone !
I have the following question of Riemannian geometry :
Let $M$ be a smooth closed orientable manifold of dimension at least $3$, and let $\mathcal{T} = \{ $ smooth ...
- 2,696
8
votes
1
answer
413
views
Does the limit in the Volume conjecture converge?
The Volume conjecture says that if $J_n(q)$ are the colored Jones polynomials of a knot $K \subset S^3$, then
$$\lim_{N \to \infty} \frac{ 2 \pi}N \left\vert J_N(e^{2\pi i / N})\right\vert = vol(K)$$
...
- 2,869
8
votes
2
answers
826
views
Weil's theorem about maps from a discrete group to a Lie group.
Let K be a group (with discrete topology), G be a Lie group. Let $\operatorname{Hom}(K,G)$ be the space of all group homomorphisms from K to G. This is a closed subvariety of the space of all the maps ...
- 3,203
8
votes
1
answer
280
views
Is the group of integer points of ${\rm SO}(n,1)$ maximal?
That is, is it true that there does not exist a lattice in $G = {\rm SO}(n,1)$ which contains the group of integer points of $G$ as a proper subgroup (obviously then of finite index)? if such a ...
- 353