On higher syzygies of ruled surfaces. II

DOI10.1016/J.JALGEBRA.2005.05.022MaRDI QIDQ2583035zbMATH OpenOpenAlexFDO

Publication date 13 January 2006

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

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

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

Abstract: 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 g e q 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 s u b s e t X

such that

E e q u i v 2 C_{0} - f

. And we prove that if

L i n P i c X

is in the numerical class of

a C_{0} + b f

and satisfies property

N_{p}

, then

(C, L |_{C_{0}})

and

(E, L |_{E})

satisfy property

N_{p}

and hence

a + b g e q 3 + p

and

a + 2 b g e q 3 + p

. This gives a proof of the relevant part of Gallego-Purnaprajna' conjecture in cite{GP2}. When

g g e q 2

and

e g e q 0

we prove some effective results about property

N_{p}

. Let

L i n P i c X

be a line bundle in the numerical class of

a C_{0} + b f

. Our main result is about the relation between higher syzygies of

(X, L)

and those of

(C, L_{C})

where

L_{C}

is the restriction of

L

to

C_{0}

. In particular, we show the followings:

(1)

If

e g e q g - 2

and

b - a e g e q 3 g - 2

, then

L

satisfies property

N_{p}

if and only if

b - a e g e q 2 g + 1 + p

.

(2)

When

C

is a hyperelliptic curve of genus

g g e q 2

,

L

is normally generated if and only if

b - a e g e q 2 g + 1

and normally presented if and only if

b - a e g e q 2 g + 2

. Also if

e g e q g - 2

, then

L

satisfies property

N_{p}

if and only if

a g e q 1

and

b - a e g e q 2 g + 1 + p

.

Review text

[For part I, see ibid. 296, 267--284 (2006; Zbl 1093.14052).] \textit{F. J. Gallego} and \textit{B. P. Purnaprajna} [J. Algebra 186, 626--659 (1996; Zbl 0948.14030)] conjectured: On an elliptic ruled surface \(X\) with invariant \(e = -1\) let \(L \equiv aC_0 + bf\) be a line bundle, where \(C_0\) is a minimal section with \(C_0^2 = -e\) and \(f\) a fibre. Then \(L\) satisfies the Green-Lazarsfeld property \(N_p\) if and only if \(a \geq 1\), \(a + b \geq 3 +p\) and \(a + 2b \geq 3 + p\). In the present paper, the author proves the only if part of the conjecture. He also observes that there is a smooth elliptic curve \(E\) on \(X\) such that \(E \equiv 2C_0 - f\) (a result of Gallego and Purnaprajna), and the conjecture suggests that when \(L\) is very ample, \((X, L)\) satisfies the property \(N_p\) if and only if both \((C_0, L| C_0)\) and \((E, L| E)\) satisfy the property \(N_p\). For a general ruled surface \(X\) of invariant \(e\) over a curve \(C\) of genus \(g\), the author proves: Suppose \(e \geq g -2\) and \(b - ae \geq 3g -2\). Then \(L \equiv aC_0 + bf\) satisfies property \(N_p\) if and only if \(b - ae \geq 2g+1+p\). The author also proves this result when \(C\) is a hyperelliptic curve of genus \(g \geq 2\). The readers are referred to the paper for more detailed results.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: On higher syzygies of ruled surfaces. II

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