Faltings’ local–global principle and annihilator theorem for the finiteness dimensions

DOI10.1080/00927872.2018.1523423zbMATH Open1436.13034arXiv1712.09067OpenAlexW2963644539MaRDI QIDQ5227768FDOQ5227768

Publication date: 7 August 2019

Published in: Communications in Algebra (Search for Journal in Brave)

Abstract: Let

R

be a commutative Noetherian ring,

M

a finitely generated

R

-module and

n

be a non-negative integer. In this article, it is shown that there is a finitely generated submodule

N_{i}

of

H_{f r a k a}^{i} (M)

such that

d i m m S u p p H_{f r a k a}^{i} (M) / N_{i} < n

for all

i < t

if and only if there is a finitely generated submodule

N_{i, f r a k p}

of

H_{f r a k a R_{f r a k p}}^{i} (M_{f r a k p})

such that

d i m m S u p p H_{f r a k a R_{f r a k p}}^{i} (M_{f r a k p}) / N_{i, f r a k p} < n

for all

i < t

. This generalizes Faltings' Local-global Principle for the finiteness of local cohomology modules (Faltings' in Math. Ann. 255:45-56, 1981). Also, it is shown that whenever

R

is a homomorphic image of a Gorenstein local ring, then the invariants

i n f i i n m a t h b b N_{0} m i d d i m m S u p p ({f r a k b}^{t} H_{f r a k a}^{i} (M)) g e q n e x t f o r a l l t i n m a t h b b N_{0}

and

i n f m d e p t h M_{f r a k p} + m h t (f r a k a + f r a k p) / f r a k p m i d f r a k p i n m S p e c R s e t m i n u s V (f r a k b) e x t a n d d i m R / (f r a k a + f r a k p) g e q s l a n t n

are equal, for every finitely generated

R

-module

M

and for all ideals

f r a k a, f r a k b

of

R

with

f r a k b s u b s e t e q f r a k a

. As a consequence, we determine the least integer

i

where the local cohomology module

H_{f r a k a}^{i} (M)

is not minimax (resp. weakly laskerian).

Full work available at URL: https://arxiv.org/abs/1712.09067

Recommendations

zbMATH Keywords

local cohomology minimax modules Faltings' local-global principle Faltings' annihilator theorem in dimension \(< n\) modules

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45) Commutative Noetherian rings and modules (13E05) Local cohomology and algebraic geometry (14B15)

Cites Work

Cited In (18)

This page was built for publication: Faltings’ local–global principle and annihilator theorem for the finiteness dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5227768)