Differential operators on classical invariant rings do not lift modulo \(p\) (Q6073601)

While studying the problem of simplicity of rings of differential operators on characteristic zero invariant rings via reduction to positive characteristic, \textit{K. E. Smith} and \textit{M. Van den Bergh} [Proc. Lond. Math. Soc. (3) 75, No. 1, 32--62 (1997; Zbl 0948.16019)] posed the following question about lifting differential operators on certain rings of positive characteristic to characteristic zero differential operators. Let \(A\) be a domain that is a finitely generated \(\mathbb{Z}\)-algebra and \(R\) a finitely generated \(A\)-algebra such that \(R\bigotimes_{A}\)frac\((A)\) is the ring of invariants for a linear action of a reductive group on a polynomial ring of characteristic zero. Does there exist a nonempty open subset of \(U\) of Spec \(A\) such that for each maximal ideal \(\mu\in U\), each differential operator on \(D_{(R/\mu R)|(A/\mu A)}\) lifts to \(D_{R|A}\)? (\(D_{R|A}\) is the ring of \(A\)-linear differential operators on \(R\) introduced in [\textit{A. Grothendieck}, Publ. Math., Inst. Hautes Étud. Sci. 32, 1--361 (1967; Zbl 0153.22301)] The main result of the paper under review is a theorem that gives a negative answer to this question in the cases of determinantal hypersurfaces, Pfaffian and symmetric determinantal hypersurfaces. It is also shown that, with very few exceptions, these hypersurfaces and, more generally, classical invariant rings do not admit a mod \(p^{2}\) lift of the Frobenius endomorphism. The presented proofs are based on the results of [\textit{J. Jeffries}, Int. Math. Res. Not. 2021, No. 7, 4920--4940 (2021; Zbl 1468.13059)] where it was established that there is an isomorphism between rings of differential operators (considered as modules over the enveloping algebra) and certain local cohomology modules.