Graded annihilators and uniformly \(F\)-compatible ideals (Q2352395)

For a local commutative Noetherian ring \((R, \mathfrak{m})\) of characteristic \(p>0\), the author brings our attention to three finite sets of radical ideals of the ring: the set of \(\Phi(E)\)-special ideals, the set of fully \(\Phi(E)\)-special ideals, and the uniformly \(F\)-compatible ideals. The first two sets are defined in terms of the Frobenius skew polynomial ring \(R[x,f]\) which consists of the polynomials \(\sum\limits_{i=0}^n r_ix^i\) where right multiplication of \(x\) by \(r\) is defined in the following way \(xr=f(r)x=r^px\). For any left \(R[x,f]\)-module \(M\), the graded annihilator is the largest two sided ideal of \(R[x,f]\) which annihilates \(M\). In a previous paper of \textit{R. Y. Sharp} [Trans. Am. Math. Soc. 359, No. 9, 4237--4258 (2007; Zbl 1130.13002)], the author showed that if \(M\) is torsionfree then there exists a radical ideal \(I\) of \(R\) such that the graded annihilator of \(M\) is \(IR[x,f]\) and \(I=(0:_R M)\). The set of these \(R\) annihilators of submodules of \(M\) will be called the \(M\)-special ideals of \(R\). For \(E\) the injective hull of \(R/\mathfrak{m}\), \(\Phi(E)\) is the left \(R[x,f]\)-module \(\bigoplus\limits_{n \geq 0} Rx^n \bigotimes_R E\). When \(R\) is \(F\)-pure then the set of \(\Phi(E)\)-special ideals is a finite set and \textit{R. Y. Sharp} [J. Pure Appl. Algebra 219, No. 3, 672--685 (2015; Zbl 1303.13007)] showed the smallest element of this set is the big test ideal of \(R\). A fully \(\Phi(E)\)-special ideal is one such that the 0th graded component of ann\(_{\Phi(E)}(IR[x,f])\) is contained in \((0:_EI)\). We see here that when \(R\) is \(F\)-pure and complete or \(F\)-pure and the homomorphic image of a regular local ring then every \(\Phi(E)\)-special ideal is fully \(\Phi(E)\)-special and \(R\) has a unique largest fully \(\Phi(E)\)-special ideal which is prime. The author also shows that when \(R\) is \(F\)-finite and \(F\)-pure then \(I\) is fully \(\Phi(E)\)-special if and only if \(I\) is uniformly \(F\)-compatible: in other words, for every \(n>0\) and every \(\phi \in \text{Hom}_R(R^{\frac{1}{p^n}},R)\) \(\phi(I^{\frac{1}{p^n}}) \subseteq I\). In this same setting the unique largest \(\Phi(E)\)-special ideal ideal of \(R\) is a splitting prime in the sense of \textit{I. M. Aberbach} and \textit{F. Enescu} [Math. Z. 250, No. 4, 791--806 (2005; Zbl 1102.13001)].