The Koszul dual of a weakly Koszul module

We study the so-called weakly Koszul modules and characterise their Koszul duals. We show that the (adjusted) associated graded module of a weakly Koszul module exactly determines the homology modules of the Koszul dual. We give an example of a quasi-Koszul module which is not weakly Koszul.     

Koszul differential graded modules

The concept of Koszulity for differential graded (DG, for short) modules is introduced. It is shown that any bounded below DG module with bounded Ext-group to the trivial module over a Koszul DG algebra has a Koszul DG submodule (up to a shift and truncation), moreover such a DG module can be approximated by Koszul DG modules (Theorem 3.6). Let A be a Koszul DG algebra, and Dc(A) be the full triangulated subcategory of the derived category of DG A-modules generated by the object AA. If the trivial DG module...     

Taylor complexes for Koszul boundaries

For all boundary modules of the Koszul complex of a monomial sequence we construct complexes, which we call Taylor complexes. For a monomial d-sequences these complexes provide free resolutions of the boundary modules. Let M be the ideal generated by a monomial d-sequence. We use the Taylor complexes to construct minimal free resolutions of the Rees algebra and the associated graded ring of M. Received: 13 November 1997 / Revised version: 6 March 1998     

Koszul Algebras and Their Ideals

We study associative graded algebras that have a “complete flag” of cyclic modules with linear free resolutions, i.e., algebras over which there exist cyclic Koszul modules with any possible number of relations (from zero to the number of generators of the algebra). Commutative algebras with this property were studied in several papers by Conca and others. Here we present a noncommutative version of their construction.We introduce and study the notion of Koszul filtration in a noncommutative algebra and examine its connections with Koszul algebras and algebras with quadratic Grobner bases. We consider several examples, including monomial algebras, initially Koszul algebras, generic algebras, and algebras with one quadratic relation. It is shown that every algebra with a Koszul filtration has a rational Hilbert series.__________Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 39, No. 2, pp. 47–60, 2005Original Russian Text Copyright © by D. I. PiontkovskiiSupported in part by the Russian Foundation for Basis Research under project 02-01-00468.     

Co-Point Modules Over Frobenius Koszul Algebras

Let A be a Frobenius Koszul algebra such that its Koszul dual A ^! is a quantum polynomial algebra. Co-point modules over A were defined as dual notion of point modules over A ^! with respect to the Koszul duality. In this article, we will see that various important functors between module categories over A used in representation theory of finite dimensional algebras send co-point modules to co-point modules. As a consequence, we will show that if (E, σ) is a geometric pair associated to A ^!, then the map σ:E → E is an automorphism of the point scheme E of A ^!, so that there is a bijection between isomorphism classes of left point modules over A ^! and those of right point modules over A ^!.     

Quasi-isomorphisms of Koszul complexes

Let be a surjective homomorphism of noetherian local commutative rings that induces an isomorphism between the first Koszul homology modules and an epimorphism between the second Koszul homology modules. Then induces isomorphisms between Koszul homology modules in all dimensions.

     

Resultant as the determinant of a Koszul complex

The determinant is a very important characteristic of a linear map between vector spaces. Two generalizations of linear maps are intensively used in modern theory: linear complexes (nilpotent chains of linear maps) and nonlinear maps. The determinant of a complex and the resultant are then the corresponding generalizations of the determinant of a linear map. It turns out that these two quantities are related: the resultant of a nonlinear map is the determinant of the corresponding Koszul complex. We give an elementary introduction into these notions and relations, which will definitely play a role in the future development of theoretical physics.     

Koszul duality for stratified algebras I. Balanced quasi-hereditary algebras

We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary algebras admitting linear tilting (co)resolutions of standard and costandard modules. We show that such algebras are Koszul, that the class of these algebras is closed with respect to both dualities and that on this class these two dualities commute. All arguments reduce to short computations in the bounded derived category of graded modules.     

有限复杂度的Koszul代数

首先给出了Koszul代数的张量积的复杂度,然后研究了Koszul遗传代数上的Koszul单列模,并证明了Koszul遗传代数上的Koszul模M的Koszul合成列在同构意义下是唯一的.     

A note on the acyclicity of the Koszul complex of a module

We prove the vanishing of the Koszul homology group H _μ(Kos(M)_μ), where μ is the minimal number of generators of M. We give a counterexample that the Koszul complex of a module is not always acyclic and show its relationship with the homology of commutative rings.     

Stable Projective Homotopy Theory of Modules,Tails, and Koszul Duality

A contravariant functor is constructed from the stable projective homotopy theory of finitely generated graded modules over a finite-dimensional algebra to the derived category of its Yoneda algebra modulo finite complexes of modules of finite length. If the algebra is Koszul with a noetherian Yoneda algebra, then the constructed functor is a duality between triangulated categories. If the algebra is self-injective, then stable homotopy theory specializes trivially to stable module theory. In particular, for an exterior algebra the constructed duality specializes to (a contravariant analog of) the Bernstein–Gelfand–Gelfand correspondence.     

Graded and Koszul Categories

Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there is always a naturally associated Koszul theory. To obtain this, the notions of Koszul algebras, linear modules and Koszul duality are extended to additive (graded) categories over a field. The main focus of this paper is to provide these generalizations and the necessary preliminaries.     

Some Koszul rings from geometry

We give examples of Koszul rings that arise naturally in algebraic geometry. In the first part, we prove a general result on Koszul property associated to an ample line bundle on a projective variety. Specifically, we show how Koszul property of multiples of a base point free ample line bundle depends on its Castelnuovo–Mumford regularity. In the second part, we give examples of Koszul rings that come from adjoint line bundles on minimal irregular surfaces of general type.     

On the Koszul Modules of Exterior Algebras

We prove that the Koszul modules over an exterior algebra can be filtered by the cyclic Koszul modules. We also introduce the cyclic dimension vector as invariants for studying the Koszul modules over an exterior algebra.     

Acyclic ideals and Koszul complexes

If A is a differential module, then the computation of its homology may frequently be simplified by finding a large acyclic submodule N, for then $\text{H(A)?H(}\text{A}\text{N}\text{)}$ as modules, and hopefully $\text{A}\text{N}$ is more tractable than A. The same idea works if A is a differential algebra, but in that case it is critical to factor out by an acyclic idealI?A, so that $\text{H(A)?H(}\text{A}\text{I}\text{)}$ as algebras. This reduction technique in the classical (ungraded) case is used by Rees [7] and Tate [11], for example. I used a graded version in my thesis [8,9] to study the cohomology of two-stage Postnikov systems. Recently this Acyclic Ideal theorem has been used by Mann, May, Milgram and Sigaard [6] and there has also developed a body of work on the Koszul complex by Józefiak [2,3] and others in which this theorem fits naturally.     

Koszul Modules and Gorenstein Algebras

I first define Koszul modules, which are a generalization to arbitrary rank of complete intersections. After a study of some of their properties, it is proved that Gorenstein algebras of codimension one or two over a local or graded CM ring are Koszul modules, thus generalizing a well known statement for rank one modules. The general techniques used to describe Koszul modules are then used to obtain a structure theorem for Gorenstein algebras in codimension one and two, over a local or graded CM ring.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

Division theorems for the Koszul complex

We establish a twisted version of Skoda’s estimate for the Koszul complex from which we get global division theorems for the Koszul complex. This generalizes Skoda’s division theorem. We also show how to use Skoda triples to produce division theorems for the Koszul complex.     

A monomial cycle basis on Koszul homology modules

We give a class of p-Borel principal ideals of a polynomial algebra over a field K for which the graded Betti numbers do not depend on the characteristic of K and the Koszul homology modules have a monomial cyclic basis.