Asymptotic associated and attached prime ideals related to projective modules (Q4338213)

Let \(I\) be an ideal of a commutative ring \(R\). Broadman showed that if \(N\) is a Noetherian \(R\)-module then the sequences of sets of associated primes \(\text{Ass}_R (N/I^nN)\) and \(\text{Ass}_R (I^nN/I^{n+1}N)\) are eventually constant for large \(n\). Sharp has shown that if \(A\) is an Artinian \(R\)-module, then the sequences of sets of attached primes \(\text{Att}_R (0:_AI^n)\) and \(\text{Att}_R (0:_A I^{n+1}/0:_AI^n)\) are also eventually constant. Let \(N\) and \(A\) be as above, let \(N'\) (resp. \(A')\) be a submodule of \(N\) (resp. \(A)\), and let \(P\) be a projective \(R\)-module. It is shown that the sequences of sets \(\text{Ass}_R (\Hom_R (P,N)/I^n \Hom_R (P,N'))\) and \(\text{Ass}_R (I^n\Hom_R (P,N)/I^n \Hom_R (P,N'))\) eventually stabilize as do the sequences (in \(n)\) \[ \text{Ass}_R (\text{Tor}_i^R (R/I^n, \Hom_R (P,N)) \] and \[ \text{Ass}_R (\text{Tor}_i^R (I^n/I^{n+1}, \Hom_R (P,N)). \] Dually, it is shown that the sequences of attached primes \[ \text{Att}_R (\Hom_R (P,A'):_{\Hom_R (P,A)}I^n) \] and \[ \text{Att}_R (\Hom_R (P,A'):_{\Hom_R (P,A)} I^n/ \Hom_R(P,A'') :_{\Hom_R (P,A)}I^n) \] (where \(A''\) is a submodule of \(A')\) eventually become constant as do the sequences (in \(n)\) \(\text{Att}_R (\text{Ext}_R^i (R/I^n, \Hom_R (P,A))\) and \(\text{Att}_R (\text{Ext}^i_R (I^n/I^{n+1}, \Hom_R (P,A))\).