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

The paper under review considers finding a suitable symbolic power of a graded prime ideal contained in some power of a maximal ideal. To be more precise; {Theorem.} Let \(p\) be a prime integer, and \(A\) be a discrete valuation ring with uniformizer \(p\) and perfect residue field. Let \(S = A[x_1, \ldots , x_m]\),with \(\deg(x_i) > 0\) for all \(i\) , and \(f_1, \ldots , f_t \in S\) be homogeneous elements of degree at most \(D\) such that \(R = A[ f_1, \ldots , f_t ]\) is a graded direct summand of \(S\). If we let \(m = ( f_1, \ldots , f_t , p)R\), then \(Q^{(nD)} \subseteq m^n\) for all \(n\geq 1\) and all homogeneous prime ideals \(Q\) in \(R\). The technical tool is using a new type of differential powers that does not require the existence of a \(p\)-derivation on the direct summand. More interesting consequences follow.