Asymptotic behavior of Ext functors for modules of finite complete intersection dimension (Q658321): Difference between revisions

This paper tackles some of the issues related to the vanishing of the modules \(\text{Ext}^i_R(M,N)\), where \(R\) is a local ring and \(M\), \(N\) are finitely generated \(R\)-modules. \(M\) is always supposed to have ``finite complete intersection dimension''; this assumption is satisfied in the special case in which either \(M\) has finite projective dimension or \(R\) is a complete intersection ring. Under this condition for \(M\), various vanishing results for \(\text{Ext}^i_R(M,N)\) are proved; in particular, under some additional hypothesis on \(M\) and \(N\), the author finds the number of consecutive vanishing of \(\text{Ext}^i_R(M,N)\) needed to ensure \(\text{Ext}^i_R(M,N) =0\), for all \(i>>0\). The main tools used are: the Grothendieck group of finitely generated \(R\)-modules; the concept of complexity of a pair \((M,N)\) of finite modules; an asymptotic function associated to \(\text{Ext}^i_R(M,N)\), for every pair of finitely generated \(R\)-modules \((M,N)\), which is a generalization of Herbrand difference.