Related papers: The pinched Veronese is Koszul
Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford…
Beauville and Voisin proved that the third modified diagonal of a complex K3 surface X represents a torsion class in the Chow group of X^3. Motivated by this result and by conjectures of Beauville and Voisin on the Chow ring of hyperkaehler…
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…
Let $G$ be a simple, simply connected algebraic group over an algebraically closed field of positive characteristic $p$. In recent work, the authors have studied a graded analogue of the category of rational $G$-modules. These gradings are…
We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by developing a numerical linear algebra and distributed…
We study some spectral sequences associated with a locally free $\mathcal O_X$-module $\mathcal A$ which has a Lie algebroid structure. Here $X$ is either a complex manifold or a regular scheme over an algebraically closed field $k$. One…
Koszul modules over Noetherian local rings $R$ were introduced by Herzog and Iyengar and they possess good homological properties, for instance their Poincare' series is rational. It is an interesting problem to characterize classes of…
Let $\mathbb{k}$ be an algebraically closed field. We classify all of the quadratic twisted tensor products $A \otimes_{\tau} B$ in the cases where $(A, B) = (\mathbb{k}[x], \mathbb{k}[y])$ and $(A, B) = (\mathbb{k}[x, y], \mathbb{k}[z])$.…
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 article, we study the componentwise linear ideals in the Veronese subrings of $R=K[x_1,\ldots,x_n]$. If char$(K)=0$, then we give a characterization for graded ideals in the $c^{th}$ Veronese ring $R^{(c)}$ to be componentwise…
The Subset Feedback Vertex Set problem generalizes the classical Feedback Vertex Set problem and asks, for a given undirected graph $G=(V,E)$, a set $S \subseteq V$, and an integer $k$, whether there exists a set $X$ of at most $k$ vertices…
Koszul modules and their associated resonance schemes are objects appearing in a variety of contexts in algebraic geometry, topology, and combinatorics. We present a proof of an effective version of the Chen ranks conjecture describing the…
The aim of this sequel to arXiv:1812.02935 is to set up the cornerstones of Koszul duality and Koszulity in the context of operads over a large class of operadic categories. In particular, for these operadic categories we will study…
We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green's conjecture for every g-cuspidal rational curve over an algebraically closed field k with char(k) = 0 or char(k) >= (g+2)/2. As a consequence,…
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 introduce (weighted) Segre and Rees products for posets and show that these constructions preserve the Cohen-Macaulay property over a field $k$ and homotopically. As an application we show that the weighted Segre product of two affine…
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 show that the Hodge and pole order filtrations are globally different for sufficiently general singular projective hypersurfaces in case the degree is 3 or 4 assuming the dimension of the projective space is at least 5 or 3 respectively.…
In this paper we consider projective and injective resolutions of Koszul complexes and give several applications to the study of Koszul homology modules.
We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain…