Frobenius-surjectivity conjecture for degree-zero local cohomology

Let (R,m,C)(R,\mathfrak{m},\mathbb{C}) be a reduced standard graded C\mathbb{C}-algebra with an isolated singularity at m\mathfrak{m}. Let AA be a regular subring of C\mathbb{C} such that RR is defined over AA. For nMaxSpec(A)\mathfrak{n}\in\operatorname{Max}\operatorname{Spec}(A), set κ=A/n\kappa=A/\mathfrak{n} and let RκR_\kappa and mκ\mathfrak{m}_\kappa denote the corresponding reductions. Frobenius-surjectivity conjecture. The Frobenius map is surjective on Hmκi(Rκ)0H^i_{\mathfrak{m}_\kappa}(R_\kappa)_0 for all ii and for κ=A/n\kappa=A/\mathfrak{n} in a dense subset of nMaxSpec(A)\mathfrak{n}\in\operatorname{Max}\operatorname{Spec}(A). This conjecture proposes a positive-characteristic criterion related to cohomological fullness and the behavior of degree-zero local cohomology under reduction modulo dense sets of maximal ideals; its resolution is not supplied here.

Sources & referencesView supporting material

Primary source

Hailong Dao, Alessandro De Stefani and Linquan Ma, “Cohomologically full rings”, arXiv:1806.00536 (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.