T HE RATIONAL COHOMOLOGY OF SMOOTH , REAL TORIC VARIETIES Alex - PowerPoint PPT Presentation

T HE RATIONAL COHOMOLOGY OF SMOOTH , REAL TORIC VARIETIES Alex Suciu Northeastern University Joint work with Alvise Trevisan Workshop on Arrangements and Configuration Spaces ALTA, University of Bremen May 25, 2012 A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 1 / 32

T ORIC MANIFOLDS AND SMALL COVERS T ORIC MANIFOLDS AND SMALL COVERS Let P be an n -dimensional convex polytope; facets F 1 , . . . , F m . Assume P is simple (each vertex is the intersection of n facets). Then P determines a dual simplicial complex, K = K ❇ P , of dimension n ✁ 1: Vertex set [ m ] = t 1 , . . . , m ✉ . Add a simplex σ = ( i 1 , . . . , i k ) whenever F i 1 , . . . , F i k intersect. F IGURE : A prism P and its dual simplicial complex K A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 2 / 32

T ORIC MANIFOLDS AND SMALL COVERS Let χ be an n -by- m matrix with coefficients in G = Z or Z 2 . χ is characteristic for P if, for each vertex v = F i 1 ❳ ☎ ☎ ☎ ❳ F i n , the n -by- n minor given by the columns i 1 , . . . , i n of χ is unimodular. Let T = S 1 if G = Z , and T = S 0 = t✟ 1 ✉ if G = Z 2 . Given q P P , let F ( q ) = F j 1 ❳ ☎ ☎ ☎ ❳ F j k be the maximal face so that q P F ( q ) ✆ . The map χ yields a subtorus T F ( q ) ✕ T k inside T n . To the pair ( P , χ ) , M. Davis and T. Januszkiewicz associate the (quasi-) toric manifold T n ✂ P / ✒ , where ( t , p ) ✒ ( u , q ) if p = q and t ☎ u ✁ 1 P T F ( q ) . For G = Z , this is a complex toric manifold, denoted M P ( χ ) : a closed, orientable manifold of dimension 2 n . For G = Z 2 , this is a real toric manifold (or, small cover ), denoted N P ( χ ) : a closed, not necessarily orientable manifold of dim n . A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 3 / 32

T ORIC MANIFOLDS AND SMALL COVERS E XAMPLE (T ORIC MANIFOLDS OVER THE n - SIMPLEX ) � 1 ☎☎☎ 0 1 � . Let P = ∆ n be the n -simplex, and χ the n ✂ ( n + 1 ) matrix ... . . . 0 ☎☎☎ 1 1 Then M P ( χ ) = CP n N P ( χ ) = RP n . and P T ✂ P T ✂ P / ✒ CP 1 RP 1 A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 4 / 32

T ORIC MANIFOLDS AND SMALL COVERS E XAMPLE (T ORIC MANIFOLDS OVER THE SQUARE ) � 1 � 1 � 1 � � � 0 0 0 ✌ ✌ ✌ ✌ ✌ ✌ � 0 � 0 � 0 � 0 � 0 � ✁ 2 � � � � � � 1 1 1 1 1 1 ✌ � ✌ ✌ � ✌ ✌ � 1 � ✌ � 1 � 1 ✁ 1 0 1 CP 1 ✂ CP 1 CP 2 # CP 2 CP 2 # CP 2 � 1 � 1 � � 0 0 ✌ ✌ ✌ ✌ � 0 � 0 � 0 � 0 � � � � 1 1 1 1 ✌ � ✌ ✌ � ✌ � 1 � 1 0 1 S 1 ✂ S 1 RP 2 # RP 2 A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 5 / 32

T ORIC MANIFOLDS AND SMALL COVERS If X is a smooth, projective toric variety, then X ( C ) = M P ( χ ) , for some P and χ , and X ( R ) = N P ( χ mod 2 Z ) . On the other hand: M = CP 2 ✼ CP 2 is a toric manifold over the square, but it does not admit any (almost) complex structure. Thus, M ✢ X ( C ) . If P is a 3-dim polytope with no triangular or quadrangular faces, then, by a theorem of Andreev, N P ( χ ) is a hyperbolic 3-manifold. Hence, by a theorem of Delaunay, N P ( χ ) ✢ X ( R ) . Concrete example: P = dodecahedron. (Characteristic matrices χ do exist for P , by work of Garrison and Scott.) A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 6 / 32

T ORIC MANIFOLDS AND SMALL COVERS Davis and Januszkiewicz showed that: M P ( χ ) admits a perfect Morse function with only critical points of even index. Moreover, rank H 2 i ( M P ( χ ) , Z ) = h i ( P ) , where ( h 0 ( P ) , . . . , h n ( P )) is the h -vector of P , which depends only on the number of i -faces of P (0 ↕ i ↕ n ). N P ( χ ) admits a perfect Morse function over Z 2 . Moreover, dim Z 2 H i ( N P ( χ ) , Z 2 ) = h i ( P ) . They also gave presentations for the cohomology rings H ✝ ( M P ( χ ) , Z ) and H ✝ ( N P ( χ ) , Z 2 ) , similar to the ones given by Danilov and Jurkiewicz for toric varieties. A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 7 / 32

T ORIC MANIFOLDS AND SMALL COVERS We compute H ✝ ( N P ( χ ) , Q ) , both additively and multiplicatively. The (rational) Betti numbers of N P ( χ ) no longer depend just on the h -vector of P , but also on the characteristic matrix χ . E XAMPLE Recall there are precisely two small covers over the square P : � 1 0 1 0 The torus T 2 = N P ( χ ) , with χ = � . 0 1 0 1 � 1 0 1 0 The Klein bottle K ℓ = N P ( χ ✶ ) , with χ ✶ = � . 0 1 1 1 Then b 1 ( T 2 ) = 2, yet b 1 ( K ℓ ) = 1. Idea: use finite covers involving (up to homotopy) certain generalized moment-angle complexes: � Z K ( D 1 , S 0 ) � N P ( χ ) , Z m ✁ n 2 � N P ( χ ) � Z K ( RP ✽ , ✝ ) . Z n 2 A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 8 / 32

G ENERALIZED MOMENT - ANGLE COMPLEXES G ENERALIZED MOMENT - ANGLE COMPLEXES Let ( X , A ) be a pair of topological spaces, and K a simplicial complex on vertex set [ m ] . The corresponding generalized moment-angle complex (or, polyhedral product ) is the space ↕ ( X , A ) σ ⑨ X ✂ m Z K ( X , A ) = σ P K where ( X , A ) σ = t x P X ✂ m ⑤ x i P A if i ❘ σ ✉ . Construction interpolates between A ✂ m and X ✂ m . Homotopy invariance: ( X , A ) ✔ ( X ✶ , A ✶ ) ù ñ Z K ( X , A ) ✔ Z K ( X ✶ , A ✶ ) . Converts simplicial joins to direct products: Z K ✝ L ( X , A ) ✕ Z K ( X , A ) ✂ Z L ( X , A ) . Takes a cellular pair ( X , A ) to a cellular subcomplex of X ✂ m . A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 9 / 32

G ENERALIZED MOMENT - ANGLE COMPLEXES Usual moment-angle complexes: Complex moment-angle complex, Z K ( D 2 , S 1 ) . π 1 = π 2 = t 1 ✉ . Real moment-angle complex, Z K ( D 1 , S 0 ) . π 1 = W ✶ K , the derived subgroup of W K , the right-angled Coxeter group associated to K ( 1 ) . E XAMPLE Let K = two points. Then: Z K ( D 2 , S 1 ) = D 2 ✂ S 1 ❨ S 1 ✂ D 2 = S 3 Z K ( D 1 , S 0 ) = D 1 ✂ S 0 ❨ S 0 ✂ D 1 = S 1 D 1 × S 0 S 0 × D 1 D 1 Z K ( D 1 , S 0 ) S 0 S 0 × S 0 A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 10 / 32

G ENERALIZED MOMENT - ANGLE COMPLEXES E XAMPLE Let K be a circuit on 4 vertices. Then: Z K ( D 2 , S 1 ) = S 3 ✂ S 3 Z K ( D 1 , S 0 ) = S 1 ✂ S 1 E XAMPLE More generally, let K be an n -gon. Then: � n ✁ 2 � n ✁ 3 S r + 2 ✂ S n ✁ r Z K ( D 2 , S 1 ) = # r = 1 r ☎ r + 1 Z K ( D 1 , S 0 ) = an orientable surface of genus 1 + 2 n ✁ 3 ( n ✁ 4 ) A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 11 / 32

G ENERALIZED MOMENT - ANGLE COMPLEXES The GMAC construction enjoys nice functoriality properties in both arguments. E.g: Let f : ( X , A ) Ñ ( Y , B ) be a (cellular) map. Then f ✂ n : X ✂ n Ñ Y ✂ n restricts to a (cellular) map Z K ( f ) : Z K ( X , A ) Ñ Z K ( Y , B ) . Also, much is known about the fundamental group and the asphericity problem for Z K ( X ) = Z K ( X , ✝ ) (work of Davis et al). E.g.: π 1 ( Z K ( X , ✝ )) is the graph product of G v = π 1 ( X , ✝ ) along the graph Γ = K ( 1 ) = ( V , E ) , where Prod Γ ( G v ) = ✝ v P V G v / t [ g v , g w ] = 1 if t v , w ✉ P E, g v P G v , g w P G w ✉ . Suppose X is aspherical. Then Z K ( X , ✝ ) is aspherical iff K is a flag complex. A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 12 / 32

G ENERALIZED MOMENT - ANGLE COMPLEXES Generalized Davis–Januszkiewicz spaces G abelian topological group G GDJ space Z K ( BG ) . � G = S 1 : Usual Davis–Januszkiewicz space, Z K ( CP ✽ ) . π 1 = t 1 ✉ . H ✝ ( Z K ( CP ✽ ) , Z ) = S / I K , where S = Z [ x 1 , . . . , x m ] , deg x i = 2. G = Z 2 : Real Davis–Januszkiewicz space, Z K ( RP ✽ ) . π 1 = W K , the right-angled Coxeter group associated to K ( 1 ) . H ✝ ( Z K ( RP ✽ ) , Z 2 ) = R / I K , where R = Z 2 [ x 1 , . . . , x m ] , deg x i = 1. G = Z : Toric complex, Z K ( S 1 ) . π 1 = G K , the right-angled Artin group associated to Γ = K ( 1 ) . H ✝ ( Z K ( S 1 ) , Z ) = E / J K , where E = ➍ [ e 1 , . . . , e m ] , deg e i = 1. In general, we have a bundle G m Ñ Z K ( EG , G ) Ñ Z K ( BG ) . If G is a finitely generated (discrete) abelian group, then π 1 ( Z K ( BG )) ab = G m , and thus Z K ( EG , G ) is the universal abelian cover of Z K ( BG ) . A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 13 / 32

G ENERALIZED MOMENT - ANGLE COMPLEXES T HEOREM (B AHRI , B ENDERSKY , C OHEN , G ITLER ) Let K a simplicial complex on m vertices. There is a natural homotopy equivalence � ➟ � ♣ Σ ( Z K ( X , A )) ✔ Σ Z K I ( X , A ) , I ⑨ [ m ] where K I is the induced subcomplex of K on the subset I ⑨ [ m ] . C OROLLARY If X is contractible and A is a discrete subspace consisting of p points, then ( p ✁ 1 ) ⑤ I ⑤ à à r H k ( Z K ( X , A ) ; R ) ✕ H k ✁ 1 ( K I ; R ) . 1 I ⑨ [ m ] A LEX S UCIU (N ORTHEASTERN ) C OHOMOLOGY OF REAL TORIC MANIFOLDS B REMEN W ORKSHOP 14 / 32