Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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)$?

share|improve this question
    
What definition of "real algebraic variety" are you using here? If it is an integral separated scheme of finite type over $\mathbb{R}$, then how are you defining a group structure? –  S. Carnahan Oct 31 '10 at 9:06
    
Just the plain ordinary zero set of an ideal of polynomials definition of an algebraic variety. –  Abtan Massini Oct 31 '10 at 18:23
add comment

1 Answer 1

up vote 6 down vote accepted

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.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.