In this paper, we introduce the theory of local cohomology and duality to Notherian connected cochain DG algebras. We show that notion functor can be used detect Gorensteinness a homologically smooth algebra. For any Gorenstein locally finite algebra $${\cal A}$$ , define group homomorphism $${\rm{Hdet}}:{\rm{Au}}{{\rm{t}}_{dg}}\left( {\cal A} \right) \to {k^ \times }$$ called homological deter...

An immediate generalization of the classical McKay correspondence for Gorenstein quotient spaces C/G in dimensions r ≥ 4 would primarily demand the existence of projective, crepant, full desingularizations. Since this is not always possible, it is natural to ask about special classes of such quotient spaces which would satisfy the above property. In this paper we give explicit necessary and suf...

Let Λ and Γ be left and right noetherian rings and ΛU a Wakamatsu tilting module with Γ = End(ΛT ). We introduce a new definition of U -dominant dimensions and show that the U -dominant dimensions of ΛU and UΓ are identical. We characterize k-Gorenstein modules in terms of homological dimensions and the property of double homological functors preserving monomorphisms. We also study a generaliza...

For self-orthogonal modules T , the quotient triangulated categories D(A)/K(addT ) are studied, in particular, their relations with the stable categories of some Frobenius categories are investigated. New descriptions of the singularity categories of Gorenstein algebras are obtained; and the derived categories of Gorenstein algebras are explicitly given, inside the stable categories of the grad...

We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism...

We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects specified as a Haskell type class. Our algorithms work on a generic representation that we illustrate on instances members of the Catalan family, like ordered binary and multiway trees. We validate the correctness of our algorithms by defining an instance of the same type ...

We propose a concept of module liaison that extends Gorenstein liaison of ideals and provides an equivalence relation among unmixed modules over a commutative Gorenstein ring. Analyzing the resulting equivalence classes we show that several results known for Gorenstein liaison are still true in the more general case of module liaison. In particular, we construct two maps from the set of even li...

We define the symmetric Auslander category A(R) to consist of complexes of projective modules whose leftand righttails are equal to the leftand right-tails of totally acyclic complexes of projective modules. The symmetric Auslander category contains A(R), the ordinary Auslander category. It is well known that A(R) is intimately related to Gorenstein projective modules, and our main result is th...

Let $R$ be the Ehrhart ring of stable set polytope a cycle graph which is not Gorenstein. We describe non-Gorenstein locus $\operatorname{Spec}R$. Further, we show that almost Moreover, conjecture Hibi and Tsuchiya true.