Relative test elements for tight closure
type: Item
instance of: scholarly article
title: Relative test elements for tight closure
zbMATH Open document ID: 1009.13001
DOI: 10.1016/S0022-4049(00)00021-9
author: Anurag K. Singh
published in: Journal of Pure and Applied Algebra
publication date: 2002-11-03T00:00:00Z
reviewed by: Irena Swanson
Mathematics Subject Classification ID: 13A35
Mathematics Subject Classification ID: 13B22
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 1591140
zbMATH Keywords: tight closure
zbMATH Keywords: test ideal
MaRDI profile type: MaRDI publication profile
cites work: Localization of tight closure and modules of finite phantom projective dimension.
cites work: Some results on test elements
cites work: Tight Closure, Invariant Theory, and the Briancon-Skoda Theorem
cites work: F-Regularity, Test Elements, and Smooth Base Change
cites work: Q4318628
cites work: Tight closure and elements of small order in integral extensions
cites work: Uniform bounds in noetherian rings
cites work: On the commutation of the test ideal with localization and completion
cites work: Multiplier ideal sheaves and Kähler-Einstein metrics of positive scalar curvature
cites work: Tight closure of parameter ideals
cites work: Test Ideals in Local Rings
cites work: The multiplier ideal is a universal test ideal
Wikidata QID: Q127610149
Recommended article: Q4664235
Recommended article: Big tight closure test elements for some non-reduced excellent rings
Recommended article: Localization and test exponents for tight closure
Recommended article: Tight closure and strong test ideals
Recommended article: Tests of contact closure for contact circuits
Recommended article: Short tests of closures for contact circuits
Recommended article: Some results on test elements
Recommended article: Q3571878
Recommended article: Reliability of compact testing methods
Recommended article: Improved test for closed loops in surface intersections
review text: The author generalizes the notion of test elements from the theory of tight closure for rings containing a field of characteristic \(p > 0\). Namely, under some assumptions on the rings \(R \subseteq S\), he defines the module of relative test elements to be NEWLINE\[NEWLINE\{f \in \text{Hom}_R(S,R) |f((IS)^*) \subseteq I \text{ for all ideals }I\text{ in }R\},NEWLINE\]NEWLINE where the superscript \(^*\) denotes the tight closure of the ideal. He proves several equivalent formulations, and gives a new characterization of weak F-regularity for complete local reduced rings.NEWLINENEWLINENEWLINEOne of the equivalent formulations is as follows: If \((R,m) \subseteq S\) are complete local reduced rings and \(S\) is module-finite over \(R\), then the module of relative test elements equals NEWLINE\[NEWLINE\{f \in \text{Hom}_R(S,R) |f((I_t S)^*) \subseteq I_t\},NEWLINE\]NEWLINE where \(\{I_t\}\) is a sequence of \(m\)-primary irreducible ideals in \(R\) cofinal with the powers of \(m\). To prove that it suffices to consider only the \(m\)-primary ideals note that for any ideal \(I\) and any \(f \in \text{Hom}_R(S,R)\), NEWLINE\[NEWLINEf((IS)^*) \subseteq \bigcap_n f((IS+ m^n S)^*) \subseteq \bigcap_n (I+ m^n) =I.NEWLINE\]NEWLINE When \(R\) is a Gorenstein ring, the module of relative test elements equals the parameter test ideal defined by \textit{K. E. Smith} [Trans. Am. Math. Soc. 347, 3453-3472 (1995: Zbl 0849.13003)]. The author proves that the parameter test ideal is isomorphic to the test ideal for complete local normal Gorenstein rings. He also gives an example (example 6) of a non-Gorenstein ring for which the module of relative test elements equals the product of the test ideal with the canonical module.NEWLINENEWLINENEWLINEA typographical error in line 10 on page 106: One should apply the functor \(\text{Hom}_R(\quad, E_R)\) rather than \(\text{Hom}_S(\quad, E_S)\).
description: scientific article; zbMATH DE number 1591140