Borel fixed-point theorem fails for non-split linear algebraic groups
Statement
Short version
The analogue of the Borel fixed-point theorem for the case of an infinite non-algebraically closed field where the group is not a split algebraic group is not true.
Long version
For any infinite non-algebraically closed field , there exists a solvable connected linear algebraic group over that is not a split algebraic group, such that there exists a projective variety over and an algebraic group action of on with no fixed point.
Proof
Example of the multiplicative group of a field extension
Since is not algebraically closed, it has finite-dimensional field extensions of degree strictly greater than one.
We consider the case that is the multiplicative group of a finite-dimensional field extension of of degree . Consider as a -dimensional vector space over . The action of on by multiplication defines an embedding of in . This induces an action of on projective space . We verify all the things:
- is solvable: In fact, it is abelian
- is connected: See algebraic torus is connected
- is a linear algebraic group: This follows from its embedding in
- is not split: has a normal subgroup but the quotient group does not contain any copies of the additive or multiplicative group of .
- is a projective variety: By definition, projective spaces are projective varieties.
- acts on algebraically (also called regularly): The action is a restriction of the natural action of , which is algebraic.
- The action has no fixed point: In fact, the action is transitive, and, if we think of as , then is isomorphic to the quotient variety .