Higher syzygies of ruled varieties over a curve

DOI10.1016/J.JALGEBRA.2005.08.015MaRDI QIDQ2368804zbMATH OpenOpenAlexFDO

Authors Euisung Park

Publication date 28 April 2006

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0401027

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Divisors, linear systems, invertible sheaves (14C20) Rational and ruled surfaces (14J26)

Abstract: For a vector bundle $mathcalE$ of rank $n+1$ over a smooth projective curve $C$ of genus $g$, let $X=P_C(mathcalE)$ with projection map $pi:XoC$. 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 $pi$ by the same line bundle. More precisely, letting $H=mathcal{O}_{P_C(mathcalE)}(1)$ be the tautological line bundle, we prove that if $(P^n,mathcal{O}_{P^n}(a))$ satisfies Property $N_p$, then $(X,aH+p{i}^{\ast }B)$ satisfies Property $N_p$ for all $BinPicC$ having sufficiently large degree(Theorem ef{thm:positive}). And also the effective bound of $deg(B)$ for Property $N_p$ is obtained(Theorem ef{thm:1}, ef{thm:2}, ef{thm:3} and ef{thm:4}). For the converse, we get some partial answer(Corollary ef{cor:negative}). Secondly, by using these results we prove some Mukai-type statements. In particular, Mukai's conjecture is true for $X$ when $rank(mathcalE)geqg$ and $m{u}^{-}(mathcalE)$ is an integer(Corollary ef{cor:Mukai}). Finally for all $n$, we construct an $n$-dimensional ruled variety $X$ and an ample line bundle $AinPicX$ which shows that the condition of Mukai's conjecture is optimal for every $pgeq0$.

Review text

The author considers the property \(N_p\) of Green-Lazarsfeld for ruled variety \(X = \text{Proj}_C(E)\) over a curve \(C\) of genus \(g\). Let \(H = {\mathcal O}(1)\) be the tautological line bundle on \(X\). The authors shows: assume that \((\mathbb P^n, {\mathcal O}(a))\) satisfies the property \(N_p\) for some \(p \geq 0\); then there is an integer \(s = s(a, p)\) such that \(aH + \pi^*B\) satisfies the property \(N_p\) if \(\deg(B) \geq s\), where \(\pi : X \rightarrow C\) is the projection. A partial converse to the result above is also obtained by the author. The author also improves \textit{D. C. Butler's} result on minimal slope of vector bundles [J. Differ. Geom. 39, 1--34 (1994; Zbl 0808.14024)] for ruled surfaces; see the paper for the details.

Recommendations

• On higher syzygies of ruled surfaces. II
• On higher syzygies of ruled surfaces
• On syzygies of projective varieties
• Higher syzygies of elliptic ruled surfaces
• Syzygies of surfaces of general type

Cites work

• A result on resolutions of Veronese embeddings
• Higher syzygies of elliptic ruled surfaces
• scientific article; zbMATH DE number 4097538 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• Koszul cohomology and the geometry of projective varieties. Appendix: The nonvanishing of certain Koszul cohomology groups (by Mark Green and Robert Lazarsfeld)
• Normal generation of vector bundles over a curve
• On higher syzygies of ruled surfaces. II
• On syzygies of Segre embeddings
• On the projective normality of complete linear series on an algebraic curve
• Projective normality and syzygies of algebraic surfaces
• Small schemes and varieties of minimal degree
• Some results on rational surfaces and Fano varieties
• Syzygies and Koszul cohomology of smooth projective varieties of arbitrary dimension
• Syzygies of Veronese embeddings

Cited in

(8)

• On higher syzygies of ruled surfaces. III.
• Syzygies of projective bundles
• On higher syzygies of ruled surfaces. II
• Some Remarks on Syzygies of Adjoint Line Bundles
• Vector bundles on a geometrically ruled surface
• On higher syzygies of ruled surfaces
• On the projective normality of Ulrich bundles on some low-dimensional varieties
• Higher linear syzygies of inner projections

This page was built for publication: Higher syzygies of ruled varieties over a curve

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2368804)