cotorsion free groups from a topological viewpoint
play

Cotorsion-free groups from a topological viewpoint Hanspeter Fischer - PowerPoint PPT Presentation

Introduction Results Proofs Cotorsion-free groups from a topological viewpoint Hanspeter Fischer (Ball State University, USA) joint work with Katsuya Eda (Waseda University, Japan) TOPOSYM 2016 Prague, Czech Republic July 26, 2016 K. Eda,


  1. Introduction Results Proofs Cotorsion-free groups from a topological viewpoint Hanspeter Fischer (Ball State University, USA) joint work with Katsuya Eda (Waseda University, Japan) TOPOSYM 2016 Prague, Czech Republic July 26, 2016 K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  2. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Definition For an open cover U of a path-connected space X and x ∈ X , π (U , x ) ⩽ π 1 ( X , x ) is generated by all elements [ αβα − ] with α ∶ ([ 0 , 1 ] , 0 ) → ( X , x ) , β ∶ ([ 0 , 1 ] , { 0 , 1 }) → ( U ,α ( 1 )) , U ∈ U . x α U ∈ U β Generalized covering spaces Generalized slender groups Asphericity criteria Theory of free σ -products “Cayley graph” for π 1 ( M ) Classification of homotopy of the Menger curve M types of 1-dim spaces by π 1 ⋮ ⋮ K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  3. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Properties (1) π ( U , x ) is a normal subgroup of π 1 ( X , x ) . K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  4. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Properties (1) π ( U , x ) is a normal subgroup of π 1 ( X , x ) . (2) If V refines U , then π ( V , x ) ⩽ π ( U , x ) . K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  5. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Properties (1) π ( U , x ) is a normal subgroup of π 1 ( X , x ) . (2) If V refines U , then π ( V , x ) ⩽ π ( U , x ) . (3) For locally path-connected X : (a) ∃ V ∶ π ( V , x ) = ⋂ π ( U , x ) ⇔ X has a universal covering space. U K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  6. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Properties (1) π ( U , x ) is a normal subgroup of π 1 ( X , x ) . (2) If V refines U , then π ( V , x ) ⩽ π ( U , x ) . (3) For locally path-connected X : (a) ∃ V ∶ π ( V , x ) = ⋂ π ( U , x ) ⇔ X has a universal covering space. U (b) ∃ U ∶ π ( U , x ) = 1 ⇔ X has a simply connected covering space. K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  7. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Properties (1) π ( U , x ) is a normal subgroup of π 1 ( X , x ) . (2) If V refines U , then π ( V , x ) ⩽ π ( U , x ) . (3) For locally path-connected X : (a) ∃ V ∶ π ( V , x ) = ⋂ π ( U , x ) ⇔ X has a universal covering space. U (b) ∃ U ∶ π ( U , x ) = 1 ⇔ X has a simply connected covering space. Example: The Hawaiian Earring H = ∞ ⋃ C k k = 1 ∀ U ∶ π ( U , ∗ ) / = 1 C 1 but ⋂ π ( U , ∗ ) = 1 C 2 C 3 U K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  8. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Properties (1) π ( U , x ) is a normal subgroup of π 1 ( X , x ) . (2) If V refines U , then π ( V , x ) ⩽ π ( U , x ) . (3) For locally path-connected X : (a) ∃ V ∶ π ( V , x ) = ⋂ π ( U , x ) ⇔ X has a universal covering space. U (b) ∃ U ∶ π ( U , x ) = 1 ⇔ X has a simply connected covering space. Example: The Hawaiian Earring H = ∞ ⋃ C k k = 1 ∀ U ∶ π ( U , ∗ ) / = 1 C 1 but ⋂ π ( U , ∗ ) = 1 C 2 C 3 U Definition: π s ( X , x ) = ⋂ π ( U , x ) ( Spanier group ) U K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  9. � � Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Theorem [F-Zastrow 2007] There exists a generalized covering p ∶ ̃ X → X w.r.t. π s ( X , x ) : (1) ̃ X is path connected (pc) and locally path connected (lpc). (2) p # ∶ π 1 ( ̃ X , ̃ x ) → π 1 ( X , x ) is a monomorphism onto π s ( X , x ) . ( ̃ X , ̃ x ) ⇒ f # π 1 ( Y , y ) ⩽ p # π 1 ( ̃ X , ̃ x ) ∃ ! ̃ f (3) ⇐ p ∀ f � ( X , x ) ( Y pc , lpc , y ) K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  10. � � Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Theorem [F-Zastrow 2007] There exists a generalized covering p ∶ ̃ X → X w.r.t. π s ( X , x ) : (1) ̃ X is path connected (pc) and locally path connected (lpc). (2) p # ∶ π 1 ( ̃ X , ̃ x ) → π 1 ( X , x ) is a monomorphism onto π s ( X , x ) . ( ̃ X , ̃ x ) ⇒ f # π 1 ( Y , y ) ⩽ p # π 1 ( ̃ X , ̃ x ) ∃ ! ̃ f (3) ⇐ p ∀ f � ( X , x ) ( Y pc , lpc , y ) If π s ( X , x ) = 1, we call p ∶ ̃ X → X a generalized universal covering . K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  11. � � Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Theorem [F-Zastrow 2007] There exists a generalized covering p ∶ ̃ X → X w.r.t. π s ( X , x ) : (1) ̃ X is path connected (pc) and locally path connected (lpc). (2) p # ∶ π 1 ( ̃ X , ̃ x ) → π 1 ( X , x ) is a monomorphism onto π s ( X , x ) . ( ̃ X , ̃ x ) ⇒ f # π 1 ( Y , y ) ⩽ p # π 1 ( ̃ X , ̃ x ) ∃ ! ̃ f (3) ⇐ p ∀ f � ( X , x ) ( Y pc , lpc , y ) If π s ( X , x ) = 1, we call p ∶ ̃ X → X a generalized universal covering . Examples with π s ( X , x ) = 1 include: 1-dimensional spaces [Eda-Kawamura 1998] subsets of surfaces [F-Zastrow 2005] certain “trees of manifolds” [F-Guilbault 2005] K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  12. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Definition An abelian group A is called slender if for every homomorphism h ∶ Z N → A , ∃ n ∈ N ∀ c n , c n + 1 , ⋅⋅⋅ ∈ Z : h ( 0 ,..., 0 , c n , c n + 1 ,... ) = 0. K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  13. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Definition An abelian group A is called slender if for every homomorphism h ∶ Z N → A , ∃ n ∈ N ∀ c n , c n + 1 , ⋅⋅⋅ ∈ Z : h ( 0 ,..., 0 , c n , c n + 1 ,... ) = 0. Definition A group G is called n-slender if for every homomorphism h ∶ π 1 ( H , ∗ ) → G , ∃ n ∈ N ∀ γ ⊆ ⋃ ∞ k = n C k : h ([ γ ]) = 1. K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  14. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Definition An abelian group A is called slender if for every homomorphism h ∶ Z N → A , ∃ n ∈ N ∀ c n , c n + 1 , ⋅⋅⋅ ∈ Z : h ( 0 ,..., 0 , c n , c n + 1 ,... ) = 0. Definition A group G is called n-slender if for every homomorphism h ∶ π 1 ( H , ∗ ) → G , ∃ n ∈ N ∀ γ ⊆ ⋃ ∞ k = n C k : h ([ γ ]) = 1. Examples: Free groups are n-slender [Higman, Griffiths 1952-56]. Certain HNN extensions of n-slender groups are n-slender, including the Baumslag-Solitar groups [Nakamura 2015]. K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  15. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Definition An abelian group A is called slender if for every homomorphism h ∶ Z N → A , ∃ n ∈ N ∀ c n , c n + 1 , ⋅⋅⋅ ∈ Z : h ( 0 ,..., 0 , c n , c n + 1 ,... ) = 0. Definition A group G is called n-slender if for every homomorphism h ∶ π 1 ( H , ∗ ) → G , ∃ n ∈ N ∀ γ ⊆ ⋃ ∞ k = n C k : h ([ γ ]) = 1. Examples: Free groups are n-slender [Higman, Griffiths 1952-56]. Certain HNN extensions of n-slender groups are n-slender, including the Baumslag-Solitar groups [Nakamura 2015]. Theorems [Eda 1992, 2005] (1) An abelian group A is n-slender ⇔ A is slender. K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  16. Introduction Spanier groups Results Generalized covering spaces Proofs Generalized slender groups Definition An abelian group A is called slender if for every homomorphism h ∶ Z N → A , ∃ n ∈ N ∀ c n , c n + 1 , ⋅⋅⋅ ∈ Z : h ( 0 ,..., 0 , c n , c n + 1 ,... ) = 0. Definition A group G is called n-slender if for every homomorphism h ∶ π 1 ( H , ∗ ) → G , ∃ n ∈ N ∀ γ ⊆ ⋃ ∞ k = n C k : h ([ γ ]) = 1. Examples: Free groups are n-slender [Higman, Griffiths 1952-56]. Certain HNN extensions of n-slender groups are n-slender, including the Baumslag-Solitar groups [Nakamura 2015]. Theorems [Eda 1992, 2005] (1) An abelian group A is n-slender ⇔ A is slender. (2) A group G is n-slender ⇔ for every Peano continuum X and every homomorphism h ∶ π 1 ( X , x ) → G , ∃ U ∶ h ( π ( U , x )) = 1. K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

  17. Introduction Homomorphically Hausdorff Results Spanier-trivial Proofs Main Theorem Definition A group G is homomorphically Hausdorff relative to a space X if for every homomorphism h ∶ π 1 ( X , x ) → G , ⋂ h ( π (U , x )) = 1. U K. Eda, H. Fischer Cotorsion-free groups from a topological viewpoint

Recommend


More recommend