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 isomorphic to the identity component of the hyperbolic isometry group. Finally, we show that the geodesics of ${\mathbb{G}}$ correspond to ruled minimal surfaces in ${\mathbb{H}}^3$, which are totally geodesic iff the geodesics are null.
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$.
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).
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.
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
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\…
Let M be either a simply connected pseudo-Riemannian space of constant curvature or a rank one Riemannian symmetric space (other than the octonion hyperbolic plane), and consider the space L(M) of oriented geodesics of M. The space L(M) is a smooth homogeneous manifold and in this paper we describe all invariant symplectic structures, (para)complex structures, pseudo-Riemannian metrics and (para)Kaehler structure on L(M).
A Hopf hypersurface in a (para-)Kaehler manifold is a real hypersurface for which one of the principal directions of the second fundamental form is the (para-)complex dual of the normal vector. We consider particular Hopf hypersurfaces in the space of oriented geodesics of a non-flat space form of dimension greater than 2. For spherical and hyperbolic space forms, the oriented geodesic space admits a canonical Kaehler-Einstein and para-Kaehler-Einstein structure, respectively, so that a natural notion of a Hopf hypersurface exists. The particular hypersurfaces considered are formed by the orie…
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.
We consider foliations of the whole three dimensional hyperbolic space H^3 by oriented geodesics. Let L be the space of all the oriented geodesics of H^3, which is a four dimensional manifold carrying two canonical pseudo-Riemannian metrics of signature (2,2). We characterize, in terms of these geometries of L, the subsets M in L that determine foliations of H^3. We describe in a similar way some distinguished types of geodesic foliations of H^3, regarding to which extent they are in some sense trivial in some directions: On the one hand, foliations whose leaves do not lie in a totally geodesi…
In this article, we construct a new para-Kähler structure $({\mathcal G},{\mathcal J},Ω)$ in the space of oriented geodesics ${\mathbb L}(M)$ in a non-flat, real space form $M$. We first show that the para-Kähler metric ${\mathcal G}$ is scalar flat and when $M$ is a 3-dimensional real space form, ${\mathcal G}$ is locally conformally flat. Furthermore, we prove that the space of oriented geodesics in hyperbolic $n$-space, equipped with the constructed metric ${\mathcal G}$, is minimally isometric embedded in the tangent bundle of the hyperbolic $n$-space. We then study the submanifold theory,…
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.
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.
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.
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 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…
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.
Let M be a complete finite-volume hyperbolic 3-manifold with compact non-empty geodesic boundary and k toric cusps, and let T be a geometric partially truncated triangulation of M. We show that the variety of solutions of consistency equations for T is a smooth manifold or real dimension 2k near the point representing the unique complete structure on M. As a consequence, the relation between deformations of triangulations and deformations of representations is completely understood, at least in a neighbourhood of the complete structure. This allows us to prove, for example, that small deformat…
We study inverse mean curvature flow with free boundary supported on geodesic spheres in hyperbolic space. Starting from any convex hypersurface inside a geodesic ball with a free boundary, the flow converges to a totally geodesic disk in finite time. Using the convergence result, we show a Willmore type inequality.
We give necessary and sufficient conditions for an affine deformation of a Schottky subgroup of O(2,1) to act properly on affine space. There exists a real-valued biaffine map between the cohomology of the Schottky group and the space of geodesic currents on the corresponding hyperbolic surface S. For a fixed cohomology class, this map is uniformly positive or uniformly negative on the space of geodesic currents if and only if the corresponding affine deformation is proper. As a corollary, the deformation space of proper affine deformations is an open convex cone.
Extending the earlier results for analytic curve segments, in this article we describe the asymptotic behaviour of evolution of a finite segment of a C^n-smooth curve under the geodesic flow on the unit tangent bundle of a finite volume hyperbolic n-manifold. In particular, we show that if the curve satisfies certain natural geometric conditions, the pushforward of the parameter measure on the curve under the geodesic flow converges to the normalized canonical Riemannian measure on the tangent bundle in the limit. We also study the limits of geodesic evolution of shrinking segments. We use Rat…
We discuss two generalizations of the collar lemma. The first is the stable neighborhood theorem which says that a (not necessarily simple) closed geodesic in a hyperbolic surface has a \lq\lq stable neighborhood\rq\rq whose width only depends on the length of the geodesic. As an application, we show that there is a lower bound for the length of a closed geodesic having crossing number $k$ on a hyperbolic surface. This lower bound tends to infinity with $k$. Our second generalization is to totally geodesic hypersurfaces of hyperbolic manifolds. Namely, we construct a tubular neighborhood funct…
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.
Asymptotically geodesic hypersurfaces and the fundamental groups of hyperbolic manifolds
Fudan University（复旦大学）；Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉学科研究院）；Massachusetts Institute of Technology（麻省理工学院）
Let n>2 and let M be an orientable complete finite volume hyperbolic n-manifold with (possibly empty) geodesic boundary having Riemannian volume vol(M) and simplicial volume ||M||. A celebrated result by Gromov and Thurston states that if M has empty boundary then the ratio between vol(M) and ||M|| is equal to v_n, where v_n is the volume of the regular ideal geodesic n-simplex in hyperbolic n-space. On the contrary, Jungreis and Kuessner proved that if the boundary of M is non-empty, then such a ratio is strictly less than v_n. We prove here that for every a>0 there exists k>0 (only depending…
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.
This thesis mainly treats two developments of the classical theory of hypersurfaces inside pseudo-Riemannian space forms. The former - a joint work with Francesco Bonsante - consists in the study of immersions of smooth manifolds into holomorphic Riemannian space forms of constant curvature -1 (including SL(2,C) with a multiple of its Killing form): this leads to a Gauss-Codazzi theorem, it suggests an approach to holomorphic transitioning of immersions into pseudo-Riemannian space forms, a trick to construct holomorphic maps into the PSL(2,C)-character variety, and leads to a restatement of B…
It is shown that the space of null geodesics of a causally simple Lorentzian manifold is Hausdorff if it admits an open conformal embedding into a globally hyperbolic spacetime. This provides an obstruction to conformal embeddings of causally simple spacetimes into globally hyperbolic ones irrespective of curvature conditions. Examples of causally simple spacetimes are given not conformally embeddable into globally hyperbolic ones.
Growth of Simple Closed Geodesics in Finite-Volume Hyperbolic Manifolds
Fudan University（复旦大学）；Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉学科研究院）；Research Institute of Intelligent Complex Systems, Fudan University（复旦大学复杂系统智能研究院）
