These notes provide a concise introduction to the representation theory of reductive algebraic groups in positive characteristic, with an emphasis on Lusztig's character formula and geometric representation theory. They are based on the first author's notes from a lecture series delivered by the second author at the Simons Centre for Geometry and Physics in August 2019. We intend them to complement more detailed treatments.

We prove an analogue of Koszul duality for category $ \mathcal{O} $ of a reductive group $G$ in positive characteristic $\ell $ larger than $1$ plus the number of roots of $G$ . However, there are no Koszul rings, and we do not prove an analogue of the Kazhdan–Lusztig conjectures in this context. The main technical result is the formality of the dg-algebra of extensions of parity sheaves on the flag variety if the characteristic of the coefficients is at least the number of roots of $G$ plus $2$ .