Injective dimension of sheaves of rational vector spaces (Q1730864)

The paper is devoted to the computing the global dimension for the abelian category of sheaves over a topological space. The considered space is profinite: Hausdorff, compact and totally disconnected. The sheaves consist of $\mathbb Q$-modules. \par For any topological space $X$, the following transfinite sequence is defined in [\textit{P. Gartside} and \textit{M. Smith}, J. Group Theory 13, No. 1, 41--61 (2010; Zbl 1201.20021), Definition 2.6]: \par $X^{(0)}=X$; \par $X^{(\alpha+1)}= X^{(\alpha)}\setminus\{\text{isolated points of }X^{(\alpha)}\}$, for $\alpha$ an ordinal; \par $X^{(\lambda)}= \bigcap_{\mu<\lambda}X^{(\mu)}$, for $\lambda$ a limit ordinal. \par This sequence is called the Cantor-Bendixson process for $X$. If $X$ is Hausdorff, then there exists some ordinal for which this process stabilises [\textit{P. Gartside} and \textit{M. Smith}, J. Group Theory 13, No. 3, 315--336 (2010; Zbl 1200.20022)]. This ordinal is called the Cantor-Bendixson rank of $X$. \par Definition 2.4. A compact Hausdorff space $X$ of Cantor-Bendixson rank $\alpha$ is called scattered if the space $X^{(\alpha)}$ is equal to the empty set. \par The main result of the paper is given the following theorem. \par Theorem. If $X$ is a space which is scattered and of finite Cantor-Bendixson rank $n$, then the injective dimension of sheaves of $\mathbb Q$-modules over $X$ is $n-1$. If $X$ is any space with infinite Cantor-Bendixson rank, then the injective dimension is also infinite. \par We remark that the injective dimension of an abelian category with enough injectives considered in the paper is equal to the global dimension defined in [\textit{B. Mitchell}, Theory of categories, New York and London: Academic Press (1965; Zbl 0136.00604)].