A uniform Chevalley theorem for direct summands of polynomial rings in mixed characteristic

Abstract

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.

arXiv commentFinal version