Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Hansen, Vagn Lundsgaard
Languages: English
Types: Doctoral thesis
Subjects: QA

Classified by OpenAIRE into

arxiv: Mathematics::Algebraic Topology
This thesis offers several contributions to the homotopy theory of mapping spaces. These contributions fall naturally into two groups. Accordingly the thesis is divided into two parts:\ud \ud a) Part I Spaces of continuous maps;\ud b) Part II : Spaces of differentiable maps.\ud \ud Part 1 is mainly devoted to a study of the (path-) components in a given space of continuous maps. We show that a rich variety of homotopy types is possible thereby extending earlier fragmentary results of G.W.Whitehead, Hu and Koh in the same direction. As a new type of result we produce lots of examples of components which have the same homotopy type for non-trivial reasons. In certain favourable cases, e.g. in a space of maps of a sphere into itself, we solve completely the homotopy problem for the set of components. The study of the components in a space of continuous maps is closely related to the study of certain evaluation fibrations. For these evaluation fibrations we obtain strong results on the fibre homotopy type. The methods to obtain the results mentioned above involve Whitehead products and in particular a fundamental theorem of G.W.Whitehead, which describes the boundary operator in the homotopy sequence of an evaluation fibration in terms of such products. In the final chapter of Part I, Chapter 4, we prove a variation of a theorem of Federer and, independently, Thom on the qualitative structure of the homotopy groups of a mapping space. \ud \ud In Part II we study the homotopy properties of a space of differentiable embeddings or k-mersions from a compact smooth manifold into either an infinite dimensional smooth manifold or a closed expanding system of finite dimensional smooth manifolds of increasing dimension. Such a study is naturally motivated by the work of Eells, Elworthy and Mukherjea according to which many infinite dimensional smooth manifolds are homotopy direct limits of closed expanding systems of finite dimensional smooth submanifolds of increasing dimension. Briefly stated, we show that a space of embeddings or k-mersions with infinite dimensional target, or the appropriate induced limit space over an expanding system of finite dimensional manifolds in the target has the same homotopy type as the naturally associated space of continuous maps. Using these results we prove that the functors we get in the target, when we fix the domain in a space of embeddings or k-mersions, "commute" with the homotopy direct limits given by the results of Eells, Elworthy and Mukherjea. As an application of these limit theorems we classify the k-mersions from a compact smooth manifold into a smooth (infinite dimensional) pseudo Fredholm manifold in the spirit of the Smale-Hirsch theory for immersions in finite dimensions. The class of pseudo Fredholm manifolds contains e.g. the class of separable Hilbert manifolds. We obtain hereby a strict analogue to a theorem in finite dimensions due to S.D.Feit and independently Gromov. \ud \ud As an application of our results for spaces of embeddings we construct models for the classifying space of a diffeomorphism group. Preliminary to all the limit arguments in Part II we study in Chapter 6 the limit space of a closed expanding sY6te~ of manifolds or ANR's. We show that such a limit space usually is not metrizable, in particular it is not an ANR. It has however the homotopy type of an ANR. This result is crucial, since we in many places want to apply a fundamental theorem of J.H.C. Whitehead, according to which a weak homotopy equivalence between ANR's is a homotopy equivalence.\ud
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [26] J.Ee1ls and K.D.E1worthy, On Fredholm manifolds. Proc. Int. Congress, Nice 1970, Vol. 2, pp. 215-219.
    • [27] J.Eells and J.H.Sampson, Harmonic me.ppingsof Amer. J. Math. 86 (1964), pp. 109-160.
    • [41) V.L.Hansen, On l"1Rpplnra ~paces v.1th infinit.e dimensionql te.ro;et. Proe. Adv. Study Inst. Alg. Top., Aarhus 1970, pp. 154-169.
    • [84] E.H.Spanier, Algebraic Topology. McGraw-Hill 1966.
    • Smooth Banach spaces. Math. Ann. 173 (1967), pp.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article