Cohomological comparison theorem (Q494117)

The structure of cohomology rings of modules over some rings \(\Lambda\) (for a \(\Lambda\)-module \(M\) this means \(\mathrm{Ext}_{\Lambda}^*(M,M)\) with the Yoneda product) is important in the representation theory of \(\Lambda\). In the context of the so-called proper \(G\)-graded rings \(\Lambda\) (here \(G\) is a group), the authors show that the cohomology ring of the \(\Lambda\)-module \(\Lambda/{\mathbf{r}}\) (here \(\mathbf{r}\) is the graded Jacobson radical of \(\Lambda\)) is eventually isomorphic to the cohomology ring of the \(f\Lambda f\)-module \(f\Lambda f/f\mathbf{r}f\), where \(f\) is any idempotent in \(\Lambda\). This is done under the assumptions of finiteness of projective and injective dimensions of some modules and the existence of a finitely generated minimal graded projective \(\Lambda\)-resolution for any simple graded \(\Lambda\)-module. In the particular case when \(G\) is the trivial group, \(\Lambda\) becomes an Artin algebra and moreover some assumptions of the main result simplify. As applications, the authors obtain, under some new hypothesis, an equivalence between the finite generation of the above cohomology rings and the equality of their Gelfand-Kirillov dimensions. Finite generation of cohomology rings is an important tool in homological algebra and representation theory.