Is it true that any monomorphism of commutative Hopf algebras over a field is injective? Moreover, is it true that any epimorphism of commutative Hopf algebras over a field is surjective?
It seems that Ben is nevertheless right that the answer to the first question is "NO". Let $G=SL(2,\Bbb C)$, and $B$ be the subgroup of lower triangular matrices. Then the inclusion $B\to G$ is an epi, since every algebraic representation of $B$ that extends to $G$ does so uniquely (on the nose, not just up to an isomorphism!). This follows from the fact that in any finite dimensional representation $V$ of the Lie algebra $sl(2)$, the operator $e$ is determined by $f$ and $h$. Indeed, the kernel $K$ of $e$ is spanned by vectors $v$ satisfying $hv=mv$ and $f^{m+1}v=0$ for some integer $m\ge 0$, and since $V=\Bbb C[f]K$, the operator $e$ on $V$ is uniquely determined. So one might guess that a morphism of complex affine algebraic groups $\phi: H\to G$ is an epi if and only if $G/\phi(H)$ is connected and proper (but I did not check this). 


No. The category of commutative Hopf algebras over a field is opposite to the category of affine group schemes, so your question is "is every epi of affine $k$group schemes surjective?" But there are maps of finite groups that are epis, but not surjective (this happens when the image has normal closure the whole group), for example the inclusion of a transposition into $S_3$. I suspect every epi in commutative Hopf algebras is surjective. Certainly one can't construct an example from finite groups. I might be forgetting some funniness about group schemes. 


I haven't read through yet but the following paper by Chirvasitu seems to answer your second question and discusses closely related problems. See discussion in page 7 after Proposition 2.5. http://arxiv.org/abs/0907.2881 Namely an epimorphism of Hopf algebras over a field $$f : H \longrightarrow K$$ is necessarily surjective if $K$ is commutative. 


Yes, the category of commutative Hopf algebras over k is antiequivalent to the category of (pro)affine group schemes over k, but this equivalence does not respect the obvious functors to (Set). I really meant injective as maps between algebras, not between maximal spectrum, prime spectrum or rational points. 

