On the finite generation of a family of Ext modules (Q395033)

Let \(Q\) be a Noetherian local ring with finite Krull dimension and let \(f=f_1,\dots,f_c\) be a regular sequence in \(Q\). Let \(A=Q/(f)\), \(I\) an ideal of \(A\) and \(M\) be a finitely generated \(A\)-module such that \(\mathrm{pd}_QM\) is finite. Let \(N=\bigoplus_{n\geq 0}N_n\) be a finitely generated \(R(I)\)-module, where \(R(I)=\bigoplus_{n\geq 0}I^nX^n\) be the Rees algebra of \(I\). The author proves that \[ \bigoplus_{i\geq 0}\bigoplus_{n\geq0}\mathrm{Ext}_A^i(M,N_n) \] is a finitely generated bigraded \(R(I)[t_1,\dots,t_c]\)-module. By using this the author proves the following statements: 1) If \((A,m)\) be a local complete intersection ring and \(M\),\(N\) be finitely generated \(A\)-modules, then \[ \bigcup_{n\geq0}\bigcup_{i\geq0}\mathrm{Ass} \mathrm{Ext}_A^i(M,I^nN) \] is a finite set and there exist \(i_0\) and \(n_0\) such that for all \(i\geq i_0\) and \(n\geq n_0\), we have \(\mathrm{Ass} \mathrm{Ext}_A^{2i}(M,I^nN)=\mathrm{Ass} \mathrm{Ext}_A^{2i_0}(M,I^{n_0}N)\) and \(\mathrm{Ass} \mathrm{Ext}_A^{2i+1}(M,I^nN)=\mathrm{Ass} \mathrm{Ext}_A^{2i_0+1}(M,I^{n_0}N)\). 2) Let \((A,m)\) be a local complete intersection ring and \(M\),\(N\) be finitely generated \(A\)-modules. Set \[ \mathrm{cx}_A(M,N):=\inf\{b\in\mathbb{N}\mid \lim_{n\to\infty}\mu(\mathrm{Ext}_A^n(M,N))/n^{b-1}<\infty\} \] (\(\mu(X)\) be the number of minimal generators of finitely generated A-module \(X\)). Then \(\mathrm{cx}_A(M,I^jN)\) is constant for all sufficiently large \(j\). Recall that a local ring \(A\) is said to be complete intersection if its completion is the quotient of a regular local ring by an ideal generated by a regular sequence.