Related papers: The pinched Veronese is Koszul
Let V be the Veronese cubic surface in P^9. We classify the projections of V to P^8 whose coordinate rings are Koszul. In particular we obtain a purely theoretical proof of the Koszulness of the pinched Veronese, a result obtained…
Let $K$ be an arbitrary field. Let $n,d \ge 2$ be positive integers. Let $V(n,d)$ be the set of all lattice points $\mathbf b = (b_1, ..., b_n)$ in ${\mathbb N}^n$ such that $\sum_{i=1}^n b_i = d$. Let $\Gamma = V(n,d) \setminus \{ \mathbf…
The second squarefree Veronese subring in $n$ variables is the edge ring of the complete graph with $n$ vertices. It is proved that every second squarefree Veronese subring possesses a Koszul filtration.
Given a standard graded algebra over a field, we consider the relationship between G-quadraticity and the existence of a Koszul filtration. We show that having a quadratic Gr\"obner basis implies the existence of a Koszul filtration for…
We show that diagonal subalgebras and generalized Veronese subrings of a bigraded Koszul algebra are Koszul. We give upper bounds for the regularity of sidediagonal and relative Veronese modules and apply the results to symmetric algebras…
Absolutely Koszul algebras are a class of rings over which any finite graded module has a rational Poincar\'e series. We provide a criterion to detect non-absolutely Koszul rings. Combining the criterion with machine computations, we…
We show that the Koszul homology algebra of the second Veronese subalgebra of a polynomial ring over a field of characteristic zero is generated, as an algebra, by the homology classes corresponding to the syzygies of the lowest linear…
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…
Let S=K[x_1,...,x_n] be a polynomial ring over a field K and I a homogeneous ideal in S generated by a regular sequence f_1,f_2,...,f_k of homogeneous forms of degree d. We study a generalization of a result of Conca, Herzog, Trung, and…
We prove regularity bounds for Koszul cycles holding for every ideal of dimension at most 1 in a polynomial ring. We generalize the lower bound for the Green-Lazarsfeld index of Veronese rings we proved in arXiv:0902.2431 to the…
We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity…
A graded K-algebra R has property N_p if it is generated in degree 1, has relations in degree 2 and the syzygies of order less or equal to p on the relations are linear. The Green-Lazarsfeld index of R is the largest p such that it…
Let $G$ be a simple graph on the vertex set $V(G) = [n] = \{1,...,n\}$ and edge ideal $E(G)$. We consider the class of closed graphs. A closed graph is a simple graph satisfying the following property: for all edges $\{i, j\}$ and $\{k,…
Let V be an n-dimensional vector space. We give a direct construction of an exact sequence that gives a GL(V)-equivariant "resolution" of each symmetric power S^t V in terms of direct sums of tensor products of the form \wedge^{i_1} V…
The stable Khovanov-Rozansky homology of torus knots has been conjecturally described as the Koszul homology of an explicit non-regular sequence of polynomials. We verify this conjecture against newly available computational data for…
Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gr\"obner basis for the defining ideals of…
We establish that the dioperad $Y^{(n)}$, encoding bialgebras with a product of degree zero, a coproduct of degree $(1-n)$ and a rank three cyclic tensor, which satisfy a deformed version of the balanced infinitesimal bialgebra condition,…
We show that high Veronese subrings of any commutative graded ring have a Grobner basis with all relations of degree 2. (The d-th Veronese subring of a ring A_0 + A_1 + A_2 + ... is the ring A_0 + A_d + A_{2d} + ...; ``high'' means we take…
We define the $m$th Veronese power of a weight graded operad $\mathcal{P}$ to be its suboperad $\mathcal{P}^{[m]}$ generated by operations of weight $m$. It turns out that, unlike Veronese powers of associative algebras, homological…
In this paper, we suggest a sufficient condition on the properadic envelope of a quadratic dioperad to be Koszul in terms of twisted associative algebras. As a particular new example, we show that the properad of quadratic Poisson…