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)$?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
|
|
||||||
|
|
6
|
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.) 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. |
||
|
|
