  We prove an explicit uniform Chevalley theorem for direct summands of graded
polynomial rings in mixed characteristic. Our strategy relies on the
introduction of a new type of differential powers, which do not require the
existence of a p-derivation on the direct summand.
