(LC) conjecture on Frobenius powers of ideals

About 8 years old · traced to

Let (R,m,k)(R,\mathfrak{m},k) be a local or graded ring of prime characteristic p>0p>0, and let I⊆RI\subseteq R be an ideal, homogeneous in the graded case. Write I[pe]I^{[p^e]} for the ideal generated by the pep^e-th powers of elements of II, and let Hm0(−)H^0_{\mathfrak{m}}(-) denote zeroth local cohomology supported at m\mathfrak{m}. (LC) conjecture. There exists a positive integer CC such that

mCpe⋅Hm0(R/I[pe])=0\mathfrak{m}^{Cp^e}\cdot H^0_{\mathfrak{m}}(R/I^{[p^e]})=0

for all e≥0e\geq 0. Establishing this uniform linear bound on the annihilators of the zeroth local cohomology of Frobenius powers would imply, together with weak FF-regularity, that localizations are FF-regular; the conjecture is presented as an important application and its resolution is not given in the supplied text.

References

Primary source

Thomas Polstra and Pham Hung Quy, “Nilpotence of Frobenius actions on local cohomology and Frobenius closure of ideals”, arXiv:1803.04081 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.