I was talking this morning to a colleague who thinks about combinatorial Hopf algebras. He mentioned several rings, which are of interest in combinatorics, for which he didn't know whether a Hopf structure existed. I was able to rule out several by the following result:

If A is a finitely generated commutative algebra over a field of characteristic 0, and A has a Hopf structure, then A is a regular ring.

So, two questions:

(1) The only reference I know for this is Tate's article on group schemes in "Modular Forms and Fermat's Last Theorem." Does anyone know a version which targeted towards a reader who likes algebra better than geometry? (So, for example, "Hopf algebra" is a friendlier term than "group scheme".)

(2) Are there any useful generalizations that take out "commutative" or "finitely generated"?

  • $\begingroup$ If you want Hopf algebras + combinatorics, I think it is a good idea to look at Marcelo Aguiar's works $\endgroup$ – Marco Farinati Jun 25 at 11:21

Oort has an elementary proof that group schemes in char. 0 are reduced -- see MR0206005.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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