The third homology of stem-extensions and Whitehead's quadratic functor

Abstract: Let

A i g h t a r r o w t a i l G w o h e a d r i g h t a r r o w Q

be a stem-extension and let

h o : A i m e s G o G

be the multiplication map. We show that there is a natural map

v a r p h i : H_{1} (S i g m a_{2}^{e} p s i l o n, {m T o r}_{1}^{m a t h b b Z} (_{2^{i} n f t y} A,_{2^{i} n f t y} A)) o H_{3} (G, m a t h b b Z) / h o_{a} s t (A o t i m e s_{m a t h b b Z} H_{2} (G, m a t h b b Z))

such that, the image of

v a r p h i

coincides with the image of the natural map

H_{3} (A, m a t h b b Z) o H_{3} (G, m a t h b b Z) / h o_{a} s t (A o t i m e s_{m a t h b b Z} H_{2} (G, m a t h b b Z))

. An important tool used here is Whitehead's quadratic functor

G a m m a

. As part of our proof of the main result, we give a precise homological description of the kernel of the natural map

G a m m a (A) o A o t i m e s_{m a t h b b z} A

,

g a m m a (a) m a p s t o a o t i m e s a

.

This page was built for publication: The third homology of stem-extensions and Whitehead's quadratic functor