Consider a determinantal variety X of expected codimension definend by the maximal minors of a matrix M of linear forms. Eisenbud and Popescu have conjectured that 1-generic matrices M are characterised by the property that the syzygy ideals I(s) of all last syzygies s of X coincide with I_X. In this note we prove a geometric version of this characterization, i.e. that M is 1-generic if and only if the syzygy varieties Syz(s)=V(I(s)) of all last syzyzgies have the same support as X.
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 geometric syzygies constructed by Green and Lazarsfeld [1984] from g^1_{k+1}'s form a non degenerate configuration of finitely many rational normal curves on this P^{k+1}. This proves a natural generalization of Green's conjecture [1984], namely that the geometric syzygies should span the space of all syzygies, in this case.
We introduce a relativization of the secant sheaves used by Ein, Green and Lazarsfeld and apply this construction to the study of syzygies of canonical curves. As a first application, we give a simpler proof of Voisin's Theorem for general canonical curves. This completely determines the terms of the minimal free resolution of the coordinate ring of such curves. Secondly, in the case of curves of even genus, we enhance Voisin's Theorem by providing a structure theorem for the last syzygy space, resolving the Geometric Syzygy Conjecture in even genus.
We investigate the space of syzygies of the apolar ideals $\det_n^\perp$ and ${\rm perm}_n^\perp$ of the determinant $\det_n$ and permanent ${\rm perm}_n$ polynomials. Shafiei had proved that these ideals are generated by quadrics and provided a minimal generating set. Extending on her work, in characteristic distinct from two, we prove that the space of relations of $\det_n^{\perp}$ is generated by linear relations and we describe a minimal generating set. The linear relations of ${\rm perm}_n^{\perp}$ do not generate all relations, but we provide a minimal generating set of linear and quadra…
This paper studies syzygies of curves that have been embedded in projective space by line bundles of large degree. The proofs take advantage of the relationship between syzygies and spaces of section of vector bundles associated to the given line bundles.
We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of the corresponding non-vanishing locus in the moduli space R_{g,l} of twisted level l curves of genus g and use this to derive results about the birational geometry of R_{g, l}. For instance, we prove …
We prove that the moduli space X(1,7) of (1,7)-polarized abelian surfaces with canonical level structure is birational to the Fano 3-fold V22 of polar hexagons of the Klein quartic X(7). In particular X(1,7) is rational and the birational map to P^3 is defined over Q. As a byproduct we obtain explicitely the equations of the (1,7)-very-ample polarized abelian surfaces in P^6.
We show that the implicit equation of a surface in 3-dimensional projective space parametrized by bi-homogeneous polynomials of bi-degree (d,d), for a given positive integer d, can be represented and computed from the linear syzygies of its parametrization if the base points are isolated and form locally a complete intersection.
We show that the linear syzygy spaces of elliptic normal curves, their secant varieties and of bielliptic canonical curves are spanned by geometric syzygies.
On a special line bundle $L$ on a projective curve $C$ we introduce a geometric condition called $(Δ_q)$. When $L=K_C$ this condition implies gon$(C) \ge q+2$. For an arbitrary special $L$ we show that $(Δ_3)$ implies that $L$ has the well-known property $(M_3)$, generalizing a similar result proved by Voisin in the case $L=K_C$.
We consider the graded space $R$ of syzygies for the coordinate algebra $A$ of projective variety $X=G/P$ embedded into projective space as an orbit of the highest weight vector of an irreducible representation of semisimple complex Lie group $G$. We show that $R$ is isomorphic to the Lie algebra cohomology $H=H^\bdot(\Lt,\CC)$, where $\Lt$ is graded Lie subalgebra of the graded Lie s-algebra $L=L_1\oplus\Lt$ Koszul dual to $A$. We prove that the isomorphism identifies the natural associative algebra structures on $R$ and $H$ coming from their Koszul and Chevalley DGA resolutions respectively.…
We prove a duality theorem for simplicial complexes arising from a combinatorial construction we define, which applies to the squarefree monomial complexes for Veronese ideals of projective spaces and weighted projective spaces. Our theorem yields a formula for the multigraded Betti numbers of these Veronese ideals in terms of the reduced homology groups of these complexes which is dual to one given by Bruns and Herzog. We apply this formula in several ways, including by giving an algorithm for finding the highest syzygy of such a Veronese ideal.
We introduce the problem of GIT stability for syzygy points of canonical curves with a view toward a GIT construction of the canonical model of the moduli space of stable curves. As the first step in this direction, we prove semi-stability of the first syzygy point for a general canonical curve of odd genus.
The vector space of m x n complex matrices (m >= n) admits a natural action of the group GL = GL_m x GL_n via row and column operations. For positive integers a,b, we consider the ideal I_{a x b} defined as the smallest GL-equivariant ideal containing the b-th powers of the a x a minors of the generic m x n matrix. We compute the syzygies of the ideals I_{a x b} for all a,b, together with their GL-equivariant structure, generalizing earlier results of Lascoux for the ideals of minors (b=1), and of Akin-Buchsbaum-Weyman for the powers of the ideals of maximal minors (a=n). Our methods rely on a…
We define syzygy points of projective schemes, and introduce a program of studying their GIT stability. Then we describe two cases where we have managed to make some progress in this program, that of polarized K3 surfaces of odd genus, and of genus six canonical curves. Applications of our results include effectivity statements for divisor classes on the moduli space of odd genus K3 surfaces, and a new construction in the Hassett-Keel program for the moduli space of genus six curves.
We describe a systematic way of constructing effective divisors on the moduli space of stable curves of genus g having exceptionally small slope. We prove that any divisor on \bar{M}_g consisting of curves failing a certain Green-Lazarsfeld syzygy type condition, provides a counterexample to the Harris-Morrison Slope Conjecture. These divisors generalize our original isolated counterexample to the Slope Conjecture which was the divisor on M_{10} of curves lying on K3 surfaces. We also introduce a new stratification of M_g, somewhat similar to the classical stratification given by gonality, but…
Syzygies capture intricate geometric properties of a subvariety in projective space. However, when the ambient space is a product of projective spaces or a more general smooth projective toric variety, minimal free resolutions over the Cox ring are too long and contain many geometrically superfluous summands. In this paper, we construct some much shorter free complexes that better encode the geometry.
This paper deals with syzygies of Segre embeddings. Let d >=3 and n_1, ..., n_d nonzero natural numbers. We prove that O(1,...., 1) on the product of P^{n_1}, ...,P^{n_d} satisfies Property N_p if and only if p <= 3.
We describe a sequence of effective divisors on the Hurwitz space $H_{d,g}$ for $d$ dividing $g-1$ and compute their cycle classes on a partial compactification. These divisors arise from vector bundles of syzygies canonically associated to a branched cover. We find that the cycle classes are all proportional to each other.
This paper considers curves in Grassmannians which are themselves immersed in projective space by the Plucker map. It is shown that for a generic vector bundle of high enough degree, the image curve lies in a proper linear subvariety of this projective space and satisfies good conditions on syzygies as a curve in this subspace. For very small degree and generic vector bundle, the curve is non- degenerate.
The syzygies of the d-th Veronese embedding of $\mathbb P(V)$ are functors of the complex vector space V. From a certain perspective, we show that as d grows, their Schur functor decomposition is very rich whenever they are not zero. This is deduced from an asymptotic study of related plethysms. We also obtain other results related to a question of Ein and Lazarsfeld.
We study the geometry of some moduli spaces of twisted sheaves on K3 surfaces. In particular we introduce induced automorphisms from a K3 surface on moduli spaces of twisted sheaves on this K3 surface. As an application we prove the unirationality of moduli spaces of irreducible holomorphic symplectic manifolds of $K3^{[2]}$-type admitting non symplectic involutions with invariant lattices $U(2)\oplus D_4(-1)$ or $U(2)\oplus E_8(-2)$. This complements the results obtained in [Mongardi and Wandel 2015], [Bossiere et al 2016], and the results from [arXiv:1603.00403] about the geometry of IHS fou…
