Questions tagged [hyperbolic-geometry]
The hyperbolic-geometry tag has no usage guidance.
864
questions
1
vote
0
answers
68
views
Classification of principal monodromy elements
Let $(X,0)$ be a germ of normal analytic space with an isolated singularity at $0$, and let $Y:=X\backslash\{0\}$. Suppose $Y$ has a complex-hyperbolic metric which is complete at $0$. Burns-Mazzeo ...
5
votes
1
answer
242
views
Proof of homotopic essential simple close curves are isotopic
In the book by Benson Farb and Dan Margalit A primer on mapping class groups, Princeton Mathematical Series 49. Princeton, NJ: Princeton University Press (ISBN 978-0-691-14794-9/hbk; 978-1-400-83904-9/...
4
votes
1
answer
470
views
About isotopy and homotopy
In the " A Primer on Mapping Class
Groups
Benson Farb and Dan Margalit"
We have :
Proposition 1.10 Let $\alpha$ and $\beta$ be two essential simple closed curves in a surface $S$. Then $\...
10
votes
4
answers
642
views
Reference for shortest educational path to (Riemannian) hyperbolic plane
I am teaching an undergraduate class for math majors on axiomatic geometry, culminating in the proof that hyperbolic geometry is equiconsistent* with Euclidean geometry. I would like to make an end-of-...
2
votes
0
answers
43
views
Number of small eigenvalues for flat unitary bundles
It is known that the number of small eigenvalues (eigenvalues less than $1/4$) of the Laplacian on hyperbolic surfaces may be topologically bounded from above. If $X$ is a finite area hyperbolic ...
15
votes
1
answer
351
views
Are hyperbolic $n$-manifolds recursively enumerable?
Fixing a dimension $n \ge 4$, is the class of closed hyperbolic $n$-manifolds recursively enumerable?
Since hyperbolic manifolds are triangulable I can reformulate this in the following more explicit ...
5
votes
2
answers
412
views
Fenchel-Nielsen length-length coordinates on Teichmueller space?
Let $S$ be closed hyperbolic surface with genus $g\geq 2$. Let $Teich(S)$ be the Teichmueller space of $S$. It's well known that $Teich(S)$ is diffeomorphic to a (6g-6)-dimensional cell, where a ...
2
votes
1
answer
122
views
Example of maximal multicurve complex
in this paper we have :
" On the Teichmüller tower of mapping class groups By Allen Hatcher at Ithaca, Pierre Lochak at Paris and Leila Schneps."
Definition. The maximal multicurve complex $...
4
votes
1
answer
239
views
Tzitzeica surface
A Tzitzeica surface has the property that the ratio of the surface’s Gaussian curvature and the fourth power of the distance from the origin to the tangent plane at any arbitrary point of the surface ...
6
votes
0
answers
244
views
Almost parallelizable hyperbolic manifolds
In Sullivan's paper Hyperbolic geometry and homeomorphisms (Proc. Georgia Topology Conf., Athens, Ga., 1977) he makes use of a closed hyperbolic almost parallelizable manifold in every dimension. ($M$ ...
14
votes
2
answers
598
views
Are there good mutually interpretable axioms for synthetic Euclidean and hyperbolic geometry?
There are familiar analytic equiconsistency proofs for Euclidean and hyperbolic geometry. Those proofs are so robustly geometric that it seems like they must have synthetic analogues.
Looking into ...
17
votes
3
answers
2k
views
Examples of the Thurston geometries with transitive Lie group action
Here are some examples of compact homogeneous 3 manifolds for different Thurston geometries:
(1) Spherical: $\mathbb{S}^3 \cong \mathrm{SU}_2$ modulo any finite subgroup
(2) Euclidean: 3 torus $\...
3
votes
2
answers
324
views
Hyperbolic volume of hyperbolic knots
Let $G$ be a torsionfree kleinian group. Is there necessary an sufficient conditions on $G$ to be a knot group ?
It seems that there is some necessary conditions:
$H_{1}(BG) = \mathbb{Z}$
$H_{2}(BG) ...
3
votes
1
answer
261
views
Counterexample to mostow rigidity theorem
I am looking for an example of $M$ and $N$ two orientable hyperbolic complete without boundary 3-manifolds ( with infinite hyperbolic volume) such that $\pi_{1}M\cong \pi_{1}N$ but $M$ is not ...
1
vote
0
answers
90
views
Is there an effective genus theory for indefinite quadratic forms?
For positive definite quadratic forms, there is a way to check if two forms are isomorphic by arithmetic equivalence over $GL_n(Z)$ by computing configurations of vector up to some norm and then ...
7
votes
3
answers
320
views
Best source for classification of right-angled hyperbolic hexagons
A standard fact that underlies the Fenchel-Nielsen coordinates on Teichmuller space is the fact that for all triples $(a,b,c)$ of positive real numbers, there exists a unique hyperbolic hexagon whose ...
5
votes
1
answer
422
views
Isometric immersion of $\mathbb H^2$ into $\mathbb R^\infty$ built by Bieberbach
I'm analyzing the following isometric immersion of $(\mathbb H^2,g_D)$ in $(\ell^2,g_\infty)$ given by $f(x,y)=(x_1,x_2,\dots,x_{2m-1},x_{2m},\dots)$ with
\begin{align}\label{5.1}
x_{2m-1}=\color{...
1
vote
0
answers
107
views
The best lower bound for isometric immersions
I just read Azov's article in the considered two classes of Riemannian metrics,
\begin{align*}
ds^2&=du_1^2+f(u_1)\sum_{i=2}^ldu_i,&f>0\\
ds^2&=g^2(u_1)\sum_{i=2}^ldu_i^2
,&g>0\...
1
vote
0
answers
58
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 ...
0
votes
1
answer
152
views
Half space vs growing balls in the hyperbolic plane [closed]
Let $p$ be a point in the $2$-dimensional hyperbolic space $H_2$. Consider a normal coordinate system $(x,y)$ at centered at $p$. Let $o_x\in H_2$ be the point of coordinate $(x,0)$ and let $C_x$ be ...
1
vote
0
answers
79
views
Maximal geodesically convex function interpolating three points on the hyperbolic plane
Crossposted on MSE: https://math.stackexchange.com/questions/4282998/maximal-geodesically-convex-function-interpolating-three-points-on-the-hyperboli
Let $M$ be a two-dimensional Hadamard manifold. ...
2
votes
0
answers
170
views
Structure of hyperbolic manifolds of finite volume
Let $X$ be a hyperbolic manifold of finite volume.
I want to prove that $X$ has ends of the form $N\times \mathbb{R}$ where $N$ has a finite covering by a nilmanifold and $\pi_1N\to \pi_1 X$ is ...
2
votes
0
answers
60
views
Relation between symmetries of hyperbolic knot and the symmetries of a generic triangulation
For canonical ideal triangulation of a hyperbolic knot, the symmetries of the knot are the same as the symmetries of that triangulation. This is how SnapPy computes the knot symmetry group.
Is there ...
4
votes
1
answer
179
views
Elliptic equations in asymptotically hyperbolic manifolds
I am interested in reading about existence and regularity theorems for elliptic equations on manifolds with negative (constant) curvature outside a compact subset. I am aware of some results in this ...
4
votes
0
answers
156
views
Undecidability for hyperbolic Wang-tilings - pentagons, heptagons, octagons, oh my!
Berger proved that the problem of determining if a finite set of Wang tiles can tile the plane is undecidable. Robinson reproved Berger's result and raised the question of considering the ...
4
votes
1
answer
161
views
Ideal triangulation of hyperbolic 3-manifold with generic mapping class group
I am from physics background so I apologize in advance if my question is trivial.
Kojima proves for every finite group $G$, there is a hyperbolic 3-manifold such that its mapping class group equals $G$...
4
votes
1
answer
309
views
A local isometric immersion from $\mathbb H^{n}$ into $\mathbb R^{2n-1}$
I found this local isometric immersion from $\mathbb H^{n}$ into $\mathbb R^{2n-1}$, given by Schur (1886) in Über die Deformation der Räume constanten Riemannschen Krümmungsmaasses as follows, $(1\...
4
votes
2
answers
276
views
Quadratic cusp shape
Which hyperbolic $3$-manifolds are known to have quadratic cusp shape?
Explanations: Cusps of hyperbolic $3$-manifolds are products torus x interval. They lift to horoballs in hyperbolic $3$-space, ...
4
votes
1
answer
224
views
Computation of cusp shape from vertex invariants
Following Takahashi ("On the concrete construction of hyperbolic structure of 3-manifolds"), I was able to construct the Euclidean cusp cross-section for the 5_2 knot complement (please see ...
2
votes
0
answers
102
views
Possible values of hyperbolic quadratic forms
$\newcommand\Z{\mathbf{Z}}$Given an integral quadratic form $q$ of signature $(n-1,1)$ and a value $\lambda \in \Z$ is there an algorithm that can determine whether there exist $x\in \Z^n$ such that $...
2
votes
1
answer
182
views
Do once-punctured torus bundles have integral traces?
Once-punctured torus bundles are a well-studied class of hyperbolic 3-manifolds, but unfortunately I have been unable to find out whether they always have integral traces (in the sense of [1], Def. 5....
5
votes
2
answers
190
views
Rozendorn's Article
I'm researching the isometric dips of the hyperbolic plane and in particular I'm interested in reading the results of Rozendorn who proved that the hyperbolic plane is isometrically immersed in $\...
3
votes
1
answer
173
views
Special kind of 3-manifolds
Is there an open connected orientable 3-manifold $M$ with the following properties:
$M$ admits a complete hyperbolic metric with finite hyperbolic volume.
$H_{i}(M,\mathbb{Z})=0$ for any $i>0$.
5
votes
2
answers
386
views
Vertices of hyperbolic triangle with given angles
This is probably a well-known problem in hyperbolic geometry, but here goes anyway.
In the Poincar'e upper-half plane model, I am given three angles $\alpha$, $\beta$,
and $\gamma$ with $\alpha+\beta+\...
1
vote
0
answers
257
views
Mirzakhani's work and surfaces with marked points on the boundary
Mirzakhani proved identities for the lengths of geodesic curves on Riemann surfaces of genus $g$ and with $n$ boundary components. She used these to provide an integration scheme over the ...
1
vote
1
answer
109
views
Does the rational normal curve embedding extend as a mapping from the "bulk" to some bigger ambient space?
The complex projective line $\mathbb{P}^1(\mathbb{C})$ can be identified with the sphere at infinity of hyperbolic $3$-space, modeled say by the Poincare open $3$-ball in $\mathbb{R}^3$ (the sphere at ...
6
votes
1
answer
331
views
Non-compact Dirichlet fundamental domains and free Fuchsian groups
Let $G$ be a finitely generated Fuchsian group, and let $\mathcal{F}$ denote the Dirichlet fundamental domain of $G$ with respect to $0$ in the Poincaré disc model.
Assume throughout that $\mathcal{F}$...
1
vote
0
answers
156
views
Triangle similarity in Euclidean/ Hyperbolic geometries
A pair of parallel lines (red) is cut by two transversals (blue) through point P in Euclidean and Poincare half plane models.
Would alternate angles be equal in either case in similar triangles ...
1
vote
2
answers
297
views
The moduli space of finite volume hyperbolic 3-manifolds?
By finite volume hyperbolic 3-manifold, I do mean $M=\mathbb{H}^{3}/\Gamma$ where $\Gamma$ is a torsion-free Kleinian group such that the hyperbolic volume $Vol(M)<\infty$.
I will call
$$\mathcal{M}...
4
votes
1
answer
373
views
Explanation of perpendicularity of a Jacobian vector field
Here are some notes on hyperbolic manifolds. The aim is to prove that if $M_1$ and $M_2$ are simply connected, complete Riemannian manifolds having constant sectional curvature of $-1$, then $M_1$ and ...
1
vote
0
answers
362
views
Which polygons tessellate the hyperbolic plane?
The packing fraction of a packing in some space is the fraction of the space filled by the figures making up the packing.
It is well known that in Euclidean geometry, all triangles and all ...
2
votes
0
answers
72
views
Reference request: Discrete subgroup of $\mathrm{PO}(n,1)$ preserving proper subspace has infinite covolume
I'm looking for a reference for the following claim:
$\newcommand{\PP}{\mathrm{PO}(n,1)}$
Let $\PP$ denote the group of isometries of $V = \mathbb{R}^{n,1}$ preserving the upper sheet of the ...
4
votes
0
answers
84
views
Correspondence between Hoelder cocycles and Hoelder potential functions for noncompact negatively curved manifolds
Let $\tilde{M}$ be the universal cover of a pinched\ negatively curved manifold $M$ and $\Gamma=\pi_{1}(M)$ its fundamental group and $\partial \Gamma =\partial \tilde{M}$ its Gromov boundary.
When $M$...
11
votes
2
answers
303
views
Birman-Series for variable negative curvature
A famous theorem of Birman and Series says that if $S$ is a compact hyperbolic surface, then the set of points that lie on simple geodesics is nowhere dense and has Hausdorff dimension one; in ...
3
votes
0
answers
221
views
Immersion of a part of the hyperbolic plane in $\mathbb{R}^3$
I know that the pseudosphere is a regular surface with Gaussian curvature $-1$ that is not complete, also this surface is not complete. Hilbert's theorem ensures that there is no isometric immersion ...
3
votes
1
answer
134
views
Busemann-Feller lemma in hyperbolic space
The classical Busemann-Feller lemma in Euclidean space says the following.
Let $K\subset \mathbb{R}^n$ be a closed convex set.
Then
for any point $x\in \mathbb{R}^n$ there exists unique nearest point ...
35
votes
17
answers
2k
views
Equivalent definitions of Gromov hyperbolicity
Let $X$ be a metric space. I'd like to collect as many definitions of Gromov hyperbolicity or $\delta$-hyperbolicity of $X$ as possible.
I'm happy for the definitions to require some niceness ...
4
votes
1
answer
381
views
Cluster algebras of type A and X
I will base my question on Fock and Goncharov's paper Dual Teichmüller and lamination spaces.
Let $S$ be a surface with boundaries, marked points on such boundaries, punctures and boundaries without ...
2
votes
1
answer
261
views
How to express this hyperbolic extension of the cross-ratio in terms of hyperbolic distances and volumes?
Given $4$ distinct points on the Riemann sphere, thought of as the sphere at infinity of hyperbolic $3$-space $H^3$, one may define the cross-ratio in the usual way. Note that the cross-ratio is the ...
2
votes
1
answer
111
views
Hyperbolization with word-hyperbolic fundamental group
In Davis-Januszkiewica´s paper Hyperbolization of polyhedra it is shown that for every manifold $M$ there exists a map $N \to M$ of non-zero degree such that $N$ is aspherical (plus some more ...