Skip to main content
×
×
Home

A closed simplicial model category for proper homotopy and shape theories

  • J.M. García-Calcines (a1), M. Garcia-Pinillos (a2) and L.J. Hernández-Paricio (a3)
Abstract

In this paper, we introduce the notion of exterior space and give a full embedding of the category P of spaces and proper maps into the category E of exterior spaces. We show that the category E admits the structure of a closed simplicial model category. This technique solves the problem of using homotopy constructions available in the localised category HoE and in the “homotopy category” π0E, which can not be developed in the proper homotopy category.

On the other hand, for compact metrisable spaces we have formulated sets of shape morphisms, discrete shape morphisms and strong shape morphisms in terms of sets of exterior homotopy classes and for the case of finite covering dimension in terms of homomorphism sets in the localised category.

As applications, we give a new version of the Whitehead Theorem for proper homotopy and an exact sequence that generalises Quigley's exact sequence and contains the shape version of Edwards-Hastings' Comparison Theorem.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      A closed simplicial model category for proper homotopy and shape theories
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      A closed simplicial model category for proper homotopy and shape theories
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      A closed simplicial model category for proper homotopy and shape theories
      Available formats
      ×
Copyright
References
Hide All
[1]Ayala, R., Dominguez, E. and Quintero, A., ‘A theoretical framework for Proper Homotopy Theory’, Math. Proc. Cambridge Philos. Soc. 107 (1990), 475482.
[2]Baues, H.J., Algebraic homotopy (Cambridge University Press, Cambridge, 1988).
[3]Baues, H.J., ‘Foundations of proper homotopy theory’, (preprint, 1992).
[4]Brown, E.M., On the proper homotopy type of simplicial complexes, Lecture Notes in Math. 375 (Springer-Verlag, Berlin, Heidelberg, New York, 1975).
[5]Cabeza, J., Elvira, M. C. and Hernández, L. J., ‘Una categoría cofibrada para las aplicaciones propias’, in Acdas XIV Jor. Hispano-Lusas, Vol. II (Univ. de La Laguna, 1989), pp. 595–590.
[6]Cathey, F., Strong shape theory, Lecture Notes in Math. 870 (Springer-Verlag, Berlin, Heidelberg, New York, 1981), pp. 215–238.
[7]Cordier, J.M. and Porter, T., Shape theory, categorical methods of approximation, Ellis Horwood Ser. Math. Appl. (Ellis Horwood, Chichester, Halstead Press, New York, 1989).
[8]Farjoun, E. Dror, Cellular Spaces, Null Spaces and Homotopy Localization, Lecture Notes in Math. 1622 (Springer-Verlag, Berlin, Heidelberg, New York, 1995).
[9]Edwards, D. and Hastings, H., Čech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Math. 542 (Springer-Verlag, Berlin, Heidelberg, New York, 1976).
[10]Freedman, M. H., ‘The topology of four-dimensional manifolds’, J. Diff. Geom. 17 (1982), 357453.
[11]Freudenthal, H., ‘Über die Enden topologisher Räume und Gruppen’, Math. Zeith. 53 (1931), 692713.
[12]Gabriel, P. and Zisman, M., Calculus of fractions and homotopy theory (Springer-Verlag, Berlin, Heidelberg, New York, 1966).
[13]Hirschhorn, P.S., ‘Localization, cellularization and homotopy colimits’, (preprint, 1995).
[14]Lane, S. Mac, Categories for the working mathematician (Springer-Verlag, Berlin, Heidelberg, New York, 1971).
[15]Lane, S. Mac and Moerdijk, I., Sheaves in geometry and logic (Springer-Verlag, Berlin, Heidelberg, New York, 1991).
[16]Porter, T., ‘Stability results for topological spaces’, Math. Z. 140 (1974), 121.
[17]Porter, T., ‘Čech and Steenrod homotopy and the Quigley exact couple in strong shape and proper homotopy theory’, J. Pure Appl. Alg. 24 (1983), 303312.
[18]Porter, T., ‘Proper homotopy theory’, in Handbook of Algebraic Topology (North Holland, Amsterdam, 1995), pp. 127167.
[19]Quigley, J.B., ‘An exact sequence from the nth to the (n−l)-st fundamental group’, Fund. Math. 77 (1973), 195210.
[20]Quillen, D., Homotopical Algebra, Lecture Notes in Math. 43 (Springer-Verlag, Berlin, Heidelberg, New York, 1967).
[21]Quillen, D., ‘Rational homotopy theory’, Ann. of Math. 90 (1969), 205295.
[22]Siebenmann, L.C., The obstruction of finding a boundary for an open manifold of dimension greater than five, (Thesis), 1965.
[23]Siebenmann, L.C., ‘Infinite simple homotopy types’, Indag. Math. 32 (1970), 479495.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of the Australian Mathematical Society
  • ISSN: 0004-9727
  • EISSN: 1755-1633
  • URL: /core/journals/bulletin-of-the-australian-mathematical-society
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×
MathJax

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed