-
On transverse $R$-covered minimal foliations
Authors:
Thierry Barbot,
Sergio R. Fenley,
Rafael Potrie
Abstract:
We study minimal transverse foliations which are $R$-covered. If in addition the dimension of the ambient manifold is $3$, and the foliations are Anosov foliations we give necessary and sufficient conditions for the intersected foliation to be the orbit foliation of an Anosov flow.
We study minimal transverse foliations which are $R$-covered. If in addition the dimension of the ambient manifold is $3$, and the foliations are Anosov foliations we give necessary and sufficient conditions for the intersected foliation to be the orbit foliation of an Anosov flow.
△ Less
Submitted 24 January, 2025;
originally announced January 2025.
-
Orbital equivalence classes of finite coverings of geodesic flows
Authors:
Thierry Barbot,
Sérgio Fenley
Abstract:
Let $M$ be a closed 3-manifold admitting a finite cover of index n along the fibers over the unit tangent bundle of a closed surface. We prove that if n is odd, there is only one Anosov flow on M up to orbital equivalence, and if n is even, there are two orbital equivalence classes of Anosov flows on M.
Let $M$ be a closed 3-manifold admitting a finite cover of index n along the fibers over the unit tangent bundle of a closed surface. We prove that if n is odd, there is only one Anosov flow on M up to orbital equivalence, and if n is even, there are two orbital equivalence classes of Anosov flows on M.
△ Less
Submitted 21 February, 2024; v1 submitted 5 May, 2022;
originally announced May 2022.
-
Quasi-Fuchsian co-Minkowski manifolds
Authors:
Thierry Barbot,
François Fillastre
Abstract:
This survey is an introduction to the geometry of co-Minkowksi space, the space of unoriented spacelike hyperplanes of the Minkowski space. Affine deformations of cocompact lattices of hyperbolic isometries act on it, in a way similar to the way that quasi-Fuchsian groups act on hyperbolic space. In particular, there is a convex core. There is also a unique "mean" hypersurface, i.e. with traceless…
▽ More
This survey is an introduction to the geometry of co-Minkowksi space, the space of unoriented spacelike hyperplanes of the Minkowski space. Affine deformations of cocompact lattices of hyperbolic isometries act on it, in a way similar to the way that quasi-Fuchsian groups act on hyperbolic space. In particular, there is a convex core. There is also a unique "mean" hypersurface, i.e. with traceless second fundamental form. The mean distance between the mean hypersurface and the lower boundary of the convex core endows the space of affine deformations of a given lattice with an asymmetric norm. The symmetrization of the asymmetric norm is simply the volume of the convex core.
In dimension 2+1, the asymmetric norm is the total length of the bending lamination of the lower boundary component of the convex core. We obtain an extrinsic proof of a theorem of Thurston saying that, on the tangent space of Teichmüller space, the total length of measured geodesic laminations is an asymmetric norm.
We also exhibit and comment the Anosov-like character of these deformations, similar to the Anosov character of the quasi-Fuchsians representations pointed out in Guichard--Wienhard.
△ Less
Submitted 31 January, 2018;
originally announced January 2018.
-
Pappus Theorem, Schwartz Representations and Anosov Representations
Authors:
Thierry Barbot,
Gye-Seon Lee,
Viviane Pardini Valério
Abstract:
In the paper "Pappus's theorem and the modular group", R. Schwartz constructed a 2-dimensional family of faithful representations $ρ_Θ$ of the modular group $\mathrm{PSL}(2,\mathbb{Z})$ into the group $\mathscr{G}$ of projective symmetries of the projective plane via Pappus Theorem. The image of the unique index 2 subgroup $\mathrm{PSL}(2,\mathbb{Z})_o$ of $\mathrm{PSL}(2,\mathbb{Z})$ under each r…
▽ More
In the paper "Pappus's theorem and the modular group", R. Schwartz constructed a 2-dimensional family of faithful representations $ρ_Θ$ of the modular group $\mathrm{PSL}(2,\mathbb{Z})$ into the group $\mathscr{G}$ of projective symmetries of the projective plane via Pappus Theorem. The image of the unique index 2 subgroup $\mathrm{PSL}(2,\mathbb{Z})_o$ of $\mathrm{PSL}(2,\mathbb{Z})$ under each representation $ρ_Θ$ is in the subgroup $\mathrm{PGL}(3,\mathbb{R})$ of $\mathscr{G}$ and preserves a topological circle in the flag variety, but $ρ_Θ$ is not Anosov. In her PhD Thesis, V. P. Valério elucidated the Anosov-like feature of Schwartz representations: For every $ρ_Θ$, there exists a 1-dimensional family of Anosov representations $ρ^\varepsilon_Θ$ of $\mathrm{PSL}(2,\mathbb{Z})_o$ into $\mathrm{PGL}(3,\mathbb{R})$ whose limit is the restriction of $ρ_Θ$ to $\mathrm{PSL}(2,\mathbb{Z})_o$. In this paper, we improve her work: For each $ρ_Θ$, we build a 2-dimensional family of Anosov representations of $\mathrm{PSL}(2,\mathbb{Z})_o$ into $\mathrm{PGL}(3,\mathbb{R})$ containing $ρ^\varepsilon_Θ$ and a 1-dimensional subfamily of which can extend to representations of $\mathrm{PSL}(2,\mathbb{Z})$ into $\mathscr{G}$. Schwartz representations are therefore, in a sense, the limits of Anosov representations of $\mathrm{PSL}(2,\mathbb{Z})$ into $\mathscr{G}$.
△ Less
Submitted 2 February, 2018; v1 submitted 13 October, 2016;
originally announced October 2016.
-
Lorentzian Kleinian Groups
Authors:
Thierry Barbot
Abstract:
Classical Kleinian groups are discrete subgroups of isometries of H n. The well-known theory of Kleinian groups starts with the definition of their associated limit set in the boundary of H n , and includes the geometric properties of the quotient hyperbolic space. This approach, naively applied, fails in the Lorentzian analogue anti-de Sitter space: discrete subgroups do not act properly disconti…
▽ More
Classical Kleinian groups are discrete subgroups of isometries of H n. The well-known theory of Kleinian groups starts with the definition of their associated limit set in the boundary of H n , and includes the geometric properties of the quotient hyperbolic space. This approach, naively applied, fails in the Lorentzian analogue anti-de Sitter space: discrete subgroups do not act properly discontinuously, and in many cases the set of accumulation points of orbits at the conformal boundary at infinity depends on the orbit. In this survey, we point out a way to extend this classical theory by introducing causality notions: the theory of limit sets and regularity domains extend naturally to achronal subgroups. This is closely related to the notions of globally hyper-bolic spacetimes, and we present what is known about the classification of globally hyperbolic spacetimes of constant curvature. We also review the close connection revealed by G. Mess ([79]) between globally hyperbolic spacetimes of dimension 2 + 1 and Teichm{ü}ller space. This link can be understood via the space of time-like geodesics of anti-de Sitter space, and this space has also an interesting role, presented here, in the recent works about proper group actions on spacetimes of constant curvature.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.
-
Free Seifert pieces of pseudo-Anosov flows
Authors:
Thierry Barbot,
Sergio Fenley
Abstract:
We prove a structure theorem for pseudo-Anosov flows restricted to Seifert fibered pieces of three manifolds. The piece is called periodic if there is a Seifert fibration so that a regular fiber is freely homotopic, up to powers, to a closed orbit of the flow. A non periodic Seifert fibered piece is called free. In a previous paper [Ba-Fe1] we described the structure of a pseudo-Anosov flow restr…
▽ More
We prove a structure theorem for pseudo-Anosov flows restricted to Seifert fibered pieces of three manifolds. The piece is called periodic if there is a Seifert fibration so that a regular fiber is freely homotopic, up to powers, to a closed orbit of the flow. A non periodic Seifert fibered piece is called free. In a previous paper [Ba-Fe1] we described the structure of a pseudo-Anosov flow restricted to a periodic piece up to isotopy along the flow. In the present paper we consider free Seifert pieces. We show that, in a carefully defined neighborhood of the free piece, the pseudo-Anosov flow is orbitally equivalent to a hyperbolic blow up of a geodesic flow piece. A geodesic flow piece is a finite cover of the geodesic flow on a compact hyperbolic surface, usually with boundary. In the proof we introduce almost k-convergence groups and prove a convergence theorem. We also introduce an alternative model for the geodesic flow of a hyperbolic surface that is suitable to prove these results, and we carefully define what is a hyperbolic blow up.
△ Less
Submitted 20 December, 2015;
originally announced December 2015.
-
Nil-Anosov actions
Authors:
Thierry Barbot,
Carlos Maquera
Abstract:
We consider Anosov actions of a Lie group $G$ of dimension $k$ on a closed manifold of dimension $k+n.$We introduce the notion of Nil-Anosov action of $G$ (which includes the case where $G$ is nilpotent) and establishes the invariance by the entire group $G$of the associated stable and unstable foliations. We then prove a spectral decomposition Theoremfor such an action when the group $G$ is nilpo…
▽ More
We consider Anosov actions of a Lie group $G$ of dimension $k$ on a closed manifold of dimension $k+n.$We introduce the notion of Nil-Anosov action of $G$ (which includes the case where $G$ is nilpotent) and establishes the invariance by the entire group $G$of the associated stable and unstable foliations. We then prove a spectral decomposition Theoremfor such an action when the group $G$ is nilpotent. Finally, we focus on the case where $G$ is nilpotent andthe unstable bundle has codimension one. We prove that in this case the action is a Nil-extensionover an Anosov action of an abelian Lie group. In particular:i) if $n \geq 3,$ then the action is topologically transitive,ii) if $n=2,$ then the action is a Nil-extension over an Anosov flow.
△ Less
Submitted 6 June, 2016; v1 submitted 13 September, 2015;
originally announced September 2015.
-
Deformations of Fuchsian AdS representations are Quasi-Fuchsian
Authors:
Thierry Barbot
Abstract:
Let $Γ$ be a finitely generated group, and let $\op{Rep}(Γ, \SO(2,n))$ be the moduli space of representations of $Γ$ into $\SO(2,n)$ ($n \geq 2$). An element $ρ: Γ\to \SO(2,n)$ of $\op{Rep}(Γ, \SO(2,n))$ is \textit{quasi-Fuchsian} if it is faithful, discrete, preserves an acausal subset in the conformal boundary $\Ein_n$ of the anti-de Sitter space; and if the associated globally hyperbolic anti-d…
▽ More
Let $Γ$ be a finitely generated group, and let $\op{Rep}(Γ, \SO(2,n))$ be the moduli space of representations of $Γ$ into $\SO(2,n)$ ($n \geq 2$). An element $ρ: Γ\to \SO(2,n)$ of $\op{Rep}(Γ, \SO(2,n))$ is \textit{quasi-Fuchsian} if it is faithful, discrete, preserves an acausal subset in the conformal boundary $\Ein_n$ of the anti-de Sitter space; and if the associated globally hyperbolic anti-de Sitter space is spatially compact - a particular case is the case of \textit{Fuchsian representations}, i.e. composition of a faithfull, discrete and cocompact representation $ρ_f: Γ\to \SO(1,n)$ and the inclusion $\SO(1,n) \subset \SO(2,n)$. In \cite{merigot} we proved that quasi-Fuchsian representations are precisely representations which are Anosov as defined in \cite{labourie}. In the present paper, we prove that quasi-Fuchsian representations form a connected component of $\op{Rep}(Γ, \SO(2,n))$. This is an almost direct corollary of the following result: let $Γ$ be the fundamental group of a globally hyperbolic spacetime locally modeled on $\AdS_n$, and let $ρ: Γ\to \SO_0(2,n)$ be the holonomy representation. Then, if $Γ$ is Gromov hyperbolic, the $ρ(Γ)$-invariant achronal limit set in $\Ein_n$ is acausal.
△ Less
Submitted 29 May, 2013; v1 submitted 18 January, 2013;
originally announced January 2013.
-
Classification and rigidity of totally periodic pseudo-Anosov flows in graph manifolds
Authors:
Thierry Barbot,
Sergio R. Fenley
Abstract:
In this article we analyze totally periodic pseudo-Anosov flows in graph three manifolds. This means that in each Seifert fibered piece of the torus decomposition, the free homotopy class of regular fibers has a finite power which is also a finite power of the free homotopy class of a closed orbit of the flow. We show that each such flow is topologically equivalent to one of the model pseudo-Anoso…
▽ More
In this article we analyze totally periodic pseudo-Anosov flows in graph three manifolds. This means that in each Seifert fibered piece of the torus decomposition, the free homotopy class of regular fibers has a finite power which is also a finite power of the free homotopy class of a closed orbit of the flow. We show that each such flow is topologically equivalent to one of the model pseudo-Anosov flows which we constructed in a previous article. A model pseudo-Anosov flow is obtained by glueing standard neighborhoods of Birkhoff annuli and perhaps doing Dehn surgery on certain orbits. We also show that two model flows on the same graph manifold are isotopically equivalent (ie. there is a isotopy of the manifold mapping the oriented orbits of the first flow to the oriented orbits of the second flow) if and only if they have the same topological and dynamical data in the collection of standard neighborhoods of the Birkhoff annuli.
△ Less
Submitted 30 November, 2012;
originally announced November 2012.
-
Algebraic Anosov actions of Nilpotent Lie groups
Authors:
Thierry Barbot,
Carlos Maquera
Abstract:
In this paper we classify algebraic Anosov actions of nilpotent Lie groups on closed manifolds, extending the previous results by P. Tomter. We show that they are all nil-suspensions over either suspensions of Anosov actions of Z^k on nilmanifolds, or (modified) Weyl chamber actions. We check the validity of the generalized Verjovsky conjecture in this algebraic context. We also point out an intim…
▽ More
In this paper we classify algebraic Anosov actions of nilpotent Lie groups on closed manifolds, extending the previous results by P. Tomter. We show that they are all nil-suspensions over either suspensions of Anosov actions of Z^k on nilmanifolds, or (modified) Weyl chamber actions. We check the validity of the generalized Verjovsky conjecture in this algebraic context. We also point out an intimate relation between algebraic Anosov actions and Cartan subalgebras in general real Lie groups.
△ Less
Submitted 2 July, 2012;
originally announced July 2012.
-
Some open questions on anti-de Sitter geometry
Authors:
Thierry Barbot,
Francesco Bonsante,
Jeffrey Danciger,
William M. Goldman,
François Guéritaud,
Fanny Kassel,
Kirill Krasnov,
Jean-Marc Schlenker,
Abdelghani Zeghib
Abstract:
We present a list of open questions on various aspects of AdS geometry, that is, the geometry of Lorentz spaces of constant curvature -1. When possible we point out relations with homogeneous spaces and discrete subgroups of Lie groups, to Teichmüller theory, as well as analogs in hyperbolic geometry.
We present a list of open questions on various aspects of AdS geometry, that is, the geometry of Lorentz spaces of constant curvature -1. When possible we point out relations with homogeneous spaces and discrete subgroups of Lie groups, to Teichmüller theory, as well as analogs in hyperbolic geometry.
△ Less
Submitted 28 May, 2012;
originally announced May 2012.
-
Collisions of particles in locally AdS spacetimes II Moduli of globally hyperbolic spaces
Authors:
Thierry Barbot,
Francesco Bonsante,
Jean-Marc Schlenker
Abstract:
We investigate 3-dimensional globally hyperbolic AdS manifolds containing "particles", i.e., cone singularities of angles less than $2π$ along a time-like graph $Γ$. To each such space we associate a graph and a finite family of pairs of hyperbolic surfaces with cone singularities. We show that this data is sufficient to recover the space locally (i.e., in the neighborhood of a fixed metric). This…
▽ More
We investigate 3-dimensional globally hyperbolic AdS manifolds containing "particles", i.e., cone singularities of angles less than $2π$ along a time-like graph $Γ$. To each such space we associate a graph and a finite family of pairs of hyperbolic surfaces with cone singularities. We show that this data is sufficient to recover the space locally (i.e., in the neighborhood of a fixed metric). This is a partial extension of a result of Mess for non-singular globally hyperbolic AdS manifolds.
△ Less
Submitted 22 February, 2013; v1 submitted 26 February, 2012;
originally announced February 2012.
-
Particles with spin in stationary flat spacetimes
Authors:
Thierry Barbot,
Catherine Meusburger
Abstract:
We construct stationary flat three-dimensional Lorentzian manifolds with singularities that are obtained from Euclidean surfaces with cone singularities and closed one-forms on these surfaces. In the application to (2+1)-gravity, these spacetimes correspond to models containing massive particles with spin. We analyse their geometrical properties, introduce a generalised notion of global hyperbolic…
▽ More
We construct stationary flat three-dimensional Lorentzian manifolds with singularities that are obtained from Euclidean surfaces with cone singularities and closed one-forms on these surfaces. In the application to (2+1)-gravity, these spacetimes correspond to models containing massive particles with spin. We analyse their geometrical properties, introduce a generalised notion of global hyperbolicity and classify all stationary flat spacetimes with singularities that are globally hyperbolic in that sense. We then apply our results to (2+1)-gravity and analyse the causality structure of these spacetimes in terms of measurements by observers. In particular, we derive a condition on observers that excludes causality violating light signals despite the presence of closed timelike curves in these spacetimes.
△ Less
Submitted 29 August, 2011; v1 submitted 4 August, 2011;
originally announced August 2011.
-
Collisions of particles in locally AdS spacetimes I. Local description and global examples
Authors:
Thierry Barbot,
Francesco Bonsante,
Jean-Marc Schlenker
Abstract:
We investigate 3-dimensional globally hyperbolic AdS manifolds containing "particles", i.e., cone singularities along a graph $Γ$. We impose physically relevant conditions on the cone singularities, e.g. positivity of mass (angle less than $2π$ on time-like singular segments). We construct examples of such manifolds, describe the cone singularities that can arise and the way they can interact (the…
▽ More
We investigate 3-dimensional globally hyperbolic AdS manifolds containing "particles", i.e., cone singularities along a graph $Γ$. We impose physically relevant conditions on the cone singularities, e.g. positivity of mass (angle less than $2π$ on time-like singular segments). We construct examples of such manifolds, describe the cone singularities that can arise and the way they can interact (the local geometry near the vertices of $Γ$). We then adapt to this setting some notions like global hyperbolicity which are natural for Lorentz manifolds, and construct some examples of globally hyperbolic AdS manifolds with interacting particles.
△ Less
Submitted 18 October, 2010;
originally announced October 2010.
-
Pseudo-Anosov flows in toroidal manifolds
Authors:
Thierry Barbot,
Sergio Fenley
Abstract:
We first prove rigidity results for pseudo-Anosov flows in prototypes of toroidal 3-manifolds: we show that a pseudo-Anosov flow in a Seifert fibered manifold is up to finite covers topologically equivalent to a geodesic flow and we show that a pseudo-Anosov flow in a solv manifold is topologically equivalent to a suspension Anosov flow. Then we study the interaction of a general pseudo-Anosov flo…
▽ More
We first prove rigidity results for pseudo-Anosov flows in prototypes of toroidal 3-manifolds: we show that a pseudo-Anosov flow in a Seifert fibered manifold is up to finite covers topologically equivalent to a geodesic flow and we show that a pseudo-Anosov flow in a solv manifold is topologically equivalent to a suspension Anosov flow. Then we study the interaction of a general pseudo-Anosov flow with possible Seifert fibered pieces in the torus decomposition: if the fiber is associated with a periodic orbit of the flow, we show that there is a standard and very simple form for the flow in the piece using Birkhoff annuli. This form is strongly connected with the topology of the Seifert piece. We also construct a large new class of examples in many graph manifolds, which is extremely general and flexible. We construct other new classes of examples, some of which are generalized pseudo-Anosov flows which have one prong singularities and which show that the above results in Seifert fibered and solvable manifolds do not apply to one prong pseudo-Anosov flows. Finally we also analyse immersed and embedded incompressible tori in optimal position with respect to a pseudo-Anosov flow.
△ Less
Submitted 30 August, 2011; v1 submitted 4 July, 2010;
originally announced July 2010.
-
On integrable codimension one Anosov actions of IR^k
Authors:
Thierry Barbot,
Carlos Maquera
Abstract:
In this paper, we consider codimension one Anosov actions of IR^k, k ? 1, on closed connected orientable manifolds of dimension n+k with n? 3. We show that the fundamental group of the ambient manifold is solvable if and only if the weak foliation of codimension one is transversely affine. We also study the situation where one 1-parameter subgroup of IR^k admits a cross-section, and compare this…
▽ More
In this paper, we consider codimension one Anosov actions of IR^k, k ? 1, on closed connected orientable manifolds of dimension n+k with n? 3. We show that the fundamental group of the ambient manifold is solvable if and only if the weak foliation of codimension one is transversely affine. We also study the situation where one 1-parameter subgroup of IR^k admits a cross-section, and compare this to the case where the whole action is transverse to a fibration over a manifold of dimension n. As a byproduct, generalizing a Theorem by Ghys in the case k=1, we show that, under some assumptions about the smoothness of the sub-bundle E^ss ? E^uu, and in the case where the action preserves the volume, it is topologically equivalent to a suspension of a linear Anosov action of Z^k on T^n.
△ Less
Submitted 26 January, 2010;
originally announced January 2010.
-
Collisions of particles in locally AdS spacetimes
Authors:
Thierry Barbot,
Francesco Bonsante,
Jean-Marc Schlenker
Abstract:
We investigate 3-dimensional globally hyperbolic AdS manifolds containing "particles", i.e., cone singularities along a graph $Γ$. We impose physically relevant conditions on the cone singularities, e.g. positivity of mass (angle less than $2π$ on time-like singular segments). We construct examples of such manifolds, describe the cone singularities that can arise and the way they can interact (t…
▽ More
We investigate 3-dimensional globally hyperbolic AdS manifolds containing "particles", i.e., cone singularities along a graph $Γ$. We impose physically relevant conditions on the cone singularities, e.g. positivity of mass (angle less than $2π$ on time-like singular segments). We construct examples of such manifolds, describe the cone singularities that can arise and the way they can interact (the local geometry near the vertices of $Γ$). The local geometry near an "interaction point" (a vertex of the singular locus) has a simple geometric description in terms of polyhedra in the extension of hyperbolic 3-space by the de Sitter space.
We then concentrate on spaces containing only (interacting) massive particles. To each such space we associate a graph and a finite family of pairs of hyperbolic surfaces with cone singularities. We show that this data is sufficient to recover the space locally (i.e., in the neighborhood of a fixed metric). This is a partial extension of a result of Mess for non-singular globally hyperbolic AdS manifolds.
△ Less
Submitted 12 May, 2009;
originally announced May 2009.
-
Transitivity of codimension one Anosov actions of R^k on closed manifolds
Authors:
Thierry Barbot,
Carlos Maquera
Abstract:
In this paper, we define codimension one Anosov actions of $\RR^k, k\geq 2,$ on a closed connected orientable manifold $M$. We prove that if the ambient manifold has dimension greater than $k+2$, then the action is topologically transitive. This generalizes a result of Verjovsky for codimension one Anosov flows.
In this paper, we define codimension one Anosov actions of $\RR^k, k\geq 2,$ on a closed connected orientable manifold $M$. We prove that if the ambient manifold has dimension greater than $k+2$, then the action is topologically transitive. This generalizes a result of Verjovsky for codimension one Anosov flows.
△ Less
Submitted 29 July, 2008; v1 submitted 15 July, 2008;
originally announced July 2008.
-
Prescribing Gauss curvature of surfaces in 3-dimensional spacetimes, Application to the Minkowski problem in the Minkowski space
Authors:
Thierry Barbot,
François Béguin,
Abdelghani Zeghib
Abstract:
We study the existence of surfaces with constant or prescribed Gauss curvature in certain Lorentzian spacetimes. We prove in particular that every (non-elementary) 3-dimensional maximal globally hyperbolic spatially compact spacetime with constant non-negative curvature is foliated by compact spacelike surfaces with constant Gauss curvature. In the constant negative curvature case, such a foliat…
▽ More
We study the existence of surfaces with constant or prescribed Gauss curvature in certain Lorentzian spacetimes. We prove in particular that every (non-elementary) 3-dimensional maximal globally hyperbolic spatially compact spacetime with constant non-negative curvature is foliated by compact spacelike surfaces with constant Gauss curvature. In the constant negative curvature case, such a foliation exists outside the convex core. The existence of these foliations, together with a theorem of C. Gerhardt, yield several corollaries. For example, they allow to solve the Minkowski problem in the 3-dimensional Minkowski space for datas that are invariant under the action of a co-compact Fuchsian group.
△ Less
Submitted 7 April, 2008;
originally announced April 2008.
-
Quasi-Fuchsian AdS representations are Anosov
Authors:
Thierry Barbot
Abstract:
In a recent paper, Q. Mérigot proved that representations in SO(2,n) of uniform lattices of SO(1,n) which are Anosov in the sense of Labourie are quasi-Fuchsian, i.e. are faithfull, discrete, and preserve an acausal subset in the boundary of anti-de Sitter space. In the present paper, we prove the reverse implication. It also includes: -- A construction of Dirichlet domains in the context of ant…
▽ More
In a recent paper, Q. Mérigot proved that representations in SO(2,n) of uniform lattices of SO(1,n) which are Anosov in the sense of Labourie are quasi-Fuchsian, i.e. are faithfull, discrete, and preserve an acausal subset in the boundary of anti-de Sitter space. In the present paper, we prove the reverse implication. It also includes: -- A construction of Dirichlet domains in the context of anti-de Sitter geometry, -- A proof that spatially compact globally hyperbolic anti-de Sitter spacetimes with acausal limit set admit locally CAT(-1) Cauchy hypersurfaces.
△ Less
Submitted 4 October, 2007;
originally announced October 2007.
-
A primer on the (2+1) Einstein universe
Authors:
Thierry Barbot,
Virginie Charette,
Todd Drumm,
William M. Goldman,
Karin Melnick
Abstract:
The Einstein universe is the conformal compactification of Minkowski space. It also arises as the ideal boundary of anti-de Sitter space. The purpose of this article is to develop the synthetic geometry of the Einstein universe in terms of its homogeneous submanifolds and causal structure, with particular emphasis on dimension $2 + 1$, in which there is a rich interplay with symplectic geometry.
The Einstein universe is the conformal compactification of Minkowski space. It also arises as the ideal boundary of anti-de Sitter space. The purpose of this article is to develop the synthetic geometry of the Einstein universe in terms of its homogeneous submanifolds and causal structure, with particular emphasis on dimension $2 + 1$, in which there is a rich interplay with symplectic geometry.
△ Less
Submitted 20 June, 2007;
originally announced June 2007.
-
Notes on a paper of Mess
Authors:
Lars Andersson,
Thierry Barbot,
Riccardo Benedetti,
Francesco Bonsante,
William M. Goldman,
François Labourie,
Kevin P. Scannell,
Jean-Marc Schlenker
Abstract:
These notes are a companion to the article "Lorentz spacetimes of constant curvature" by Geoffrey Mess, which was first written in 1990 but never published. Mess' paper will appear together with these notes in a forthcoming issue of Geometriae Dedicata.
These notes are a companion to the article "Lorentz spacetimes of constant curvature" by Geoffrey Mess, which was first written in 1990 but never published. Mess' paper will appear together with these notes in a forthcoming issue of Geometriae Dedicata.
△ Less
Submitted 5 June, 2007;
originally announced June 2007.
-
Cosmological time versus CMC time II: the de Sitter and anti-de Sitter cases
Authors:
Lars Andersson,
Thierry Barbot,
Francois Beguin,
Abdelghani Zeghib
Abstract:
This paper continues the investigation of constant mean curvature (CMC) time functions in maximal globally hyperbolic spatially compact spacetimes of constant sectional curvature, which was started in math.DG/0604486. In that paper, the case of flat spacetimes was considered, and in the present paper, the remaining cases of negative curvature (i.e. anti-de Sitter) spacetimes and postitive curvat…
▽ More
This paper continues the investigation of constant mean curvature (CMC) time functions in maximal globally hyperbolic spatially compact spacetimes of constant sectional curvature, which was started in math.DG/0604486. In that paper, the case of flat spacetimes was considered, and in the present paper, the remaining cases of negative curvature (i.e. anti-de Sitter) spacetimes and postitive curvature (i.e. de Sitter) spacetimes is dealt with. As in the flat case, the existence of CMC time functions is obtained by using the level sets of the cosmological time function as barriers. A major part of the work consists of proving the required curvature estimates for these level sets.
The nonzero curvature case presents significant new difficulties, in part due to the fact that the topological structure of nonzero constant curvature spacetimes is much richer than that of the flat spacetimes. Further, the timelike convergence condition fails for de Sitter spacetimes, and hence uniqueness for CMC hypersurfaces fails in general. We characterize those de Sitter spacetimes which admit CMC time functions (which are automatically unique), as well as those which admit CMC foliations but no CMC time function.
△ Less
Submitted 16 January, 2007;
originally announced January 2007.
-
Cosmological time versus CMC time I: Flat spacetimes
Authors:
Lars Andersson,
Thierry Barbot,
Francois Beguin,
Abdelghani Zeghib
Abstract:
This paper gives a new proof that maximal, globally hyperbolic, flat spacetimes of dimension $n\geq 3$ with compact Cauchy hypersurfaces are globally foliated by Cauchy hypersurfaces of constant mean curvature, and that such spacetimes admit a globally defined constant mean curvature time function precisely when they are causally incomplete. The proof, which is based on using the level sets of t…
▽ More
This paper gives a new proof that maximal, globally hyperbolic, flat spacetimes of dimension $n\geq 3$ with compact Cauchy hypersurfaces are globally foliated by Cauchy hypersurfaces of constant mean curvature, and that such spacetimes admit a globally defined constant mean curvature time function precisely when they are causally incomplete. The proof, which is based on using the level sets of the cosmological time function as barriers, is conceptually simple and will provide the basis for future work on constant mean curvature time functions in general constant curvature spacetimes, as well for an analysis of the asymptotics of constant mean foliations.
△ Less
Submitted 3 May, 2006; v1 submitted 22 April, 2006;
originally announced April 2006.
-
Causal properties of AdS-isometry groups II: BTZ multi black-holes
Authors:
Thierry Barbot
Abstract:
This paper is the continuation of [8]. We essentially prove that the familly of strongly causal spacetimes defined in [8] associated to generic achronal subsets in Ein contains all the examples of BTZ multi black-holes. It provides new elements for the global description of these multi black-holes. We also prove that any strongly causal spacetime locally modelled on the anti-de Sitter space admi…
▽ More
This paper is the continuation of [8]. We essentially prove that the familly of strongly causal spacetimes defined in [8] associated to generic achronal subsets in Ein contains all the examples of BTZ multi black-holes. It provides new elements for the global description of these multi black-holes. We also prove that any strongly causal spacetime locally modelled on the anti-de Sitter space admits a well-defined maximal strongly causal conformal boundary locally modelled on Ein.
△ Less
Submitted 7 February, 2006; v1 submitted 4 October, 2005;
originally announced October 2005.
-
Causal properties of AdS-isometry groups I: Causal actions and limit sets
Authors:
Thierry Barbot
Abstract:
We study the causality relation in the 3-dimensional anti-de Sitter space AdS and its conformal boundary Ein. To any closed achronal subset $Λ$ in ${Ein}\_2$ we associate the invisible domain $E(Λ)$ from $Λ$ in AdS. We show that if $Γ$ is a torsion-free discrete group of isometries of AdS preserving $Λ$ and is non-elementary (for example, not abelian) then the action of $Γ$ on $E(Λ)$ is free, pr…
▽ More
We study the causality relation in the 3-dimensional anti-de Sitter space AdS and its conformal boundary Ein. To any closed achronal subset $Λ$ in ${Ein}\_2$ we associate the invisible domain $E(Λ)$ from $Λ$ in AdS. We show that if $Γ$ is a torsion-free discrete group of isometries of AdS preserving $Λ$ and is non-elementary (for example, not abelian) then the action of $Γ$ on $E(Λ)$ is free, properly discontinuous and strongly causal. If $Λ$ is a topological circle then the quotient space $M\_Λ(Γ) = Γ\backslash{E}(Λ)$ is a maximal globally hyperbolic AdS-spacetime admitting a Cauchy surface $S$ such that the induced metric on $S$ is complete. In a forthcoming paper we study the case where $Γ$ is elementary and use the results of the present paper to define a large family of AdS-spacetimes including all the previously known examples of BTZ multi-black holes.
△ Less
Submitted 7 February, 2006; v1 submitted 23 September, 2005;
originally announced September 2005.
-
Three-dimensional Anosov flag manifolds
Authors:
Thierry Barbot
Abstract:
Let $Γ$ be a surface group of higher genus. Let $ρ\_0: Γ\to {PGL}(V)$ be a discrete faithful representation with image contained in the natural embedding of ${SL}(2, {\mathbb R})$ in ${PGL}(3, {\mathbb R})$ as a group preserving a point and a disjoint projective line in the projective plane. We prove that such a representation is $(G,Y)$-Anosov (following the terminology of \cite{labourieanosov}…
▽ More
Let $Γ$ be a surface group of higher genus. Let $ρ\_0: Γ\to {PGL}(V)$ be a discrete faithful representation with image contained in the natural embedding of ${SL}(2, {\mathbb R})$ in ${PGL}(3, {\mathbb R})$ as a group preserving a point and a disjoint projective line in the projective plane. We prove that such a representation is $(G,Y)$-Anosov (following the terminology of \cite{labourieanosov}), where $Y$ is the frame bundle. More generally, we prove that all the deformations $ρ: Γ\to {PGL}(3, {\mathbb R})$ studied in \cite{barflag} are $(G,Y)$-Anosov. As a corollary, we obtain all the main results of \cite{barflag}, and extend them to any small deformation of $ρ\_0$, not necessarily preserving a point or a projective line in the projective space: in particular, there is a $ρ(Γ)$-invariant solid torus $Ω$ in the flag variety. The quotient space $ρ(Γ)\backslashΩ$ is a flag manifold, naturally equipped with two 1-dimensional transversely projective foliations arising from the projections of the flag variety on the projective plane and its dual; if $ρ$ is strongly irreducible, these foliations are not minimal. More precisely, if one of these foliations is minimal, then it is topologically conjugate to the strong stable foliation of a double covering of a geodesic flow, and $ρ$ preserves a point or a projective line in the projective plane. All these results hold for any $(G,Y)$-Anosov representation which is not quasi-Fuchsian, i.e., does not preserve a strictly convex domain in the projective plane.
△ Less
Submitted 27 May, 2005; v1 submitted 24 May, 2005;
originally announced May 2005.
-
Constant mean curvature foliations of globally hyperbolic spacetimes locally modelled on $AdS_3$
Authors:
Thierry Barbot,
Francois Beguin,
Abdelghani Zeghib
Abstract:
We prove that any maximal globally hyperbolic spacetime locally modelled on the anti-de Sitter space of dimension 3, and admitting a closed Cauchy surface, admits a time function $τ$, such that every fiber $τ^{-1}(t)$ is a spacelike surface with constant mean curvature $t$.
We prove that any maximal globally hyperbolic spacetime locally modelled on the anti-de Sitter space of dimension 3, and admitting a closed Cauchy surface, admits a time function $τ$, such that every fiber $τ^{-1}(t)$ is a spacelike surface with constant mean curvature $t$.
△ Less
Submitted 6 December, 2004;
originally announced December 2004.
-
Globally Hyperbolic Flat Spacetimes
Authors:
Thierry Barbot
Abstract:
We consider (flat) Cauchy-complete GH spacetimes, i.e., globally hyperbolic flat lorentzian manifolds admitting some Cauchy hypersurface on which the ambient lorentzian metric restricts as a complete riemannian metric. We define a family of such spacetimes - model spacetimes - including four subfamilies: translation spacetimes, Misner spacetimes, unipotent spacetimes, and Cauchy-hyperbolic space…
▽ More
We consider (flat) Cauchy-complete GH spacetimes, i.e., globally hyperbolic flat lorentzian manifolds admitting some Cauchy hypersurface on which the ambient lorentzian metric restricts as a complete riemannian metric. We define a family of such spacetimes - model spacetimes - including four subfamilies: translation spacetimes, Misner spacetimes, unipotent spacetimes, and Cauchy-hyperbolic spacetimes (the last family - undoubtfull the most interesting one - is a generalization of standart spacetimes defined by G. Mess). We prove that, up to finite coverings and (twisted) products by euclidean linear spaces, any Cauchy-complete GH spacetime can be isometrically embedded in a model spacetime, or in a twisted product of a Cauchy-hyperbolic spacetime by flat euclidean torus. We obtain as a corollary the classification of maximal GH spacetimes admitting closed Cauchy hypersurfaces. We also establish the existence of CMC foliations on every model spacetime.
△ Less
Submitted 16 February, 2004;
originally announced February 2004.
-
Flag Structures on Seifert Manifolds
Authors:
Thierry Barbot
Abstract:
We consider faithful projective actions of a cocompact lattice of SL(2,R) on the projective plane, with the following property: there is a common fixed point, which is a saddle fixed point for every element of infinite order of the the group. Typical examples of such an action are linear actions, ie, when the action arises from a morphism of the group into GL(2,R), viewed as the group of linear…
▽ More
We consider faithful projective actions of a cocompact lattice of SL(2,R) on the projective plane, with the following property: there is a common fixed point, which is a saddle fixed point for every element of infinite order of the the group. Typical examples of such an action are linear actions, ie, when the action arises from a morphism of the group into GL(2,R), viewed as the group of linear transformations of a copy of the affine plane in RP^{2}. We prove that in the general situation, such an action is always topologically linearisable, and that the linearisation is Lipschitz if and only if it is projective. This result is obtained through the study of a certain family of flag structures on Seifert manifolds. As a corollary, we deduce some dynamical properties of the transversely affine flows obtained by deformations of horocyclic flows. In particular, these flows are not minimal.
△ Less
Submitted 10 April, 2001;
originally announced April 2001.
