Let H be the n-dimensional hyperbolic space of constant sectional curvature -1 and let G be the identity component of the isometry group of H. We find all the G-invariant pseudo-Riemannian metrics on the space OG_n of oriented geodesics of H (modulo orientation preserving reparametrizations). We characterize the null, time- and space-like curves, providing a relationship between the geometries of OG_n and H. Moreover, we show that OG_3 is Kähler and find an orthogonal almost complex structure on OG_7.
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.
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…
In this paper, we determine the type numbers of the pseudo-hyperbolic Gauss maps of all oriented Lorentzian surfaces of constant mean and Gaussian curvatures and non-diagonalizable shape operator in the $3$-dimensional anti-de Sitter space. Also, we investigate the behavior of type numbers of the pseudo-hyperbolic Gauss map along the parallel family of such oriented Lorentzian surfaces in the $3$-dimensional anti-de Sitter space. Furthermore, we investigate the type number of the pseudo-hyperbolic Gauss map of one of Lorentzian hypersurfaces of B-scroll type in a general dimensional anti-de Si…
In this paper, we parametrize the space of isometric immersions of the hyperbolic plane into the hyperbolic 3-space in terms of null-causal curves in the space of oriented geodesics. Moreover, we characterize "ideal cones" (i.e., cones whose vertices are on the ideal boundary) by behavior of their mean curvature.
This textbook is an introductory course on hyperbolic geometry, intended for students at the advanced undergraduate (Bachelor) or early graduate (Master) level.
This is the second in a series of papers where we estab- lish skin structural concepts and results for singular area minimizing hypersurfaces. Here we conformally unfold these spaces to complete Gromov hyperbolic spaces with bounded geometry and we recover their singular set as the Gromov boundary but also as the Martin boundary for many classical elliptic operators.
We propose a Lie geometric point of view on flat fronts in hyperbolic space as special omega-surfaces and discuss the Lie geometric deformation of flat fronts.
In the 1980s Alano Ancona developed a profound potential theory on Gromov hyperbolic manifolds of bounded geometry. Since then, such hyperbolic spaces have become basic in geometry, topology and group theory. In this paper we make Ancona's original work, addressed to a rather advanced audience, approachable for a wider readership without firm background in potential theory. We streamline the arguments to make the results depend only on coarse geometro-analytic invariants and we derive useful details not found in the original sources. We explain remarkable relations of these results to recent d…
In this paper we describe trigonometry on the de Sitter surface. For that a characterization of geodesics is given, leading to various types of triangles. We define lengths and angles of these. Then, transferring the concept of polar triangles from spherical geometry into the Minkowski space, we relate hyperbolic with de Sitter triangles such that the proof of the hyperbolic law of cosines for angles becomes much clearer and easier than it is traditionally. Furthermore, polar triangles turn out to be a powerful tool for describing de Sitter trigonometry.
For k>6, we determine the minimal area of a compact hyperbolic surface, and an oriented compact hyperbolic surface that can be tiled by embedded regular triangles of angle 2π/k. Based on this, all the cases of equality in Laszlo Fejes Toth's triangle bound for hyperbolic surfaces are described.
Phase plotting is a useful way of visualising functions on complex space. We reinvent the method in the context of hyperbolic geometry, and we use it to plot functions on various representative surfaces for hyperbolic space, illustrating with direct motions in particular. The reinvention is nontrivial, and we discuss the essential features for ensuring that such visualisations convey useful information. Our approach is to exploit conformal maps between representative surfaces, in order to uniquely represent the preimages of geodesics. Our considerations and methods are prototypical of what one…
Asymptotic subcone of an unbounded metric space is another metric space, capturing the structure of the original space at infinity. In this paper we define a functional metric space S which is an asymptotic subcone of the hyperbolic plane. This space is a real tree branching at every its point. Moreover, it is a homogeneous metric space such that any real tree with countably many vertices can be isometrically embedded into it. This implies that every such tree is also an asymptotic subcone of the hyperbolic plane.
This thesis was motivated by a desire to understand the natural geometry of hyperbolic monopole moduli spaces. We take two approaches. Firstly we develop the twistor theory of singular hyperbolic monopoles and use it to study the geometry of their charge 1 moduli spaces. After this we introduce a new way to study the moduli spaces of both Euclidean and hyperbolic monopoles by applying Kodaira's deformation theory to the spectral curve. We obtain new results in both the Euclidean and hyperbolic cases. In particular we prove new cohomology vanishing theorems and find that the hyperbolic monopole…
This preliminary report studies immersed surfaces of constant mean curvature in $H^3$ through their {\it adjusted Gauss maps} (as harmonic maps in $S^2$) and their {\it adjusted frames} in SU(2). Lawson's correspondence between Euclidean CMC surfaces and their hyperbolic cousins is interpreted here under a different perspective: the equivalence of their Weierstrass representations (normalized potentials). This work also presents a construction algorithm for the moving frame, the adjusted frame, their Maurer-Cartan forms, and ultimately the CMC immersion.
Various transformations of isothermic surfaces are discussed and their interrelations are analyzed. Applications to cmc-1 surfaces in hyperbolic space and their minimal cousins in Euclidean space are presented: the Umehara-Yamada perturbation, the classical and Bryant's Weierstrass type representations, and the duality for cmc-1 surfaces are interpreted in terms of transformations of isothermic surfaces. A new Weierstrass type representation is introduced and a Moebius geometric characterization of cmc-1 surfaces in hyperbolic space and minimal surfaces in Euclidean space is given.
We study the intrinsic geometry of area minimizing (and also of almost minimizing) hypersurfaces from a new point of view by relating this subject to quasiconformal geometry. For any such hypersurface we define and construct a so-called S-structure which reveals some unexpected geometric and analytic properties of the hypersurface and its singularity set. In this paper, this is used to prove the existence of hyperbolic unfoldings: canonical conformal deformations of the regular part of these hypersurfaces into complete Gromov hyperbolic spaces of bounded geometry with Gromov boundary homeomorp…
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).
We study geometry, topology and deformation spaces of noncompact complex hyperbolic manifolds (geometrically finite, with variable negative curvature), whose properties make them surprisingly different from real hyperbolic manifolds with constant negative curvature. This study uses an interaction between Kähler geometry of the complex hyperbolic space and the contact structure at its infinity (the one-point compactification of the Heisenberg group), in particular an established structural theorem for discrete group actions on nilpotent Lie groups.
We introduce a geometric transition between two homogeneous three-dimensional geometries: hyperbolic geometry and anti de Sitter (AdS) geometry. Given a path of three-dimensional hyperbolic structures that collapse down onto a hyperbolic plane, we describe a method for constructing a natural continuation of this path into AdS structures. In particular, when hyperbolic cone manifolds collapse, the AdS manifolds generated on the "other side" of the transition have tachyon singularities. The method involves the study of a new transitional geometry called half-pipe geometry. We demonstrate these m…
We describe a hyperbolic version of the Ambartzumian-Pleijel identity. We use this identity to prove the hyperbolic Crofton formula and the hyperbolic isoperimetric inequality. This identity also provides a way to compute the chord length distribution for an ideal polygon in the hyperbolic plane. The analogous results for a maximally symmetric, simply connected, $2$-dimensional Riemannian manifold with constant sectional curvature are given at the end.
We prove a persistence result for noncompact normally hyperbolic invariant manifolds in Riemannian manifolds of bounded geometry. The bounded geometry of the ambient manifold is a crucial assumption in order to control the uniformity of all estimates throughout the proof.
A 4-manifold is constructed with some curious metric properties; or maybe it is many 4-manifolds masquerading as one, which would explain why it looks curious. Anyway, knots in the 3-sphere with complete finite volume hyperbolic metrics on their complements play a role in this story.
These notes are an extended version of a talk given by the author in the seminar "Theorie Spectrale et Geometrie" at the Institut Fourier in No- vember 2016. We present here some aspects of a work in collaboration with B. Collier and N. Tholozan (arXiv:1702.08799). We describe how Higgs bundle theory and pseudo-hyperbolic geometry interfere in the study of maximal representations into Hermitian Lie groups of rank 2.
We investigate the geometric properties of marginally trapped surfaces (surfaces which have null mean curvature vector) in the spaces of oriented geodesics of Euclidean 3-space and hyperbolic 3-space, endowed with their canonical neutral Kaehler structures. We prove that every rank one surface in these four manifolds is marginally trapped. In the Euclidean case we show that Lagrangian rotationally symmetric sections are marginally trapped and construct an explicit family of marginally trapped Lagrangian tori. In the hyperbolic case we explore the relationship between marginally trapped and Wei…
The general theory of parabolic geometries is applied to the study of the normal Cartan connections for all hyperbolic and elliptic 6-dimensional CR-manifolds of codimension two. The geometric meaning of the individual components of the torsion is explained and the chains of dimensions one and two are discussed. This seems to be the first application of the general methods to a geometry with a non-connected and non-simple structure group.
We use hyperbolic geometry to construct simply-connected symplectic or complex manifolds with trivial canonical bundle and with no compatible Kahler structure. We start with the desingularisations of the quadric cone in C^4: the smoothing is a natural S^3-bundle over H^3, its holomorphic geometry is determined by the hyperbolic metric; the small-resolution is a natural S^2-bundle over H^4 with symplectic geometry determined by the metric. Using hyperbolic geometry, we find orbifold quotients with trivial canonical bundle; smooth examples are produced via crepant resolutions. In particular, we …
Motivated by strong desire to understand the natural geometry of moduli spaces of hyperbolic monopoles, we introduce and study a new type of geometry: pluricomplex geometry. It is a generalisation of hypercomplex geometry: we still have a 2-sphere of complex structures, but they no longer behave like unit imaginary quaternions. We still require, however, that the 2-sphere of complex structures determines a decomposition of the complexified tangent space as tensor product of C^{2n} and C^2. Among interesting properties of pluricomplex manifold is the existence of a canonical torsion free connec…
For hyperbolic Riemann surfaces of finite geometry, we study Selberg's zeta function and its relation to the relative scattering phase and the resonances of the Laplacian. As an application we show that the conjugacy class of a finitely generated, torsion-free, discrete subgroup of SL(2,R) is determined by its trace spectrum up to finitely many possibilities, thus generalizing results of McKean and Mueller to groups which are not necessarily cofinite.
We relate small 1-form Laplacian eigenvalues to relative cycle complexity on closed hyperbolic manifolds: small eigenvalues correspond to closed geodesics no multiple of which bounds a surface of small genus. We describe potential applications of this equivalence principle toward proving optimal torsion homology growth in families of hyperbolic 3-manifolds Benjamini-Schramm converging to $\mathbb{H}^3.$
We study the symplectic geometry of the moduli space of closed n-gons with fixed side-lengths in hyperbolic 3-space. We prove that these moduli spaces have a symplectic structure coming from Poisson Lie theory. We construct completely integrable systems on these moduli spaces by bending n-gons along their diagonals. The results of this paper are the analogues of the results of the first two authors for n-gon linkages in Euclidean 3-space in JDG 44. We conclude by proving by a deformation argument that the moduli spaces of n-gon linkages in hyperbolic 3-space and Euclidean 3-space with the same…
We present some explicit constructions of universal R-trees with applications to the asymptotic geometry of hyperbolic spaces. In particular, we show that any asymptotic cone of a complete simply connected manifold of negative curvature is a complete homogeneous R-tree with the valency $2^{\aleph_0}$ at every point. It implies that all these asymptotic cones are isometric depending neither on a manifold nor on an ultrafilter. It is also proved that the same R-tree can be isometrically embedded at infinity into such a manifold or into a non-abelian free group.
Starting from the classical notion of an oriented congruence (i.e. a foliation by oriented curves) in $R^3$, we abstract the notion of an oriented congruence structure. This is a 3-dimensional CR manifold $(M,H, J)$ with a preferred splitting of the tangent space $TM=V\oplus H$. We find all local invariants of such structures using Cartan's equivalence method refining Cartan's classification of 3-dimensional CR structures. We use these invariants and perform Fefferman like constructions, to obtain interesting Lorentzian metrics in four dimensions, which include explicit Ricci-flat and Einstein…
We prove a persistence result for noncompact normally hyperbolic invariant manifolds in the setting of Riemannian manifolds of bounded geometry. Bounded geometry of the ambient manifold is a crucial assumption required to control the uniformity of all estimates throughout the proof. The $C^{k,α}$-smoothness result is optimal with respect to the spectral gap condition involved. The core of the persistence proof is based on the Perron method. In the process we derive new results on noncompact submanifolds in bounded geometry: a uniform tubular neighborhood theorem and uniform smooth approximatio…
For triangulated surfaces locally embedded in the standard hyperbolic space, we introduce combinatorial Calabi flow as the negative gradient flow of combinatorial Calabi energy. We prove that the flow produces solutions which converge to ZCCP-metric (zero curvature circle packing metric) if the initial energy is small enough. Assuming the curvature has a uniform upper bound less than $2π$, we prove that combinatorial Calabi flow exists for all time. Moreover, it converges to ZCCP-metric if and only if ZCCP-metric exists.
In this paper, we generalize our results in \cite{GX3} to triangulated surfaces in hyperbolic background geometry, which means that all triangles can be embedded in the standard hyperbolic space. We introduce a new discrete Gaussian curvature by dividing the classical discrete Gauss curvature by an area element, which could be taken as the area of the hyperbolic disk packed at each vertex. We prove that the corresponding discrete Ricci flow converges if and only if there exists a circle packing metric with zero curvature. We also prove that the flow converges if the initial curvatures are all …
On an odd-dimensional oriented hyperbolic manifold of finite volume with strongly acyclic coefficient systems, we derive a formula relating analytic torsion with the Reidemeister torsion of the Borel-Serre compactification of the manifold. In a companion paper, this formula is used to derive exponential growth of torsion in cohomology of arithmetic groups.
For compact and for convex co-compact oriented hyperbolic surfaces, we prove an explicit correspondence between classical Ruelle resonant states and quantum resonant states, except at negative integers where the correspondence involves holomorphic sections of line bundles.
Let $τ$ be an $n$-simplex and let $g$ be a metric on $τ$ with constant curvature $κ$. The lengths that $g$ assigns to the edges of $τ$, along with the value of $κ$, uniquely determine all of the geometry of $(τ, g)$. In this paper we focus on hyperbolic simplices ($κ= -1$) and develop geometric formulas which rely only on the edge lengths of $τ$. Our main results are distance and projection formulas in hyperbolic simplices, as well as a projection formula in Euclidean simplices. We also provide analogous formulas in simplices with arbitrary constant curvature $κ$.
The fermionic signature operator is analyzed on globally hyperbolic Lorentzian surfaces. The connection between the spectrum of the fermionic signature operator and geometric properties of the surface is studied. The findings are illustrated by simple examples and counterexamples.
Krasnov (arXiv: hep-th/0005106) identified the renormalized volume of a Schottky 3-manifold with the action of the Liouville theory on the conformal infiinity. We try to compute the renormalized volume in terms of more transparent geometric quantities.
The aim of this article is to understand the geometry of limit sets in pseudo-Riemannian hyperbolic geometry. We focus on a class of subgroups of $\mathrm{PO}(p,q+1)$ introduced by Danciger, Guéritaud and Kassel, called $\mathbb{H}^{p,q}$-convex cocompact. We define a pseudo-Riemannian analogue of critical exponent and Hausdorff dimension of the limit set. We show that they are equal and bounded from above by the usual Hausdorff dimension of the limit set. We also prove a rigidity result in $\mathbb{H}^{2,1}=\mathrm{ADS}^3$ which can be understood as a Lorentzian version of a famous Theorem of…
We study the contact geometry of scalar second order hyperbolic equations in the plane of generic type. Following a derivation of parametrized contact-invariants to distinguish Monge-Ampere (class 6-6), Goursat (class 6-7) and generic (class 7-7) hyperbolic equations, we use Cartan's equivalence method to study the generic case. An intriguing feature of this class of equations is that every generic hyperbolic equation admits at most a nine-dimensional contact symmetry algebra. The nine-dimensional bound is sharp: normal forms for the contact-equivalence classes of these maximally symmetric gen…
The main result is that every complete finite area hyperbolic metric on a sphere with punctures can be uniquely realized as the induced metric on the surface of a convex ideal polyhedron in hyperbolic 3-space. A number of other observations are included.
Due to the isotropy $d$-dimensional hyperbolic space, there exist a spherically symmetric fundamental solution for its corresponding Laplace-Beltrami operator. On the $R$-radius hyperboloid model of $d$-dimensional hyperbolic geometry with $R>0$ and $d\ge 2$, we compute azimuthal Fourier expansions for a fundamental solution of Laplace's equation. For $d\ge 2$, we compute a Gegenbauer polynomial expansion in geodesic polar coordinates for a fundamental solution of Laplace's equation on this negative-constant sectional curvature Riemannian manifold. In three-dimensions, an addition theorem for …
We study the 3-dimensional combinatorial Yamabe flow in hyperbolic background geometry. For a triangulation of a 3-manifold, we prove that if the number of tetrahedra incident to each vertex is at least 23, then there exist real or virtual ball packings with vanishing (extended) combinatorial scalar curvature, i.e. the (extended) solid angle at each vertex is equal to 4π. In this case, if such a ball packing is real, then the (extended) combinatorial Yamabe flow converges exponentially fast to that ball packing. Moreover, we prove that there is no real or virtual ball packing with vanishing (e…
