English

Asymptotic prime divisors over complete intersection rings

Commutative Algebra 2016-11-14 v2

Abstract

Let AA be a local complete intersection ring. Let M,NM,N be two finitely generated AA-modules and II an ideal of AA. We prove that i0n0AssA(ExtAi(M,N/InN)) \bigcup_{i\geqslant 0}\bigcup_{n \geqslant 0}\mathrm{Ass}_A\left(\mathrm{Ext}_A^i(M,N/I^n N)\right) is a finite set. Moreover, we prove that there exist i0,n00i_0,n_0\geqslant 0 such that for all ii0i\geqslant i_0 and nn0n \geqslant n_0, we have AssA(ExtA2i(M,N/InN))=AssA(ExtA2i0(M,N/In0N)), \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2i}(M,N/I^nN)\right) = \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2 i_0}(M,N/I^{n_0}N)\right), AssA(ExtA2i+1(M,N/InN))=AssA(ExtA2i0+1(M,N/In0N)). \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2i+1}(M,N/I^nN)\right) = \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2 i_0 + 1}(M,N/I^{n_0}N)\right). We also prove the analogous results for complete intersection rings which arise in algebraic geometry. Further, we prove that the complexity cxA(M,N/InN)\mathrm{cx}_A(M,N/I^nN) is constant for all sufficiently large nn.

Keywords

Cite

@article{arxiv.1403.6972,
  title  = {Asymptotic prime divisors over complete intersection rings},
  author = {Dipankar Ghosh and Tony J. Puthenpurakal},
  journal= {arXiv preprint arXiv:1403.6972},
  year   = {2016}
}

Comments

17 pages, final version

R2 v1 2026-06-22T03:35:50.547Z