English

On the finite generation of a family of Ext modules

Commutative Algebra 2008-09-12 v1

Abstract

Let QQ be a Noetherian ring with finite Krull dimension and let f=f1,...fc\mathbf{f}= f_1,... f_c be a regular sequence in QQ. Set A=Q/(f)A = Q/(\mathbf{f}). Let II be an ideal in AA, and let MM be a finitely generated AA-module with \projdimQM\projdim_Q M finite. Set R=n0In\R = \bigoplus_{n\geq 0}I^n, the Rees-Algebra of II. Let N=j0NjN = \bigoplus_{j \geq 0}N_j be a finitely generated graded R\R-module. We show that j0i0\ExtAi(M,Nj)\bigoplus_{j\geq 0}\bigoplus_{i\geq 0} \Ext^{i}_{A}(M,N_j) is a finitely generated bi-graded module over \Sc=R[t1,...,tc]\Sc = \R[t_1,...,t_c]. We give two applications of this result to local complete intersection rings.

Keywords

Cite

@article{arxiv.0809.2068,
  title  = {On the finite generation of a family of Ext modules},
  author = {Tony J. Puthenpurakal},
  journal= {arXiv preprint arXiv:0809.2068},
  year   = {2008}
}