Lorentz spacetimes of constant curvature

If a spacetime M contains a closed spacelike surface S of negative Euler characteristic then S has an isochronous neighbourhood in M.

“Corollary 1. If a spacetime M contains a closed spacelike surface S of negative Euler characteristic then S has an isochronous neighbourhood in M .”

The element t of H1(π1S, R2+1) represented by M equals ∑ ai · ti, where ti is the extension by zero of the cohomology class PD(Ci) ⊗ ei, with ei the unit spacelike vector fixed by the holonomy of Ci.

“Then t = ∑ i a i · t i where t i is the extension by zero of the cohomology class (with support in an open annular neighbourhood N ( C i )) PD ( C i ) ⊗ e i where PD is Poincar´ e duality and e i is the unit spacelike vector fixed by the holonomy of C i .”

If L has closed leaves, product regions must be added to f(L+).

“If L has closed leaves, product regions must be added to f ( L + ).”

S'' will be strictly convex if there are no closed leaves.

“which will be strictly convex if there are no closed leaves.”

f(C)' has winding number 1 around any point in the interior of D'.

“it follows that f ( C ) ′ has winding number 1 around any point in the interior of D ′ .”

The boundary X of a domain D = D(S~) of dependence in R^{2+1} is convex.

“Proposition 11. a) The boundary X of a domain D = D ( ˜ S ) of dependence in R 2+1 is convex.”

Not every point in L+ lies in the closure of a complementary component.

“Not every point in L + lies in the closure of a complementary component.”

f is injective in L+.

“so f is injective in L +”

If q lies on a leaf which is not a boundary leaf, then f is a homeomorphism in a neighbourhood of q.

“Let q lie on a leaf which is not a boundary leaf. Then f is a homeomorphism in a neighbourhood of q”

Given a closed oriented hyperbolic surface S and a measured geodesic lamination on S, there is a corresponding flat Lorentz manifold M and an embedding of S in M such that M is a domain of dependence of S and the linear holonomy of S is the map H : π1S → SO(2,1)^0 which is the holonomy of S considered as a hyperbolic surface.

“Proposition 12. Given a closed oriented hyperbolic surface S and a measured geodesic lamination on S , there is a corresponding flat Lorentz manifold M and an embedding of S in M such that M is a domain of dependence of S and the linear holonomy of S is the map H : π 1 S → SO (2 , 1) 0 which is the holonomy of S considered as a hyperbolic surface.”

Given f : π1S → SO(2,1)^0 and M = L+/f(π1S) as in Proposition 2, and any bounded neighbourhood U of 0 in H^1(π1S,R^{2+1}), there exists C such that there is a family of flat Lorentz metrics on M_C parametrized by U, with holonomy ρ : π1M_C → ISO(2,1) such that qρ = f and ρ(γ)x = f(γ)x + tγ(u) where tγ(u) is a cocycle representing u.

“Proposition 3. Given f : π 1 S → SO (2 , 1) 0 and M = L + /f ( π 1 S ) as in proposition 2, and any bounded neighbourhood U of 0 in H 1 ( π 1 S, R 2+1 ) there exists C such that, letting M C = { ( x, y, t ) : -t 2 + x 2 + y 2 ≤ -C } /f ( π 1 S ) , there exists a family of flat Lorentz metrics on M C parametrized by U such that the spacetime M C ( u ) corresponding to u ∈ U has holonomy ρ : π 1 M C”

• cites [14] [14] William P. Thurston, The geometry and topology of three-manifolds , Lecture notes, Princeton, 1978. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [15] [15] L. Lok, Deformations of locally homogeneous spaces and Kleinian groups , Thesis, Columbia University, 1984. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [16] [16] R. D. Canary, D. B. A. Epstein, and P. Green, Notes on notes of Thurston , Analytical and geometric aspects of hyperbolic space (Coventry/Durham, 1984), London Math. Soc. Lecture Note Ser., vol. 111, Cambridge Univ. Press, Cambridge, 1987, pp. 3-92. -Not checked yet

  Not checked in the free run.

• cites [17] [17] William M. Goldman. Geometric structures on manifolds and varieties of representations , in Geometry of group representations (Boulder, CO, 1987) , volume 74 of Contemp. Math. , pages 169-198. Amer. Math. Soc., Providence, RI, 1988. -Not checked yet

  Not checked in the free run.

M contains a closed convex spacelike surface S'' = S~''/π1S.

“contains a closed convex spacelike surface S ′′ = ˜ S ′′ /π 1 S”

At any boundary point p, all supporting planes are null or spacelike.

“c) At any boundary point p , all supporting planes are null or spacelike.”

f(D)' ⊇ D'.

“So f ( D ) ′ ⊇ D ′ .”

Outside a compact region, X is foliated by null rays.

“But π 1 S · A = S 1 so outside a compact region, X is foliated by null rays.”

There is a family of de Sitter spacetimes, each of which is foliated by closed spacelike hypersurfaces.

“In section 6 we construct a family of de Sitter spacetimes, each of which is foliated by closed spacelike hypersurfaces, which conjecturally is the solution to the problem.”

For each p ∈ X there is at least one null supporting plane.

“d) For each p ∈ X there is at least one null supporting plane. Moreover, the cone on the set of normals to supporting planes is convex and the extreme rays of this cone are null rays.”

Suppose P and Q are nondegenerate Lorentzian planes through the origin in R2+1 and their line of intersection is timelike or null. Then P and Q divide the hyperbolic plane into three regions E, F, G where the closure of E meets P but not Q, the closure of F meets P and Q, and the closure of G meets Q but not P.

“Lemma 2. Suppose P and Q are nondegenerate Lorentzian planes through the origin in R 2+1 . Suppose the line of intersection of P and Q is timelike or null. Then P and Q divide the hyperbolic plane (the hyperboloid of unit timelike future pointing vectors) into three regions E,F,G where the closure of E meets P but not Q , the closure of F meets P and Q , and the closure of G meets Q but not P .”

In Proposition 5, S'~ can be chosen to lie in the future of S~.

“Furthermore ˜ S ′ can be chosen to lie in the future of ˜ S .”

If i : F → R^{2+1} is a spacelike immersion of a connected surface F and F is complete in the induced metric, then F is the graph of some function h : R^2 → R, and in particular is embedded.

“Lemma 1. Suppose i : F → R 2+1 is a spacelike immersion of a connected surface F and F is complete in the induced metric. Then F is the graph of some function h : R 2 → R , and in particular is embedded.”

If f(p)=f(q) and q∈A00, then p=q.

“This establishes that if f ( p ) = f ( q ) and q ∈ A 00 then p = q .”

In case 3) a neighbourhood of T in M embeds in a standard spacetime, possibly after a change of time orientation.

“Proposition 8. In case 3) a neighbourhood of T in M embeds in a standard spacetime (possibly after a change of time orientation).”

Since f is open, f(Q) must lie in the domain of dependence of S~''.

“Since f is open, f ( Q ) must lie in the domain of dependence of ˜ S ′′ .”

In cases 1) and 2) a neighbourhood of T embeds in a complete spacetime.

“Proposition 7. In cases 1) and 2) the linear holonomy is trivial, and a neighbourhood of T embeds in a complete spacetime.”

For every point q in L+ which is in the closure of some component of L+-L, f(q)=q+x(q) is in the domain of dependence of S~''.

“so for every point q in L + which is in the closure of some component of L + -L , f ( q ) = q + x ( q ) is in the domain of dependence of ˜ S ′′ .”

If L has no isolated leaves, f(L+) is the universal cover of the new spacetime.

“if L has no isolated leaves, f ( L + ) is the universal cover of our new spacetime.”

If M is a spacetime with a closed spacelike surface S of negative Euler characteristic such that π1S = π1M, then there is a spacetime M'' containing a neighbourhood of S in M and containing a standard spacetime M'.

“Proposition 6. If M is a spacetime with a closed spacelike surface S of negative Euler characteristic such that π 1 S = π 1 M , then there is a spacetime M ′′ containing a neighbourhood of S in M and containing a standard spacetime M ′ .”

A closed spacelike hypersurface S cannot have genus 0.

“A closed spacelike hypersurface S cannot have g = 0.”

The domains of dependence of S~' and S~ are equal.

“The domains of dependence of ˜ S ′ and ˜ S are equal.”

The spacetimes M_C(u) in Proposition 3 are future complete.

“Moreover, the spacetimes M C ( u ) are future complete and S is locally strictly convex in each M C ( u ) .”

M~ is contained in the domain of dependence of S~'.

“So ˜ M is contained in the domain of dependence of ˜ S ′ .”

If the holonomy does not fix a point and U is a simply connected open set disjoint from the ruled regions, then there exist infinitely many points of E in U.

“Suppose the holonomy does not fix a point and x ∈ U ⊂ ˜ M ′′ ∩ X and U is a simply connected open set disjoint from the ruled regions. Then there exist infinitely many points of E in U .”

• AssumptionRests on an assumption: There are only finitely many π1S orbits of complementary components.

S is locally strictly convex in each M_C(u).

“Moreover, the spacetimes M C ( u ) are future complete and S is locally strictly convex in each M C ( u ) .”

For r ∈ E, F(r) is one of the complementary components of the lamination L*.

“Given r ∈ E , F ( r ) is one of the complementary components of the lamination L ∗ .”

In de Sitter space there is always an infinite discrete set of spacetimes corresponding to a given representation of the fundamental group.

“Furthermore, in the case of de Sitter space there is always an infinite discrete set of spacetimes corresponding to a given representation of the fundamental group, while in the cases of curvature -1 or 0 the representation determines the spacetime essentially uniquely.”

Through each point in the frontier of M~ there is a null ray which does not meet S~.

“By construction, through each point in the frontier of ˜ M there is a null ray which does not meet ˜ S .”

q is in the domain of dependence of f(S~)=S~''.

“So q is in the domain of dependence of f ( ˜ S ) = ˜ S ′′ .”

M is a flat Lorentz manifold with a closed spacelike convex surface made from pieces of S and product annuli.

“Then M is a flat Lorentz manifold with a closed spacelike convex surface (made from pieces of S and product annuli).”

π1S acts properly discontinuously on D(S~).

“Proposition 9. π 1 S acts properly discontinuously on D ( ˜ S ) .”

Any timelike linear function on R^{2+1} which increases into the future or the past according as S~ is future or past directed is bounded below on D.

“b) Any timelike linear function on R 2+1 which increases into the future or the past according as ˜ S is future or past directed is bounded below on D .”

R/ρ(π1S) contains no closed timelike curves.

“Since ρ ( π 1 S ) acts properly discontinuously on R , and t is a proper function on R which is bounded below, R/ρ ( π 1 S ) contains no closed timelike curves.”

Under the conditions of Lemma 2, if m and n are normals to P and Q respectively, oriented so m points into E and n points into F, then the scalar product <m,n> is positive.

“If m , n are normals to P, Q respectively, oriented so m points into E and n points into F , then the scalar product 〈 m , n 〉 is positive.”

M is a domain of dependence.

“So M is a domain of dependence.”

If M1 is a standard future directed spacetime and M2 is a standard past directed spacetime with the same holonomy as M1, then the closures of the developments of M1~ and M2~ are disjoint.

“Proposition 10. Suppose M 1 is a standard future directed spacetime and M 2 is a standard past directed spacetime with the same holonomy as M 1 . Then the closures of the developments of ˜ M 1 and ˜ M 2 are disjoint.”

In curvature -1 or 0, the representation determines the spacetime essentially uniquely.

“Furthermore, in the case of de Sitter space there is always an infinite discrete set of spacetimes corresponding to a given representation of the fundamental group, while in the cases of curvature -1 or 0 the representation determines the spacetime essentially uniquely.”

The holonomy fixes the barycenter of the convex hull of the set of bases of the null rays in X.

“Then the holonomy fixes the barycenter of the convex hull of the set of bases of the null rays in X .”

Given a discrete and faithful f : π1S → SO(2,1)^0, there is a flat Lorentz spacetime M with M = S × (0,∞) and holonomy ρ : π1M → ISO(2,1) equal to f.

“Proposition 2. Given a discrete and faithful f : π 1 S → SO (2 , 1) 0 , there is a flat Lorentz spacetime M with M = S × (0 , ∞ ) and holonomy ρ : π 1 M → ISO (2 , 1) equal to f .”

• cites [13] [13] John Milnor, On fundamental groups of complete affinely flat manifolds , Advances in Math. 25 (1977), no. 2, 178-187. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

There is another family of de Sitter spacetimes which have a Riemann surface at past infinity.

“There is another family of spacetimes which have a Riemann surface at past infinity.”

E is dense in the complement of the ruled regions of X.

“So taking q = P ( m ) ∩ X , we have seen that E is dense in the complement of the ruled regions of X .”

Null rays contained in X and containing p correspond one-to-one to null supporting planes at p.

“e) Null rays contained in X and containing p correspond one-to-one to null supporting planes at p .”

In cases 1) and 2) the linear holonomy is trivial.

“Proposition 7. In cases 1) and 2) the linear holonomy is trivial, and a neighbourhood of T embeds in a complete spacetime.”

The interior of the union of the cones over the closures of the surfaces Aij + xh gives a spacetime M~ unless L contains closed leaves.

“The interior of the union of the cones over the closures of the surfaces A ij + x h (where h is a path from A 00 to A ij ) gives a spacetime ˜ M unless L contains closed leaves.”

If q lies on a leaf which is not a boundary leaf, then f(q) is in the closure of the domain of dependence of S~''.

“so f ( q ) is in the closure of the domain of dependence of ˜ S ′′ .”

There is a natural homotopy equivalence between M and M0.

“There is a natural homotopy equivalence between M and M 0 .”

The universal cover D̃(M) of D(M) is the complement in RP2 of the union of the closure cl H2 and the tangent line to a point P∈S1=∂cl H2.

“Then the universal cover ˜ D ( M ) of D ( M ) is the complement in RP 2 of the union of the closure cl H 2 and the tangent line to a point P ∈ S 1 = ∂ cl H 2 .”

There is also a unique right earthquake obtained from the past boundary of the convex hull.

“There is also a unique right earthquake obtained from the past boundary of the convex hull.”

An infinite cyclic cover T′ of T lies in the simply connected de Sitter space, which is the complement in the three-sphere of two antipodal round discs.

“Now an infinite cyclic cover T ′ of T lies in the simply connected de Sitter space, which is the complement in the three-sphere of two antipodal round discs.”

Each component of the submanifold T0 of T with a fixed value of θ develops into a spacelike curve.

“Each component of T 0 develops into a spacelike curve.”

Since π1M has no normal abelian subgroup, the linear holonomy injects π1M into SO(2,1)0.

“Since π 1 M has no normal abelian subgroup, the linear holonomy injects π 1 M into SO (2 , 1) 0 .”

• AssumptionRests on an assumption: The fundamental group of a closed surface of negative Euler characteristic has no normal abelian subgroup.

Sublemma 1: Given any complete spacelike surface A⊂X, there is a spacelike plane in X whose closure in X∪Q⊂RP3 is disjoint from the closure of A.

“Sublemma 1. Given any complete spacelike surface A ⊂ X , there is a spacelike plane in X whose closure in X ∪ Q ⊂ RP 3 is disjoint from the closure of A .”

The shearing lamination and measure are naturally associated to the bending lamination and bending measure of the boundary of the convex hull in anti de Sitter space of the graph of φ regarded as a subset of Q.

“The shearing lamination and measure are naturally associated to the bending lamination and bending measure of the boundary of the convex hull in anti de Sitter space of the graph of φ regarded as a subset of Q .”

int(H(F(φ)))/π1F is a domain of dependence which contains all other domains of dependence with the same holonomy.

“So int ( H ( F ( φ )) ) /π 1 F is a domain of dependence which contains all other domains of dependence with the same holonomy.”

Proposition 22: For each orientation preserving homeomorphism φ: S1→S1 there is a unique left earthquake E(φ): H2→H2 which extends continuously to H2∩S1 with value φ on S1.

“Proposition 22. For each orientation preserving homeomorphism φ : S 1 → S 1 there is a unique left earthquake E ( φ ) : H 2 → H 2 which extends continuously to H 2 ∩ S 1 with value φ on S 1 .”

Lemma 7a: Given a spacelike disc D which meets no timelike or null geodesic in more than one point, if F(D) and P(D) are the sets of x∈X such that every past pointing, respectively future pointing, null ray or timelike geodesic through x meets D, then P(D)∩F(D)=D.

“Lemma 7. a) Given a spacelike disc D which meets no timelike or null geodesic in more than one point, let F ( D ) , respectively P ( D ) , be the set of x ∈ X such that every past pointing, respectively future pointing null ray or timelike geodesic through x meets D . Then P ( D ) ∩ F ( D ) = D .”

There is an SO(2)×SO(2) action on X∪Q whose orbits are the tori T_r.

“There is an SO (2) × SO (2) action on X ∪ Q whose orbits are the tori T r .”

Lemma 5: There is a plane (necessarily spacelike) disjoint from graph(h)⊂Q.

“Lemma 5. There is a plane (necessarily spacelike) disjoint from graph ( h ) ⊂ Q .”

ρ(π1S) acts properly discontinuously on F(φ).

“So ρ ( π 1 S ) acts properly discontinuously on F ( φ ).”

Proposition 19: The holonomy ρ=(ρL,ρR): π1S → PSL2R×PSL2R satisfies the condition that ρL, ρR have Euler class 2-2g and therefore are isomorphisms to Fuchsian groups.

“Proposition 19. The holonomy ρ = ( ρ L , ρ R ) : π 1 S → PSL 2 R × PSL 2 R satisfies the condition that ρ L , ρ R have Euler class 2 -2 g and therefore are isomorphisms to Fuchsian groups.”

cl A = A∩∂A is a disc.

“Now to see that cl A = A ∩ ∂A is a disc, consider the action of the diagonal subgroup of SO (2) × SO (2) on X ∩ Q .”

Proposition 23: Suppose E: H2∪RP1→H2∪RP1 is a left earthquake along a lamination λ with transverse measure μ. Then there is an isometry I from the hyperbolic plane to the future component of the convex hull of the graph of the boundary value homeomorphism φ of E. Let F be the earthquake with shearing lamination λ and transverse measure 1/2 μ. Then I∘F has as boundary value the map which sends p∈∂H

“Proposition 23. Suppose E : H 2 ∪ RP 1 → H 2 ∪ RP 1 is a left earthquake along a lamination λ with transverse measure µ . Then there is an isometry I from the hyperbolic plane to the future component of the convex hull of the graph of the boundary value homeomorphism φ of E . Let F be the earthquake with shearing lamination λ and transverse measure 1 2 µ . Then I ◦ F has as boundary value the map”

The holonomy groups of such structures cannot act freely on R2+1.

“the holonomy groups of such structures cannot act freely on R 2+1 .”

• cites proposition 14Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites proposition 12Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Some neighbourhood of F embeds in int(H(F(φ)))/π1F.

“So some neighbourhood of F embeds in int ( H ( F ( φ )) ) /π 1 F .”

Lemma 8: Suppose A,B generate a linear group which is not virtually solvable and suppose that both A,B have infinite order. Then for all sufficiently large N, A^N and B^N freely generate a free group.

“Lemma 8. Suppose A,B generate a linear group which is not virtually solvable and suppose that both A,B have infinite order. Then for all sufficiently large N , A N and B N freely generate a free group.”

The closed set H(A∞) contains all the sets H(A_r).

“Then the closed set H ( A ∞ ) contains all the sets H ( A r ).”

There is an isometric S1 action on de Sitter space which commutes with the holonomy of T and fixes an axis, the great circle through the two fixed points of the holonomy of T on either sphere at infinity.

“There is an isometric S 1 action on de Sitter space which commutes with the holonomy of T and fixes an axis, that is, the great circle which passes through the two fixed points of the action of the holonomy of T on either of the spheres at infinity of de Sitter space.”

Proposition 21: Given an orthochronous anti de Sitter spacetime which contains a product neighbourhood N(F) of a closed spacelike surface F, then there is a smaller neighbourhood N'(F) which embeds in int(H(F(φ)))/π1F where φ conjugates the left and right holonomies of π1F.

“Proposition 21. Given an orthochronous anti de Sitter spacetime which contains a product neighbourhood N ( F ) of a closed spacelike surface F , then there is a smaller neighbourhood N ′ ( F ) which embeds in int ( H ( F ( φ )) ) /π 1 F where φ conjugates the left and right holonomies of π 1 F .”

The projection π to P(F) is given by assigning to a given spacetime the projective structure on the Riemann surface at future infinity.

“the projection π to P ( F ) is given by assigning to a given spacetime the projective structure on the Riemann surface at future infinity.”

Given two homomorphisms ρL:π1S→GL=Aut0 RP1_L and ρR:π1S→GR=Aut0 RP1_R, each with Euler class 2-2g, there is a homeomorphism h:RP1_L→RP1_R conjugating ρL to ρR.

“Now given two homomorphisms ρ L : π 1 S → G L = Aut 0 RP 1 L , ρ R : π 1 S → G R = Aut 0 RP 1 R , each with Euler class 2 -2 g , there is a homeomorphism h : RP 1 L → RP 1 R conjugating ρ L to ρ R , because ρ L ( π 1 S ) , ρ R ( π 1 S ) are isomorphic cocompact Fuchsian groups and so their actions on their limit circles are topologically conjugate.”

Proposition 18: Let M be a de Sitter manifold which is a small neighbourhood of a closed spacelike torus. Then (perhaps after a change of time orientation) there is a torus with affine structure such that M embeds in the spacetime associated to the torus by Proposition 16.

“Proposition 18. Let M be a de Sitter manifold which is a small neighbourhood of a closed spacelike torus. Then (perhaps after a change of time orientation) there is a torus with affine structure such that M embeds in the spacetime associated to the torus by proposition 16.”

The universal cover of F is equivariantly embedded in int(H(F(φ))) = int(H(graph φ)).

“Therefore the universal cover of F is equivariantly embedded in int ( H ( F ( φ )) ) = int ( H ( graph φ )).”

If a has a fixed point P=P0 on the past component of ∂X~^{1+1}, then all translates P_n, n∈Z, by the deck group of the covering ∂X~^{1+1}→∂X^{1+1} are also fixed.

“if a has a fixed point P = P 0 on say the past component of ∂ ˜ X 1+1 , then all the translates P n , n ∈ Z of P by the deck group of the covering ∂ ˜ X 1+1 → ∂X 1+1 are also fixed.”

Not all earthquakes have boundary values which are homeomorphisms.

“Indeed, not all earthquakes have boundary values which are homeomorphisms.”

F has negative Euler characteristic.

“First we show that F has negative Euler characteristic.”

The intersection of A with any indefinite plane has closure an arc.

“It is easy to see that the intersection of A with any indefinite plane has closure an arc, and the pointwise convergence follows.”

Euler characteristic considerations imply that the finite set of exceptional points for θ is empty.

“Euler characteristic considerations imply that this finite set is empty.”

These spacetimes are maximal domains of dependence essentially by construction.

“These spacetimes are maximal domains of dependence essentially by construction.”

Given any measured geodesic lamination (λ',2μ) one can bend a spacelike geodesic plane along it, obtaining a complete convex surface A and the closure of A will be a disc in X∪Q with nowhere spacelike boundary.

“Given any measured geodesic lamination ( λ ′ , 2 µ ) one can bend a spacelike geodesic plane along it, obtaining a complete convex surface A and the closure of A will be a disc in X ∪ Q with nowhere spacelike boundary.”

Proposition 25: There does not exist a complete flat spacetime M with fundamental group π1M ≅ π1S where S is a closed surface of negative Euler characteristic.

“Proposition 25. There does not exist a complete flat spacetime M with fundamental group π 1 M ∼ = π 1 S where S is a closed surface of negative Euler characteristic.”

H(A)=H(A∞) where H(A∞) has just been defined.

“we see that H ( A ) = H ( A ∞ ) where H ( A ∞ ) has just been defined.”

The projection p_R(C̃) must be one of the intervals P0Q0, Q0P1, P1Q1.

“Then the projection p R ( ˜ C ) must be one of the intervals P 0 Q 0 , Q 0 P 1 , P 1 Q 1 .”

For any positive t, the surface {t}×F̃ is the dual in de Sitter space of the surface in H3 at distance t from the locally convex bent surface x(F̃) in the direction toward infinity.

“For any positive t , the surface { t } × ˜ F is the dual in de Sitter space of the surface in H 3 at distance t from the locally convex bent surface x ( ˜ F ) in the direction toward infinity.”

The dual plane to p is disjoint from the closure of A in RP3.

“To see that the dual plane is disjoint from the closure of A in RP 3 , assume without loss of generality that A contains a neighbourhood of p which lies in a plane.”

After choosing a different product structure on SO(2)×SO(2) the intersections A_r become graphs of functions all of which have Lipschitz constant 1.

“After choosing a different product structure on SO (2) × SO (2) the intersections A r become graphs of functions all of which have Lipschitz constant 1.”

There is a second family of past complete spacetimes which differs only by the covering transformation of the covering of the non simply connected de Sitter space by simply connected de Sitter space.

“There is a second family of past complete spacetimes which differs only by the covering transformation of the covering of the non simply connected de Sitter space by simply connected de Sitter space.”

If M is a compact oriented orthochronous anti de Sitter manifold with spacelike boundary, then either M embeds in a domain of dependence or else M is a closed anti de Sitter manifold whose universal cover is a domain in X with locally convex frontier.

“b) If M is a compact oriented orthochronous anti de Sitter manifold with spacelike boundary, then either M embeds in a domain of dependence or else M is a closed anti de Sitter manifold whose universal cover is a domain in X with locally convex frontier.”

The holonomy of M cannot be conjugate into the subgroup SU(2) of SL2C.

“First of all, the holonomy of M cannot be conjugate into the subgroup SU (2) of SL 2 C .”

Suppose M is a compact flat 2+1-dimensional orthochronous Lorentzian manifold with spacelike boundary. Then if ∂M is empty M is complete. Otherwise M is a product ∂0M × [0,1] with each slice ∂0M × {t} spacelike.

“Proposition 26. Suppose M is a compact flat 2 + 1 -dimensional orthochronous Lorentzian manifold with spacelike boundary. Then if ∂M is empty M is complete. Otherwise M is a product ∂ 0 M × [0 , 1] with each slice ∂ 0 M ×{ t } spacelike.”

Each fiber in the family of Proposition 16 admits a conformal compactification at future infinity.

“Each admits a conformal compactification at future infinity, and the projection π to P ( F ) is given by assigning to a given spacetime the projective structure on the Riemann surface at future infinity.”

Of the maximal discs for p, there is one which is furthest away from p, in the sense that the height above p is maximal, and this is unique.

“Of the maximal discs for p , there is one which is furthest away from p , in the sense that the height above p is maximal, and this is unique.”

Supposing there is a plane disjoint from H(A), H(A) is the intersection of all the closed half-spaces with boundary a totally geodesic null plane which contain A.

“Supposing there is a plane disjoint from H ( A ), H ( A ) is the intersection of all the closed half-spaces with boundary a totally geodesic null plane which contain A .”

Proposition 20: Given a point (x,y) in Teich(S)×Teich(S), there exists a compact spacetime X(x,y) with boundary, homeomorphic to S×[0,1] by a homeomorphism taking any S×{x} to a closed spacelike hypersurface, locally modelled on anti de Sitter space, and with left and right holonomies ρL, ρR determined by (x,y).

“Proposition 20. Given a point ( x, y ) in Teich ( S ) × Teich ( S ) there exists a compact spacetime X ( x, y ) with boundary, homeomorphic to S × [0 , 1] by a homeomorphism taking any S ×{ x } to a closed spacelike hypersurface, which is locally modelled on anti de Sitter space, and which has left and right holonomies ρ L , ρ R determined by the point ( x, y ) .”

Given a point x in the holonomy cover of a compact oriented orthochronous anti de Sitter manifold with spacelike boundary, the exponential is a diffeomorphism from the intersection of the domain E_x of the exponential with any spacelike plane in T_x to a convex set in a spacelike plane in the holonomy cover.

“Proposition 27. a) Given a point x ∈ ̂ M , the exponential is a diffeomorphism from the intersection of the domain E x of the exponential with any spacelike plane in the tangent space T x ̂ M to a convex set in a spacelike plane in ̂ M .”

∂A∞ is a nowhere timelike topological circle.

“It follows that ∂A ∞ is a nowhere timelike topological circle.”

The map φ↦E(φ) is equivariant with respect to pre-composition and post-composition with Iso+ H2.

“The map φ ↦→ E ( φ ) is equivariant with respect to pre-composition and post-composition with Iso + H 2 .”

The graph in Q of f: R→R, t↦e^t union a single segment of a null line has a convex hull, whose boundary components give earthquakes taking a complete hyperbolic surface with cyclic fundamental group and one cusp to one of the components of the complement of a closed geodesic in a hyperbolic surface with cyclic fundamental group and no cusp.

“The graph in Q of f : R → R , t ↦→ e t union a single segment of a null line has a convex hull, whose boundary components give earthquakes taking a complete hyperbolic surface with cyclic fundamental group and one cusp to one of the components of the complement of a closed geodesic in a hyperbolic surface with cyclic fundamental group and no cusp.”

F cannot be a sphere or projective plane, because anti de Sitter space contains no spacelike sphere.

“F cannot be a sphere or projective plane, because anti de Sitter space contains no spacelike sphere.”

• AssumptionRests on an assumption: Anti de Sitter space contains no spacelike sphere.

For any genus g, there is a family of manifolds π: X → P(F) such that each fiber π^{-1}{a} is a de Sitter manifold which is a future complete maximal domain of dependence, foliated by strictly locally convex spacelike hypersurfaces.

“Proposition 16. For any genus g , there is a family of manifolds, π : X → P ( F ) , such that each fiber π -1 { a } is a de Sitter manifold which is a future complete maximal domain of dependence, foliated by strictly locally convex spacelike hypersurfaces.”

If y lies in the interior of the convex hull of ∂A, then no point in the dual plane of y can be in H(A).

“Suppose y lies in the interior of the convex hull of ∂A . Then no point in the dual plane of y can be in H ( A ).”

Even holding the linear holonomy fixed, there are arbitrarily small deformations of the holonomy which do not act fixed point free on R2+1 and therefore cannot be the deck groups of a covering of M by R2+1.

“But even holding the linear holonomy fixed, there are arbitrarily small deformations of the holonomy which do not act fixed point free on R 2+1 and therefore cannot be the deck groups of a covering of M by R 2+1 .”

• AssumptionRests on an assumption: Measured geodesic laminations supported on unions of simple closed curves are dense in the space of all measured geodesic laminations.

If N(F) is a domain of dependence then N(F) embeds in int(H(F(φ)))/π1F.

“If N ( F ) is a domain of dependence then N ( F ) embeds in int ( H ( F ( φ )) ) /π 1 F .”

Since M is complete, π1M injects into ISO(2,1).

“Since M is complete, π 1 M injects into ISO (2 , 1).”

The second case cannot arise because any 〈a〉 orbit in the open quadrangle Q0R0P′0R1 accumulates at P′0 and Q0, which is impossible since C̃ is spacelike.

“The second case cannot arise because any 〈 a 〉 orbit in the open quadrangle Q 0 R 0 P ′ 0 R 1 (whose boundary consists of null geodesic segments) accumulates at P ′ 0 and Q 0 which is impossible since ˜ C is spacelike.”

The intersection A_r = A∩T_r is spacelike in the new Lorentzian structure.

“So the intersection A r = A ∩ T r is spacelike in the new Lorentzian structure.”

Proposition 24: The linear holonomy of a complete flat spacetime is either solvable or else a discrete subgroup of O(2,1).

“Proposition 24. The linear holonomy of a complete flat spacetime is either solvable or else a discrete subgroup of O (2 , 1) .”

The surface {t}×F̃ is the dual of a locally strictly convex surface which has t as its smaller principal curvature at each point.

“So it is the dual of a locally strictly convex surface which has t as its smaller principal curvature at each point.”

Given any nowhere spacelike circle in Q there is a corresponding left and right earthquake pair, each defined on the interior of a convex subset of the hyperbolic plane with geodesic boundary.

“Given any nowhere spacelike circle in Q there is a corresponding left and right earthquake pair, each defined on the interior of a convex subset of the hyperbolic plane with geodesic boundary.”

The right earthquake is the identity.

“That is, the right earthquake is the identity.”

For each null ray l_i parallel to l1 in X, l_i is contained in N(r_i) for a unique r_i not in G.

“For each such null ray l i , we have l i ⊂ N ( r i ) for a unique r i ̸∈ G .”

Under the conditions of Lemma 4, each of m1 and m2 has transverse measure 0.

“and so each of m 1 , m 2 has transverse measure 0 .”

• cites [19] [19] Andrew J. Casson and Steven A. Bleiler, Automorphisms of surfaces after Nielsen and Thurston , London Mathematical Society Student Texts, vol. 9, Cambridge University Press, Cambridge, 1988. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

If r = s, then F(r) and F(s) are disjoint unless r and s lie on a single null ray.

“Claim. Suppose r = s . Then F ( r ) and F ( s ) are disjoint unless r and s lie on a single null ray.”

In anti de Sitter spacetimes, those of constant curvature -1, the paper obtains a complete classification.

“In the case of anti de Sitter spacetimes, that is, those which have constant curvature -1, we obtain a complete classification in section 7.”

The union of the parallel regions is a closed subset of X, because it is the intersection with X of the closure in D ∪ X of the preimage by t of the union of the isolated leaves of L, and t is continuous.

“The union of the parallel regions is a closed subset of X , because it is the intersection with X of the closure in D ∪ X of the preimage by t of the union of the isolated leaves of L , and t is continuous.”

T is convex because the future of T is the union of the convex regions U(p) = {y in D : <y-p, y-p> > -1} where p in X.

“T is convex because the future of T is the union of the convex regions U ( p ) = { y ∈ D : 〈 y -p, y -p 〉 &gt; -1 } where p ∈ X .”

<A> is the fundamental group of an isolated leaf of the geodesic lamination determined by X.

“〈 A 〉 is the fundamental group of an isolated leaf of the geodesic lamination determined by X .”

F(r_i) ∩ T contains a unique geodesic m_i asymptotic to l_i.

“F ( r i ) ∩ T contains a unique geodesic m i asymptotic to l i .”

In simply connected de Sitter space, there is a totally geodesic sphere of constant curvature 1 tangent to any spacelike plane in the tangent space of any given point.

“Thus spacelike geodesics focus, and, in the simply connected de Sitter space, there is a totally geodesic sphere of constant curvature 1 tangent to any spacelike plane in the tangent space of any given point.”

The vector bundle over Teich(F) associated with P(F) is the cotangent bundle of Teich(F).

“Any affine space has an associated vector space of translations, and the vector bundle over Teichm¨ uller space thereby associated with P ( F ) is the cotangent bundle of Teichm¨ uller space.”

t(g_i) is independent of i.

“t ( g i ) is independent of i , because if say m 1 = m 2 then for all i ∈ I , t ( l i ) = m 1 or m 2 (by lemma 4.)”

Using the dual pairing and Poincaré duality, the bundle V is identified with the cotangent bundle to Teichmüller space.

“Using the dual pairing and Poincar´ e duality, this identifies the bundle V with the cotangent bundle to Teichm¨ uller space.”

Every point in D is in some set F(r).

“So every point in D is in some set F ( r ).”

The Bers embedding gives a holomorphic section.

“The Bers embedding gives a holomorphic section.”

There is no open subset of X where the direction of the null rays is nonconstant and varies continuously.

“There is no open subset of X where the direction of the null rays is nonconstant and varies continuously.”

De Sitter space carries a Lorentzian metric invariant under O(3,1)/±1 ≅ O↑(3,1).

“It carries a Lorentzian metric invariant under the group O (3 , 1) / ± 1 ∼ = O ↑ (3 , 1) of projective transformations which map the quadric Q to itself.”

Each point y on T has a unique tangent plane, because the support plane at a(y) is parallel to the tangent plane at y.

“Each point y on T has a unique tangent plane, because the support plane at a ( y ) is parallel to the tangent plane at y .”

If L is a measured geodesic lamination on a closed surface for which L is the full support of the transverse measure, and m1 and m2 are distinct geodesics asymptotic to each other, then m1 and m2 are both boundary leaves of a complementary region A_i.

“Lemma 4. If L is a measured geodesic lamination on a closed surface for which L is the full support of the transverse measure, if m 1 , m 2 are distinct geodesics which are asymptotic to each other, then m 1 and m 2 are both boundary leaves of a complementary region A i”

• cites [19] [19] Andrew J. Casson and Steven A. Bleiler, Automorphisms of surfaces after Nielsen and Thurston , London Mathematical Society Student Texts, vol. 9, Cambridge University Press, Cambridge, 1988. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

The planes in RP3 which do not meet Q are the totally geodesic spacelike planes.

“The planes in RP 3 which do not meet Q are the totally geodesic spacelike planes.”

There is a natural family of maximal domains of dependence in anti de Sitter spacetimes, parametrized by the product of two copies of Teichmüller space, such that any closed spacelike hypersurface in an anti de Sitter spacetime has a neighbourhood embedding as an open subset of a unique member of the family.

“There is a natural family of maximal domains of dependence, parametrized by the product of two copies of Teichm¨ uller space, such that given any closed spacelike hypersurface in an anti de Sitter spacetime, a neighbourhood of the hypersurface embeds as an open subset of a unique member of the natural family of spacetimes.”

Given a spacetime M = D( ̃S), there does not exist a spacetime M' strictly containing M such that the development of ̃M' does not meet the ruled part of X.

“Proposition 15. Given a spacetime M = D ( ˜ S ) , there does not exist a spacetime M ′ strictly containing M such that the development of ˜ M ′ does not meet the ruled part of X .”

• AssumptionRests on an assumption: π1S does not act properly discontinuously on cl L+.

The holonomy map ρ : P(F) → Hom(π1F, PSL2C)/PSL2C is a holomorphic submersion.

“The holonomy map ρ : P ( F ) → Hom ( π 1 F, PSL 2 C ) / PSL 2 C (where the right action of PSL 2 C is by conjugation) is a holomorphic submersion.”

For each hyperbolic structure on S, there is a bijection from the space ML(S) of measured geodesic laminations on S to H1(π1S, R2+1).

“We now have, for each hyperbolic structure on S , a bijection from the space ML ( S ) of measured geodesic laminations on S to H 1 ( π 1 S, R 2+1 ).”

Given a spacetime M which is the domain of dependence of a closed spacelike surface S of genus g > 1, the geometry of the frontier of the universal cover determines a measured geodesic lamination on S in the hyperbolic structure on S determined by its linear holonomy, and this correspondence is inverse to that of Proposition 12.

“Proposition 13. Given a spacetime M which is the domain of dependence of a closed spacelike surface S of genus g &gt; 1 the geometry of the frontier of the universal cover determines a measured geodesic lamination on S in the hyperbolic structure on S determined by its linear holonomy, and this correspondence is inverse to that of Proposition 12.”

The space ML(S) of measured geodesic laminations is homeomorphic to R^{6g-6}.

“It follows that the space ML ( S ) of measured geodesic laminations is homeomorphic to R 6 g -6 .”

The result that a flat Lorentzian manifold with boundary is topologically a product and foliated by closed spacelike hypersurfaces generalizes to Lorentzian manifolds of constant negative curvature.

“This result generalizes to Lorentzian manifolds of constant negative curvature.”

t(L) is a union of totally geodesic subspaces.

“We note that i ) t ( L ) is a union of totally geodesic subspaces”

If the holonomy of M fixes a point or the corresponding geodesic lamination has no isolated leaves, then M is a maximal spacetime.

“In particular, if the holonomy of M fi xes a point or the corresponding geodesic lamination has no isolated leaves, M is a maximal spacetime.”

For a given genus, all domains of dependence of flat spacetimes form two families, each parametrized by the cotangent bundle of Teichmüller space.

“In the case of flat spacetimes, we show in section 2, 3, 4, 5 that for a given genus, all domains of dependence form two families, each parametrized by the cotangent bundle of Teichm¨ uller space.”

The spacetimes in the anti de Sitter family have both an initial and a final singularity.

“The spacetimes in this family have both an initial and a final singularity.”

The map a∘t^{-1} : H2 → X maps almost all tangent planes to the countable set C.

“It follows that the map a ◦ t -1 : H 2 → X maps almost all tangent planes to the countable set C .”

• AssumptionRests on an assumption: A geodesic lamination on a hyperbolic surface has measure 0.

If X contains two parallel null rays l1 and l2, then X contains two null rays l0 and l3 parallel to l1 and l2 with basepoints r and q such that the segment rq is spacelike and lies in X and from each point in rq there is a unique null ray in X parallel to l1.

“Proposition 14. Suppose X contains two parallel null rays l 1 and l 2 . Then X contains two null rays l 0 and l 3 parallel to l 1 and l 2 with basepoints r and q such that the seqment rq is spacelike and lies in X and from each point in rq there is a unique null ray in X parallel to l 1 .”

As a homogeneous space, de Sitter space is O↑(3,1)/O↑(2,1) = SO(3,1)_0/{±1} × SO(2,1)_0.

“As a homogeneous space, de Sitter space is O ↑ (3 , 1) / O ↑ (2 , 1) = SO (3 , 1) 0 / {± 1 } × SO (2 , 1) 0 as the stabilizer of (0 : 0 : 0 : 1) is O ↑ (2 , 1).”

t is onto because every timelike unit vector is the normal to some support plane of D.

“ii ) t is onto because every timelike unit vector is the normal to some support plane of D”

These anti de Sitter spacetimes are Lorentzian analogues of the hyperbolic manifolds corresponding to quasifuchsian groups.

“These spacetimes are Lorentzian analogues of the hyperbolic manifolds corresponding to quasifuchsian groups.”

Each de Sitter spacetime in that family corresponds to a projective structure on a Riemann surface at future infinity.

“Each spacetime corresponds to a projective structure on a Riemann surface at future infinity.”

r and q are in E, i.e. they have at least 3 supporting null planes, because int(F(r)) and int(F(s)) are distinct complementary regions.

“r, q are in E (i.e., they have at least 3 supporting null planes) because int ( F ( r )) and int ( F ( s )) are distinct complementary regions.”

For each p ∈ Teich(F) there is a quasifuchsian group i_p(π1F) ⊂ PSL2C with faithful discrete image and limit set L_p homeomorphic to a circle.

“For each p ∈ Teich ( F ) there is a quasifuchsian group i p ( π 1 F ) ⊂ PSL 2 C with the following properties. The homomorphism i p is faithful with discrete image, and the limit set L p of i p ( π 1 F ) is homeomorphic to a circle.”

The support of the transverse measure on L is all of L.

“Lemma 3. The support of the transverse measure on L is all of L .”

De Sitter space is topologically a twisted R-bundle over RP2.

“Topologically it is a twisted R -bundle over RP 2 .”

Any noncompact connected orientable 3-manifold immerses in R^{2+1} by the immersion theorem.

“Any noncompact connected orientable 3-manifold immerses in R 2+1 by the immersion theorem [1], so some restriction is needed.”

• cites [1] [1] Morris W. Hirsch, Immersion of Manifolds , Trans. Amer. Math. Soc. 93 (1953)242-76. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Future directed domains of dependence form a family parametrized by the bundle of cohomology spaces V = H1(π1S, R2+1) → Teich(S), where π1S varies in Teichmüller space.

“We have shown that (future directed) domains of dependence form a family parametrized by the bundle of cohomology spaces V = H 1 ( π 1 S, R 2+1 ) → Teich ( S ), where π 1 S varies in Teichm¨ uller space.”

If |e(ρ)| = 2g - 2 then ρ is discrete and faithful.

“Conversely Goldman shows in [6] that if | e ( ρ ) | = 2 g -2 then ρ is discrete and faithful”

• cites [6] [6] William M. Goldman, Topological components of spaces of representations , Invent. Math. 93 (1988), no. 3, 557-607. - sourceNot checked — no full text of the source

The spacetime M in Proposition 2 can be chosen either future complete or past complete.

“Note that M can be chosen either future complete or past complete.”

If the hypersurface is a torus then the projective structure is an affine structure.

“If the hypersurface is a torus then the projective structure is an affine structure; see [36] for a discussion of affine structure on tori.”

• cites [36] [36] R. C. Gunning, Lectures on Riemann surfaces , Princeton Mathematical Notes, Princeton University Press, Princeton, N.J., 1966. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

The family of all domains of dependence of a fixed topological type is parametrized by the cotangent space of the Teichmüller space of S.

“This family is parametrized by the cotangent space of the Teichm¨ uller space of S”

Because the mapping class group is non-amenable, the spectrum of the Weil-Petersson Laplacian on Teichmüller space is expected to be bounded away from zero.

“Because the mapping class group is non-amenable, we expect that the spectrum of the Weil-Petersson Laplacian on Teichm¨ uller space is bounded away from zero.”

• cites [45] [45] Robert Brooks, The fundamental group and the spectrum of the Laplacian , Comment. Math. Helv. 56 (1981), no. 4, 581-598. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• AssumptionRests on an assumption: The mapping class group is non-amenable.

Gallo shows that given a homomorphism from the fundamental group of a surface to SL2C with image not conjugate into SU(2) nor into the stabilizer of a point or pair of points in CP1, there is a decomposition of the surface into pairs of pants such that the holonomy of any pair of pants is quasifuchsian.

“Gallo [42] actually shows that given a homomorphism from the fundamental group of a surface to SL 2 C with image not conjugate into SU (2) nor into the stabilizer of a point or pair of points in CP 1 , there is a decomposition of the surface into pairs of pants, such that the holonomy of any pair of pants is quasifuchsian.”

• cites [42] [42] Daniel M. Gallo, Prescribed holonomy for projective structures on compact surfaces , Bull. Amer. Math. Soc. (N.S.) 20 (1989), no. 1, 31-34. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Goldman's conjecture that the deformations with left holonomy nontrivial but lying in an abelian subgroup are still complete is established by Proposition 27.

“Goldman conjectured in [54] that these manifolds would still be complete; this is established by proposition 27.”

• cites [54] [54] William M. Goldman, Nonstandard Lorentz space forms , J. Differential Geom. 21 (1985), no. 2, 301-308. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

The holonomy of the surface must be discrete in the isometry group.

“the holonomy of the surface must be discrete in the isometry group.”

• AssumptionRests on an assumption: The identity component of the isometry group of the model space acts simply transitively on the oriented orthochronous Lorentzian orthonormal frame bundle of the model space.

Given a maximal disc for p, eventually there is a horosphere tangent to the geodesic hyperplane associated with the maximal disc.

“Given a maximal disc for p , consider larger and larger horospheres based at p . Eventually there is a horosphere tangent to the geodesic hyperplane associated with the maximal disc.”

Over CP1 there is an R-bundle H(CP1) = PSL2C/(SO(2) ⋉ C) where SO(2) ⋉ C is a subgroup of the stabilizer C* ⋉ C of ∞ ∈ CP1.

“Over CP 1 there is an R -bundle H ( CP 1 ) = PSL 2 C / ( SO (2) ⋉ C ) where SO (2) ⋉ C is a subgroup of the stabilizer C ∗ ⋉C of ∞∈ CP 1 .”

In the holomorphic description of projective structures, each fiber C^{3g-3} is mapped injectively by the holonomy to Hom(π1F, PSL2C)/PSL2C.

“However in the holomorphic description of projective structures, each fiber C 3 g -3 is mapped injectively by the holonomy to Hom ( π 1 F, PSL 2 C ) / PSL 2 C [36].”

• cites [36] [36] R. C. Gunning, Lectures on Riemann surfaces , Princeton Mathematical Notes, Princeton University Press, Princeton, N.J., 1966. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Thus M embeds in M′=X~^{1+1}/〈a〉.

“Thus M embeds in M ′ = ˜ X 1+1 / 〈 a 〉 .”

The height defines a section h : ̃F → H( ̃F) where H( ̃F) is the pullback by d : ̃F → CP1 of the bundle H(CP1) → CP1.

“The height defines a section h : ˜ F → H ( ˜ F ) where H ( ˜ F ) is the pullback by d : ˜ F → CP 1 of the bundle H ( CP 1 ) → CP 1 .”

For a compact oriented orthochronous anti de Sitter manifold with spacelike boundary in the closed case considered in the proof of Proposition 27, M is complete.

“We conclude that M is complete.”

The boundary components of a compact oriented orthochronous anti de Sitter manifold with spacelike boundary must have negative Euler characteristic.

“The boundary components of M must have negative Euler characteristic by proposition 21.”

• cites proposition 21Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Kulkarni and Raymond showed that a closed 3-manifold with a complete anti de Sitter structure is necessarily a Seifert manifold.

“Kulkarni and Raymond [53] showed that a closed 3-manifold with a complete anti de Sitter structure is necessarily a Seifert manifold.”

• cites [53] [53] Ravi S. Kulkarni and Frank Raymond, 3 -dimensional Lorentz space-forms and Seifert fiber spaces , J. Differential Geom. 21 (1985), no. 2, 231-268. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

The cotangent space of the Teichmüller space of S has a natural symplectic structure.

“the cotangent space has a natural symplectic structure.”

• cites proposition 13Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

By a result of Koszul, the holonomy cover M'^ is E_x, regarded as an open subset of R^{2+1}.

“By a result of Koszul (proposition 1.3.2 of [5]), ̂ M ′ is E x , regarded as an open subset of R 2+1 .”

• cites [5] [5] Yves Carri` ere, Autour de la conjecture de L. Markus sur les vari´ et´ es affines , Invent. Math. 95 (1989), no. 3, 615-628. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

In the quantization of the cotangent bundle, the trace of the linear holonomy of an element of the fundamental group becomes an observable.

“In particular the trace of the linear holonomy of an element of the fundamental group becomes an observable.”

The holonomy of a spacelike surface S in an anti de Sitter spacetime can be considered as a point of Teich(S)×Teich(S).

“So the holonomy of a spacelike surface S in an anti de Sitter spacetime can be considered as a point of Teich ( S ) × Teich ( S ).”

A 3+1-dimensional spacetime which is a small neighbourhood of a closed spacelike hypersurface and has irreducible linear holonomy is a deformation, by a 1-cocycle with values in R^{3+1}, of the quotient of the positive (or negative) light cone by a group acting cocompactly on the hyperbolic 3-space of unit timelike directions.

“One can deduce that a 3 + 1-dimensional spacetime which is a small neighbourhood of a closed spacelike hypersurface and has irreducible linear holonomy is a deformation, by a 1-cocycle with values in R 3+1 , of the quotient of the positive (or negative) light cone by a group acting cocompactly on the hyperbolic 3-space of unit timelike directions.”

A covering of a compact Riemannian manifold with non-amenable deck group has spectrum bounded away from zero.

“A covering of a compact Riemannian manifold with non-amenable deck group has spectrum bounded away from zero, by Brooks's theorem [45]”

• cites [45] [45] Robert Brooks, The fundamental group and the spectrum of the Laplacian , Comment. Math. Helv. 56 (1981), no. 4, 581-598. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

The inclusion of either boundary component of M induces an isomorphism of fundamental groups.

“Therefore the inclusion of either boundary component of M induces an isomorphism of fundamental groups.”

The result that the spectrum of the Weil-Petersson Laplacian on Teichmüller space is bounded away from zero is likely to hold.

“but still the result is likely to hold.”

The limit circle conjugates the left and right holonomies.

“It therefore conjugates the left and right holonomies.”

The frontier of M in RP^3 meets the quadric at infinity in a nowhere timelike topological circle, called the limit circle.

“So the frontier of ̂ M in RP 3 meets the quadric at infinity in a nowhere timelike topological circle, which we call the limit circle.”

The universal cover of the domain of dependence of a spacelike surface is convex.

“the universal cover of the domain of dependence of a spacelike surface is convex, by proposition 11.”

• cites proposition 11Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

The limit circle contains no segments of lines.

“So the limit circle contains no segments of lines.”

π1M is discrete regarded as a subset of G_L.

“it follows from the discreteness of π 1 M in G L × G R , and the fact that G L can be identified with the space of distinct triples of points in RP 1 L that π 1 M is discrete regarded as a subset of G L .”

• AssumptionRests on an assumption: G_L can be identified with the space of distinct triples of points in RP^1_L.

M can be thickened to a manifold with locally strictly convex boundary.

“using proposition 21 M can be thickened to a manifold with locally strictly convex boundary.”

• cites proposition 21Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

The proof of Proposition 26 extends to show that E_x meets T_x P in a convex set.

“The proof of proposition 26 extends to show that E x meets T x P in a convex set.”

[54] shows that given a complete Lorentzian manifold of the form PSL2R/Γ where Γ is a cocompact subgroup acting by right translation, the deformations with left holonomy nontrivial but lying in an abelian subgroup are still complete.

“[54] shows that given a complete Lorentzian manifold of the form PSL 2 R / Γ where Γ is a cocompact subgroup acting by right translation, the deformations with left holonomy nontrivial but lying in an abelian subgroup are still complete.”

• cites [54] [54] William M. Goldman, Nonstandard Lorentz space forms , J. Differential Geom. 21 (1985), no. 2, 301-308. -Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.