(LC) conjecture on Frobenius powers of ideals

Let (R,m,k)(R,\mathfrak{m},k) be a local or graded ring of prime characteristic p>0p>0, and let IRI\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

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

for all e0e\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.

Sources & referencesView supporting material

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.