EXACTNESS OF IDEAL TRANSFORMS AND ANNIHILATORS OF TOP LOCAL COHOMOLOGY MODULES
Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x...
Saved in:
Published in | Journal of the Korean Mathematical Society Vol. 52; no. 6; pp. 1253 - 1270 |
---|---|
Main Author | |
Format | Journal Article |
Language | Korean |
Published |
2015
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra. |
---|---|
Bibliography: | KISTI1.1003/JNL.JAKO201532434264240 |
ISSN: | 0304-9914 |