Hostname: page-component-76fb5796d-qxdb6 Total loading time: 0 Render date: 2024-04-25T14:43:45.463Z Has data issue: false hasContentIssue false

Asymptotic prime divisors over complete intersection rings

Published online by Cambridge University Press:  02 February 2016

DIPANKAR GHOSH
Affiliation:
Department of Mathematics, Indian Institute of Technology Bombay, Powai, Mumbai 400076, India. e-mail: dipankar@math.iitb.ac.in, tputhen@math.iitb.ac.in
TONY J. PUTHENPURAKAL
Affiliation:
Department of Mathematics, Indian Institute of Technology Bombay, Powai, Mumbai 400076, India. e-mail: dipankar@math.iitb.ac.in, tputhen@math.iitb.ac.in

Abstract

Let A be a local complete intersection ring. Let M, N be two finitely generated A-modules and I an ideal of A. We prove that

$$\bigcup_{i\geqslant 0}\bigcup_{n \geqslant 0}{\rm Ass}_A\left({\rm Ext}_A^i(M,N/I^n N)\right)$$
is a finite set. Moreover, we prove that there exist i0, n0 ⩾ 0 such that for all ii0 and nn0, we have
$$\begin{linenomath}\begin{subeqnarray*} {\rm Ass}_A\left({\rm Ext}_A^{2i}(M,N/I^nN)\right) &=& {\rm Ass}_A\left({\rm Ext}_A^{2 i_0}(M,N/I^{n_0}N)\right), \\ {\rm Ass}_A\left({\rm Ext}_A^{2i+1}(M,N/I^nN)\right) &=& {\rm Ass}_A\left({\rm Ext}_A^{2 i_0 + 1}(M,N/I^{n_0}N)\right). \end{subeqnarray*}\end{linenomath}$$
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) is constant for all sufficiently large n.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Avramov, L. L. and Buchweitz, R.-O.Support varieties and cohomology over complete intersections. Invent. Math. 142 (2000), 285318.Google Scholar
[2]Brodmann, M.Asymptotic stability of Ass(M/InM). Proc. Amer. Math. Soc. 74 (1979), 1618.Google Scholar
[3]Eisenbud, D.Homological algebra on a complete intersection, with an application to group representations. Trans. Amer. Math. Soc. 260 (1980), 3564.Google Scholar
[4]Gulliksen, T. H.A change of ring theorem with applications to Poincaré series and intersection multiplicity. Math. Scand. 34 (1974), 167183.CrossRefGoogle Scholar
[5]Katz, D. and West, E.A linear function associated to asymptotic prime divisors. Proc. Amer. Math. Soc. 132 (2004), 15891597.Google Scholar
[6]Melkersson, L. and Schenzel, P.Asymptotic prime ideals related to derived functors. Proc. Amer. Math. Soc. 117 (1993), 935938.CrossRefGoogle Scholar
[7]Puthenpurakal, T. J.On the finite generation of a family of Ext modules. Pacific J. Math. 266 (2013), 367389.Google Scholar
[8]Vasconcelos, W. V.Cohomological degrees of graded modules. pp. 345392 in Six lectures on commutative algebra (Bellaterra, 1996), edited by Elias, J.et al.Progr. Math. 166 (Birkhäuser, Basel, 1998).Google Scholar
[9]West, E.Primes associated to multigraded modules. J. Algebra 271 (2004), 427453.CrossRefGoogle Scholar