English

Graded $F$-modules and Local Cohomology

Commutative Algebra 2014-02-26 v3

Abstract

Let R=k[x1,...,xn]R=k[x_1,..., x_n] be a polynomial ring over a field kk of characteristic p>0,p>0, let \m=(x1,...,xn)\m=(x_1,..., x_n) be the maximal ideal generated by the variables, let E^*E be the naturally graded injective hull of R/\mR/\m and let E(n)^*E(n) be E^*E degree shifted downward by n.n. We introduce the notion of graded FF-modules (as a refinement of the notion of FF-modules) and show that if a graded FF-module \M\M has zero-dimensional support, then \M,\M, as a graded RR-module, is isomorphic to a direct sum of a (possibly infinite) number of copies of E(n).^*E(n). As a consequence, we show that if the functors T1,...,TsT_1,...,T_s and TT are defined by Tj=HIjij()T_{j}=H^{i_j}_{I_j}(-) and T=T1...Ts,T=T_1\circ...\circ T_s, where I1,...,IsI_1,..., I_s are homogeneous ideals of R,R, then as a naturally graded RR-module, the local cohomology module H\mi0(T(R))H^{i_0}_{\m}(T(R)) is isomorphic to E(n)c,^*E(n)^c, where cc is a finite number. If chark=0,\text{char}k=0, this question is open even for s=1.s=1.

Keywords

Cite

@article{arxiv.1102.5336,
  title  = {Graded $F$-modules and Local Cohomology},
  author = {Yi Zhang},
  journal= {arXiv preprint arXiv:1102.5336},
  year   = {2014}
}

Comments

Revised result in section 3

R2 v1 2026-06-21T17:32:11.337Z