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 discuss questions of isospectrality for hyperbolic orbisurfaces, examining the relationship between the geometry of an orbisurface and its Laplace spectrum. We show that certain hyperbolic orbisurfaces cannot be isospectral, where the obstructions involve the number of singular points and genera of our orbisurfaces. Using a version of the Selberg Trace Formula for hyperbolic orbisurfaces, we show that the Laplace spectrum determines the length spectrum and the orders of the singular points, up to finitely many possibilities. Conversely, knowledge of the length spectrum and the orders of the…
We study the length, weak length and complex length spectrum of closed geodesics of a compact flat Riemannian manifold, comparing length-isospectrality with isospectrality of the Laplacian acting on p-forms. Using integral roots of the Krawtchouk polynomials, we give many pairs of p-isospectral flat manifolds having different lengths of closed geodesics and in some cases, different injectivity radius and different first eigenvalue. We prove a Poisson summation formula relating the p-eigenvalue spectrum with the lengths of closed geodesics. As a consequence we show that the spectrum determines …
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.
We show that any infinite-type surface without planar ends admits arbitrarily large families of length isospectral hyperbolic structures. If the surface has infinite genus and its space of ends is self-similar, we construct an uncountable family of isospectral and quasiconformally distinct hyperbolic structures.
Using the Selberg trace formula, we show that for a hyperbolic 2-orbifold, the spectrum of the Laplacian acting on functions determines, and is determined by, the following data: the volume; the total length of the mirror boundary; the number of conepoints of each order, counting a mirror corner as half a conepoint; and the number of primitive closed geodesics of each length and orientability class, counting a geodesic running along the boundary as half orientation-preserving and half orientation-reversing, and discounting imprimitive geodesics appropriately. This implies that Laplace-isospect…
This paper shows that one cannot "hear" the rational cohomology ring of a hyperbolic 3-manifold. More precisely, while it is well-known that strongly isospectral manifolds have the same cohomology as vector spaces, we give an example of compact hyperbolic 3-manifolds that are strongly isospectral but have nonisomorphic rational cohomology rings. Along the way we implement a computer program which finds the nullity of the cup product map $H^1(M;\mathbb{Q})\wedge H^1(M;\mathbb{Q})\rightarrow H^2(M;\mathbb{Q})$ for any aspherical space in terms of the presentation of the fundamental group.
Isospectrality and isometry groups for infinite-type hyperbolic surfaces with discrete length spectrum
CNRS, Univ Paris Est Creteil, Univ Gustave Eiffel, LAMA UMR8050（法国国家科学研究中心、巴黎东克雷泰伊大学、古斯塔夫·埃菲尔大学）；Univ Paris Est Creteil, Univ Gustave Eiffel, CNRS, LAMA UMR8050（巴黎东克雷泰伊大学、古斯塔夫·埃菲尔大学、法国国家科学研究中心）
We introduce a notion of relative isospectrality for surfaces with boundary having possibly non-compact ends either conformally compact or asymptotic to cusps. We obtain a compactness result for such families via a conformal surgery that allows us to reduce to the case of surfaces hyperbolic near infinity recently studied by Borthwick and Perry, or to the closed case by Osgood, Phillips and Sarnak if there are only cusps.
In this paper we construct, for n >= 2, arbitrarily large families of infinite towers of compact, orientable Riemannian n-manifolds which are isospectral but not isometric at each stage. In dimensions two and three, the towers produced consist of hyperbolic 2-manifolds and hyperbolic 3-manifolds, and in these cases we show that the isospectral towers do not arise from Sunada's method.
We introduce a pair of isospectral but non-isometric compact flat 3-manifolds called Tetra (a tetracosm) and Didi (a didicosm). The closed geodesics of Tetra and Didi are very different. Where Tetra has two quarter-twisting geodesics of the shortest length, Didi has four half-twisting geodesics. Nevertheless, these spaces are isospectral. This isospectrality can be proven directly by matching eigenfunctions having the same eigenvalue. However, the real interest of this pair--and what led us to discover it--is the way isospectrality emerges from the Selberg trace formula, as the result of a del…
We study the spectral properties of a large class of compact flat Riemannian manifolds of dimension 4, namely, those whose corresponding Bieberbach groups have the canonical lattice as translation lattice. By using the explicit expression of the heat trace of the Laplacian acting on $p$-forms, we determine all $p$-isospectral and $L$-isospectral pairs and we show that in this class of manifolds, isospectrality on functions and isospectrality on $p$-forms for all values of $p$ are equivalent to each other. The list shows for any $p$, $1 \le p \le 3$, many $p$-isospectral pairs that are not isos…
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 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$.
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.
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.
In this paper, we construct families of nonisometric hyperbolic orbifolds that contain the same isometry classes of nonflat totally geodesic subspaces. The main tool is a variant of the well-known Sunada method for constructing length-isospectral Riemannian manifolds that handles totally geodesic submanifolds of multiple codimensions simultaneously.
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.
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…
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.
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 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.
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 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$.
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\…
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 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.
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…
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.
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$.
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 …
In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strongly isospectral, length isospectral, and have isomorphic integral cohomology where the isomorphisms commute with restriction and co-restriction. We can also construct arbitrarily large collections of pairwise non-isomorphic smooth projective surfaces where these isomorphisms in co…
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…
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.
