Related papers: Koszul pairs and applications
This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…
Generalizing the notion of a Koszul algebra, a graded k-algebra A is K2 if its Yoneda algebra is generated as an algebra in cohomology degrees 1 and 2. We prove a strong theorem about K2 factor algebras of Koszul algebras and use that…
We construct a "Koszul duality" equivalence relating the (diagrammatic) Hecke category attached to a Coxeter system and a given realization to the Hecke category attached to the same Coxeter system and the dual realization. This extends a…
We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when…
We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex…
It is well known that the cohomology of a tensor product is essentially the tensor product of the cohomologies. We look at twisted tensor products, and investigate to which extend this is still true. We give an explicit description of the…
We prove a Cohen-Macaulay version of a result by Avramov-Golod and Frankild-J{\o}rgensen about Gorenstein rings, showing that if a noetherian ring $A$ is Cohen-Macaulay, and $a_1,\dots,a_n$ is any sequence of elements in $A$, then the…
We generalize the modular Koszul duality of Achar-Riche to the setting of Soergel bimodules associated to any finite Coxeter system. The key new tools are a functorial monodromy action and wall-crossing functors in the mixed modular derived…
We are concerned with relating derived categories of all modules of two dual Koszul algebras defined by a locally bounded quiver. We first generalize the well known Acyclic Assembly Lemma and formalize an old method of extending a functor…
For any ring $R$, we investigate balanced pairs of classes of modules and their relations to cotorsion triples. We characterize the case when a balanced pair generates a tilting cotorsion pair, and dually, when it cogenerates a cotilting…
The $N$-Koszul algebras are $N$-homogeneous algebras which satisfy an homological property. These algebras are characterised by their Koszul complex: an $N$-homogeneous algebra is $N$-Koszul if and only if its Koszul complex is acyclic.…
In this article we introduce the notion of \emph{multi-Koszul algebra} for the case of a nonnegatively graded connected algebra with a finite number of generators of degree 1 and with a finite number of relations, as a generalization of the…
We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define…
A question of Conca, Rossi, and Valla asks whether every quadratic Gorenstein ring $R$ of regularity three is Koszul. In a previous paper, we use idealization to answer their question, proving that in nine or more variables there exist…
The Koszul homology of modules of the polynomial ring $R$ is a central object in commutative algebra.It is strongly related with the minimal free resolution of these modules, and thus with regularity, Hilbert functions, etc. Here we…
We give a criterion for the section ring of an ample line bundle to be Koszul in terms of multigraded regularity. We discuss an application to polytopal semigroup rings.
We classify the finite connected simple graphs whose edge rings are strongly Koszul. From the classification, it follows that if the edge ring is strongly Koszul, then its toric ideal possesses a quadratic Gr\"obner basis.
Koszulness of Gorenstein quadratic algebras of small socle degree is studied. In this note, we construct non-Koszul Gorenstein quadratic toric ring such that its socle degree is more than 3 by using stable set polytopes.
We introduce the notion of quasi-Poisson modules over Lie-Rinehart pairs and prove that for the Lie-Rinehart pair $(\dot A,\dot\fk)$ in which $\dot A=\bbbc[t_1^{\pm1},\ldots,t_m^{\pm1}]\ot\Lam_n$ and $\dot\fk={\rm Der}(\dot A)$, there is a…
In this paper, we introduce the class of finitely semi-graded algebras which extends the connected graded algebras finitely generated in degree one. The Koszul behavior of finitely semi-graded algebras is investigated by the distributivity…