Hochster–Huneke's (LC) conjecture

Throughout, let R:=n0RnR:=\bigoplus_{n\geq 0}R_n be a standard graded algebra over a field of prime characteristic p>0p>0, let m:=n>0Rn\mathfrak{m}:=\bigoplus_{n>0}R_n be its irrelevant ideal, and let IRI\lhd R be a homogeneous ideal. For q=pnq=p^n, write I[q]:=(xq:xI)I^{[q]}:=(x^q:x\in I) for the qq-th Frobenius power. Since mf(q)Hm0(R/I[q])=0\mathfrak{m}^{f(q)}H^0_{\mathfrak{m}}(R/I^{[q]})=0 for some f(q)N0f(q)\in\mathbb{N}_0, the (LC)(LC) property concerns linear growth of f(q)f(q). Hochster–Huneke's (LC) conjecture. There is some bN0b\in\mathbb{N}_0, independent of qq, such that

mbqHm0(R/I[q])=0q.\mathfrak{m}^{bq}H^0_{\mathfrak{m}}(R/I^{[q]})=0\qquad\forall q.

The conjecture predicts a uniform linear bound on the nilpotence exponents of these local-cohomology modules under Frobenius powers. The paper proves it in some non-trivial cases and gives applications, but the general assertion is not resolved by the supplied text.

Sources & referencesView supporting material

Primary source

Mohsen Asgharzadeh, “On the (LC) conjecture”, arXiv:1512.02518 (2016).

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.