Questions tagged [hyperbolic-geometry]
The hyperbolic-geometry tag has no usage guidance.
56
questions
16
votes
1answer
758 views
The Teichmüller space $T_g$ of a closed riemann surface $S_g$ of genus $g \geq 2$ can't be parametrized by $6g−6$ geodesic length functions
I asked this question almost a month ago on Math SE. After waiting three weeks for an answer or a comment, I opened a bounty on the question in hope that it might get an answer this way. The bounty ...
46
votes
3answers
6k views
Thurston's 24 questions: All settled?
Thurston's 1982 article on three-dimensional manifolds1 ends with $24$ "open questions":
$\cdots$
Two naive questions from an outsider:
(1) Have all $24$ now been resolved?
(2)...
15
votes
5answers
3k views
can you fool SnapPea?
A while back I thought I had some simple knots that "fooled" SnapPea. But I no longer remember those examples, if I ever had them to begin with.
What I'm looking for is a non-hyperbolizable knot ...
14
votes
2answers
2k 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....
9
votes
1answer
667 views
Is there a straightedge and compass construction of incommensurables in the hyperbolic plane?
In other words, given a segment in the hyperbolic plane is there a straightedge and compass construction of a segment incommensurable with it? In the Euclidean plane one can take the diagonal of the ...
31
votes
4answers
2k views
Why do people study representations of 3-manifold groups into $SL(n,\mathbb{C})$?
Varieties of representations and characters of $3$-manifold groups in $SL(2,\mathbb{C})$ have been intensively studied. They have provided tools to identify geometric structures on manifolds, and are ...
20
votes
2answers
1k views
Non-residually finite matrix groups
By Malcev's theorem, every finitely generated linear group is residually finite (RF).
On the other hand, say, the group of rational numbers is linear, but is not residually finite. Thus, one has to ...
16
votes
2answers
4k views
Reference request: Geodesic flow on a manifold with negative curvature is ergodic
I'm reading about the Mostow's rigidity theorem, and the proof uses the following (maybe well-known) result:
The geodesic flow on a manifold with negative curvature is ergodic.
The lecture note that ...
16
votes
2answers
976 views
Maximum of a function of one variable
Let $D$ be a circular quadrilateral (that is a Jordan region whose boundary consists of 4 arcs
of circles all orthogonal to the unit circle) whose interior angles are all equal to 0, the vertices lie ...
20
votes
1answer
656 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 ...
24
votes
4answers
897 views
Immersions of the hyperbolic plane
Is it possible to isometrically immerse the hyperbolic plane into a compact Riemannian manifold as a totally geodesic submanifold? Any nice examples?
Edit: Although I did not originally say so, I was ...
21
votes
6answers
2k views
Tetrahedra with prescribed face angles
I am looking for an analogue for the following 2 dimensional fact:
Given 3 angles $\alpha,\beta,\gamma\in (0;\pi)$ there is always a triangle with these prescribed angles. It is spherical/euclidean/...
20
votes
2answers
2k views
Smallest tile to tessellate the hyperbolic plane
Is it known what the smallest tile (in terms of area) that can tessellate the hyperbolic plane is? In particular, it should tessellate the plane by itself.
I think it will be a Triangle group, but I'...
12
votes
3answers
1k views
Is the cut locus of a generic point in a hyperbolic manifold a generic polyhedron?
Let $p\in M$ be a point in a closed riemannian manifold $M$. Recall that the cut locus of $p$ is the subset of $M$ consisting of all points that are connected to $p$ by at least 2 distance-minimizing ...
6
votes
2answers
588 views
Bolyai's construction
Here is Bolyai's construction (in Klein model), which I learned recently from answer of Will Jagy to this question.
It is a Compass-and-straightedge construction of asymptotically parallel line in ...
10
votes
1answer
1k views
fundamental domains for free fuchsian group.
I try to understand some of the topology of the space of pointed non-compact hyperbolic surfaces (with the pointed Gromov-Hausdorff topology). It is known that the fundamental
group of a non-compact ...
8
votes
4answers
5k views
Geodesics on a hyperbolic paraboloid
Given any two points on a hyperbolic paraboloid ($xy = z$ or $z = (x^2 - y^2)/2$) how does one find the geodesic between them?
I know that since the hyperbolic paraboloid is doubly ruled, some of the ...
8
votes
4answers
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 ...
8
votes
3answers
529 views
Are negatively pinched manifold locally conformally flat?
One knows that hyperbolic manifolds are locally conformally flat.
How about those negatively pinched manifolds, i.e. the sectional curvature $K$ satisfy:
$$
-\Lambda \le K \le -\lambda$$
for $\Lambda&...
7
votes
4answers
2k views
It is well-known that hyperbolic space is delta-hyperbolic, but what is delta?
Recall that a space is $\delta$-hyperbolic if there is some number $\delta$ with the property that every point on an edge of a geodesic triangle lies within $\delta$ of another edge. For example a ...
22
votes
2answers
510 views
Hyperbolic exceptional fillings of cusped hyperbolic 3-manifolds
Thurston's Hyperbolic Dehn Surgery Theorem says that all but finitely many fillings of a cusp of a hyperbolic 3-manifold result in hyperbolic manifolds that are deformations of the original manifold. ...
18
votes
3answers
1k views
The number of cusps of higher-dimensional hyperbolic manifolds
Suppose $n$ is an integer greater than 3. Sometimes ago I heard somewhere that it is still not known if there exist complete finite-volume hyperbolic $n$-manifolds having exactly one cusp.
Could ...
15
votes
2answers
2k 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 ...
13
votes
1answer
809 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
1answer
940 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 ...
8
votes
2answers
1k 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$$
...
7
votes
1answer
132 views
Distances between boundaries in a hyperbolic pants
Consider a hyperbolic pair of pants with totally-geodesic boundaries of lengths $l_i$ for $i \in \{1,2,3\}$. For any two distinct boundary components, is the length of the shortest geodesic connecting ...
6
votes
1answer
613 views
Hilbert 16th problem via hyperbolic geometry
More than 16 years ago, I heard from someone that he thinks that there is a possible relation between Hilbert's 16th problem(for $n=2$) and Hyperbolic geometry. He says that a ...
4
votes
1answer
300 views
fundamental domains in H^2 containing large balls
I would like to construct a genus $g$ surface regularly tiled by triangles (for example by 238 triangles). Edmunds-Ewing-Kulkarni prove that the only obstruction to doing this is Euler characteristic ...
2
votes
3answers
917 views
Reference for the geometry of horospheres
I am looking for a reference to a proof of the following well-know fact (cited for example by
B.Farb in ``Relatively hyperbolic groups'', Geom. Funct. Anal. 8 (1998), no. 5, 810--840); MR1650094,
...
16
votes
2answers
2k 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 ...
13
votes
3answers
927 views
Isometry group of a compact hyperbolic surface
Consider a compact surface $M$ of genus $g \geq 2$ with a metric of constant negative curvature. My question is, is it known under what sorts of sufficient conditions such a metric will have non-...
11
votes
3answers
564 views
Random links and $3$-manifolds
In Jeffrey Weeks book "The Shape of Space" he explaines at the end of Chapter 18 (on page 255) the following about the geometrization conjecture:
A non-trivial connected sum $M_1\# M_2$ ...
10
votes
3answers
556 views
Torsion in cuspidal cohomology
Following Lemma 2.7 from Vogtmann's Rational Homology of Bianchi Groups, I want to define cuspidal cohomology as $$H_{\mathrm{cusp}}(M)=\frac{H_1(M)}{i_*(H_1(\partial M))}$$ where $i:\partial M\to M$ ...
10
votes
1answer
382 views
Periodic billiard paths in hyperbolic triangles
It is a theorem of Masur that all rational triangles in the Euclidean plane posses a periodic billiard path,
one obeying the reflection law that the angle of incidence equals the angle of reflection. ...
8
votes
1answer
258 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 ...
7
votes
2answers
980 views
Poincaré disk model: is this locus a known curve?
Please, consider a line segment $AB$ in the Poincaré disk model. Now, consider the set $S$ of all point $P$ in the disk such that the angle $\angle APB$ is constant.
Question: is $S$ a known curve?
...
5
votes
1answer
456 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?
5
votes
2answers
603 views
Uniformizations of the bordered/punctured Riemann surfaces
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 ...
11
votes
4answers
896 views
Surfaces with non-constant negative curvature
Are there any nice models of surfaces with non-constant negative curvature, analogous to the Poincare disk for constant negative curvature. I have found lots of general results and theory but no nice ...
5
votes
1answer
250 views
Relations between boundaries of groups acting on hyperbolic spaces with WPD elements
Let $(X,d)$ be Gromov-hyperbolic space and let $\Gamma$ be a finitely generated group acting on $\Gamma$ by isometries. Recall the following two definitions.
Say that the action is acylindrical if ...
5
votes
0answers
133 views
Finitely generated nilpotent groups as cusp groups
I recently learned about the following question, asked by I. Kapovich :
Is there an example of a group $G$ which is hyperbolic relative to some parabolic subgroups that are nilpotent of class $\geq 3$...
4
votes
1answer
381 views
Dirichlet polyhedra for hyperbolic manifolds
Let $H$ be a simply-connected, complete
space of constant negative curvature, that
is, a hyperbolic space, $\Gamma$ a discrete group of
isometries, and and $M=H/\Gamma$ its quotient space;
we assume ...
4
votes
1answer
253 views
Infinitesimal deformations of fake projective planes (or ball quotients)
This question is related to the answer I gave to this MO question. What I'm asking is probably well-known to the experts in the field, and I apologize in advance if this turns out to be trivial.
By ...
3
votes
3answers
965 views
Books that discuss spectral graph theory and its connection to eigenvalue problems in hyperbolic geometry
Hello,
Could you name a couple of books or downloadable lecture notes that discuss spectral graph theory and its connection to spectral problems in hyperbolic Riemann surfaces ? You could also ...
7
votes
1answer
315 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 ...
6
votes
3answers
482 views
For an arithmetic hyperbolic 3-manifold group, when is its trace field not its invariant trace field?
Edit: In my original post I failed to require the group to be a manifold group. The answer below from @BenLinowitz works in that case. I am really interested though in when the group is torsion-free, ...
6
votes
2answers
829 views
injectivity radius of hyperbolic surface
Given a positive real number $l$. Does there exist a closed hyperbolic surface $X$ so that injectivity radius not less than $l$?
5
votes
1answer
564 views
Angle between geodesics in hyperbolic surface
Let $F$ be an oriented surface of finite type with $\chi(F)<0$. Let $\gamma_1$ and $\gamma_2$ are two oriented closed curves which intersect transversally in double points. Given a hyperbolic ...
5
votes
2answers
335 views
Smallest tile to *isohedrally* tessellate the hyperbolic plane
Is there a smallest tile (in terms of diameter) that isohedrally tessellates the hyperbolic plane?
In this question, we ask the same question without the isohedral requirement, and the answer was no. ...