let g z and x 1 let g z and x 1 then g x is let g z and x
play

Let G = Z and X = { 1 } . Let G = Z and X = { 1 } . Then ( G , X ) is - PowerPoint PPT Presentation

Sep 14, 2023 •219 likes •1.03k views

Q UASI - PARABOLIC STRUCTURES ON GROUPS Sahana Balasubramanya 1 University of M unster V IRTUAL G EOMETRIC G ROUP T HEORY C ONFERENCE CIRM, J UNE 2020 1 Partly joint work with D.Osin, C.Abbott and A.Rasmussen I NTRODUCTION G is a group I

  1. Q UASI - PARABOLIC STRUCTURES ON GROUPS Sahana Balasubramanya 1 University of M¨ unster V IRTUAL G EOMETRIC G ROUP T HEORY C ONFERENCE CIRM, J UNE 2020 1 Partly joint work with D.Osin, C.Abbott and A.Rasmussen

  2. I NTRODUCTION G is a group

  3. I NTRODUCTION G is a group ↓ Pick a generating set X (not necessarily finite)

  4. I NTRODUCTION G is a group ↓ Pick a generating set X (not necessarily finite) ↓ Construct the Cayley graph Γ( G , X )

  5. I NTRODUCTION G is a group ↓ Pick a generating set X (not necessarily finite) ↓ Construct the Cayley graph Γ( G , X ) ↓ G � Γ( G , X ) is isometric and cobounded

  6. Let G = Z and X = {± 1 } .

  7. Let G = Z and X = {± 1 } . Then Γ( G , X ) is

  8. Let G = Z and X = {± 1 } . Then Γ( G , X ) is If X = G , then Γ( G , X ) is

  9. Let G = Z and X = {± 1 } . Then Γ( G , X ) is If X = G , then Γ( G , X ) is

  10. D EFINITION (C OMPARING GENERATING SETS ; ABO) Let X , Y be two generating sets of a group G . We say that X is dominated by Y , written X � Y , if sup | y | X < ∞ . y ∈ Y

  11. D EFINITION (C OMPARING GENERATING SETS ; ABO) Let X , Y be two generating sets of a group G . We say that X is dominated by Y , written X � Y , if sup | y | X < ∞ . y ∈ Y � is a preorder on the set of generating sets of G and therefore it induces an equivalence relation by: X ∼ Y ⇔ X � Y and Y � X .

  12. D EFINITION (C OMPARING GENERATING SETS ; ABO) Let X , Y be two generating sets of a group G . We say that X is dominated by Y , written X � Y , if sup | y | X < ∞ . y ∈ Y � is a preorder on the set of generating sets of G and therefore it induces an equivalence relation by: X ∼ Y ⇔ X � Y and Y � X . We denote the equivalence class of X by [ X ] .

  13. ◮ If X ⊂ Y , then Y � X (Inclusion reversing)

  14. ◮ If X ⊂ Y , then Y � X (Inclusion reversing) ◮ [ X ] � [ Y ] ⇐ ⇒ X � Y

  15. ◮ If X ⊂ Y , then Y � X (Inclusion reversing) ◮ [ X ] � [ Y ] ⇐ ⇒ X � Y ◮ If G has a finite generating set X , then [ X ] is the largest structure

  16. ◮ If X ⊂ Y , then Y � X (Inclusion reversing) ◮ [ X ] � [ Y ] ⇐ ⇒ X � Y ◮ If G has a finite generating set X , then [ X ] is the largest structure ◮ If [ X ] = [ Y ] , then Γ( G , X ) is quasi-isometric to Γ( G , Y )

  17. T HE POSET OF HYPERBOLIC STRUCTRES D EFINITION (ABO) A hyperbolic structure on G is an equivalence class [ X ] such that Γ( G , X ) is hyperbolic.

  18. T HE POSET OF HYPERBOLIC STRUCTRES D EFINITION (ABO) A hyperbolic structure on G is an equivalence class [ X ] such that Γ( G , X ) is hyperbolic. We denote the set of hyperbolic structures by H ( G ) and endow it with the order induced from above.

  19. T HE POSET OF HYPERBOLIC STRUCTRES D EFINITION (ABO) A hyperbolic structure on G is an equivalence class [ X ] such that Γ( G , X ) is hyperbolic. We denote the set of hyperbolic structures by H ( G ) and endow it with the order induced from above. Elements of H ( G ) � Equivalence classes of cobounded actions of G on hyperbolic spaces (up to a natural equivalence)

  20. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G )

  21. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X

  22. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures.

  23. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure

  24. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure ◮ H ℓ ( G ) contains lineal structures.

  25. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure ◮ H ℓ ( G ) contains lineal structures. i.e. | Λ( G ) | = 2

  26. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure ◮ H ℓ ( G ) contains lineal structures. i.e. | Λ( G ) | = 2 ◮ H qp ( G ) contains quasi-parabolic structures.

  27. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure ◮ H ℓ ( G ) contains lineal structures. i.e. | Λ( G ) | = 2 ◮ H qp ( G ) contains quasi-parabolic structures. i.e. | Λ( G ) | = ∞ and G fixes a point of ∂ X

  28. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure ◮ H ℓ ( G ) contains lineal structures. i.e. | Λ( G ) | = 2 ◮ H qp ( G ) contains quasi-parabolic structures. i.e. | Λ( G ) | = ∞ and G fixes a point of ∂ X ◮ H gt ( G ) contains general type structures. i.e.

  29. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure ◮ H ℓ ( G ) contains lineal structures. i.e. | Λ( G ) | = 2 ◮ H qp ( G ) contains quasi-parabolic structures. i.e. | Λ( G ) | = ∞ and G fixes a point of ∂ X ◮ H gt ( G ) contains general type structures. i.e. | Λ( G ) | = ∞ and G has no fixed points on ∂ X .

  30. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure ◮ H ℓ ( G ) contains lineal structures. i.e. | Λ( G ) | = 2 ◮ H qp ( G ) contains quasi-parabolic structures. i.e. | Λ( G ) | = ∞ and G fixes a point of ∂ X ◮ H gt ( G ) contains general type structures. i.e. | Λ( G ) | = ∞ and G has no fixed points on ∂ X . ◮ Parabolic actions are never cobounded

  31. S OME THEOREMS AND MOTIVATION T HEOREM (ABO) For any group G, H ( G ) = H e ( G ) ⊔ H ℓ ( G ) ⊔ H qp ( G ) ⊔ H gt ( G ) ◮ Let Λ( G ) denote the limit points of G on ∂ X ◮ H e ( G ) contains elliptic structures. i.e. | Λ( G ) | = 0 H e ( G ) = { [ G ] } always and is the smallest structure ◮ H ℓ ( G ) contains lineal structures. i.e. | Λ( G ) | = 2 ◮ H qp ( G ) contains quasi-parabolic structures. i.e. | Λ( G ) | = ∞ and G fixes a point of ∂ X ◮ H gt ( G ) contains general type structures. i.e. | Λ( G ) | = ∞ and G has no fixed points on ∂ X . ◮ Parabolic actions are never cobounded ◮ H ( G ) is a way to study all possible cobounded actions of a group on hyperbolic spaces, upto q.i.

  32. T HEOREM (ABO) For every n ∈ N , there exists a group G n such that |H ℓ ( G n ) | = n and |H qp ( G n ) | = |H gt ( G n ) | = 0 .

  33. T HEOREM (ABO) For every n ∈ N , there exists a group G n such that |H ℓ ( G n ) | = n and |H qp ( G n ) | = |H gt ( G n ) | = 0 . T HEOREM (ABO) For every n ∈ N , there exists a group H n such that |H gt ( H n ) | = n and |H qp ( H n ) | = |H ℓ ( H n ) | = 0 .

  34. T HEOREM (ABO) If [ A ] ∈ H qp ( G ) , then there exists [ B ] ∈ H ℓ ( G ) such that [ B ] � [ A ] .

  35. T HEOREM (ABO) If [ A ] ∈ H qp ( G ) , then there exists [ B ] ∈ H ℓ ( G ) such that [ B ] � [ A ] . ◮ Consequence of the Buseman pseudocharacter (Manning)

  36. T HEOREM (ABO) If [ A ] ∈ H qp ( G ) , then there exists [ B ] ∈ H ℓ ( G ) such that [ B ] � [ A ] . ◮ Consequence of the Buseman pseudocharacter (Manning) T HEOREM (ABO) H qp ( Z wr Z ) contains an antichain of cardinality continuum.

  37. T HEOREM (ABO) If [ A ] ∈ H qp ( G ) , then there exists [ B ] ∈ H ℓ ( G ) such that [ B ] � [ A ] . ◮ Consequence of the Buseman pseudocharacter (Manning) T HEOREM (ABO) H qp ( Z wr Z ) contains an antichain of cardinality continuum. ◮ Obtained by factoring through Z n wr Z acting on the Bass-Serre tree.

  38. Q UESTIONS 1. Does there exist a group such that |H qp ( G ) | is non-empty and finite ?

Recommend

More recommend