Modules in resolving subcategories which are free on the punctured spectrum (Q2270622)

The working category mod \(R\) is the category of finitely generated \(R\)-modules, over a commutative noetherian ring \(R\). A subcategory \(\mathcal X\) is a resolving subcategory of mod \(R\), if it contains all projective \(R\)-modules, it is closed under direct summands, and it is closed under extensions and kernels of epimorphisms. Given an \(R\)-module \(X\), the set of prime ideals \(I\) of \(R\) such that \(R_I\)-module \(X_I\) is non-free is denoted by \(NF(X)\). Given two \(R\)-modules \(X\) and \(Y\), define step(\(X\), \(Y\))=inf\{\(n\geq 0\) : \(Y\in res^n_R X\)\}, where res\(^n_R X\) denotes an inductively defined subcategory of mod\(R\), starting with the additive closure of \(\{X,R\}\). The main theme of the paper is to study modules in \(\mathcal X\), by establishing relationships with modules in \(\mathcal X\) which are free on the punctured spectrum of \(R\). It is done by investigation of non-free loci and establishing an analogue of the notion of a level in a triangulated category, earlier introduced by Avramov, Buchweitz, Iyengar and Miller. Two of the main results are as follows: Corollary 5.6. Let \(R\) be a local ring. Then for every non-free \(R\)-module \(X\), there exists a non-free \(R\)-module \(Y\) in res\(X\) that satisfy the following two conditions: (1) step(\(X\),\(Y\))\(\leq\)2dim NF(X), (2) Y is free on the punctured spectrum of \(R\). Corollary 6.9. Let \(R\) be a local ring with residue field \(k\), and assume either that \(R\) is complete or that \(k\) is uncountable. Let \(\mathcal X\) be a resolving subcategory of mod \(R\) of countable type. Then dim NF(\(\mathcal X)\leq\) 1. This is a generalization of a theorem of Huneke and Leuschke.