For a hyperbolic surface S of finite type we consider the set A(S) of angles between closed geodesics on S. Our main result is that there are only finitely many rational multiples of πin A(S).
R. Zimmer proved that, on a compact manifold, a foliation with a dense leaf, a suitable leafwise Riemannian symmetric metric and a transverse Lie structure has arithmetic holonomy group. In this work we improve such result for totally geodesic foliations by showing that the manifold itself is arithmetic. This also gives a positive answer, for some special cases, to a conjecture of E. Ghys.
In this paper we show that the geodesic flow of a Finsler metric is Anosov if and only if there exists a $C^2$ open neighborhood of Finsler metrics all of whose closed geodesics are hyperbolic. For surfaces this result holds also for Riemannian metrics. This follows from a recent result of Contreras and Mazzucchelli. Furthermore, geodesic flows of Riemannian or Finsler metrics on surfaces are $C^2$ stably ergodic if and only if they are Anosov.
Given a globally hyperbolic spacetime endowed with a complete lightlike Killing vector field and a complete Cauchy hypersurface, we characterize the points which can be connected by geodesics. A straightforward consequence is the geodesic connectedness of globally hyperbolic generalized plane waves with a complete Cauchy hypersurface.
Given a geodesic line $γ$ the hyperbolic space $\mathbb H^n$ we formulate a necessary and sufficient condition for a function along this geodesic which measure the mean curvature of totally umbilical leaves of a foliation orthogonal to $γ$. Then we extend the result to $γ$ being a hypercycle i.e. a geodesic on a hypersurface equidistant from the totally geodesic one.
In hyperbolic space $H^n$ we set a geodesic ball of radius $ρ$. Consider a $k$ dimensional minimal submanifold passing through the origin of the geodesic ball with boundary lies on the boundary of that geodesic ball. We prove that its area is no less than the totally geodesic $k$ dimensional submanifold passing through the origin in that geodesic ball. This is a partial generalization of the corresponding problem in $R^n$.
In this paper we provide a pinching condition for the characterization of the totally geodesic disk and the rotational annulus among minimal surfaces with free boundary in geodesic balls of three-dimensional hyperbolic space and hemisphere. The pinching condition involves the length of the second fundamental form, the support function of the surface, and a natural potential function in hyperbolic space and hemisphere.
We classify pseudo-Riemannian submersions with connected totally geodesic fibres from a real pseudo-hyperbolic space onto a pseudo-Riemannian manifold. Also, we obtain the classification of the pseudo-Riemannian submersions with (para-)complex connected totally geodesic fibres from a (para-)complex pseudo-hyperbolic space onto a pseudo-Riemannian manifold.
In this paper we study the non-geodesic non-null biharmonic curves in 3-dimensional hyperbolic Heisenberg group. We prove that all of the non-geodesic non-null biharmonic curves in 3-dimensional hyperbolic Heisenberg group are helices. Moreover, we obtain explicit parametric equations for non-geodesic non-null biharmonic curves and non-geodesic spacelike horizontal biharmonic curves in 3-dimensional hyperbolic Heisenberg group, respectively. We also show that there do not exist non-geodesic timelike horizontal biharmonic curves in 3-dimensional hyperbolic Heisenberg group.
We construct examples of complete Riemannian manifolds having the property that every geodesic lies in a totally geodesic hyperbolic plane. Despite the abundance of totally geodesic hyperbolic planes, these examples are not locally homogenous.
Let H be the hyperbolic space of dimension n+1. A geodesic foliation of H is given by a smooth unit vector field on H all of whose integral curves are geodesics. Each geodesic foliation of H determines an n-dimensional submanifold M of the 2n-dimensional manifold L of all the oriented geodesics of H (up to orientation preserving reparametrizations). The space L has a canonical split semi-Riemannian metric induced by the Killing form of the isometry group of H. Using a split special Lagrangian calibration, we study the volume maximization problem for a certain class of geometrically distinguish…
We study area-stationary, or maximal, surfaces in the space ${\mathbb L}({\mathbb H}^3)$ of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. We prove that every holomorphic curve in ${\mathbb L}({\mathbb H}^3)$ is a maximal surface. We then classify Lagrangian maximal surfaces $Σ$ in ${\mathbb L}({\mathbb H}^3)$ and prove that the family of parallel surfaces in ${\mathbb H}^3$ orthogonal to the geodesics $γ\inΣ$ form a family of equidistant tubes around a geodesic.
Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are LDPC codes with linear rate and distance $n^ε$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Zémor, who asked whether homological codes with such parameters could exist at all.
The consideration of the so-called rotation minimizing frames allows for a simple and elegant characterization of plane and spherical curves in Euclidean space via a linear equation relating the coefficients that dictate the frame motion. In this work, we extend these investigations to characterize curves that lie on a geodesic sphere or totally geodesic hypersurface in a Riemannian manifold of constant curvature. Using that geodesic spherical curves are normal curves, i.e., they are the image of an Euclidean spherical curve under the exponential map, we are able to characterize geodesic spher…
If $M$ is a finite volume complete hyperbolic $3$-manifold, the quantity $\mathcal A_1(M)$ is defined as the infimum of the areas of closed minimal surfaces in $M$. In this paper we study the continuity property of the functional $\mathcal A_1$ with respect to the geometric convergence of hyperbolic manifolds. We prove that it is lower semi-continuous and even continuous if $\mathcal A_1(M)$ is realized by a minimal surface satisfying some hypotheses. Understanding the interaction between minimal surfaces and short geodesics in $M$ is the main theme of this paper
We construct a Kähler structure (${\mathbb{J}},Ω,{\mathbb{G}}$) on the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space ${\mathbb{H}}^3$ and investigate its properties. We prove that (${\mathbb{L}}({\mathbb{H}}^3),{\mathbb{J}})$ is biholomorphic to ${\mathbb{P}}^1\times{\mathbb{P}}^1-\barΔ$, where $\barΔ$ is the reflected diagonal, and that the Kähler metric ${\mathbb{G}}$ is of neutral signature, conformally flat and scalar flat. We establish that the identity component of the isometry group of the metric ${\mathbb{G}}$ on ${\mathbb{L}}({\mathbb{H}}^3)$ is isom…
This paper gives a new characterization of geodesic spheres in the hyperbolic space in terms of a ``weighted'' higher order mean curvature. Precisely, we show that a compact hypersurface $Σ^{n-1}$ embedded in $\H^n$ with $VH_k$ being constant for some $k=1,\cdots,n-1$ is a centered geodesic sphere. Here $H_k$ is the $k$-th normalized mean curvature of $Σ$ induced from $\H^n$ and $V=\cosh r$, where $r$ is a hyperbolic distance to a fixed point in $\H^n$. Moreover, this result can be generalized to a compact hypersurface $Σ$ embedded in $\H^n$ with the ratio $V\left(\frac{H_k}{H_j}\right)\equiv\…
We prove the existence of Alexandrov embedded closed magnetic geodesics on closed hyperbolic surfaces. Closed magnetic geodesics correspond to closed curves with prescribed geodesic curvature.
In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsification of arithmetic progressions, and prove that every negatively curved, closed Riemannian manifold has arbitrarily long almost arithmetic progressions in its primitive length spectrum. Concerning genuine arithmetic progressions, we prove that every non-compact, locally symmetri…
We introduce the notion of weak commensurabilty of arithmetic subgroups and relate it to the length equivalence and isospectrality of locally symmetric spaces. We prove many strong consequences of weak commensurabilty and derive from these many interesting results about isolength and isospectral locally symmetric spaces.
This article explores closed geodesics on hyperbolic surfaces. We show that, for sufficiently large $k$, the shortest closed geodesics with at least $k$ self-intersections, taken among all hyperbolic surfaces, all lie on an ideal pair of pants and have length $2\arccosh(2k+1)$.
Let W be a compact hyperbolic n-manifold with totally geodesic boundary. We prove that if n>3 then the holonomy representation of pi_1 (W) into the isometry group of hyperbolic n-space is infinitesimally rigid.
We give an identity involving sums of functions of lengths of simple closed geodesics, known as a McShane identity, on any non-orientable hyperbolic surface with boundary which generalises Mirzakhani's identities on orientable hyperbolic surfaces with boundary.
This paper determines which orientable hyperbolic 3-manifolds contain simple closed geodesics. The Fuchsian group corresponding to the thrice-punctured sphere generates the only example of a complete non-elementary orientable hyperbolic 3-manifold that does not contain a simple closed geodesic. We do not assume that the manifold is geometrically finite or that it has finitely generated fundamental group.
We show that closed arithmetic hyperbolic n-dimensional orbifolds with larger and larger volumes give rise to triangulations of the underlying spaces whose 1-skeletons are harder and harder to embed nicely in Euclidean space. To show this we generalize an inequality of Gromov and Guth to hyperbolic n-orbifolds and find nearly optimal geodesic triangulations of arithmetic hyperbolic n-orbifolds.
Given a geometrically finite hyperbolic cone-manifold, with the cone singularity sufficiently short, we construct a one parameter family of cone-manifolds decreasing the cone angle to zero. We also control the geometry of this one parameter family via the Schwarzian derivative of the projective boundary and the length of closed geodesics.
We prove prime geodesic theorems counting primitive closed geodesics on a compact hyperbolic 3-manifold with length and holonomy in prescribed intervals, which are allowed to shrink. Our results imply effective equidistribution of holonomy and have both the rate of shrinking and the strength of the error term fully symmetric in length and holonomy.
This article deals with the set of closed geodesics on complete finite type hyperbolic surfaces. For any non-negative integer $k$, we consider the set of closed geodesics that self-intersect at least $k$ times, and investigate those of minimal length. The main result is that, if the surface has at least one cusp, their self-intersection numbers are exactly $k$ for large enough $k$.
The goal of the article is to provide different explicit quantifications of the non density of simple closed geodesics on hyperbolic surfaces. In particular, we show that within any embedded metric disk on a surface, lies a disk of radius only depending on the topology of the surface (and the size of the first embedded disk), which is disjoint from any simple closed geodesic.
In this paper we show that totally geodesic subspaces determine the commensurability class of a standard arithmetic hyperbolic $n$-orbifold, $n\ge 4$. Many of the results are more general and apply to locally symmetric spaces associated to arithmetic lattices in $\mathbb{R}$-simple Lie groups of type $B_n$ and $D_n$. We use a combination of techniques from algebraic groups and quadratic forms to prove several results about these spaces.
We show that if two closed hyperbolic surfaces (not necessarily orientable or even connected) have the same Laplace spectrum, then for every length they have the same number of orientation-preserving geodesics and the same number of orientation-reversing geodesics. Restricted to orientable surfaces, this result reduces to Huber's theorem of 1959. Appropriately generalized, it extends to hyperbolic 2-orbifolds (possibly disconnected). We give examples showing that it fails for disconnected flat 2-orbifolds.
We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can.
In this paper, we prove that for every Finsler $n$-dimensional sphere $(S^n,F), n\ge 3$ with reversibility $λ$ and flag curvature $K$ satisfying $\left(\fracλ{1+λ}\right)^2<K\le 1$, there exist at least three distinct closed geodesics and at least two of them are elliptic if the number of prime closed geodesics is finite. When $n\ge 6$, these three distinct closed geodesics are non-hyperbolic.
We prove that every complete finite-volume hyperbolic 3-manifold $M$ that is tessellated into (embedded) right-angled regular polyhedra (dodecahedra or ideal octahedra) embeds geodesically in a complete finite-volume connected orientable hyperbolic 4-manifold $W$, which is also tessellated into right-angled regular polytopes (120-cells and ideal 24-cells). If $M$ is connected, then Vol($W$) < $2^{49}$Vol($M$). This applies for instance to the Borromean link complement. As a consequence, the Borromean link complement bounds geometrically a hyperbolic 4-manifold.
We deliver examples of non-Gromov hyperbolic tube domains with convex bases (equipped with the Kobayashi distance). This is shown by providing a criterion on non-Gromov hyperbolicity of (non-smooth) domains.The results show the similarity of geometry of the bases of non-Gromov hyperbolic tube domains with the geometry of non-Gromov hyperbolic convex domains. A connection between the Hilbert metric of a convex domain $Ω$ in $\mathbb R^n$ with the Kobayashi distance of the tube domain over the domain $Ω$ is also shown. Moreover, continuity properties up to the boundary of complex geodesics in tu…
Using the rings of Lipschitz and Hurwitz integers $\mathbb{H}(\mathbb{Z})$ and $\mathbb{H}ur(\mathbb{Z})$ in the quaternion division algebra $\mathbb{H}$, we define several Kleinian discrete subgroups of $PSL(2,\mathbb{H})$
Let $d$ be a positive square-free integer $\equiv 3 \pmod{4}$ such that there is no invariant of the ideal class group $\mathbb{Q}\lbrack \sqrt{-d}\rbrack$ which is divisible by $4$. We prove an asymptotic formula for the number of immersed totally geodesic surfaces in $Γ_{-d}\backslash \mathbb{H}^3$ having area less than $X$.
Let X be a manifold equipped with a complete Riemannian metric of constant negative curvature and finite volume. We demonstrate the finiteness of the collection of totally geodesic immersed hypersurfaces in X that lie in the zero-level set of some Laplace eigenfunction. For surfaces, we show that the number can be bounded just in terms of the area of the surface. We also provide constructions of geodesics in hyperbolic surfaces that lie in a nodal set but that do not lie in the fixed point set of a reflection symmetry.
In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form $(\mathbf{Sp}_{2n}(\mathbb{R}))^q \times \prod_{i=1}^r \mathbf{Sp}(p_i,n-p_i) \times (\mathbf{Sp}_{2n}(\mathbb{C}))^s$. We give criteria for when the totally geodesic subspaces of such an orbifold determine its commensurability class. We give a parametrization of the commensurability classes of finite volume quaternionic hyperbolic orbifolds in terms of arithmeti…
Suppose n>2, let M,M' be n-dimensional connected complete finite-volume hyperbolic manifolds with non-empty geodesic boundary, and suppose that the fundamental group of M is quasi-isometric to the fundamental group of M' (with respect to the word metric). Also suppose that if n=3, then the boundaries of M and of M' are compact. We show that M is commensurable with M'. Moreover, we show that there exist homotopically equivalent hyperbolic 3-manifolds with non-compact geodesic boundary which are not commensurable with each other. We also prove that if M is as above and G is a finitely generated …
The lengths of geodesics on hyperbolic surfaces satisfy intriguing equations, known as identities, relating these lengths to geometric quantities of the surface. This paper is about a large family of identities that relate lengths of closed geodesics and orthogeodesics to boundary lengths or number of cusps. These include, as particular cases, identities due to Basmajian, to McShane and to Mirzakhani and Tan-Wong-Zhang. In stark contrast to previous identities, the identities presented here include the lengths taken among all closed geodesics.
For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.
In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manifolds which have the same volume and whose length spectra begin with the same first $m$ geodesic lengths. In the present paper, we show that this phenomenon is surprisingly common in the arithmetic set…
Let $Γ$ be a lattice in $\mathrm{SO}_0(n, 1)$. We prove that if the associated locally symmetric space contains infinitely many maximal totally geodesic subspaces of dimension at least $2$, then $Γ$ is arithmetic. This answers a question of Reid for hyperbolic $n$-manifolds and, independently, McMullen for hyperbolic $3$-manifolds. We prove these results by proving a superrigidity theorem for certain representations of such lattices. The proof of our superrigidity theorem uses results on equidistribution from homogeneous dynamics and our main result also admits a formulation in that language.
We compute the de Rham cohomology of the weak stable foliation of the geodesic flow of a connected orientable closed hyperbolic surface with various coefficients. For most of the coefficients, we also give certain "Hodge decompositions" of the corresponding de Rham complexes, which are not obtained by the usual Hodge theory of foliations. These results are based on unitary representation theory of $\mathrm{PSL}(2,\mathbb{R})$. As an application we obtain an answer to a problem considered by Haefliger and Li around 1980.
Luo and Tan gave a new identity for hyperbolic surfaces with/without geodesic boundary in terms of dilogarithms of the lengths of simple closed geodesics on embedded three-holed spheres or one-holed tori. However, the identity was trivial for a hyperbolic one-holed torus with geodesic boundary. In this paper we adapt the argument from Luo and Tan to give an identity for hyperbolic tori with one geodesic boundary or cusp in terms of dilogarithm functions on the set of lengths of simple closed geodesics on the torus. As a corollary, we are also able to express the Luo-Tan identity as a sum over …