On cohomological dimension and the sum theorems (Q797180)

Let X be a Hausdorff space and \(\Phi\) a paracompactifying family of supports on X. For any ring L and any sheaf \({\mathcal A}\) of L-modules on X, let \(H^*_{\Phi}(X,{\mathcal A})\) be the sheaf cohomology of X with supports in \(\Phi\). Then the smallest integer n (or \(\infty)\) such that \(H^ i_{\Phi}(X,{\mathcal A})=0\) for each \(i>n\) and each sheaf \({\mathcal A}\) of L-modules on X is called the cohomological \(\Phi\)-dimension of X over L and is denoted by \(\dim_{\Phi,L}(X)\). If X admits a paracompactifying family \(\Phi\) of supports on X with X as its extent (e.g., X is locally paracompact), then \(\dim_{\Phi,L}(X)\) is independent of \(\Phi\) and is denoted by \(\dim_ L(X)\). In this paper the authors prove the following sum theorem: Let \(\{F_{\alpha}| \alpha \in I\}\) be a closed cover of X such that I is a countable set or X has the hereditarily weak topology with respect to \(\{F_{\alpha}\}\). Then \(\dim_{\Phi,L}(X)=sum\{\dim_{\Phi | F_{\alpha},L}(F_{\alpha})| \alpha \in I\}.\) From this theorem the authors derive a number of corollaries including some of the results of \textit{D. Quillen} in his paper [Ann. Math., II. Ser. 94, 549-572 (1971; Zbl 0247.57013)].