English

Faltings' annihilator theorem and almost Cohen-Macaulay rings

Commutative Algebra 2022-02-22 v1

Abstract

Faltings' annihilator theorem is an important result in local cohomology theory. Recently, Doustimehr and Naghipour generalized the Falitings' annihilator theorem. They proved that if RR is a homomorphic image of a Gorenstein ring, then fab(M)n=λab(M)nf_\mathfrak{a}^\mathfrak{b}(M)_n = \lambda_\mathfrak{a}^\mathfrak{b}(M)_n, where fab(M)n:=inf{iNdimSupp(btHai(M))n for all tN}f_\mathfrak{a}^\mathfrak{b}(M)_n := \inf\{i \in \mathbb{N} \mid \operatorname{dim}{\operatorname{Supp}(\mathfrak{b}^t H_\mathfrak{a}^i(M))} \geq n \text{ for all } t\in \mathbb{N}\} and λab(M)n:=inf{λaRpbRp(Mp)pSpecR with dimR/pn}\lambda_\mathfrak{a}^\mathfrak{b}(M)_n := \inf\{\lambda_{\mathfrak{a} R_\mathfrak{p}}^{\mathfrak{b} R_\mathfrak{p}}(M_\mathfrak{p}) \mid \mathfrak{p}\in\operatorname{Spec}{R} \text{ with } \operatorname{dim}{R/\mathfrak{p}} \geq n\}. In this paper, we study the relation between fab(M)nf_\mathfrak{a}^\mathfrak{b}(M)_n and λab(M)n\lambda_\mathfrak{a}^\mathfrak{b}(M)_n, and prove that if RR is an almost Cohen-Macaulay ring, then fab(M)nλab(M)ncmdRf_\mathfrak{a}^\mathfrak{b}(M)_n \geq \lambda_\mathfrak{a}^\mathfrak{b}(M)_n - \operatorname{cmd}{R}. Using this result, we prove that if RR is a homomorphic image of a Cohen-Macaulay ring, then fab(M)n=λab(M)nf_\mathfrak{a}^\mathfrak{b}(M)_n = \lambda_\mathfrak{a}^\mathfrak{b}(M)_n.

Keywords

Cite

@article{arxiv.2202.09528,
  title  = {Faltings' annihilator theorem and almost Cohen-Macaulay rings},
  author = {Glenn Ando},
  journal= {arXiv preprint arXiv:2202.09528},
  year   = {2022}
}

Comments

12 pages

R2 v1 2026-06-24T09:45:36.094Z