Adequate moduli spaces and geometrically reductive group schemes

We develop the theory of adequate moduli spaces in characteristic $p$ (and mixed characteristic) characterizing quotients by geometrically reductive group schemes.