Global parameter test ideals
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}\).
- Annihilators of Artinian modules compatible with a Frobenius map
- Characterizations of Regular Local Rings of Characteristic p
- Discreteness and rationality of \(F\)-thresholds
- F-injective singularities are Du Bois
- F-modules: applications to local cohomology and D-modules in characteristic p>0.
- F-rational rings have rational singularities
- F-Regularity, Test Elements, and Smooth Base Change
- scientific article; zbMATH DE number 1633834 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 708654 (Why is no real title available?)
- scientific article; zbMATH DE number 1128605 (Why is no real title available?)
- Local cohomological dimension in characteristic p
- Localization of tight closure and modules of finite phantom projective dimension.
- On the commutation of the test ideal with localization and completion
- On the vanishing of local cohomology in characteristic p > 0
- Openness of the F-rational locus and smooth base change
- Parameter-test-ideals of Cohen–Macaulay rings
- Test Ideals in Local Rings
- Tight closure of parameter ideals
- Tight Closure, Invariant Theory, and the Briancon-Skoda Theorem
This page was built for publication: Global parameter test ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2362571)
