Related papers: Generic Lines in Projective Space and the Koszul P…

Let M be a filtered module. Some properties of elements of M are "generic" in the following sense: (being open/stable) if an element z of M has a property P then any approximation of z has P; (being dense) any element of M is approximated…

We continue the program started in \cite{M1} to understand the combinatorial commutative algebra of the projective coordinate rings of the moduli stack $\mathcal{M}_{C, \vec{p}}(SL_2(\C))$ of quasi-parabolic $SL_2(\C)$ principal bundles on…

We prove that truncations of nonstandard graded polynomial rings are (nonstandard) Koszul modules in the sense of Herzog and Iyengar. This provides an analogue of the fact that such truncations have linear resolutions in the standard graded…

Let $M_w = (\Pj^1)^n \q \mathrm{SL}_2$ denote the geometric invariant theory quotient of $(\Pj^1)^n$ by the diagonal action of $\mathrm{SL}_2$ using the line bundle $\mathcal{O}(w_1,w_2,...,w_n)$ on $(\Pj^1)^n$. Let $R_w$ be the coordinate…

Let $\kk$ be a field, $R$ a standard graded quadratic $\kk$-algebra with $\dim_{\kk}R_2\le 3$, and let $\ov\kk$ denote an algebraic closure of $\kk$. We construct a graded surjective Golod homomorphism $\varphi \colon P\to…

In this paper we extend the well-known iterated mapping cone procedure to monomial ideals in strongly Koszul algebras. We study properties of ideals generated by monomials in commutative Koszul algebras and show that the linear strand of…

Let $R$ be a noetherian ring and $M$ a finite $R$-module. With a linear form $\chi$ on $M$ one associates the Koszul complex $K(\chi)$. If $M$ is a free module, then the homology of $K(\chi)$ is well-understood, and in particular it is…

In this article we determine exactly which line bundles on elliptic ruled surface X are normally presented. In particular we see that numerical classes of normally presented divisors form a convex set. (recall that Num(X) is generated by…

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…

An $m$-$cover$ of lines of a finite projective space ${\rm PG}(r,q)$ (of a finite polar space $\cal P$) is a set of lines $\cal L$ of ${\rm PG}(r,q)$ (of $\cal P$) such that every point of ${\rm PG}(r,q)$ (of $\cal P$) contains $m$ lines 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 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…

This is a survey paper on commutative Koszul algebras and Castelnuovo-Mumford regularity. We describe several techniques to establish the Koszulness of algebras. We discuss variants of the Koszul property such as strongly Koszul, absolutely…

Let $R$ be a local commutative noetherian ring and $HKR$ the homology ring of the corresponding Koszul complex. We study the homological properties of $HKR$ in particular the so-called Avramov spectral sequence. When the embedding dimension…

We show that the log canonical bundle, $\kappa$, of $\bar M_{0,n}$ is very ample, show the homogeneous coordinate ring is Koszul, and give a nice set of rank 4 quadratic generators for the homogeneous ideal: The embedding is equivariant for…

In this work, we prove that if a graded, commutative algebra $R$ over a field $k$ is not Koszul then, denoting by $\mathfrak{m}$ the maximal homogeneous ideal of $R$ and by $M$ a finitely generated graded $R$-module, the nonzero modules of…

In his paper "Residues of a Pfaff system relative to an invariant subscheme" in Trans. Amer. Math. Soc. 352, 2000, 4019-4035, F. Sancho de Salas defines the universal Koszul complex of a module $M$ over a sheaf of rings $\mathcal{O}$ as…

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…

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 $M$ be the $6$-manifold $M$ as the total space of the sphere bundle of a rank $3$ vector bundle over a simply connected closed $4$-manifold. We show that after looping $M$ is homotopy equivalent to a product of loops on spheres in…