You are currently browsing the monthly archive for April 2012.
In this very short note I want to summarise some basic facts about algebraic groups which put clear some issues which have confused me a several times in the last few months. I will not give any proofs, and am just picking out remarks from Brian Conrad’s paper `A Modern Proof of Chevalley’s Theorem on Algebraic Groups.’
An algebraic group over is what you think it is: a connected smooth group scheme over : such a is automatically a geometrically integral variety.
What obvious special classes of are there? We could have affine. In fact, any such group is a closed algebraic subgroup of a matrix group , so we call the affine algebraic groups linear algebraic groups.
Alternatively, one could imagine a different class: all those which are proper over , and by definition these are the abelian varieties. That these are actually abelian as groups on geometric points follows from the rigidity lemma for proper schemes (as in Mumford’s book).
Suppose now that is an arbitrary algebraic group over . Chevalley’s theorem tells us that provided is perfect, we can find a unique normal algebraic subgroup of with affine and proper. In other words, there is a unique (up to canonical isomorphism) exact sequence:
with a linear algebraic group, and an abelian variety.