Lately I've been reading a bit of Robert Steinberg's book, "Endomorphisms of Algebraic Groups", so I've decided to explain what I am reading for this series on linear algebraic groups, which will take us away from Lie algebras for a bit of time.

Let $ G$ be a linear algebraic group over an algebraically closed field $ k$. In this case we can choose a Borel subgroup $ B$ and a maximal torus $ T\subseteq B\subseteq G$; in fact, all the maximal tori reside in Borel subgroups because tori are solvable. What about if we are given an automorphism $ \sigma:G\to G$? This prompts a fairly natural question:

Is it possible to choose $ B$ and $ T$ such that they are stable under $ \sigma$?

If so, this would be very convenient in working with automorphisms, and pretty useful for working with $ \theta$-groups for instance (more on this later!). It turns out that if $ \sigma$ can be realised as conjugation by a semisimple element after an embedding of $ G\hookrightarrow G'$, then this is possible. This was proven by Robert Steinberg and also by David J. Winter.
More »