Eventually homological isomorphisms in recollements of derived categories (Q2197768)

Given any three algebraic objects \(A,B,C\), be it groups, rings, modules or algebras, it is common to discuss whether or not there is a short exact sequence \(B\xrightarrow{}A\xrightarrow{}C\) of these three. In somewhat similar fashion, we can discuss a ``short exact sequence'' of triangulated categories \(\mathcal{T}_1\rightarrow\mathcal{T}\rightarrow\mathcal{T}_2\) where morphisms are adjoint functors. This is called a \textit{recollement} of \(\mathcal{T}\) relative to \(\mathcal{T}_1\) and \(\mathcal{T}_2.\) They were introduced by [\textit{A. A. Beilinson} et al., Astérisque 100, 172 p. (1982; Zbl 0536.14011)] and play important role in algebraic geometry and representation theory. Furthermore, as pointed out by the author in the paper under review, recollements of derived categories of algebras \(A,B\) and \(C\) provide a useful tool for comparing these algebras with respect to certain homological properties such as global dimension, finitistic dimension, Hochschild homology and cyclic homology, smoothness, Gorensteinness and many more. Suppose that \(\mathcal{D}(A)\) is the derived category of cochain complexes of \(A\)-modules and that \( \mathcal{D}(B)\xrightarrow{i_{*}}\mathcal{D}(A)\xrightarrow{j^{*}}\mathcal{D}(C)\) is a recollement of derived categories. Under certain hypothesis, the functor \(j^*\) is called an \textit{eventually homological isomorphism}. This idea has been used in abelian categories to understand some of the homological properties mentioned in the first paragraph. In the paper under review, the author employs this idea to compare the finite generation property of algebras \(A\) and \(C\). It is of interest to determine whether or not the Hochschild cohomology ring \(\text{HH}^*(A)\) of the algebra \(A\) is finitely generated and whether or not the Yoneda algebra \(\text{Ext}_{A}^{*}(A/\text{rad}A,A/\text{rad}A)\) of the \(A\)-module \(A/\text{rad}(A)\) is a finitely generated \(\text{HH}^*(A)\)-module. This is the finite generation \textbf{(fg)} condition. The author proves that whenever \(j^*\) is an \textit{eventually homological isomorphism}, we can compare the Gorenstein property of the algebras \(A\) and \(C\) and whenever \(B/\text{rad}B\) is seperable over \(k\), \(A\) satisfies the \textbf{fg} condition if and only if \(C\) does so. The author also shows that these results can be applied to derived discrete algebras, triangular matrix algebras and stratifying ideals.