Related papers: Virtual Complete Intersections in $\mathbb{P}^1 \t…
We prove a new criterion for the homogeneous coordinate ring of a finite set of points in ${\Bbb P}^n$ to be Koszul. Like the well known criterion due to Kempf it involves only incidence conditions on linear spans of subsets of a given set.…
Let $(R,\mathfrak m, \mathsf k)$ be a complete intersection local ring, $K$ be the Koszul complex on a minimal set of generators of $\mathfrak m$, and $A=H(K)$ be its homology algebra. We establish exact sequences involving direct sums of…
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…
We study the syzygies of a codimension two ideal I = <f_1,f_2,f_3> in k[x,y,z]. Our main result is that the module of syzygies vanishing (scheme-theoretically) at the zero locus Z = V(I) is generated by the Koszul syzygies iff Z is a local…
We study Poisson structures over singular varieties. In this purpose, we consider the Koszul complex associated to the equations of a complete intersection. This complex forms a differential graded algebra which is equivalent to the algebra…
Let $R$ be any noetherian local ring with residue field $k$, and $A$ the homology of the Koszul complex on a minimal set of generators of the maximal ideal of $R$. In this paper, we show that a minimal free resolution of $k$ over $R$ can be…
We construct a Koszul complex in the category of left skew polynomial rings associated to a flat endomorphism that provides a finite free resolution of an ideal generated by a Koszul regular sequence.
We construct a free resolution of $R/I^s$ over $R$ where $I\ideal R$ is generated by a (finite or infinite) regular sequence. This generalizes the Koszul complex for the case $s=1$. For $s>1$, we easily deduce that the algebra structure of…
A commutative local ring is generally defined to be a complete intersection if its completion is isomorphic to the quotient of a regular local ring by an ideal generated by a regular sequence. It has not previously been determined whether…
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…
Differential modules are natural generalizations of complexes. In this paper, we study differential modules with complete intersection homology, comparing and contrasting the theory of these differential modules with that of the Koszul…
In this paper, we study the Koszul property of the homogeneous coordinate ring of a generic collection of lines in $\mathbb{P}^n$ and the homogeneous coordinate ring of a collection of lines in general linear position in $\mathbb{P}^n.$ We…
We construct a self-dual complete resolution of a module defined by a pair of embedded complete intersection ideals in a local ring. Our construction is based on a gluing construction of Herzog and Martsinkovsky and exploits the structure…
Virtual resolutions are homological representations of finitely generated $\text{Pic}(X)$-graded modules over the Cox ring of a smooth projective toric variety. In this paper, we identify two algebraic conditions that characterize when 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…
A flat virtual link is a finite collection of oriented closed curves $\mathfrak L$ on an oriented surface $M$ considered up to virtual homotopy, i.e., a composition of elementary stabilizations, destabilizations, and homotopies.…
Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*,…
Let $R = S/I$ be a quotient of a standard graded polynomial ring $S$ by an ideal $I$ generated by quadrics. If $R$ is Koszul, a question of Avramov, Conca, and Iyengar asks whether the Betti numbers of $R$ over $S$ can be bounded above by…
A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This…
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…