k-invariants in Kan fibrations with fiber K(G,n) (Q1821386)

Working in 1-connected simplicial sets, the author poses the following problem: given a map \(\ell: B\to K(G,n+1)\), we have an induced fibration \(p: E\to B\). Then can we express the k-invariants of E in terms of these of B and the map \(\ell ?\) The present paper offers explicit simplicial answers to this question on a cochain level. The proofs are very direct and involve explicit constructions, such as the map \({\hat \ell}: B^{(n)}\to K(co\ker \ell_*,n+1)\) of section 2.