Hopf algebra and group structure correspondence for algebraic varieties - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T01:45:05Z http://mathoverflow.net/feeds/question/44275 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/44275/hopf-algebra-and-group-structure-correspondence-for-algebraic-varieties Hopf algebra and group structure correspondence for algebraic varieties Abtan Massini 2010-10-30T20:15:22Z 2010-10-31T07:53:56Z <p>Let $V$ be a real algebraic variety and let ${\cal O}(V)$ denote its algebra of regular functions. If we put a group structure on $V$ (not necessarily an algebraic group structure) it will induce a Hopf algebra structure on ${\cal O}(V)$ in the usual manner. My question is, is there a bijective correspondence between the possible group structures on $V$ and the possible Hopf algebra structures on ${\cal O}(V)$?</p> http://mathoverflow.net/questions/44275/hopf-algebra-and-group-structure-correspondence-for-algebraic-varieties/44284#44284 Answer by Greg Kuperberg for Hopf algebra and group structure correspondence for algebraic varieties Greg Kuperberg 2010-10-30T20:50:52Z 2010-10-30T20:50:52Z <p>If $V$ is an affine algebraic variety over any field $k$, then there is a bijection between the algebraic group structures on $V$ and the Hopf algebra structures on $O(V)$. The reason is that the category of affine varieties over $k$ is the just the contravariant category (the category with arrows reversed) of algebras over $k$. So a group law $m:V \times V \to V$ becomes a coproduct $m:O(V) \to O(V) \otimes O(V)$, and this correspondence is a bijection. (Because also, the tensor product of algebras corresponds to the Cartesian product of varieties.)</p> <p>If you are interested in group structures on $V$ that are not necessarily algebraic group structures, then there isn't necessarily a good relation to $O(V)$ either.</p>