Classification of connected unipotent two-dimensional algebraic groups over an algebraically closed field
Statement
In characteristic zero
Suppose is an algebraically closed field of characteristic zero and is a connected unipotent two-dimensional algebraic group over . Then, must be an abelian algebraic group and in fact is a direct product of two copies of the additive group of . Another way of putting this is that is isomorphic to the additive group of a two-dimensional vector space over .
Note that in characteristic zero, any unipotent algebraic group is connected, so the adjective "connected" can be dropped from the above statement.
In prime characteristic
Suppose is an algebraically closed field of characteristic equal to a prime number and is a connected unipotent two-dimensional algebraic group over . Then, must be an abelian algebraic group and there are two possibilities for it:
- The direct product of two copies of the additive group of
- The additive group of the truncated ring of Witt vectors of length two over
Related classifications
- Classification of groups of prime-square order: This is the finite group analogue for the prime characteristic version. The proof in both cases is fairly similar.
- Classification of connected one-dimensional algebraic groups over an algebraically closed field
- Classification of connected unipotent abelian algebraic groups over an algebraically closed field
Related cohomology computations
Facts used
Proof
The proof has two steps. The first step is showing that any connected unipotent two-dimensional algebraic group must be abelian. The second step is to invoke the classification in the abelian case from Fact (1).