The complexity of Frobenius powers of ideals (Q1265559)

Let \(I\) denote an ideal of \(R\), an affine ring of positive prime characteristic \(p.\) Let \(I^{[q]}, q = p^e,\) denote the ideal of \(R\) generated by all the \(q\)-th powers of elements of \(I.\) In difference to ordinary powers of \(I\) the Frobenius powers \(I^{[q]}\) exhibit a rather complicated behaviour. Let \(R = k[x_1,\ldots,x_n]\) denote the polynomial ring over a field \(k\) of prime characteristic \(p.\) Let \(I, J \subset R\) denote two ideals. With respect to the strange behaviour of \(I^{[q]}\) in connection to associated primes and the Hilbert-Kunz function the author is interested in the following two circles of problems: 1. Fix the reverse lexicographic order on monomials on \(R.\) Do the maximal degrees of the Gröbner bases of \(J + I^{[q]}\) grow linearly with \(q?\) 2. In the case of homogeneous ideals \(I, J\) does the Castelnuovo-Mumford regularity of \(J + I^{[q]}\) grow linearly with \(q?\) The author conjectures that both of the questions will be true. In the present paper he describes certain classes of ideals for which one can prove these conjectures and he decribes certain reductions one can introduce. The author's interest in both of the problems are motivated from the theory of tight closure [see \textit{M. Hochster} and \textit{C. Huneke}, J. Am. Math. Soc. 3, No. 1, 31-116 (1990; Zbl 0701.13002)], in particular in the open question whether tight closure commutes with localiztion. He proves that tight closure in \(R/J\) commutes with localization with respect to a single element in case of an affirmative answer to question 1. Moreover there is a list of particular cases, where one has an affirmative answer to question 2. There is an affirmative answer to question 2 in the case of \(I\) a principal ideal resp. \(J\) a monomial ideal.