Cohomology of schematic algebras (Q1814973)

Let \(R\) be a positively graded connected Noetherian \(K\)-algebra. \textit{F. Van Oystaeyen} and \textit{L. Willaert} [J. Pure Appl. Algebra 104, No. 4, 109-122 (1995; Zbl 0854.16027)], defined \(R\) to be schematic if it has ``enough'' Ore sets -- precisely, if there exists a finite collection \(S_1,S_2,\dots,S_N\) of two-sided, homogeneous Ore sets in \(R\) such that \(S_i\cap R_+\neq\emptyset\) for each \(i\) and such that, for all \((s_1,s_2,\dots,s_N)\in S_1\times S_2\times\dots\times S_N\), there exists \(m\in\mathbb{N}\) with \((R_+)^m\subseteq\sum^N_{i=1}Rs_i\). Of course this includes the case when \(R\) is commutative; non-trivial examples are given in [\textit{F. Van Oystaeyen} and \textit{L. Willaert}, Examples and quantum sections of schematic algebras, J. Pure Appl. Algebra (in press)]. In the paper under review a straightforward localization argument is used to show that schematic algebras of finite global dimension satisfy condition \(\chi\) of \textit{M. Artin} and \textit{J. J. Zhang} [Adv. Math. 109, No. 2, 228-287 (1994; Zbl 0833.14002)] (meaning, in this context, that \(\text{Ext}^i_R(K,R)\) is a finite dimensional vector space for all \(i\)). The definition of the cohomology groups in the quotient category \(\text{Proj }R\) is recalled from the same reference, and in the main work of the paper it is shown that the cohomology groups for a schematic algebra can be calculated using a natural notion of Čech cohomology defined in the latter category. The use of this equivalence for calculating cohomology is illustrated by calculating the graded cohomology groups of certain right ideals of the homogenization of the first Weyl algebra.