Montserrat Teixidor i Bigas
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
On the Ulrichness of twisted syzygies and dual syzygies bundles
本文研究了扭曲斜坐标系和对偶斜坐标系包在不同极化下的Ulrich性质，并探讨了相关条件和部分结论。
Our goal is to study the syzygies of the projective embeddings defined by ample line bundles on a fake projective plane S. The syzygies are studied in terms of the property $N_p$. For various kinds of ample line bundles, we give explicit lower bounds for their powers above which the property $N_p$ is satisfied.
We characterize property $(N_p)$ on a polarized surface $(X,L)$ with trivial canonical bundle in terms of the (non)existence of certain forbidden subvarieties of $X$.
Cohomological rank functions and syzygies of projective bundles on abelian varieties
本文利用Jiang–Pareschi上同调秩函数及Caucci–Ito技术研究阿贝尔簇上射影丛的合冲，从而推广并细化了Chiantipalli关于性质$N_p$的结果。
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$.
A key result for syzygies of curves is Voisin's proof of Green's conjecture for the canonical embedding of a general curve of any genus. Her primary tools were the Lazarsfeld Mukai bundle on a K3 surface and a representation of Koszul cohomology on the Hilbert scheme of points on the surface. In this note we construct representations of the Koszul complex on Grassmann varieties; Voisin's setup arises as the inverse image of one of the maps. Using a different map, we give a substantially shorter proof of Voisin's result for K3 surfaces of even sectional genus.
We obtain a complete description of the effective cone of $C_{g-2}$ when $C$ is a general curve of genus $g \geq 6,$ as well as a new bound in the case where $C$ is a smooth plane quintic. In addition, we obtain a new virtual bound for the effective cone of $C_{g-2m}$ which is a genuine bound when $m=2,$ and we also characterize certain natural divisors on $C_{g-2}$ as subordinate loci associated to adjunctions of kernel bundles.
We prove new results on projective normality, normal presentation and higher syzygies for a surface of general type $X$ embedded by adjoint line bundles $L_r = K + rB$, where $B$ is a base point free, ample line bundle. Our main results determine the $r$ for which $L_r$ has $N_p$ property. In corollaries, we will relate the bounds on $r$ to the regularity of $B$. Examples in the last section show that several results are optimal.
Asymptotic nonvanishing of syzygies of algebraic varieties
本文建立了光滑射影簇渐近合冲的精确非消没结果，细化Ein-Lazarsfeld定理，并结合先前消没结果完全确定了线丛分次截面模极小自由分解的渐近形状。
Let $C$ be a trigonal curve of genus $g\ge 5$ and let $T$ be the unique trigonal line bundle inducing a map $π: C \stackrel{3:1}{\longrightarrow} \mathbb{P}^1$. This note provides a short and easy proof of the normal generation for the residual line bundle $K_C\otimes T^{-1}$ for curves of genus $g\ge 7$. Moreover, we compute the minimal free resolution of the embedded curve $C\subset \mathbb{P}(H^0(C,K_C\otimes T^{-n})^*)$ for the residual line bundle $K_C\otimes T^{-n}$ for $n\ge 1$ and $g \ge 3n+4$.
Let $k$ be an algebraically closed field. Consider a reductive group $G$ over $k$. Let $X$ be a projective variety over $k$ with a $G$-action and let $L$ be a very ample $G$-linearized line bundle on $X$. Suppose that $L$ descends to the GIT quotient of $X$ by $G$. If $L$ satisfies the property $N_p$ one can ask if its descent also has $N_p$ property. In this article, we show this is the case under certain conditions. We then apply our results to some cases of interest. As a consequence of our results, we show that if $G$ is a finite group and $L$ satisfies $N_p$ property and its descent satis…
For a vector bundle $\mathcal{E}$ of rank $n+1$ over a smooth projective curve $C$ of genus $g$, let $X=¶_C (\mathcal{E})$ with projection map $π:X\to C$. In this paper we investigate the minimal free resolution of homogeneous coordinate rings of $X$. We first clarify the relations between higher syzygies of very ample line bundles on $X$ and higher syzygies of Veronese embedding of fibres of $π$ by the same line bundle. More precisely, letting $H = \mathcal{O}_{¶_C (\mathcal{E})} (1)$ be the tautological line bundle, we prove that if $(¶^n,\mathcal{O}_{¶^n} (a))$ satisfies Property $N_p$, the…
The main result of this paper is the following: let d be a natural number >= 3; the line bundle O(1,...,1) on the product of d copies of the projective line P^1 satisfies Property N_p of Green-Lazarsfeld if and only if p <= 3.
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 irreducible components of $X$.
Effective syzygies of secant varieties
该研究针对代数几何中割线簇的性质问题，给出了仅依赖于空间维度X和参数p的伴随线丛有效界，推进了割线簇合冲理论的研究。
The rational homology groups of the packing complexes are important in algebraic geometry since they control the syzygies of line bundles on projective embeddings of products of projective spaces (Segre--Veronese varieties). These complexes are a common generalization of the multidimensional chessboard complexes and of the matching complexes of complete uniform hypergraphs, whose study has been a topic of interest in combinatorial topology. We prove that the multivariate version of representation stability, a notion recently introduced and studied by Church and Farb, holds for the homology gro…
Let X be a smooth projective variety and let K be the canonical divisor of X. In this paper, we study embeddings of X given by adjoint line bundles of the form K+L, where L is an ample line bundle. When X is a regular surface (i.e. H^1(X, O_X) = 0), we obtain a numerical criterion for K+L to have property Np. When X is a regular variety of arbitrary dimension, under a mild condition, we give an explicit calculation for the regularity of the ideal sheaves of such embeddings.
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.
Ein and Lazarsfeld have shown that one can read off the gonality of an algebraic curve from its syzygies in the embedding defined by any one line bundle of sufficiently large degree. This note extends their approach and shows that the gonality can be detected from the syzygies of an embedding by any line bundle of degree at least 4g-3.
We study property $N_p$ for Kummer varieties embedded by a power of an ample line bundle.
The goal of this article is to study the equations and syzygies of embeddings of rational surfaces and certain Fano varieties. Given a rational surface X and an ample and base-point-free line bundle L on X, we give an optimal numerical criterion for L to satisfy property Np. This criterion turns out to be a characterization of property Np if X is anticanonical. We also prove syzygy results for adjunction bundles and a Reider type theorem for higher syzygies. For certain Fano varieties we also prove results on very ampleness and higher syzygies.
The purpose of this paper is to prove Ein--Lazarsfeld's conjecture on asymptotic vanishing of syzygies of algebraic varieties. This result, together with Ein--Lazarsfeld's asymptotic nonvanishing theorem, describes the overall picture of asymptotic behaviors of the minimal free resolutions of the graded section rings of line bundles on a projective variety as the positivity of the line bundles grows. Previously, Raicu reduced the problem to the case of products of three projective spaces, and we resolve this case here.
Using multigraded Castelnuovo-Mumford regularity, we study the equations defining a projective embedding of a variety X. Given globally generated line bundles B_1, ..., B_k on X and integers m_1, ..., m_k, consider the line bundle L := B_1^m_1 \otimes ... \otimes B_k^m_k. We give conditions on the m_i which guarantee that the ideal of X in P(H^0(X,L)) is generated by quadrics and the first p syzygies are linear. This yields new results on the syzygies of toric varieties and the normality of polytopes.
We show that a small variant of the methods used by Voisin in her study of canonical curves leads to a surprisingly quick proof of the gonality conjecture of Green and the second author, asserting that one can read off the gonality of a curve C from its resolution in the embedding defined by any one line bundle of sufficiently large degree. More generally, we establish a necessary and sufficient condition for the asymptotic vanishing of the weight one syzygies of the module associated to an arbitrary line bundle on C.
We show that vanishing of asymptotic p-th syzygies implies p-very ampleness for line bundles on arbitrary projective schemes. For smooth surfaces we prove that the converse holds when p is small, by studying the Bridgeland-King-Reid-Haiman correspondence for tautological bundles on the Hilbert scheme of points. This extends previous results of Ein-Lazarsfeld, Ein-Lazarsfeld-Yang and gives a partial answer to some of their questions. As an application of our results, we show how to use syzygies to bound the irrationality of a variety.
Resonance, syzygies, and rank-$3$ Ulrich bundles on the del Pezzo threefold $V_5$
本文研究了在del Pezzo三维流形V_5上，通过乌里奇向量包的截面零点描述亏格14、次数18的曲线的几何条件，并探讨了其与特殊秩2向量包的共振关系，以及曲线唯一性结论。
Secant variety and syzygies of Hilbert scheme of two points
本文证明当X由4非常充足线束嵌入时，X^{[2]}的切线包络在Grothendieck-Plücker嵌入下具有可识别性，并证明当X的嵌入足够正时，该嵌入满足Green条件(N_p)。同时，当X的嵌入足够正时，切线包络的奇点集恰好为X^{[2]}。
Effective gonality theorem on weight-one syzygies of algebraic curves
本文针对Green-Lazarsfeld冈奇性猜想的有效版本未解决的问题，建立权一合冲的有效零化定理，证明特定线丛次数下猜想成立，且因平面曲线反例达到最优，给出猜想的完整解答。
Let $X \subset ¶^r$ be a nondegenerate projective variety and let $ν_{\ell} : ¶^r \to ¶^N$ be the $\ell$-th Veronese embedding. In this paper we study the higher normality, defining equations and syzygies among them for the projective embedding $ν_{\ell} (X) \subset ¶^N$. We obtain that for a very ample line bundle $L \in {Pic}X$ such that $X \subset ¶H^0 (X,L)$ is $m$-regular in the sense of Castelnuovo-Mumford, $(X,L^{\ell})$ satisfies property $N_{\ell}$ for all $\ell \geq m$ (Theorem \ref{thm:main1}). This is a generalization of M. Green's work that $(¶^r,\mathcal{O}_{¶^r} (\ell))$ satisfi…
We show the stability of certain syzygies of line bundles on curves, which we call transforms, and are kernels of the evaluation map on subspaces of the space of global sections. For the transforms constructed, we prove the existence of reducible theta divisors, in the cases where the slope is integer.
Let A be an ample line bundle on a projective toric variety X of dimension n. We show that if l>=n-1+p, then A^l satisfies the property N_p. Applying similar methods, we obtain a combinatorial theorem: For a given lattice polytope P we give a criterion for an integer m to guarantee that mP is normal.
In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfie…
Let L be a normally generated line bundle on X; we say L satisfies property N_p (notation after Mark Green) if the matrices in the free resolution of R (the homogeneous coordinate ring of X) over S (the homogeneous coordinate ring of the projective space corresponding to the complete linear series |L|) have linear entries until the p-th stage. In this article we prove the following result: Let X be an elliptic ruled surface and let L be a product of p+1 base point free and ample line bundles on X. Then L satisfies property N_p. In particular we prove that numerical classes of all divisors whic…
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 study the asymptotic non-vanishing of syzygies for products of projective spaces. Generalizing the monomial methods of Ein, Erman, and Lazarsfeld \cite{einErmanLazarsfeld16} we give an explicit range in which the graded Betti numbers of $\mathbb{P}^{n_1}\times \mathbb{P}^{n_2}$ embedded by $\mathcal{O}_{\mathbb{P}^{n_1}\times\mathbb{P}^{n_2}}(d_1,d_2)$ are non-zero. These bounds provide the first example of how the asymptotic syzygies of a smooth projective variety whose embedding line bundle grows in a semi-ample fashion behave in nuanced and previously unseen ways.
We investigate the relations between the syzygies of the Jacobian ideal of the defining equation for a plane curve $C$ and the stability of the sheaf of logarithmic vector fields along $C$, the freeness of the divisor $C$ and the Torelli properties of $C$ (in the sense of Dolgachev-Kapranov). We show in particular that curves with a small number of nodes and cusps are Torelli in this sense.
We show that if C is a linearly normal smooth curve embedded by a line bundle of degree at least 2g+3+p then the secant variety to the curve satisfies N_{3,p}.
Inspired by the methods of Voisin, the first two authors recently proved that one could read off the gonality of a curve C from the syzygies of its ideal in any one embedding of sufficiently large degree. This was deduced from from a vanishing theorem for the asymptotic syzygies associated to an arbitrary line bundle B on C. The present paper extends this vanishing theorem to a smooth projective variety X of arbitrary dimension. Specifically, given a line bundle B on X, we prove that if B is p-jet very ample (i.e. the sections of B separate jets of total weight p+1) then the weight one Koszul …
Syzygies and Koszul modules in geometry
本文综述了Koszul模和余式在代数几何中的最新进展，包括对Chen秩、Green猜想等猜想的探讨及开放问题。
Singularities and syzygies of secant varieties of smooth projective varieties
本文研究光滑射影簇的高阶割线簇，证明曲面情形在正线丛下具有Du Bois奇点及线性合冲，并揭示其奇点类型由曲面结构层上同调决定，同时给出高维低阶情形的类似结果及高阶情形的否定性结论。
We give an explicit minimal graded free resolution, in terms of representations of the symmetric group $S_d$, of a Galois-theoretic configuration of $d$ points in $\mathbb{P}^{d-2}$ that was studied by Bhargava in the context of ring parametrizations. When applied to the geometric generic fiber of a simply branched degree $d$ cover of $\mathbb{P}^1$ by a relatively canonically embedded curve $C$, our construction gives a new interpretation for the splitting types of the syzygy bundles appearing in its relative minimal resolution. Concretely, our work implies that all these splitting types cons…
This paper studies the asymptotic behavior of the syzygies of a smooth projective variety X as the positivity of the embedding line bundle grows. We prove that as least as far as grading is concerned, the minimal resolution of the ideal of X has a surprisingly uniform asymptotic shape: roughly speaking, generators eventually appear in almost all degrees permitted by Castelnuovo-Mumford regularity. This suggests in particular that a widely-accepted intuition derived from the case of curves -- namely that syzygies become simpler as the degree of the embedding increases -- may have been misleadin…
Syzygies of secant varieties of smooth projective curves and gonality sequences
本文证明光滑射影曲线的gonality序列可由其充分大度数线丛嵌入下割线簇的合冲读出，并将Ein-Lazarsfeld与Rathmann的gonality猜想推广到割线簇情形。
We prove three results on pure resolutions of vector bundles on projective spaces. First, we show that there are simple vector bundles of rank n on Pn with arbitrary homological dimension. We then analyze the pure resolutions given by the sheafification of the Koszul complex of a certain algebra and by the sheafification of the minimal free resolution of a compressed Gorenstein Artinian graded algebra, proving that their syzygies are simple vector bundles. Our main tool is a result originally established by Brambilla, for which we give an alternative proof using representations of quivers.
We present a construction explaining the existence of (unexpected) curves of degree $d+k$, passing through a set $Z$ of points on $\mathbb{P}^2$, and having a generic point $P$ of multiplicity $d$. The construction is based on the syzygies of the $k$-th powers of Jacobian of the product of lines dual to the points of $Z$. We prove also a result characterizing the unexpectedness of the curves via splitting type of the bundle of these syzygies retricted to the line dual to $P$.
The Green-Lazarsfeld secant conjecture predicts that the syzygies of a curve of sufficiently high degree are controlled by its special secants. We prove this conjecture for all curves of Clifford index at least two and not bielliptic and for all line bundles of a certain degree. Our proof is based on a classic result of Martens and Mumford on Brill-Noether varieties and on a simple vanishing criterion that comes from the interpretation of syzygies through symmetric products of curves.
This paper is a survey of recent work on the asymptotic behavior of the syzygies of a smooth complex projective variety as the positivity of the embedding line bundle grows. After a quick overview of results from the 1980s and 1990s concerning the linearity of the first few terms of a resolution, we discuss a non-vanishing theorem to the effect that from an asymptotic viewpoint, essentially all of the syzygy modules that could be non-zero are in fact non-zero. We explain the quick new proof of this result in the case of Veronese varieties due to Erman and authors, and we explore some results a…
Syzygies of secant varieties of curves of genus 2
本文利用Boij-Söderberg理论，通过计算Betti图的特殊位置确定贡献的纯图，完整计算了亏格2曲线的割线簇的Betti图，解决了权重k+1线性链长度未知的问题。
First and second fundamental theorems are given for polynomial invariants of a class of pseudo-reflection groups (including the Weyl groups of type $B_n$), under the assumption that the order of the group is invertible in the base field. Special case of the result is a finite presentation of the algebra of multisymmetric polynomials. Reducedness of the invariant commuting scheme is proved as a by-product. The algebra of multisymmetric polynomials over an arbitrary base ring is revisited.
On Mukai's conjecture for hyperelliptic varieties
本文研究数值平凡典范线丛的光滑射影簇的合冲性质，证明了一般性结果，并在任意维数和正特征下验证了阿贝尔簇有限商的Mukai合冲猜想若干情形。
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$, we prove that the least integer $q$ for which the property $(M_q)$ fails for a line bundle $L$ on $X$ does not depend on $L$ as soon as its degree becomes sufficiently large. Consequently, this number is an invariant of the curve, and the statement of Green-Lazarsfeld's conjecture is equivalent to saying that this invariant equals the gonality of the curve. …
This work consists of two parts. In the first part we develop new techniques to compute Koszul cohomology groups for several classes of varieties. As applications we prove results on projective normality and syzygies for algebraic surfaces. From more general results we obtain in particular the following: a) Mukai's conjecture (and stronger variants of it) regarding projective normality and normal presentation for surfaces with Kodaira dimension 0, and uniform bounds for higher syzygies associated to adjoint linear series, b) effective bounds along the lines of Mukai's conjecture regarding proj…
In this article we we continue the study of property $N_p$ of irrational ruled surfaces begun in \cite{ES}. Let $X$ be a ruled surface over a curve of genus $g \geq 1$ with a minimal section $C_0$ and the numerical invariant $e$. When $X$ is an elliptic ruled surface with $e = -1$, there is an elliptic curve $E \subset X$ such that $E \equiv 2C_0 -f$. And we prove that if $L \in {Pic}X$ is in the numerical class of $aC_0 +bf$ and satisfies property $N_p$, then $(C,L|_{C_0})$ and $(E,L|_E)$ satisfy property $N_p$ and hence $a+b \geq 3+p$ and $a+2b \geq 3+p$. This gives a proof of the relevant p…
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.…
A note on an effective bound for the gonality conjecture
本文改进了gonality猜想中的有效界，将线束次数从4g-3降至4g-4，并指出两个例外情形。
We investigate the relations between the syzygies of the Jacobian ideal of the defining equation for a projective hypersurface $V$ with isolated singularities and the Torelli properties of $V$ (in the sense of Dolgachev-Kapranov). We show in particular that hypersurfaces with a small Tjurina numbers are Torelli in this sense. When $V$ is a plane curve, or more interestingly, a surface in $P^3$, we discuss the stability of the reflexive sheaf of logarithmic vector fields along $V$. A new lower bound for the minimal degree of a syzygy associated to a 1-dimensional complete intersection is also g…
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.
We discuss recent progress on syzygies of curves, including proofs of Green's and Gonality Conjectures as well as applications of Koszul cycles to the study of the birational geometry of various moduli spaces of curves. We prove a number of new results, including a complete solution to Green's Conjecture for arbitrary hexagonal curves. Finally, we propose several new conjectures on syzygies, including a Prym-Green conjecture for l-roots of trivial bundles as well as a strong Maximal Rank Conjecture for generic curves. To appear in the Proceedings of Clay Mathematical Institute.
This paper is mainly concerned with applying the theory of M-regularity developed in the previous math.AG/0110003 to the study of linear series given by multiples of ample line bundles on abelian varieties. We define a new invariant of a line bundle, called M-regularity index, which is seen to govern the higher order properties and (partly conjecturally) the defining equations of such embeddings. We prove a general result on the behavior of higher syzygies in embeddings given by multiples of ample bundles whose base locus has no fixed components, extending a conjecture of Lazarsfeld known to b…
Anti-ample bundle, nef vector bundle, big vector bundle
本文证明了反丰富向量丛的直像在有限平坦态射下保持反丰富性，并证明nef向量丛与nef且big向量丛的张量积仍为nef且big，推广了Schneider的结果。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。