Borel fixed-point theorem fails for non-split linear algebraic groups

From Groupprops

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 .