Frobenius test exponents for parameter ideals in generalized Cohen-Macaulay local rings (Q854914): Difference between revisions

The paper under review establishes the existence of Frobenius test exponents for parameter ideals in generalized Cohen-Macaulay local rings of positive characteristic \(p\), \(p\) prime. Let \(R\) be a ring of characteristic \(p\). Denote \(q =p^e\), where \(e\) is a positive integer. For an ideal \(I\) of \(R\), let \(I^{[q]} = (i^q : i \in I)\) and \(I^F = \{ x : x^q \in I^{[q]} \}\). Define \[ Q(I) = \min \{ Q_0: (I^F)^{[Q_0]} = I^{[Q_0]} \}. \] \textit{M. Katzman} and \textit{R. Y. Sharp} have asked whether the set of all \( Q(J)\) where \( J\) runs over the set of proper ideals of \(R \) is bounded [J. Algebra 295, 231--246 (2006; Zbl 1117.13006)], a question negatively answered by \textit{H. Brenner} [Compos. Math. 142, 451--463 (2006; Zbl 1105.13006)]. However, in the earlier mentioned paper, Katzman and Sharp showed that in a local Cohen-Macaulay ring the set of all \( Q(J)\) where \(J\) runs over parameter ideals of \(R\) is bounded by above. Such a bound (of the form \(p^e\)) can be called a Frobenius test exponent for parameter ideals. In this paper, techniques such as unconditioned strong \(d\)-sequences, cohomological annihilators, modules of generalized fractions and the Harthsorne-Speiser-Lyubeznik theorem are used to establish that the set of all \( Q(J)\) where \( J\) runs over parameter ideals of \(R\) is bounded for a generalized Cohen-Macaulay local ring \((R, m)\), i.e. a local ring \((R, m)\) where all modules \(H^i_m (R)\) have finite length, \(i < \dim (R)\).