The milnor-moore theorem in tame homotopy theory |
| |
Authors: | Hans Scheerer Daniel Tanré |
| |
Affiliation: | (1) Mathematisches Institut, Arnimallee 2-6, D-1000 Berlin 33;(2) U. F. R. de Mathématiques, Université de Lille-Flandre-Artois, F-59655 Villeneuve d'Ascq Cedex |
| |
Abstract: | LetX be a 1-connected space with Moore loop space ΩX. By a well-known theorem of J. W. Milnor and J. C. Moore [7] the Hurewicz homomorphism induces an isomorphism of Hopf algebrasU(π*(ΩX) ⊗Q)→H *(ΩX;Q). HereU(−) denotes the universal enveloping algebra and the Lie bracket on π*(ΩX) ⊗Q is given by the Samelson product. Assume now thatX is the geometric realization of anr-reduced simplicial set,r≥3. LetL X be a differential graded free Lie algebra over ℤ describing the tame homotopy type ofX according to the theory of [4]. Then the main result of the present paper is the construction of a sequence of morphisms of differential graded algebras betwenU(L X ) and the algebraC U *(ΩX)z of normalized cubical chains on ΩX such that the induced morphisms on homology with coefficientsR k are isomorphismsH r-1+l (U(L x );R k ) ≅H r-1+l C U *(ΩX);R k ) forl≤k; hereR 0⊆R 1⊆… is a tame ring system, i. e.R k )⊑Q and each primep with 2p−3≤k is invertible inR k . However, it is no longer true that the Pontrjagin algebraH ≤r−1+k (ΩX; R k ) of ΩX in degrees ≤r−1+k is determined by π*(ΩX) or by a cofibrant (-fibrant) modelM of π*(ΩX) as will be shown by an example. But there is a filtration onH ≤r−1+k (ΩX; R k ) such that the associated graded algebra is isomorphic toH ≤r−1+k (U(M); R k ).This will be proved by using a filtered Lie algebra model ofX constructed from a bigraded model of π*(ΩX). Supported by a CNRS grant and PROCOPE Supported by PROCOPE |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|