Tauvel's height formula in iterated differential operator rings. (Q1875892)

Let \(R\) be a Noetherian affine algebra over a field of positive characteristic with a finite set of derivations \(\Delta\). A \(\Delta\)-invariant ideal \(P\) in \(R\) is \(\Delta\)-prime if for any two \(\Delta\)-invariant ideals \(I,J\) in \(R\) the inclusion \(IJ\subseteq P\) implies either \(I\subseteq P\) or \(J\subseteq P\). It is assumed that if \(d\) is the Gelfand-Kirillov dimension of a \(\Delta\)-prime ideal of \(R\) then \(d(R)=\text{ht}(P)+d(R/P)<\infty\). Here \(\text{ht}(P)\) is the supremum of the lengths of chains of prime ideals contained in \(P\). It is also assumed that if \(I\subset J\) are two \(\Delta\)-invariant ideals of \(R\) then there exists an element \(x\in J\setminus I\) such that \((x+I)(A/I)=(A/I)(x+I)\) and \((A/I)(x+I)\) is a left \(\Delta\)-invariant ideal of \(A/I\). The author considers skew polynomial extensions \(R\subset R[T_1,\delta_1]=R_1\subset R_1[T_2,\delta_2]\subset\cdots\) where \(\delta_j(T_i)\in R_{i-1}T_i+R_{i-1}\). Under these assumptions it is shown that \(d(R_m)=\text{ht}(P)+d(R_m/P)<\infty\) for any \(\Delta\)-prime ideal \(P\) in \(R_m\).