Related papers: The Koszul complex in projective dimension one

The linearity defect is a measure for the non-linearity of minimal free resolutions of modules over noetherian local rings. A tantalizing open question due to Herzog and Iyengar asks whether a noetherian local ring $(R,\mathfrak{m})$ is…

Let $\varphi: F\longrightarrow G$ be a graded morphism between free $R$-modules of rank $t$ and $t+c-1$, respectively, and let $I_j(\varphi)$ be the ideal generated by the $j \times j$ minors of a matrix representing $\varphi$. In this…

Let $(R,m, \kappa)$ be a local ring. We give a characterization of $R$-modules $M$ whose local cohomology is finite length up to some index in terms of asymptotic vanishing of Koszul cohomology on parameter ideals up to the same index. In…

The quasi-projective dimension and quasi-injective dimension are recently introduced homological invariants that generalize the classical notions of projective dimension and injective dimension, respectively. For a local ring $R$ and…

For a noetherian ring R we call an R-module M cofinite if there exists an ideal I of R such that M is I-cofinite; we show that every cofinite module M satisfies dim_R(M)<=injdimR(M). As an application we study the question which local…

Let $K$ be an infinite field and let $m_1,\ldots,m_n$ be a generalized arithmetic sequence of positive integers, i.e., there exist $h, d, m_1 \in\mathbb{Z}^+$ such that $m_i = h m_1 + (i-1)d$ for all $i \in \{2,\ldots,n\}$. We consider the…

Let R be a commutative ring and I an ideal in R which is locally generated by a regular sequence of length d. Then, each projective R/I-module V has an R-projective resolution P. of length d. In this paper, we compute the homology of the…

We introduce a similarity relation between submodules of a module $M$ over a ring $R$, extending the classical notion of similarity for right ideals. Focusing on (faithfully) projective modules, we establish a sharp lower bound for the…

We construct the super Koszul complex of a free supercommutative $A$-module $V$ of rank $p|q$ and prove that its homology is concentrated in a single degree and it yields an exact resolution of $A$. We then study the dual of the super…

We study the projective dimension of finitely generated modules over cluster-tilted algebras End(T) where T is a cluster-tilting object in a cluster category C. It is well-known that all End(T)-modules are of the form Hom(T,M) for some…

In this paper we study the modules $M$ every simple subfactors of which is a homomorphic image of $M$ and call them co-Kasch modules. These modules are dual to Kasch modules $M$ every simple subfactors of which can be embedded in $M$. We…

Koszul homology of monomial ideals provides a description of the structure of such ideals, not only from a homological point of view (free resolutions, Betti numbers, Hilbert series) but also from an algebraic viewpoint. In this paper we…

These are the notes of the lectures of the author at the 2013 CIME/CIRM summer school on Combinatorial Algebraic Geometry. Koszul algebras, introduced by Priddy, are positively graded K-algebras R whose residue field K has a linear free…

We provide a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace K inside the second exterior product of a vector space, as well as a sharp upper bound for its Hilbert function.…

In this article we study conditions under which weight one Koszul cohomology vanishes on projective varieties. As corollary of more general results, we obtain statements on the so-called property (M_q) reflecting on the higher syzygies of…

For any finite sequence of elements $s_1, \ldots , s_d$ in a commutative noetherian ring $R$, we show that for $n \gg 0$, the natural map from the Koszul complex $K(s_1^n, \ldots , s_d^n)$ to the Koszul complex $K(s_1, \ldots , s_d)$…

We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that…

An explicit combinatorial minimal free resolution of an arbitrary monomial ideal $I$ in a polynomial ring in $n$ variables over a field of characteristic $0$ is defined canonically, without any choices, using higher-dimensional…

Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…

A quasi-complete intersection (q.c.i.) ideal of a local ring is an ideal with "free exterior Koszul homology"; the definition can also be understood in terms of vanishing of Andr\'e-Quillen homology functors. Principal q.c.i. ideals are…