I will report on joint work with Dan Abramovich and Martin Olsson. We
classify linearly reductive finite group schemes in positive or mixed
characteristic, and use this to define a good replacement for the
notion of orbifold in positive or mixed characteristic.