(2012) arxiv joint: Darren Long, Stephan Tillmann

Transcription

1 Projective Structures on Manifolds Daryl Cooper U.C.S.B September 19, 2013 (2012) arxiv joint: Darren Long, Stephan Tillmann

2 M n (G,X) = geometric structure X φ ψ ψ φ 1 G dev : M X hol : π 1 M G Projective geometry = (PGL(n+1,R),RP n )

3 M n (G,X) = geometric structure X φ ψ ψ φ 1 G dev : M X hol : π 1 M G Projective geometry = (PGL(n+1,R),RP n ) Constant curvature geometries are subgeometries of projective geometry Every constant curvature n-manifold has underlying projective structure. Every surface has projective structure. M n closed, π 1 M n = 1, M real projective M = S n

4 projective representation of (G,X) geometry (ρ,dev) : (G,X) (PGL(n+1,R),RP n ) dev(g x) = (ρg)(devx) Molnar (1990), Thiel (1994) 8 Thurston geometries (virtually) have projective representations 3-manifold with Thurston geometry (virtually) projective.

5 projective representation of (G,X) geometry (ρ,dev) : (G,X) (PGL(n+1,R),RP n ) dev(g x) = (ρg)(devx) Molnar (1990), Thiel (1994) 8 Thurston geometries (virtually) have projective representations 3-manifold with Thurston geometry (virtually) projective. Benoist (2006) projective M 3 with non-trivial JSJ.

6 projective representation of (G,X) geometry (ρ,dev) : (G,X) (PGL(n+1,R),RP n ) dev(g x) = (ρg)(devx) Molnar (1990), Thiel (1994) 8 Thurston geometries (virtually) have projective representations 3-manifold with Thurston geometry (virtually) projective. Benoist (2006) projective M 3 with non-trivial JSJ. C, Goldman (2012 arxiv ) RP 3 #RP 3 has no projective structure. Question are there other connected 3-manifolds with no projective structure?

7 projective representation of (G,X) geometry (ρ,dev) : (G,X) (PGL(n+1,R),RP n ) dev(g x) = (ρg)(devx) Molnar (1990), Thiel (1994) 8 Thurston geometries (virtually) have projective representations 3-manifold with Thurston geometry (virtually) projective. Benoist (2006) projective M 3 with non-trivial JSJ. C, Goldman (2012 arxiv ) RP 3 #RP 3 has no projective structure. Question are there other connected 3-manifolds with no projective structure? M. Kapovich (2007) non-hyperbolic projective projective W 4 with sec. curv. 1 K 1+ǫ

8 Projective Surfaces are classified Goldman (1990) convex projective structures T convrp (F) is cell dimension 8 χ(f) extended by Marquis (2012) to finite area (+ cusps)

9 Projective Surfaces are classified Goldman (1990) convex projective structures T convrp (F) is cell dimension 8 χ(f) extended by Marquis (2012) to finite area (+ cusps) Choi + Goldman (1993) holonomies = Hitchin compt of Hom(π 1 F,PGL(3,R))

10 Projective Surfaces are classified Goldman (1990) convex projective structures T convrp (F) is cell dimension 8 χ(f) extended by Marquis (2012) to finite area (+ cusps) Choi + Goldman (1993) holonomies = Hitchin compt of Hom(π 1 F,PGL(3,R)) Choi + Goldman (1997) Every projective structure obtained by grafting convex one.

11 Projective Surfaces are classified Goldman (1990) convex projective structures T convrp (F) is cell dimension 8 χ(f) extended by Marquis (2012) to finite area (+ cusps) Choi + Goldman (1993) holonomies = Hitchin compt of Hom(π 1 F,PGL(3,R)) Choi + Goldman (1997) Every projective structure obtained by grafting convex one. Labourie ( 2007), Loftin ( 2006) Convex projective structure (Conf. str + holo cubic diff.) T convrp (F) is vector bundle over T(F) Fock + Goncharov ( 2007) Nice coordinates for (br cover of) T convrp (F)

12 Affine patch = RP n \RP n 1 = R n Ω RP n properly convex if interior of compact convex in affine patch strictly convex if line segment Ω

13 Affine patch = RP n \RP n 1 = R n Ω RP n properly convex if interior of compact convex in affine patch strictly convex if line segment Ω (properly/strictly) convex projective orbifold Q = Ω/Γ PGL(n+1,R) Aut(Ω) = subgroup preserving Ω. Γ = discrete subgroup Aut(Ω) Hyperbolic n-space: Ω = D = unit ball Aut(D) = PO(n,1) = Isom(H n )

14 Affine patch = RP n \RP n 1 = R n Ω RP n properly convex if interior of compact convex in affine patch strictly convex if line segment Ω (properly/strictly) convex projective orbifold Q = Ω/Γ PGL(n+1,R) Aut(Ω) = subgroup preserving Ω. Γ = discrete subgroup Aut(Ω) Hyperbolic n-space: Ω = D = unit ball Aut(D) = PO(n,1) = Isom(H n ) Strictly convex is generalization of hyperbolic manifold Properly convex much more general: like curvature 0. Benoist (2005) If M n closed properly convex then M strictly convex π 1 M is δ-hyperbolic.

15 Hilbert metric on Ω d Ω (a,b) = logcr(x,a,b,y) a b x y Ω Strictly convex Aut(Ω) = Isom(d Ω ) Finsler metric. Ω = D d Ω = 2 d H n Ω = interior of triangle d Ω = HEX Complete preserved by Aut(Ω) volume form (false for Ω =open simplex) de la Harpe (1991) HEX is norm on C. unit ball is regular hexagon [e x 0 : e x 1 : e x 2 ] x 0 +x 1 ω +x 2 ω 2 ω = e 2πi/3 biblical metric: unique Finsler metric with π = 3

16 Isometries of properly convex Ω are hyperbolic/elliptic/parabolic permute pencil of hyperplanes C H + p + l Ω P t H p Ω P t C H Hyperbolic Parabolic Question Is the set of points moved less than d by isometry connected? convex??

17 Benzécri compactness (1960) p Ω RP n properly convex. τ PGL(n+1,R) st. τ(p) = 0 and B(1) Ω B(5 n ). τ(ω) p Ω τ 1 5 n Hilbert geometries locally uniformly bilipschitz to Euclidean.

18 V = R n Q = S 2 (V) := all quadratic forms on V= vector space dim n(n 1)/2 homo σ 2 : GL(V) GL(Q)

19 V = R n Q = S 2 (V) := all quadratic forms on V= vector space dim n(n 1)/2 homo σ 2 : GL(V) GL(Q) finitely many orbits signature q.f. Pos Q = convex cone all positive definite q.f. Ω n := P(Pos) P(Q) properly convex = SL(m,R)/SO(m) symmetric space n = 1+m(m 1)/2

20 V = R n Q = S 2 (V) := all quadratic forms on V= vector space dim n(n 1)/2 homo σ 2 : GL(V) GL(Q) finitely many orbits signature q.f. Pos Q = convex cone all positive definite q.f. Ω n := P(Pos) P(Q) properly convex = SL(m,R)/SO(m) symmetric space n = 1+m(m 1)/2 n = 2 Ω 2 = H 2 S 1 qfs rank 1 Mobius band outside S1 qf signature (1,1)

21 V = R n Q = S 2 (V) := all quadratic forms on V= vector space dim n(n 1)/2 homo σ 2 : GL(V) GL(Q) finitely many orbits signature q.f. Pos Q = convex cone all positive definite q.f. Ω n := P(Pos) P(Q) properly convex = SL(m,R)/SO(m) symmetric space n = 1+m(m 1)/2 n = 2 Ω 2 = H 2 S 1 qfs rank 1 Mobius band outside S1 qf signature (1,1) n = 3 dimω 3 = 5 Ω 3 positive semi-definite qfs. (copies Ω 2 ) Many JNF in GL(Ω n )

22 V = R n Q = S 2 (V) := all quadratic forms on V= vector space dim n(n 1)/2 homo σ 2 : GL(V) GL(Q) finitely many orbits signature q.f. Pos Q = convex cone all positive definite q.f. Ω n := P(Pos) P(Q) properly convex = SL(m,R)/SO(m) symmetric space n = 1+m(m 1)/2 n = 2 Ω 2 = H 2 S 1 qfs rank 1 Mobius band outside S1 qf signature (1,1) n = 3 dimω 3 = 5 Ω 3 positive semi-definite qfs. (copies Ω 2 ) Many JNF in GL(Ω n ) Auslander and Swan (1967) every polycyclic group GL(n,Z) some n G f.g. nilpotent polycyclic. G PGL(Pos) discrete group parabolics exotic cusps But maximal cusps (vol < ) are Bieberbach groups!

23 Deformations of convex projective manifolds PC(M) Hom(π 1 M,PGL(n+1,R)) holonomies of properly convex structures on M n SC(M) strictly convex ( codimension-1 flat embedded projective submanifold in M) M deforms. Koszul (1965) M closed PC(M) open (C, Long, Tillmann (WIP) extend to finite volume properly convex case + end condition) M closed SC(M) is closed Choi + Goldman (1993 n = 2), I. Kim (2005 n = 3), Benoist (2005 all n)

24 Finite dimensional moduli space of deformations of closed hyperbolic M 3 often locally rigid but: C, Long, Thistlethwaite (2006, 2007) Of first 4500 closed hyperbolic 3-manifolds in census 61 infinitesimally deform: H 1 0 Why?? Of these it is proved: 25 deform and 3 are rigid Some that deform (e.g. vol 3 ) are non-haken. For vol 3 get free action on building for PGL 4 (cf: Culler-Shalen action on trees) Under smoothness assumption on rep. variety: ( RP n deformations of M n R ) ( CHn deformations of M C )

25 Cusp C = Ω/Γ Γ = group parabolics fixes p Ω and H = supp. hyperplane at p preserves algebraic horospheres C = ( C) [0, ) Maximal cusp if C compact Margulis constant µ n for properly convex manifolds virt. nilpotent Thickish-thinnish M n strictly convex M = A B A B = A = B If inj(x) 3 (n+1) µ n then x A If x A, then inj(x) µ n /2 Each component of A is a Margulis tube or a cusp M n strictly convex and vol(m) < then every end is maximal cusp Every maximal cusp in properly convex is hyperbolic = Ω/Γ with Γ O(n,1) fixes p Ω properly convex Q = SL(n,Z)\SL(n,R)/SO(n) and vol(q) < but end not a cusp

26 strictly convex = properly convex + rel. δ-hyperbolic + parabolic ends properly convex M = Ω/Γ & vol(m) < & M = interior compact N & holonomy each N is parabolic. TFAE: M is strictly convex Ω is C 1 π 1 N is δ-hyperbolic relative to π 1 N Benoist: compact case. Topological Finiteness strictly convex dim 3 fin. many. top. types with vol < V properly convex fin. many top. types with diam < D and p inj(p) > ǫ Volume bounds diameter when n 4 : strictly convex dim = n 4 C n M n closed diam(m) 9 diam(thick(m)) C n vol(m) true for hyperbolic manifolds.

27 Theory of geometric transitions + Danciger, Wienhard Continuous family of projective structures M t on M (G,X)-structure for t > 0 (G,X )-structure at t = 0 (G,X) (G,X ) e.g H n E n and S n E n but H 3 H 2 R