Group and Hopf Algebra Structures for Projective Varieties Let $V$ be a projective (or affine) variety. Does there exist a bijective correspondence between group structures on $V$ and Hopf algebra structures on the coordinate ring of $V$?
 A: As unknown(google) mentioned in the comments, there is an antiequivalence of categories between Hopf algebras (over some field k) and affine group schemes (over the spectrum of k), given by taking Spec in one direction, and global sections in the other.  This yields a bijection between Hopf algebra structures on the coordinate ring of an affine scheme V and group structures on V.
Projective group varieties are abelian varieties, and do not bear any relation to Hopf algebras (as far as I know).  Over the complex numbers, there is a transcendental description of abelian varieties using lattices in a complex vector space that admit a certain sesquilinear form.
A: In the projective case, i.e. abelian varieties, this question is addressed in Mumford's On the equations defining abelian varieties. I, Invent. math. 1, 287--354, 1966. In §3, "the addition formula", the aim is to describe the group law, given a projective embedding, explicitly.
The starting point is exactly that the homogeneous coordinate ring is not a Hopf algebra, because a line bundle $L$ (defining the embedding) on $X$ does not pull back to $p_1^*L\otimes p_2^*L$ under the group law $X\times X\to X$. (This is what one would need to have induced comultiplication maps $H^0(X,L^n) \to H^0(X\times X, p_1^*L^n\otimes p_2^*L^n)\cong H^0(X, L^n)\otimes H^0(X, L^n)$.)
Instead Mumford finds that one can describe $X\times X\to X\times X$, $(x,y)\mapsto (x+y,x-y)$ explicitly in terms of the homogeneous coordinate ring.
