Graded skew-commutative rings occur often in practice. Here are two examples: 1) The cohomology ring of a compact three-dimensional manifold. 2) The cohomology ring of the complement of a hyperplane arrangement (the Orlik-Solomon algebra). We present some applications of the homological theory of these graded skew-commutative rings. In particular we find compact oriented 3-manifolds without boundary for which the Hilbert series of the Yoneda Ext-algebra of the cohomology ring of the fundamental group is an explicit transcendental function. This is only possible for large first Betti numbers of the 3-manifold (bigger than -- or maybe equal to -- 11). We give also examples of 3-manifolds where the Ext-algebra of the cohomology ring of the fundamental group is not finitely generated.
For homomorphism K-->S of commutative rings, where K is Gorenstein and S is essentially of finite type and flat as a K-module, the property that all non-trivial fiber rings of K-->S are Gorenstein is characterized in terms of properties of the cohomology modules Ext_n^{S\otimes_KS}S{S\otimes_KS}.
We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every third term is a relative cohomology group defined for left modules of finite Gorenstein projective dimension.
In this paper we continue the study of non connected graded Gorenstein algebras initiated in a previous paper, the main result is the proof of a version of the Local Cohomology formula.
In this paper, we introduce the theory of local cohomology and local duality to Notherian connected cochain DG algebras. We show that the notion of local cohomology functor can be used to detect the Gorensteinness of a homologically smooth DG algebra. For any Gorenstein homologically smooth locally finite DG algebra $\mathcal{A}$, we define a group homomorphism $\mathrm{Hdet}: \mathrm{Aut}_{dg}(\mathcal{A})\to k^{\times},$ called the homological determinant. As applications, we present a sufficient condition for the invariant DG subalgebra $\mathcal{A}^G$ to be Gorensten, where $\mathcal{A}$ i…
Auslander conjectured that every Artin algebra satisfies a certain condition on vanishing of cohomology of finitely generated modules. The failure of this conjecture - by a 2003 counterexample due to Jorgensen and Sega - motivates the consideration of the class of rings that do satisfy Auslander's condition. We call them AC rings and show that an AC Artin algebra that is left-Gorenstein is also right-Gorenstein. Furthermore, the Auslander-Reiten Conjecture is proved for AC rings, and Auslander's G-dimension is shown to be functorial for AC rings that are commutative or have a dualizing complex…
Gorenstein rings are important to mathematical areas as diverse as algebraic geometry, where they encode information about singularities of spaces, and homotopy theory, through the concept of model categories. In consequence, the study of Gorenstein rings has led to the advent of a whole branch of homological algebra, known as Gorenstein homological algebra. This paper solves one of the open problems of Gorenstein homological algebra by showing that so-called Gorenstein projective resolutions exist over quite general rings, thereby enabling the definition of a Gorenstein version of derived fun…
Graded skew-commutative rings occur often in practice. Here are two examples: 1) The cohomology ring of a compact three-dimensional manifold. 2) The cohomology ring of the complement of a hyperplane arrangement (the Orlik-Solomon algebra). We present some applications of the homological theory of these graded skew-commutative rings. In particular we find compact oriented 3-manifolds without boundary for which the Hilbert series of the Yoneda Ext-algebra of the cohomology ring of the fundamental group is an explicit transcendental function. This is only possible for large first Betti numbers of…
In this article we study a theory of support varieties over a skew complete intersection $R$, i.e. a skew polynomial ring modulo an ideal generated by a sequence of regular normal elements. We compute the derived braided Hochschild cohomology of $R$ relative to the skew polynomial ring and show its action on $\mathrm{Ext}_R(M,N)$ is noetherian for finitely generated $R$-modules $M$ and $N$ respecting the braiding of $R$. When the parameters defining the skew polynomial ring are roots of unity we use this action to define a support theory. In this setting applications include a proof of the Gen…
Tate cohomology was originally defined over finite groups. More recently, Avramov and Martsinkovsky showed how to extend the definition so that it now works well over Gorenstein rings. This paper improves the theory further by giving a new definition that works over more general rings, specifically, those with a dualizing complex. The new definition of Tate cohomology retains the desirable properties established by Avramov and Martsinkovsky. Notably, there is a long exact sequence connecting it to ordinary Ext groups.
The second cohomology group of a left skew brace with coefficients in a trivial left brace with non-trivial actions is defined, its connection with extensions of a left skew brace by a trivial braces is established and a Wells' like exact sequence relating the second cohomology group with inducible automorphisms of an extension of left skew braces is constructed.
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $ξ$ of $\mathbb{E}$-triangles. In this paper, we study the balance of complete cohomology in $(\mathcal{C},\mathbb{E},\mathfrak{s})$, which is motivated by a result of Nucinkis that complete cohomology of modules is not balanced in the way the absolute cohomology Ext is balanced. As an application, we give some criteria for identifying a triangulated catgory to be Gorenstein and an artin algebra to be $F$-Gorenstein.
We prove that some skew group algebras have Noetherian cohomology rings, a property inherited from their component parts. The proof is an adaptation of Evens' proof of finite generation of group cohomology. We apply the result to a series of examples of finite dimensional Hopf algebras in positive characteristic.
Let $G$ be a finite group acting on a ring $R$ and $H$ a subgroup of $G$. In this paper we compare some homological dimensions over the skew group rings $RG$ and $RH$. Moreover, under the assumption that $RG$ is a separable extension over $RH$, we show that the skew group rings $RG$ and $RH$ share some properties such as being $n$-Gorenstein, $n$-perfect, $n$-coherent, $(n,d)$, Ding-Chen or IF-rings.
Koszul property was generalized to homogeneous algebras of degree N>2 in [5], and related to N-complexes in [7]. We show that if the N-homogeneous algebra A is generalized Koszul, AS-Gorenstein and of finite global dimension, then one can apply the Van den Bergh duality theorem [23] to A, i.e., there is a Poincare duality between Hochschild homology and cohomology of A, as for N=2.
In this short paper we study for the skew PBW (Poincaré-Birkhoff-Witt) extensions some homological properties arising in non-commutative algebraic geometry, namely, Auslander-Gorenstein regularity, Cohen-Macaulayness and strongly noetherianity. Skew PBW extensions include a considerable number of non-commutative rings of polynomial type such that classical PBW extensions, quantum polynomial rings, multiplicative analogue of the Weyl algebra, some Sklyanin algebras, operator algebras, diffusion algebras, quadratic algebras in 3 variables, among many others. For some key examples we present the …
The symmetric group S_n acts on the skew polynomial ring A=k_{-1}[x_1,..., x_n] as permutations. For subgroups G of S_n we consider properties of the ring of invariants A^G. We show that A^G is always Artin-Schelter Gorenstein, and we investigate when A^G is a "complete intersection", in a sense we define. We obtain bounds on the degrees of the algebra generators. The properties of A^G are compared with those in the classical case, k[x_1, ..., x_n]^G.
The paper is dedicated to the study of certain non commutative graded AS Gorenstein algebras $Λ$. The main result of the paper is that for Koszul algebras $Λ$ with Yoneda algebra $Γ$, such that both $Λ$ and $Γ$ are graded AS Gorenstein noetherian of finite local cohomology dimension on both sides, there are dualities of triangulated categories: \underline{$gr$}$_Λ[Ω^{-1}]$ $\cong D^{b}(Qgr_Γ)$ and \underline{$gr$}$_Γ[Ω^{-1}]$ $\cong D^{b}(Qgr_Λ)$ where, and $Qgr_Γ$ is the category of tails, this is: the category of finitely generated graded modules $gr_Γ$ divided by the modules of finite lengt…
We study integer-graded cohomology rings defined over Calabi-Yau categories. We show that the cohomology in negative degree is a trivial extension of the cohomology ring in non-negative degree, provided the latter admits a regular sequence of central elements of length two. In particular, the product of elements of negative degrees are zero. As corollaries we apply this to Tate-Hochschild cohomology rings of symmetric algebras, and to Tate cohomology rings over group algebras. We also prove similar results for Tate cohomology rings over commutative local Gorenstein rings.
In this paper we construct a graded Lie algebra on the space of cochains on a $\mathbbZ_2$-graded vector space that are skew-symmetric in the odd variables. The Lie bracket is obtained from the classical Gerstenhaber bracket by (partial) skew-symmetrization; the coboundary operator is a skew-symmetrized version of the Hochschild differential. We show that an order-one element $m$ satisfying the zero-square condition $[m,m]=0$ defines an algebraic structure called "Lie antialgebra". The cohomology (and deformation) theory of these algebras is then defined. We present two examples of non-trivial…
We investigate the skew-zigzag algebras introduced by Huerfano and Khovanov. In particular, we relate moduli spaces of such algebras with the cohomology of the corresponding graph.
We give an exposition and generalization of Orlov's theorem on graded Gorenstein rings. We show the theorem holds for non-negatively graded rings which are Gorenstein in an appropriate sense and whose degree zero component is an arbitrary non-commutative right noetherian ring of finite global dimension. A short treatment of some foundations for local cohomology and Grothendieck duality at this level of generality is given in order to prove the theorem. As an application we give an equivalence of the derived category of a commutative complete intersection with the homotopy category of graded ma…
Skew-gentle algebras are a generalisation of the well-known class of gentle algebras with which they share many common properties. In this work, using non-commutative Gröbner basis theory, we show that these algebras are Koszul and that the Koszul dual is again skew-gentle. We give a geometric model of their bounded derived categories in terms of polygonal dissections of orbifold surfaces establishing a correspondence between curves in the orbifold and indecomposable objects. Moreover, we show that the orbifold dissections encode homological properties of skew-gentle algebras such as their sin…
We consider a finite group acting on a vector space and the corresponding skew group algebra generated by the group and the symmetric algebra of the space. This skew group algebra illuminates the resulting orbifold and serves as a replacement for the ring of invariant polynomials, especially in the eyes of cohomology. One analyzes the Hochschild cohomology of the skew group algebra using isomorphisms which convert between resolutions. We present an explicit chain map from the bar resolution to the Koszul resolution of the symmetric algebra which induces various isomorphisms on Hochschild homol…
Dimer models provide a method of constructing noncommutative crepant resolutions of affine toric Gorenstein threefolds. In homological mirror symmetry, they can also be used to describe noncommutative Landau--Ginzburg models dual to punctured Riemann surfaces. For a zigzag consistent dimer embedded in a torus, we explicitly compute the Hochschild cohomology of its Jacobi algebra in terms of dimer combinatorics. This includes a full characterization of the Batalin--Vilkovisky structure induced by the Calabi--Yau structure of the Jacobi algebra. We then compute the compactly supported Hochschild…
We study Tate-Hochschild homology and cohomology for a two-sided Noetherian Gorenstein algebra. These (co)homology groups are defined for all degrees, non-negative as well as negative, and they agree with the usual Hochschild (co)homology groups for all degrees larger than the injective dimension of the algebra. We prove certain duality theorems relating the Tate-Hochschild (co)homology groups in positive degree to those in negative degree, in the case where the algebra is Frobenius. We explicitly compute all Tate-Hochschild (co)homology groups for certain classes of Frobenius algebras, namely…
The deformation theory of an algebra is controlled by the Gerstenhaber bracket, a Lie bracket on Hochschild cohomology. We develop techniques for evaluating Gerstenhaber brackets of semidirect product algebras recording actions of finite groups over fields of positive characteristic. The Hochschild cohomology and Gerstenhaber bracket of these skew group algebras can be complicated when the characteristic of the underlying field divides the group order. We show how to investigate Gerstenhaber brackets using twisted product resolutions, which are often smaller and more convenient than the cumber…
Hochschild cohomology governs deformations of algebras, and its graded Lie structure plays a vital role. We study this structure for the Hochschild cohomology of the skew group algebra formed by a finite group acting on an algebra by automorphisms. We examine the Gerstenhaber bracket with a view toward deformations and developing bracket formulas. We then focus on the linear group actions and polynomial algebras that arise in orbifold theory and representation theory; deformations in this context include graded Hecke algebras and symplectic reflection algebras. We give some general results des…
We study representations of hemistrict Lie 2-algebras and give a functorial construction of their cohomology. We prove that both the cohomology of an injective hemistrict Lie 2-algebra $L$ and the cohomology of the semistrict Lie 2-algebra obtained from skew-symmetrization of $L$ are isomorphic to the Chevalley-Eilenberg cohomology of the induced Lie algebra $L_{\operatorname{Lie}}$.
When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides wit…
We obtain deformations of a crossed product of a polynomial algebra with a group, under some conditions, from universal deformation formulas. We show that the resulting deformations are nontrivial by a comparison with Hochschild cohomology. The universal deformation formulas arise from actions of Hopf algebras generated by automorphisms and skew derivations, and are universal in the sense that they apply to deform all algebras with such Hopf algebra actions.
We show that the restricted Lie algebra structure on Hochschild cohomology is invariant under stable equivalences of Morita type between self-injective algebras. Thereby we obtain a number of positive characteristic stable invariants, such as the $p$-toral rank of $\mathrm{HH}^1(A,A)$. We also prove a more general result concerning Iwanaga-Gorenstein algebras, using a more general notion of stable equivalences of Morita type. Several applications are given to commutative algebra and modular representation theory. These results are proven by first establishing the stable invariance of the $B_\i…
Quantum Drinfeld Hecke algebras are generalizations of Drinfeld Hecke algebras in which polynomial rings are replaced by quantum polynomial rings. We identify these algebras as deformations of skew group algebras, giving an explicit connection to Hochschild cohomology. We compute the relevant part of Hochschild cohomology for actions of many reflection groups and we exploit computations from our paper with Shroff for diagonal actions. By combining our work with recent results of Levandovskyy and Shepler, we produce examples of quantum Drinfeld Hecke algebras. These algebras generalize the brai…
Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule algebra. When this bimodule algebra is a finite group extension (under a diagonal action) of a quantum symmetric algebra, we give explicitly the graded vector space structure. This yields a complete description of the Hochschild cohomology ring of the corresponding skew group algebra.
Let H be a Hopf algebra and A be an H-module algebra. This article investigates when the smash product A#H is (skew) Calabi-Yau, has Van den Bergh duality or is Artin-Schelter regular or Gorenstein. In particular, if A and H are skew Calabi-Yau, then so is A#H and its Nakayama automorphism is expressed using the ones of A and H. This is based on a description of the inverse dualising complex of A#H when A is a homologically smooth dg algebra and H is homologically smooth and with invertible antipode. This description is also used to explain the compatibility of standard constructions of Calabi…
