Related papers: Local Complete Intersections in P^2 and Koszul Syz…

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…

We discuss a class of modules, which we call $\underline{g}$-weak complete intersection modules, inspired by the weak complete intersection ideals studied by Rahmati, Striuli, and Yang and we present explicit formulas for the generators of…

For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This…

It is proved, as was conjectured by Eisenbud-Koh-Stillman, that for a finitely generated graded module $M$ over the symmetric algebra $S(V)$, if the Koszul group ${\cal K}_{p,0}(M,V)\ne 0$, then the set of rank 1 relations in $M_0\otimes V$…

The minimal free resolution of the coordinate ring of a complete intersection in projective space is a Koszul complex on a regular sequence. In the product of projective spaces $\mathbb{P}^1 \times \mathbb{P}^1$, we investigate which sets…

An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i \neq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, 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 provide a formula (see Theorem 1.5) for the Matlis dual of the injective hull of $R/\mathfrak{p}$ where $\mathfrak p$ is a one dimensional prime ideal in a local complete Gorenstein domain $(R,\mathfrak{m})$. This is related to results…

We study the ideal of maximal minors in Littlewood varieties, a class of quadratic complete intersections in spaces of matrices. We give a geometric construction for a large class of modules, including all powers of this ideal, and show…

Let $k$ be an infinite field of characteristic $p > 0$ and let $R = k[Y_1,\ldots, Y_d]$ (or $R = k[[Y_1,\ldots, Y_d]]$). Let $F \colon \text{Mod}(R) \rightarrow \text{Mod}(R)$ be the Frobenius functor and let $\mathcal{M}$ be a $F_R$-finite…

Let $R$ be a noetherian commutative ring and $f_1,\dots,f_c$ be a regular sequence in $R$. We introduce a framework to study $Supp(H^j_I(R/(f_1,\dots,f_c)))$ by linking the Koszul cohomology of $H^j_I(R)$ on the sequence $f_1,\dots,f_c$ and…

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…

Throughout this abstruct $A$ will denote a noetherian commutative ring of dimension $n$. The paper has two parts. Among the interesting results in Part-1 are the following: 1) {\it suppose that $f_1, f_2, ..., f_r$ (with $r \leq n$) is a…

In this paper, we introduce and study the notion of linkage by perfect modules, which we call perfect linkage, for Cohen-Macaulay modules over Cohen--Macaulay local rings. We explore perfect linkage in connection with syzygies, maximal…

Our main result describes the relation between the syzygies involving the first order partial derivatives $f_0,...,f_n$ of a homogeneous polynomial $f\in \C[x_0,...x_n]$ and the defect of the linear systems vanishing on the singular locus…

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…

Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether…

In contrast to the univariate case, interpolation with polynomials of a given maximal total degree is not always possible even if the number of interpolation points and the space dimension coincide. Due to that, numerous constructions for…

Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ and let $I$ be an ideal in $R$. Let $A_n(K) = K<X_1,...,X_n, \partial_1,..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$. By a result due to Lyubeznik the local…

An ideal $I$ of a local Gorenstein ring $(R, \mathfrak m)$ is called cohomologically complete intersection whenever $H^i_I(R) = 0$ for all $i \not= \height I.$ Here $H^i_I(R), i \in \mathbb Z,$ denotes the local cohomology of $R$ with…