raags in ham
play

RAAGs in Ham Misha Kapovich UC Davis June 30, 2011 Motivation M - PowerPoint PPT Presentation

RAAGs in Ham Misha Kapovich UC Davis June 30, 2011 Motivation M is a compact surface, is area form on M . Diff ( M , ) is the group of area-preserving diffeomorphisms of M . Motivation M is a compact surface, is area form on M


  1. RAAGs in Ham Misha Kapovich UC Davis June 30, 2011

  2. Motivation ◮ M is a compact surface, ω is area form on M . Diff ( M , ω ) is the group of area-preserving diffeomorphisms of M .

  3. Motivation ◮ M is a compact surface, ω is area form on M . Diff ( M , ω ) is the group of area-preserving diffeomorphisms of M . ◮ Zimmer’s Program (prediction): If Λ is a lattice of rank ≥ 2 (e.g. SL (3 , Z )) then Λ cannot embed in Diff ( M , ω ).

  4. Motivation ◮ M is a compact surface, ω is area form on M . Diff ( M , ω ) is the group of area-preserving diffeomorphisms of M . ◮ Zimmer’s Program (prediction): If Λ is a lattice of rank ≥ 2 (e.g. SL (3 , Z )) then Λ cannot embed in Diff ( M , ω ). ◮ Note: SL (3 , Z ) embeds in Diff ( S 2 ).

  5. Motivation ◮ M is a compact surface, ω is area form on M . Diff ( M , ω ) is the group of area-preserving diffeomorphisms of M . ◮ Zimmer’s Program (prediction): If Λ is a lattice of rank ≥ 2 (e.g. SL (3 , Z )) then Λ cannot embed in Diff ( M , ω ). ◮ Note: SL (3 , Z ) embeds in Diff ( S 2 ). ◮ Negative results: L. Polterovich; Franks and Handel: A non-uniform lattice of rank ≥ 2 cannot embed in Diff ( M , ω ). A non-uniform (irreducible) lattice in a Lie group (different from O ( n , 1)) cannot embed in Diff ( M , ω ) if χ ( M ) ≤ 0.

  6. Motivation ◮ M is a compact surface, ω is area form on M . Diff ( M , ω ) is the group of area-preserving diffeomorphisms of M . ◮ Zimmer’s Program (prediction): If Λ is a lattice of rank ≥ 2 (e.g. SL (3 , Z )) then Λ cannot embed in Diff ( M , ω ). ◮ Note: SL (3 , Z ) embeds in Diff ( S 2 ). ◮ Negative results: L. Polterovich; Franks and Handel: A non-uniform lattice of rank ≥ 2 cannot embed in Diff ( M , ω ). A non-uniform (irreducible) lattice in a Lie group (different from O ( n , 1)) cannot embed in Diff ( M , ω ) if χ ( M ) ≤ 0. ◮ Question: What happens with lattices in O ( n , 1)?

  7. Ham ◮ ω is a symplectic form on a manifold M (a closed, nondegenerate 2-form, e.g., area form on a surface). H = H t : M → R is a time-dependent smooth function. X H is the Hamiltonian vector field of H :

  8. Ham ◮ ω is a symplectic form on a manifold M (a closed, nondegenerate 2-form, e.g., area form on a surface). H = H t : M → R is a time-dependent smooth function. X H is the Hamiltonian vector field of H : ◮ dH ( ξ ) = ω ( X H , ξ ), i.e., X H is the “symplectic gradient.”

  9. Ham ◮ ω is a symplectic form on a manifold M (a closed, nondegenerate 2-form, e.g., area form on a surface). H = H t : M → R is a time-dependent smooth function. X H is the Hamiltonian vector field of H : ◮ dH ( ξ ) = ω ( X H , ξ ), i.e., X H is the “symplectic gradient.” ∂ ∂ t f t = X H is the Hamiltonian flow of H . Maps f t are ◮ Hamiltonian symplectomorphisms of ( M , ω ).

  10. Ham ◮ ω is a symplectic form on a manifold M (a closed, nondegenerate 2-form, e.g., area form on a surface). H = H t : M → R is a time-dependent smooth function. X H is the Hamiltonian vector field of H : ◮ dH ( ξ ) = ω ( X H , ξ ), i.e., X H is the “symplectic gradient.” ∂ ∂ t f t = X H is the Hamiltonian flow of H . Maps f t are ◮ Hamiltonian symplectomorphisms of ( M , ω ). ◮ Ham ( M , ω ) is the group of Hamiltonian symplectomorphisms. If M is a surface, Ham ( M , ω ) ⊂ Diff ( M , ω ).

  11. Ham ◮ ω is a symplectic form on a manifold M (a closed, nondegenerate 2-form, e.g., area form on a surface). H = H t : M → R is a time-dependent smooth function. X H is the Hamiltonian vector field of H : ◮ dH ( ξ ) = ω ( X H , ξ ), i.e., X H is the “symplectic gradient.” ∂ ∂ t f t = X H is the Hamiltonian flow of H . Maps f t are ◮ Hamiltonian symplectomorphisms of ( M , ω ). ◮ Ham ( M , ω ) is the group of Hamiltonian symplectomorphisms. If M is a surface, Ham ( M , ω ) ⊂ Diff ( M , ω ). ◮ Note: If M is a surface, then, as a group, Ham ( M , ω ) is independent of ω (Mozer); thus, Ham ( M , ω ) = Ham ( M ).

  12. RAAGs ◮ Warning: Our convention is opposite to the standard (but is consistent with Dynkin diagrams).

  13. RAAGs ◮ Warning: Our convention is opposite to the standard (but is consistent with Dynkin diagrams). ◮ Γ is a finite graph (1-dimensional simplicial complex), V (Γ) is the vertex set, E (Γ) is the edge set.

  14. RAAGs ◮ Warning: Our convention is opposite to the standard (but is consistent with Dynkin diagrams). ◮ Γ is a finite graph (1-dimensional simplicial complex), V (Γ) is the vertex set, E (Γ) is the edge set. ◮ Right-Angled Artin Group (RAAG) G Γ = � g v , v ∈ V (Γ) | [ g v , g w ] = 1 , [ v , w ] / ∈ E (Γ) � .

  15. RAAGs ◮ Warning: Our convention is opposite to the standard (but is consistent with Dynkin diagrams). ◮ Γ is a finite graph (1-dimensional simplicial complex), V (Γ) is the vertex set, E (Γ) is the edge set. ◮ Right-Angled Artin Group (RAAG) G Γ = � g v , v ∈ V (Γ) | [ g v , g w ] = 1 , [ v , w ] / ∈ E (Γ) � . ◮ Examples: Free groups, free abelian groups,...

  16. RAAGs ◮ Warning: Our convention is opposite to the standard (but is consistent with Dynkin diagrams). ◮ Γ is a finite graph (1-dimensional simplicial complex), V (Γ) is the vertex set, E (Γ) is the edge set. ◮ Right-Angled Artin Group (RAAG) G Γ = � g v , v ∈ V (Γ) | [ g v , g w ] = 1 , [ v , w ] / ∈ E (Γ) � . ◮ Examples: Free groups, free abelian groups,... ◮ Theorem (Bergeron, Haglind, Wise): If Γ is an arithmetic lattice in O ( n , 1) of the simplest type then a finite-index subgroup in Γ embeds in some RAAG.

  17. RAAGs in Ham ◮ Main Theorem. Every RAAG embeds in every Ham: For every symplectic manifold ( M , ω ) and every RAAG G Γ , there exists an embedding G Γ ֒ → Ham ( M , ω ).

  18. RAAGs in Ham ◮ Main Theorem. Every RAAG embeds in every Ham: For every symplectic manifold ( M , ω ) and every RAAG G Γ , there exists an embedding G Γ ֒ → Ham ( M , ω ). ◮ Corollary. For every n there exist finite volume hyperbolic n -manifolds N (compact and not) so that π 1 ( N ) embeds in every Ham .

  19. RAAGs in Ham ◮ Main Theorem. Every RAAG embeds in every Ham: For every symplectic manifold ( M , ω ) and every RAAG G Γ , there exists an embedding G Γ ֒ → Ham ( M , ω ). ◮ Corollary. For every n there exist finite volume hyperbolic n -manifolds N (compact and not) so that π 1 ( N ) embeds in every Ham . ◮ The most difficult case is M = S 2 .

  20. Outline of the proof ◮ Step 1. Embed given G = G Γ in Ham ( M ) for some surface M of genus depending on Γ.

  21. Outline of the proof ◮ Step 1. Embed given G = G Γ in Ham ( M ) for some surface M of genus depending on Γ. ◮ Step 2. Lift the action of G to the universal cover of M (hyperbolic plane H 2 ). The (faithful) action of G extends (topologically) to the rest of S 2 by the identity.

  22. Outline of the proof ◮ Step 1. Embed given G = G Γ in Ham ( M ) for some surface M of genus depending on Γ. ◮ Step 2. Lift the action of G to the universal cover of M (hyperbolic plane H 2 ). The (faithful) action of G extends (topologically) to the rest of S 2 by the identity. ◮ Replace the hyperbolic area form with spherical, modify the action of G so that it extends to a Lipschitz, faithful, area-preserving action on S 2 . The action fixes the exterior of H 2 .

  23. Outline of the proof ◮ Step 1. Embed given G = G Γ in Ham ( M ) for some surface M of genus depending on Γ. ◮ Step 2. Lift the action of G to the universal cover of M (hyperbolic plane H 2 ). The (faithful) action of G extends (topologically) to the rest of S 2 by the identity. ◮ Replace the hyperbolic area form with spherical, modify the action of G so that it extends to a Lipschitz, faithful, area-preserving action on S 2 . The action fixes the exterior of H 2 . ◮ Step 3. Smooth out the action preserving faithfulness.

  24. Step 1 (topology) ◮ Embed the graph Γ in M for some surface M of genus � = 1.

  25. Step 1 (topology) ◮ Embed the graph Γ in M for some surface M of genus � = 1. ◮ Thicken Γ ⊂ M : Replace each vertex v by a domain D v so that the nerve of the collection { D v } is Γ.

  26. Step 1 (topology) ◮ Embed the graph Γ in M for some surface M of genus � = 1. ◮ Thicken Γ ⊂ M : Replace each vertex v by a domain D v so that the nerve of the collection { D v } is Γ. ◮ Pick functions H v supported on D v and let f v be the time-1 maps of the associated Hamiltonian flows. Then each f v is also supported in D v .

  27. Step 1 (topology) ◮ Embed the graph Γ in M for some surface M of genus � = 1. ◮ Thicken Γ ⊂ M : Replace each vertex v by a domain D v so that the nerve of the collection { D v } is Γ. ◮ Pick functions H v supported on D v and let f v be the time-1 maps of the associated Hamiltonian flows. Then each f v is also supported in D v . ◮ Since D v ∩ D w = ∅ whenever [ v , w ] / ∈ E (Γ), [ f v , f w ] = 1 and we get a homomorphism G Γ → Ham ( M ),

  28. Step 1 (topology) ◮ Embed the graph Γ in M for some surface M of genus � = 1. ◮ Thicken Γ ⊂ M : Replace each vertex v by a domain D v so that the nerve of the collection { D v } is Γ. ◮ Pick functions H v supported on D v and let f v be the time-1 maps of the associated Hamiltonian flows. Then each f v is also supported in D v . ◮ Since D v ∩ D w = ∅ whenever [ v , w ] / ∈ E (Γ), [ f v , f w ] = 1 and we get a homomorphism G Γ → Ham ( M ), ◮ given by ρ ( g v ) = f v .

Recommend


More recommend