Gorenstein-Projective Modules over Upper Triangular Matrix Artin Algebras

Gorenstein-projective module is an important research topic in relative homological algebra, representation theory of algebras, triangulated categories, and algebraic geometry (especially in singularity theory). For a given algebra A , how to construct all the Gorenstein-projective A -modules is a fundamental problem in Gorenstein homological algebra. In this paper, we describe all complete projective resolutions over an upper triangular Artin algebra Λ = A M B A 0 B . We also give a necessary and sufficient condition for all finitely generated Gorenstein-projective modules over Λ = A M B A 0 B .

Complete Cohomology for Extriangulated Categories

Let [Formula: see text] be an extriangulated category with a proper class [Formula: see text] of [Formula: see text]-triangles. We study complete cohomology of objects in [Formula: see text] by applying [Formula: see text]-projective resolutions and [Formula: see text]-injective coresolutions constructed in [Formula: see text]. Vanishing of complete cohomology detects objects with finite [Formula: see text]-projective dimension and finite [Formula: see text]-injective dimension. As a consequence, we obtain some criteria for the validity of the Wakamatsu tilting conjecture and give a necessary and sufficient condition for a virtually Gorenstein algebra to be Gorenstein. Moreover, we give a general technique for computing complete cohomology of objects with finite [Formula: see text]-[Formula: see text]projective dimension. As an application, the relations between [Formula: see text]-projective dimension and [Formula: see text]-[Formula: see text]projective dimension for objects in [Formula: see text] are given.

Hochschild cohomology, finiteness conditions and a generalization of d-Koszul algebras

Given a finite-dimensional algebra [Formula: see text] and [Formula: see text], we construct a new algebra [Formula: see text], called the stretched algebra, and relate the homological properties of [Formula: see text] and [Formula: see text]. We investigate Hochschild cohomology and the finiteness condition (Fg), and use stratifying ideals to show that [Formula: see text] has (Fg) if and only if [Formula: see text] has (Fg). We also consider projective resolutions and apply our results in the case where [Formula: see text] is a [Formula: see text]-Koszul algebra for some [Formula: see text].

Higher preprojective algebras, Koszul algebras, and superpotentials

In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case, we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary, all the relations come from the superpotential. We then construct projective resolutions of all simple modules for the higher preprojective algebra of a $d$-hereditary algebra. This allows us to recover various known homological properties of the higher preprojective algebras and to obtain a large class of almost Koszul dual pairs of algebras. We also show that when our original algebra is Koszul there is a natural map from the quadratic dual of the higher preprojective algebra to a graded trivial extension algebra.

Generating degrees for graded projective resolutions

We provide a framework connecting several well-known theories related to the linearity of graded modules over graded algebras. In the first part, we pay a particular attention to the tensor products of graded bimodules over graded algebras. Finally, we provide a tool to evaluate the possible degrees of a module appearing in a graded projective resolution once the generating degrees for the first term of some particular projective resolution are known.