English
Related papers

Related papers: Koszul modules and Green's conjecture

200 papers

A theorem of Green says that a line bundle of degree at least $2g+1+p$ on a smooth curve $X$ of genus $g$ has property $N_p$. We prove a similar conclusion for certain singular, reducible curves $X$ under suitable degree bounds over all…

Algebraic Geometry · Mathematics 2015-11-04 Ziv Ran

In Commutative Algebra structure results on minimal free resolutions of Gorenstein modules are of classical interest. We define Gorenstein modules of finite length over the weighted polynomial ring via symmetric matrices in divided powers.…

Commutative Algebra · Mathematics 2008-07-21 Michael Kunte

The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families…

Commutative Algebra · Mathematics 2008-04-09 Luchezar L. Avramov , Srikanth B. Iyengar , Liana M. Sega

This article is concerned with graded modules M with linear resolutions over a standard graded algebra R. It is proved that if such an M has Hilbert series $H_M(s)$ of the form $ps^d+qs^{d+1}$, then the algebra R is Koszul; if, in addition,…

Commutative Algebra · Mathematics 2010-05-04 Luchezar L. Avramov , Srikanth B. Iyengar , Liana M. Sega

The present paper is related to a conjecture made by Green and Lazarsfeld concerning 1-linear syzygies of curves embedded by complete linear systems of sufficiently large degrees. Given a smooth, irreducible, complex, projective curve $X$,…

Algebraic Geometry · Mathematics 2013-11-19 Marian Aprodu

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…

Commutative Algebra · Mathematics 2021-05-18 Winfried Bruns , Aldo Conca , Tim Roemer

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in…

Representation Theory · Mathematics 2025-11-25 Simon Riche , Quan Situ

Using Moriwaki's calculation of the Q-Picard group for the moduli space of curves, I prove the strong Franchetta Conjecture in all characteristics. That is, the canonical class generates the group of rational points on the Picard scheme for…

Algebraic Geometry · Mathematics 2007-05-23 Stefan Schroeer

Based on a recent result of Voisin [2001] we describe the last nonzero syzygy space in the linear strand of a canonical curve C of even genus g=2k lying on a K3 surface, as the ambient space of a k-2-uple embedded P^{k+1}. Furthermore the…

Algebraic Geometry · Mathematics 2007-05-23 Hans-Christian v. Bothmer

In this survey paper, we present the broad outlines of the proof of a character formula for tilting representations of reductive algebraic groups in positive characteristic, obtained partly in collaboration with several other authors. A…

Representation Theory · Mathematics 2018-07-24 Pramod N. Achar , Simon Riche

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…

Commutative Algebra · Mathematics 2013-11-01 Aldo Conca

Green's canonical syzygy conjecture asserts a simple relationship between the Clifford index of a smooth projective curve and the shape of the minimal free resolution of its homogeneous ideal in the canonical embedding. We prove the…

Algebraic Geometry · Mathematics 2017-12-14 Anand Deopurkar

This paper provides a new class of examples for the Koszul dualities established in~\cite{5}. We study quadratic monomial algebras from the perspective of Koszul duality, with particular emphasis on finitely presented and finitely…

Representation Theory · Mathematics 2026-04-28 M. Bouhada

We prove Koszulity of the homology of the of moduli spaces of stable n-pointed curves of genus zero $\overline{M}_{0,n}$ for $n=5$, using its presentation due to Keel and the Priddy criterion of Koszulity. For $n=6 $ we establish that…

Rings and Algebras · Mathematics 2017-11-22 Natalia Iyudu

We show the geometric syzygy conjecture in positive characteristic. Specifically, if C is a general smooth curve of genus g defined over an algebraically closed field of characteristic p, then all linear syzygy spaces are spanned by…

Algebraic Geometry · Mathematics 2025-09-03 Michael Kemeny , Peter Yi Wei

Let p be a prime number. We compute the Yoneda extension algebra of $GL_2$ over an algebraically closed field of characteristic p by developing a theory of Koszul duality for a certain class of 2-functors, one of which controls the category…

Representation Theory · Mathematics 2014-07-10 Vanessa Miemietz , Will Turner

Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…

Category Theory · Mathematics 2014-12-17 Roberto Martinez-Villa , Øyvind Solberg

Let $C$ be a curve and $L$ a very ample line bundle. The Green-Lazarsfeld Secant conjecture predicts that if the degree of $L$ is at least $2g+p+1-2h^1(C,L)-Cliff(C)$ and if, in addition, $L$ is $p+1$ very ample, then the Koszul group…

Algebraic Geometry · Mathematics 2015-12-15 Michael Kemeny

We establish Green's syzygy conjecture for classes of covers of curves of higher Clifford dimension. These curves have an infinite number of minimal pencils, in particular they do not verify a well-known Brill-Noether theoretic sufficient…

Algebraic Geometry · Mathematics 2023-05-04 Marian Aprodu , Gavril Farkas

For R=Q/J with Q a commutative graded algebra over a field and J non-zero, we relate the slopes of the minimal resolutions of R over Q and of k=R/R_{+} over R. When Q and R are Koszul and J_1=0 we prove Tor^Q_i(R,k)_j=0 for j>2i, for each…

Commutative Algebra · Mathematics 2009-04-21 Luchezar L. Avramov , Aldo Conca , Srikanth B. Iyengar