The category of \(F\)-modules has finite global dimension (Q2253030)

Let \(R\) be a regular ring of characteristic \(p>0\). In [Contemp. Math. 448, 119--127 (2007; Zbl 1144.13004)], \textit{M. Hochster} showed that the category of Lyubeznik's \(F_R\)-modules has enough injectives, so that every \(F_R\)-module has an injective resolution in this category. In this paper under mild conditions on \(R\), for example when \(R\) is essentially of finite type over an \(F\)-finite regular local ring, it is shown that the category of \(F\)-modules has finite global dimension \(d+1\) where \(d=\dim R\). In [loc. cit.], Hochster also showed that when \(M\) and \(N\) are \(F_R\)-finite \(F_R\)-modules, \(\Hom_{F_R}(M,N)\) is finite. The author shows that in general \(\mathrm{Ext}^1_{F_R}(M,N)\) is not necessarily finite.