Ext and Frobenius. II (Q1355545)

Let \(A\) be a complete local ring of dimension \(d>0\) with maximal ideal \(m\) and \(k=A/m\) (\(k\) perfect). The Frobenius map \(f:A\to A\) is given by \(f(x)=x^p\). Let \({^{f^n}A}\) denote \(A\), regarded as an \(A\) module on the left via \(f^n\) and on the right by the identity map. Let \(F_\bullet=(f_i,d_i)_{i\geq 0}\) be a chain complex of finitely generated free \(A\)-modules with homologies of finite length \(l\). Let \(F^n(F_\bullet):=F_\bullet\otimes_A{}^{f^n}\hskip -4pt A\). For any finitely generated \(A\)-module \(N\) let \(\widetilde N\) be \({\text{Hom}}_A(H^d_m(N),E)\), where \(E\) is the injective hull of \(k\) over \(A\). Limits are as \(n\to\infty\). The main result (1.5) is the following: Theorem: Let \(F_\bullet\) be as above and let \(N\) be a finitely generated \(A\)-module. Let \(W_{j,n}\) denote the \(j^{\text{th}}\) homology of \({\text{Hom}}(F^n(F_\bullet),N)\). Then (i) If \(\dim N<\dim A\), then \(\lim l(W_{j,n})/p^{nd}=0\). (ii) If \(\dim N=\dim A\) and (a) \(j<d\) then \(\lim l(W_{d,n})/p^{nd}=0\), (b) \(j=d\) then \(\lim l(W_{d,n})/p^{nd}=\lim l(F^n(H_0(F_\bullet))\otimes\widetilde N)/p^{nd}\) which is positive and (c) \(j>d\), then \(\lim l(W_{j,n})/p^{nd}=\lim l(H_{j-d}(F^n(F_\bullet))\otimes\widetilde N)/p^{nd}\). This generalizes part I of this paper [cf. \textit{S. P. Dutta}, J. Algebra 127, No. 1, 163-177 (1989; Zbl 0699.13008)] where a similar result was obtained with additional hypotheses on \(A\) and \(N\). The paper concludes with some applications which generalize those of the author's previous paper, including a proof of the improved new intersection conjecture in characteristic \(p>0\).