New Developments in Differential Geometry pp 59-76 | Cite as

# The left exactness of the smooth left Puppe sequence

## Abstract

In a previous paper using ideas due to Frohlicher and Kriegl [2] and Lawvere, Schanuel and Zame [5], we showed how to extend the category of differential manifolds to the category of smooth spaces which is topological over sets and Cartesian closed. We also showed that the absolute smooth homotopy groups exist in a natural way in smooth homotopy. Let *f* : *A → B* be a smooth map between smooth finite dimensional differentiable manifolds. Using techniques from differential topology, we demonstrated that on applying the smooth II_{0} to the smooth left Puppe sequence:

...→ Ω*M* *f*→ Ω*A*→Ω*B*→ *M* *f*→ *A*→*B* (1)

one obtains the exact sequence of pointed sets:

... →II_{1} *M* *f*→II*A*→II_{1} *B*→II_{0} *M* *f*→II_{0} *A*→II_{0} *B*.

Here we show how one can argue directly, using methods internal to the category of smooth spaces for the more general left exactness of (1) in the sense of Whitehead [8] for a more general map between smooth spaces. We also show that the smooth suspension functor is left adjoint to the smooth loop functor, determine a representation of the n-th suspension Σ^{n} *S* ^{0} of the 0-th sphere as a quotient of R^{n} and obtain the long exact sequence of a smooth pointed pair.

## Keywords

Exact Sequence Homotopy Group Smooth Structure Smooth Space Leave Adjoint## Preview

Unable to display preview. Download preview PDF.

## References

- 1.P. Cherenack: Smooth Homotopy, (to appear)Google Scholar
- 2.A. Frohlicher and A. Kriegl:
*Linear Spaces and. Differentiation Theory*. New York, John Wiley and Sons, 1988Google Scholar - 3.M. Grandis: Homotopical algebra: a two dimensional categorical setting info Preprint
*Dipartimento di Matematica, Universita di Genova*191 (1991), 1–50.Google Scholar - 4.M.W. Hirsch:
*Differential Topology*. Springer-Verlag. 1976, BerlinzbMATHGoogle Scholar - 5.L. Lawvere, S. Schanuel and W. R. Zame: On C°°-function Spaces, preprintGoogle Scholar
- 6.Mac Lane:
*Categories for the Working Mathematician*. Springer-Verlag, 1971, BerlinzbMATHGoogle Scholar - 7.J. Rotman:
*An Introduction to Algebraic Topology*. Springer-Verlag, 1988, BerlinzbMATHCrossRefGoogle Scholar - 8.G.W. Whitehead:
*Homotopy Theory*. Berlin, Springer-Verlag, 1978zbMATHGoogle Scholar