Logarithms of formal groups over Hopf algebras

Abstract

The aim of this paper is to prove the following result. For any commutative formal group ${\frak F}(x\otimes 1,1\otimes x),$ which is considered as a formal group over $H_\mathbb{Q},$ there exists a homomorphism to a formal group of the form ${\frak c}+x\otimes 1+1\otimes x,$ where $\frak c\in H_\mathbb{Q}{\mathop{\hat{\otimes}} \limits_{R_\mathbb{Q}}}H_\mathbb{Q}$ such that $(\id \otimes \epsilon){\frak c}=0= (\epsilon \otimes \id){\frak c}.$