We will explain how one can use a certain ``localization theory" called Smith-Treumann theory to use the Geometric Satake Equivalence to prove important results in the representation theory of reductive algebraic groups over fields of positive characteristic. This is joint work with Geordie Williamson