English

Symbolic powers of ideals and their topology over a module

Commutative Algebra 2016-07-27 v1

Abstract

Let II denote an ideal of a Noetherian ring RR and NN a non-zero finitely generated RR-module. In the present paper, some necessary and sufficient conditions are given to determine when the II-adic topology on NN is equivalent to the II-symbolic topology on NN. Among other things, we shall give a complete solution to the question raised by R. Hartshorne in [{\it Affine duality and cofiniteness}, Invent. Math. {\bf9}(1970), 145-164], for a prime ideal p\frak p of dimension one in a local Noetherian ring RR, by showing that the p\frak{p}-adic topology on NN is equivalent to the p\frak{p}-symbolic topology on NN if and only if for all z\AssRNz\in \Ass_{R^*}N^* there exists q\Supp(N)\frak{q}\in \Supp(N^*) such that zqz\subseteq \frak{q} and qR=p.\frak{q}\cap R=\frak{p}. Also, it is shown that if for every p\Supp(N){\mathfrak{p}}\in \Supp(N) with dimR/p=1\dim R/\mathfrak{p}=1, the p\mathfrak{p}-adic and the p\mathfrak{p}-symbolic topologies are equivalent on NN, then NN is unmixed and \AssRN\Ass_{R} N has only one element. Finally, we show that if \AssRpNp\Ass_{R_{\mathfrak{p}}^*}{N^*_{\mathfrak{p}}} consists of a single prime ideal, for all pA(I,N){\mathfrak{p}}\in {A^*}(I,N), then the II-adic and the II-symbolic topologies on NN are equivalent. \end{abstract}

Keywords

Cite

@article{arxiv.1607.07629,
  title  = {Symbolic powers of ideals and their topology over a module},
  author = {Adeleh Azari and Simin Mollamahmoudi and Reza Naghipour},
  journal= {arXiv preprint arXiv:1607.07629},
  year   = {2016}
}

Comments

9 pages