Groups of coalgebra morphisms and the Zassenhaus formulae (Q912955)

Everything is graded connected with no 2-torsion over a commutative ring R. C is a cocommutative coalgebra with divided powers, H a Hopf algebra. The flavor of the paper is given by part of the main theorem which asserts that if C is a free R-module, then the group of coalgebra morphisms of C to H (convolution product) is isomorphic to \(\exp (C^*,PH)\). Here, \(C^*\) is the dual algebra, PH is the Lie algebra (with graded commutator) of primitives in H, and exp is an appropriate limit of terms of the form \(\exp (A^{[n]},PH)\) where \(A^{[n]}=A/\sum_{i>n}\oplus A_ i\), \(A=C^*\). This type of presentation is closely related to the Zassenhaus formulae for products of exponentials in the completed free associative algebra in two variables. It is motivated by a result concerning a group of pointed homotopy classes of pointed maps of pointed connected spaces of the homotopy type of CW-complexes.