English

The Fedder action and a simplicial complex of local cohomologies

Commutative Algebra 2020-12-01 v1

Abstract

Let RR be a regular ring of prime characteristic p>0p > 0, and let f=f1,,fc\underline{\mathbf{f}}=f_1,\ldots,f_c be a permutable regular sequence of codimension c1c\geq 1. We describe a complex of RFR\langle F \rangle-modules, denoted ΔΔf(R)\Delta\hspace{-2.65mm}\Delta^\bullet_{\underline{\mathbf{f}}}(R), whose terms include ΔΔf0(R)=R/f\Delta\hspace{-2.65mm}\Delta^0_{\underline{\mathbf{f}}}(R)=R/\underline{\mathbf{f}} equipped with its natural Frobenius action, and ΔΔfc(R)=Hfc(R)\Delta\hspace{-2.65mm}\Delta^c_{\underline{\mathbf{f}}}(R)=H^c_{\underline{\mathbf{f}}}(R) equipped with a Frobenius action we refer to as the Fedder action. We show that Hi(ΔΔf(R))=0H^i(\Delta\hspace{-2.65mm}\Delta^\bullet_{\underline{\mathbf{f}}}(R))=0 for all i<ci<c, and that Hc(ΔΔf(R))H^c(\Delta\hspace{-2.65mm}\Delta^\bullet_{\underline{\mathbf{f}}}(R)) is a copy of Hfc(R)H^c_{\underline{\mathbf{f}}}(R) equipped with the usual Frobenius action. Using the ΔΔf(R)\Delta\hspace{-2.65mm}\Delta^\bullet_{\underline{\mathbf{f}}}(R) complex, we show that if IfI\supseteq \underline{\mathbf{f}} is an ideal such that HIi(R)=0H^i_I(R)=0 for ht(I)<i<ht(I)+c\text{ht}(I)<i<\text{ht}(I)+c (which is automatic if R/IR/I is Cohen-Macaulay), then the module HI/fht(I/f)+c(R/f)H^{\text{ht}(I/\underline{\mathbf{f}})+c}_{I/\underline{\mathbf{f}}}(R/\underline{\mathbf{f}}) has Zariski closed support.

Keywords

Cite

@article{arxiv.2011.14815,
  title  = {The Fedder action and a simplicial complex of local cohomologies},
  author = {Eric Canton and Monica Lewis},
  journal= {arXiv preprint arXiv:2011.14815},
  year   = {2020}
}

Comments

19 pages