Strong global dimension of commutative rings and schemes (Q471912)

A complex \(C^{\bullet}\) of modules over a ring \(A\) is perfect if it is quasiisomorphic to a finite complex \(P^{\bullet}: 0\rightarrow P^a\rightarrow \cdots\rightarrow P^{b-1}\rightarrow P^b\rightarrow0\) of finite projective \(A\)-modules. For such a perfect complex \(C^{\bullet}\) the authors define the width \(\text{wd}(C^{\bullet})\) to be the minimal length \(l=b-a\) of a complex \(P^{\bullet}\) as above. A complex \(C^{\bullet}\) is called indecomposable if it not isomorphic to a direct sum of two non-trivial perfect complexes. A ring \(A\) is called strongly \(r\)-regular if every complex over \(A\) with bounded cohomology is quasiisomorphic to a direct sum of perfect complexes of width \(\leqslant r\). If \(A\) is strongly \(r\)-regular for some \(r\), then it will be called strongly regular. The main results is as follows. Theorem. A commutative noetherian ring \(A\) is strongly regular if and only if it is a product \(\prod_{i=1}^s A_i\), where each \(A_i\) is a Dedekind domain or a field. The authors also give a similar characterization for separated noetherian schemes: a noetherian scheme \(X\) is of finite strong global dimension if and only if it is regular of dimension \(\leqslant1\).