Quelques remarques sur la cohomologie modulo continue des pro--espaces et les résultats de J. Lannes concernant les espaces fonctionnels
We describe, for any compact connected Lie group G and any prime p, the monoid of self maps → which are rational equivalences. Here, denotes the p-adic completion of the classifying space of G. Among other things, we show that two such maps are homotopic if and only if they induce the same homomorphism in rational cohomology, if and only if their restrictions to the classifying space of the maximal torus of G are homotopic.
Square groups are gadgets classifying quadratic endofunctors of the category of groups. Applying such a functor to the Kan simplicial loop group of the 2-dimensional sphere, one obtains a one-connected three-type. We consider the problem of characterization of those three-types X which can be obtained in this way. We solve this problem in some cases, including the case when π2(X) is a finitely generated abelian group. The corresponding stable problem is solved completely.