Uniform behaviour of the Frobenius closures of ideals generated by regular sequences

DOI10.1016/J.JALGEBRA.2005.01.025MaRDI QIDQ2576983zbMATH OpenOpenAlexFDO

Authors Mordechai Katzman, R. Y. Sharp

Publication date 29 December 2005

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0501501

zbMATH Keywords

Frobenius closure local cohomology

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35)

Abstract: This paper is concerned with ideals in a commutative Noetherian ring

R

of prime characteristic. The main purpose is to show that the Frobenius closures of certain ideals of

R

generated by regular sequences exhibit a desirable type of `uniform' behaviour. The principal technical tool used is a result, proved by R. Hartshorne and R. Speiser in the case where

R

is local and contains its residue field which is perfect, and subsequently extended to all local rings of prime characteristic by G. Lyubeznik, about a left module over the skew polynomial ring

R [x, f]

(associated to

R

and the Frobenius homomorphism

f

, in the indeterminate

x

) that is both

x

-torsion and Artinian over

R

.

Review text

The Frobenius powers of an ideal \(I\) in a commutative noetherian ring over a field of positive characteristic \(p\) are defined to be \(I^{[p^e]}=\{f^{p^e}: f \in I \}\). The Frobenius closure of \(I\) is \(I^F=\{f: f^{p^e}\in I^{[p^e]}\) for some \(e \}\). Since \(I^F\) is finitely generated there exists a number \(e_0\) (a Frobenius bound) such that \(f \in I^F\) implies that already \(f^{p^{e_0}} \in I^{[p^{e_0}]}\). However, there does not exist an a priori bound for \(e_0\) and the computation of the Frobenius closure is difficult. The paper under review deals with the question whether there exists a uniform bound for the family of ideals \(I^{[p^{e}]}\), \(e \in {\mathbb N}\), and gives a positive answer for the case that \(I \) is generated by a regular sequence in a local Cohen-Macaulay ring \(R\). To obtain this result the authors consider the top-dimensional local cohomology \(H^d_m(R)\) together with the natural action of the Frobenius on it. This module is an artinian \(R\)-module, and its \(F\)-torsion submodule has by a theorem of Hartshorne-Speiser-Lyubeznik [\textit{R. Hartshorne} and \textit{R. Speiser}, Ann. Math. (2) 105, 45--79 (1977; Zbl 0362.14002); \textit{G. Lyubeznik}, J. Reine Angew. Math, 491, 65--130 (1997; Zbl 0904.13003)] the property that there exists \(b\) such that \(F^b\) annihilates this torsion submodule. This so-called Hartshorne-Speiser-Lyubeznik number yields then a bound for the given family of ideals. The authors raise also the question whether there exists a Frobenius bound which holds for all ideals in a given ring. This was disproved by the reviewer [Compos. Math. 142, 451--463 (2006; Zbl 1105.13006)].

Recommendations

Cites work

Cited in

(32)

This page was built for publication: Uniform behaviour of the Frobenius closures of ideals generated by regular sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2576983)