Global parameter test ideals (Q2362571): Difference between revisions

The main goal of this paper is to establish for a possibly non local generalized Cohen-Macaulay ring \(S\) that there is a parameter test ideal \(\tau\), such that the localization \(\tau_P\) is the parameter test ideal of the localized ring \(S_P\) for any prime ideal \(P\) in the spectrum of \(S\). Such a parameter test ideal is called a global parameter test ideal. To produce the global parameter test ideal when \(S=R/I\) for \(R\) a regular ring of prime characteristic, the authors first represent the map \(\text{Ext}_R^{\text{dim} (R)-\text{dim} (S)} (R/I,R) \rightarrow \text{Ext}_R^{\text{dim} (R)-\text{dim} (S)} (R/I^{[p]},R)\) as \(U: \text{Coker} A \rightarrow \text{Coker} A^{[p]}\) for an \(\alpha \times \beta\) matrix \(A\) and an \(\alpha \times \alpha\) matrix \(U\) each with entries in \(R\). Then they use the notion of \(\star\)-closure of a submodule of a free module with respect to a matrix \(U\) developed by \textit{M. Katzman} and \textit{W. Zhang} [J. Symb. Comput. 60, 29--46 (2014; Zbl 1291.13010)] to show that the \(R\) annihilator of \(R^{\alpha}/(\text{Im} A + cR^{\alpha})^{\star U}\) localized at any \(P\) in the Cohen-Macaulay locus of \(S\) is the parameter test ideal of \(S_P\) where \(c\) is a completely stable test element such that its image in all completions of \(S\) at all primes are parameter test elements. The authors go on to show if such an \(S\) has isolated non Cohen-Macaulay locus \(\{\mathfrak{m}_1, \dots, \mathfrak{m}_t\}\), and each of these are isolated non-\(F\)-rational points, then the global parameter test ideal is the intersection of the ideal described above with the intersection of the parameter test ideals of \(S_{\mathfrak{m}_i}\) contracted back to \(S\). The authors conclude the paper with a boundedness result regarding the Harshorne, Speiser and Lyubeznik-numbers or HSL-numbers of the set of local cohomology modules of the rings \(\widehat{R_P}\) with respect to their localized maximal ideals \(P\widehat{R_P}\).