Big tight closure test elements for some non-reduced excellent rings (Q420690): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
In the theory of tight closure for commutative Noetherian rings of characteristic \(p > 0\), test elements play a central role. Recall that \(z\) is in the tight closure of an ideal \(I\) if there exists \(c \in R\), not in any minimal prime, such that \(c z^{p^e} \in I^{[p^e]}\) for all \(e \gg 0\) (here \(I^{[p^e]}\) is the ideal generated by the \(p^e\)th powers of elements of \(I\)). A test element is a choice of \(c\) that works for all \(z\) in the tight closure of \(I\). In the paper under review the author proves the following theorem, generalizing results of \textit{M. Hochster} and \textit{C. Huneke} [Trans. Am. Math. Soc. 346, No. 1, 1--62 (1994; Zbl 0844.13002)] to the non-reduced setting. Theorem. Suppose that \((R, \mathfrak{m})\) is an excellent local ring that is regular in codimension 0 (i.e., generically reduced). Then \(R\) has a test element. More generally if \(c\) is an element not in any minimal prime such that \(R_c\) is Gorenstein and weakly \(F\)-regular, then some power of \(c\) is a big test element. In fact, the author proves an even stronger statement. He shows that the test elements that are constructed are \textit{big test elements} (test elements that work for modules, including not necessarily finitely generated modules).
Property / review text: In the theory of tight closure for commutative Noetherian rings of characteristic \(p > 0\), test elements play a central role. Recall that \(z\) is in the tight closure of an ideal \(I\) if there exists \(c \in R\), not in any minimal prime, such that \(c z^{p^e} \in I^{[p^e]}\) for all \(e \gg 0\) (here \(I^{[p^e]}\) is the ideal generated by the \(p^e\)th powers of elements of \(I\)). A test element is a choice of \(c\) that works for all \(z\) in the tight closure of \(I\). In the paper under review the author proves the following theorem, generalizing results of \textit{M. Hochster} and \textit{C. Huneke} [Trans. Am. Math. Soc. 346, No. 1, 1--62 (1994; Zbl 0844.13002)] to the non-reduced setting. Theorem. Suppose that \((R, \mathfrak{m})\) is an excellent local ring that is regular in codimension 0 (i.e., generically reduced). Then \(R\) has a test element. More generally if \(c\) is an element not in any minimal prime such that \(R_c\) is Gorenstein and weakly \(F\)-regular, then some power of \(c\) is a big test element. In fact, the author proves an even stronger statement. He shows that the test elements that are constructed are \textit{big test elements} (test elements that work for modules, including not necessarily finitely generated modules). / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Karl Schwede / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 13A35 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 16S36 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 13D45 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 13E05 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6037578 / rank
 
Normal rank
Property / zbMATH Keywords
 
tight closure
Property / zbMATH Keywords: tight closure / rank
 
Normal rank
Property / zbMATH Keywords
 
test element
Property / zbMATH Keywords: test element / rank
 
Normal rank
Property / zbMATH Keywords
 
commutative Noetherian Ring
Property / zbMATH Keywords: commutative Noetherian Ring / rank
 
Normal rank
Property / zbMATH Keywords
 
Frobenius homomorphism
Property / zbMATH Keywords: Frobenius homomorphism / rank
 
Normal rank
Property / zbMATH Keywords
 
excellent ring
Property / zbMATH Keywords: excellent ring / rank
 
Normal rank
Property / zbMATH Keywords
 
generically reduced
Property / zbMATH Keywords: generically reduced / rank
 
Normal rank
Property / zbMATH Keywords
 
Frobenius skew polynomial ring
Property / zbMATH Keywords: Frobenius skew polynomial ring / rank
 
Normal rank
Property / zbMATH Keywords
 
Gorenstein ring
Property / zbMATH Keywords: Gorenstein ring / rank
 
Normal rank
Property / zbMATH Keywords
 
weakly \(F\)-regular ring
Property / zbMATH Keywords: weakly \(F\)-regular ring / rank
 
Normal rank

Revision as of 20:36, 29 June 2023

scientific article
Language Label Description Also known as
English
Big tight closure test elements for some non-reduced excellent rings
scientific article

    Statements

    Big tight closure test elements for some non-reduced excellent rings (English)
    0 references
    0 references
    23 May 2012
    0 references
    In the theory of tight closure for commutative Noetherian rings of characteristic \(p > 0\), test elements play a central role. Recall that \(z\) is in the tight closure of an ideal \(I\) if there exists \(c \in R\), not in any minimal prime, such that \(c z^{p^e} \in I^{[p^e]}\) for all \(e \gg 0\) (here \(I^{[p^e]}\) is the ideal generated by the \(p^e\)th powers of elements of \(I\)). A test element is a choice of \(c\) that works for all \(z\) in the tight closure of \(I\). In the paper under review the author proves the following theorem, generalizing results of \textit{M. Hochster} and \textit{C. Huneke} [Trans. Am. Math. Soc. 346, No. 1, 1--62 (1994; Zbl 0844.13002)] to the non-reduced setting. Theorem. Suppose that \((R, \mathfrak{m})\) is an excellent local ring that is regular in codimension 0 (i.e., generically reduced). Then \(R\) has a test element. More generally if \(c\) is an element not in any minimal prime such that \(R_c\) is Gorenstein and weakly \(F\)-regular, then some power of \(c\) is a big test element. In fact, the author proves an even stronger statement. He shows that the test elements that are constructed are \textit{big test elements} (test elements that work for modules, including not necessarily finitely generated modules).
    0 references
    0 references
    tight closure
    0 references
    test element
    0 references
    commutative Noetherian Ring
    0 references
    Frobenius homomorphism
    0 references
    excellent ring
    0 references
    generically reduced
    0 references
    Frobenius skew polynomial ring
    0 references
    Gorenstein ring
    0 references
    weakly \(F\)-regular ring
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references