MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Does there exist a group scheme of finite type over a field $k$ , which is neither affine, nor an abelian variety?

share|cite|improve this question
Related entry:… – Zoran Skoda May 18 '11 at 13:22
As my answer indicates, it's unclear precisely what you mean by your parenthetic statement. Being an affine group scheme doesn't imply having a realization as a matrix group. Certainly you want to consider the motivating examples mentioned in Brian Conrad's cited paper. – Jim Humphreys May 18 '11 at 20:26

Yes, take a product of an abelian variety with an affine group scheme...

share|cite|improve this answer
But at least, we have something close to that. See – Marc Palm May 18 '11 at 10:18
The ground field is required to be perfect in the Chevalley theorem. – Zoran Skoda May 18 '11 at 13:21

For me the most natural examples to think about are those coming from linear algebraic groups in prime characteristic, in the form of Frobenius kernels. These are extensively treated in Jantzen's book Representations of Algebraic Groups, with foundations laid in Part I. Concretely, you can start with the restricted universal enveloping algebra of the Lie algebra of such a group and associate to it naturally a finite group scheme. This is only the "first" Frobenius kernel.

Examples of this kind are "affine" but not linear algebraic groups.

Perhaps more in the spirit of the question, natural examples occur in connection with Chevalley's classical structure theorem: for a modern treatment see B. Conrad, "A modern proof of Chevalley's theorem on algebraic groups", J. Ramanujan Math. Soc. 17 (2002).

share|cite|improve this answer

The type of Jacobian (generalised) discussed in Serre's book "Groupes algébriques et corps de classes" provides a large class of examples. They arise, in a sense, from the universality of the Albanese variety when extended to non-regular differentials.

share|cite|improve this answer

Your Answer


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.