Fundamental pro-groupoids and covering projections

Luis Hernández-Paricio

Fundamenta Mathematicae (1998)

  • Volume: 156, Issue: 1, page 1-31
  • ISSN: 0016-2736

Abstract

top
We introduce a new notion of covering projection E → X of a topological space X which reduces to the usual notion if X is locally connected. We use locally constant presheaves and covering reduced sieves to find a pro-groupoid π crs (X) and an induced category pro (π crs (X), Sets) such that for any topological space X the category of covering projections and transformations of X is equivalent to the category pro (π crs (X), Sets). We also prove that the latter category is equivalent to pro (π CX, Sets), where π CX is the Čech fundamental pro-groupoid of X. If X is locally path-connected and semilocally 1-connected, we show that π crs (X) is weakly equivalent to π X, the standard fundamental groupoid of X, and in this case pro (π crs (X), Sets) is equivalent to the functor category S e t s π X . If (X,*) is a pointed connected compact metrisable space and if (X,*) is 1-movable, then the category of covering projections of X is equivalent to the category of continuous π ˇ 1 ( X , * ) -sets, where π ˇ 1 ( X , * ) is the Čech fundamental group provided with the inverse limit topology.

How to cite

top

Hernández-Paricio, Luis. "Fundamental pro-groupoids and covering projections." Fundamenta Mathematicae 156.1 (1998): 1-31. <http://eudml.org/doc/212259>.

@article{Hernández1998,
abstract = {We introduce a new notion of covering projection E → X of a topological space X which reduces to the usual notion if X is locally connected. We use locally constant presheaves and covering reduced sieves to find a pro-groupoid π crs (X) and an induced category pro (π crs (X), Sets) such that for any topological space X the category of covering projections and transformations of X is equivalent to the category pro (π crs (X), Sets). We also prove that the latter category is equivalent to pro (π CX, Sets), where π CX is the Čech fundamental pro-groupoid of X. If X is locally path-connected and semilocally 1-connected, we show that π crs (X) is weakly equivalent to π X, the standard fundamental groupoid of X, and in this case pro (π crs (X), Sets) is equivalent to the functor category $Sets^\{π X\}$. If (X,*) is a pointed connected compact metrisable space and if (X,*) is 1-movable, then the category of covering projections of X is equivalent to the category of continuous $\check\{π\}_1 (X,*)$-sets, where $\check\{π\}_1 (X,*)$ is the Čech fundamental group provided with the inverse limit topology.},
author = {Hernández-Paricio, Luis},
journal = {Fundamenta Mathematicae},
keywords = {covering projection; covering transformation; pro-groupoid, Čech fundamental pro-groupoid; covering reduced sieve; locally constant presheaf; category of fractions; subdivision; fundamental groupoid; Čech fundamental group; G-sets; continuous G-sets; pro-groupoid; Čech fundamental pro-groupoid},
language = {eng},
number = {1},
pages = {1-31},
title = {Fundamental pro-groupoids and covering projections},
url = {http://eudml.org/doc/212259},
volume = {156},
year = {1998},
}

TY - JOUR
AU - Hernández-Paricio, Luis
TI - Fundamental pro-groupoids and covering projections
JO - Fundamenta Mathematicae
PY - 1998
VL - 156
IS - 1
SP - 1
EP - 31
AB - We introduce a new notion of covering projection E → X of a topological space X which reduces to the usual notion if X is locally connected. We use locally constant presheaves and covering reduced sieves to find a pro-groupoid π crs (X) and an induced category pro (π crs (X), Sets) such that for any topological space X the category of covering projections and transformations of X is equivalent to the category pro (π crs (X), Sets). We also prove that the latter category is equivalent to pro (π CX, Sets), where π CX is the Čech fundamental pro-groupoid of X. If X is locally path-connected and semilocally 1-connected, we show that π crs (X) is weakly equivalent to π X, the standard fundamental groupoid of X, and in this case pro (π crs (X), Sets) is equivalent to the functor category $Sets^{π X}$. If (X,*) is a pointed connected compact metrisable space and if (X,*) is 1-movable, then the category of covering projections of X is equivalent to the category of continuous $\check{π}_1 (X,*)$-sets, where $\check{π}_1 (X,*)$ is the Čech fundamental group provided with the inverse limit topology.
LA - eng
KW - covering projection; covering transformation; pro-groupoid, Čech fundamental pro-groupoid; covering reduced sieve; locally constant presheaf; category of fractions; subdivision; fundamental groupoid; Čech fundamental group; G-sets; continuous G-sets; pro-groupoid; Čech fundamental pro-groupoid
UR - http://eudml.org/doc/212259
ER -

References

top
  1. [A-M] M. Artin and B. Mazur, Etale Homotopy, Lecture Notes in Math. 100, Springer, Berlin, 1967. 
  2. [E-H] D. A. Edwards and H. M. Hastings, Čech and Steenrod Homotopy Theories with Applications to Geometric Topology, Lecture Notes in Math. 542, Springer, 1970. Zbl0334.55001
  3. [F1] R. H. Fox, On shape, Fund. Math. 74 (1972), 47-71. 
  4. [F2] R. H. Fox, Shape theory and covering spaces, in: Lecture Notes in Math. 375, Springer, 1974, 71-90. 
  5. [G-Z] P. Gabriel and M. Zisman, Calculus of Fractions and Homotopy Theory, Springer, Heidelberg, 1967. Zbl0186.56802
  6. [God] C. Godbillon, Éléments de Topologie Algébrique, Hermann, Paris, 1971. 
  7. [Go] M. Golasiński, Homotopies of small categories, Fund. Math. 114 (1981), 209-217. Zbl0485.55014
  8. [Gro] A. Grothendieck, Revêtements Etales et Groupe Fondamental (SGA 1), Lecture Notes in Math. 222, Springer, Berlin, 1971. 
  9. [H] L. J. Hernández, Applications of simplicial M-sets to proper and strong shape theories, Trans. Amer. Math. Soc. 347 (1995), 363-409. Zbl0855.55007
  10. [J] P. T. Johnstone, Topos Theory, Academic Press, New York, 1977. 
  11. [M-M] S. MacLane and I. Moerdijk, Sheaves in Geometry and Logic, Springer, 1992. 
  12. [M-S] S. Mardešić and J. Segal, Shape Theory. The Inverse Systems Approach, North-Holland, 1982. 
  13. [M] I. Moerdijk, Prodiscrete groups and Galois toposes, Proc. Konink. Nederl. Akad. Wetensch. Ser. A 92 (1988), 219-234. Zbl0687.18004
  14. [P] T. Porter, Abstract homotopy theory in procategories, Cahiers Topologie Géom. Différentielle 17 (1976), 113-124. Zbl0349.18012
  15. [S] E. Spanier, Algebraic Topology, McGraw-Hill, New York, 1966. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.