Perverse mod p sheaves on the affine Grassmannian

We will discuss a mod p version of the geometric Satake isomorphism. Along the way we will introduce perverse mod p sheaves and apply Frobenius splitting techniques to prove the irreducibility of certain perverse mod p sheaves.