arxiv: v1 [math.ag] 18 Apr 2012

Transcription

1 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES arxv: v1 [math.ag] 18 Apr 01 BAS HEIJNE AND REMKE KLOOSTERMAN Abstract. In ths paper we study a specal class of fbratons on Delsarte surfaces. We call these fbratons Delsarte fbratons. We show that after a specfc cyclc base change the fbraton s the pull back of a fbraton wth three sngular fbers, and that ths second base change s completely ramfed at two ponts where the fber s sngular. As a corollary we show that every Delsarte fbraton of genus 1 wth nonconstant - nvarant occurs as the base change of an ellptc surface from Fastenberg s lst of ratonal ellptc surfaces wthγ<1. 1. Introducton A Delsarte surface S s a surface of P 3 defned by the vanshng of a polynomal F consstng of four monomals. Let A be the exponent matrx of F, then a Delsarte surface s the quotent of a Fermat surface f and only f det(a) 0. Shoda used ths observaton n [6] to present an algorthm to determne the Lefschetz number of any smooth surface that s bratonally equvalent wth S. Fx now two dsont lnesl 1,l n P 3. The proecton wth centerl 1 ontol yelds a ratonal map S P 1. Resolvng the ndetermnances of ths map yelds a fbraton S P 1. If the genus of the general fber s one and ths morphsm has a secton then Shoda s algorthm together wth the Shoda-Tate formula allows one to determne the Mordell-Wel rank of the group of sectons. Shoda appled ths to the surface y + x t n and showed n [7] that the maxmal Mordell-Wel rank (by varyng n) s 68. If both lnesl are ntersectons of two coordnate hyperplane then we call the obtaned fbraton a Delsarte fbraton. We wll ntroduce the noton of a Delsarte base change. Roughly sad, ths s a base change P 1 P 1 completely ramfed over 0 and. In partcular, the pullback of a Delsarte fbraton under a Delsarte base change s agan a Delsarte fbraton. The frst author determned n hs PhD thess [3] the maxmal Mordell-Wel rank under Delsarte base changes of any Delsarte fbraton such that the general fber has genus one. In ths way he showed that Shoda s example has the hghest possble rank among Delsarte fbraton of genus one. In [1] and [] Fastenberg calculated the maxmal Mordell-Wel rank under base changes t t n for a specal class of ellptc surface,.e., ellptc curves over C(t) wth nonconstant -nvarant such that a certan nvarant γ s smaller than 1. It turned out that all the ranks Date: May 10, 014. Ths paper s nspred by the results of [3, Secton 6] and by some dscussons whch took place on the occason of the PhD defense of the frst author at the Unversty of Gronngen. Part of the research was done whle the frst author held a poston at the Unversty of Gronngen. Hs poston was supported by a grant of the Netherlands Organzaton for Scentfc Research (NWO). The research s partly supported by ERC Startng grant 7973 (SURFARI). The second author acknowledges the hosptalty of the Unversty of Gronngen and the Lebnz Unverstät Hannover, where most of the work was done. 1

2 BAS HEIJNE AND REMKE KLOOSTERMAN that occur for Delsarte surfaces wth nonconstant -nvarant also occur n Fastenberg s lst. In [3, Ch. 6] t s shown that for every Delsarte fbraton of genus one, there exst ntegers m, n such that the Delsarte base change of degree m of the Delsarte fbraton s somorphc to a base change of the form t t n of one of the surfaces n Fastenberg s lst. In ths paper we present a more conceptual proof for ths phenomenon: Frst we study the confguraton of sngular fbers of a Delsarte fbraton. We show that for any Delsarte fbraton each two sngular fbers over ponts t 0, are somorphc. Then we show that after a base change of the form t t n the Delsarte fbraton s a base change of the form t t m of a fbraton wth at most one sngular fber away from 0,. If there s no sngular fber away from 0,, then the fbraton becomes splt after a base change of t t m. If there s at least one sngular fber then we show that there are three possbltes, namely the functon feld extenson K(S )/K(P 1 )=K(x, y, t)/k(t) s gven by m 1 + m + (1+t)m 3, where the m are monomals n x and y, or ths extenson s gven by y a = x b + x c + tx d, where b, c, d are mutually dstnct, or the sngular fber away from 0 and has only nodes as sngulartes and s therefore semstable. See Proposton.15. In the case of a genus one fbraton we can use ths classfcaton to check almost mmedately that any Delsarte fbraton of genus one admts a base change of the form t t n such that the pulled back fbraton s the pull back of a fbraton wthγ<1 or has a constant -nvarant. See Corollary.18. Ths procedure s carred out n Secton. The technques used n the papers by Fastenberg use the fact that the fbraton s not sotrval and t seems very hard to extend these technques to sotrval fbratons. In Secton 3 we consder an example of a class of sotrval Delsarte fbratons. Shoda s algorthm yelds the Lefschetz number of any Delsarte surface wth det(a) 0. Hence t s nterestng to see how t works n the case where Fastenberg s method breaks down. Let p be an odd prme number, and a a postve nteger. We consder the famly of surfaces S : y = x p + t + s n P(a, ap, 1, 1). Then S s bratonal to a Delsarte surface. After blowng up (1 : 1 : 0 : 0) we obtan a smooth surface S together wth a morphsm S P 1. The general fber of ths morphsm s a hyperellptc curve of genus (p 1)/. We show that f p>7 then ρ( S )=+6(p 1), n partcular the Pcard number s ndependent of a. Two of the generators of the Néron-Sever group of S can be easly explaned: the frst one s the pullback of the hyperplane class on S, the second class s the exceptonal dvsor of the morphsm S S. In Example 3.3 we gve also equatons for some other classes. If we take p=3 then we fnd back Shoda s orgnal example. However, n Shoda s example one has thatρ( S ) s not completely ndependent of a, t depends namely on gcd(a, 60). Smlarly one can show that f p=5 and p=7 thenρ( S ) depends on a. Our result shows that these cases are exceptons,.e., for p>7 we have thatρ( S ) s completely ndependent of a.. Delsarte surfaces In ths secton we work over an algebracally closed feld K of characterstc zero. Defnton.1. A surface S P 3 s called a Delsarte surface f S s the zero-set of a polynomal of the form 3 3 F := c X a,, =0 wth c K and a, Z 0. The 4 4 matrx A := (a, ) s called the exponent matrx of S. =0

3 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES 3 A Delsarte fbraton of genus g on a Delsarte surface S conssts of the choce of two dsont lnesl 1,l such that both thel are the ntersecton of two coordnate hyperplanes and the generc fber of the proecton S l wth centerl 1 s an rreducble curve of geometrc genus g. A Delsarte bratonal map s a bratonal mapϕ : P 3 P 3 such thatϕ(x 0 : : X 3 )= ( X b 0 : : X b 3 ),.e.,ϕs a bratonal monomal map. Remark.. Snce K s algebracally closed, we can multply each of the four coordnates X by a nonzero constant such that all four constants n F concde, hence wthout loss of generalty we may assume that c = 1. After permutng the coordnates, f necessary, we may assume thatl 1 equals V(X, X 3 ) andl equals V(X 0, X 1 ). Then the proecton map S l s ust the map [X 0 : X 1 : X : X 3 ] [X : X 3 ]. Let f (x, y, t) := F(x, y, t, 1) K(t)[x, y]. Then the functon feld extenson K(S )/K(l ) s somorphc to the functon feld extenson K(x, y, t)/ f over K(t). We call a Delsarte fbraton wthl 1 = V(X, X 3 ) andl = V(X 0, X 1 ) the standard fbraton on S. Defnton.3. Let n be a nonzero nteger. A Delsarte base change of degree n of a Delsarte fbratonϕ : S P 1 s a Delsarte surface S n, together wth a Delsarte fbraton ϕ n : S n P 1 and a Delsarte ratonal map S n S of degree n, such that there exsts a commutatve dagram S S n P 1 P 1 and K(S n )/K(P 1 ) s somorphc to the functon feld extenson K(x, y, s)/( f (x, y, s n ) over K(s). Remark.4. Note that n s allowed to be negatve. If n s negatve then a base change of degree n s the composton of the automorphsm t 1/t of P 1 wth the usual degree n base change t t n. In many cases we compose a base change wth a Delsarte bratonal map whch respects the standard fbraton. In affne coordnates such a map s gven by (x, y, s) (xs a, ys b, s n ) for some ntegers a, b. Lemma.5. Let S be a Delsarte surface. Suppose there s a nonzero vector v=(a, b, 0, 0) T n Z 4 such that Av span(1, 1, 1, 1) T. Then the generc fber of the standard fbraton ϕ : S P 1 s a ratonal curve. Proof. After nterchangng x and y, f necessary, we may assume that a s nonzero. Consder now f 0 := f (x a, x b y, t). The exponents of x n the four monomals of f 0 are precsely the entres of Av. Snce Av=e(1, 1, 1, 1) T for some nteger e we have that f 0 = x e g(y, t). Ths mples that the generc fber ofϕs domnated by a fnte unon of ratonal curves. Snce the generc fber s rreducble t follows that the generc fber ofϕs a ratonal curve. Lemma.6. Let S be a Delsarte surface. Suppose there s a nonzero vector v=(a, b, c, 0) T n Z 4 such that c 0 and Av span(1, 1, 1, 1) T. Then there s a Delsarte base change of degree c such that the pull back of the standard fbraton on S s bratonal to a product C P 1 P 1. Proof. Consder now f 0 := f (xt a, yt b, t c ). The exponents of t n the four monomals of f 0 are precsely the entres of Av. Snce Av=e(1, 1, 1, 1) T for some nteger e we have that

4 4 BAS HEIJNE AND REMKE KLOOSTERMAN f 0 = t e g(x, y). Let S be the proectve closure of g=0 n P 3. Then S s a cone over the plane curve g=0, n partcular S s bratonal to C P 1 and the standard fbraton on S s bratonal to the proecton C P 1 P 1. Now S s bratonal to the surface S c, the proectve closure of f (x, y, t c )=0. Hence S c P 1 s bratonal to C P 1 P 1. Lemma.7. Let A be the exponent matrx of a Delsarte surface. There exsts a nonzero vector v=(a, b, c, 0) T n Z 4 such that Av span(1, 1, 1, 1) T f and only f det(a)=0. Proof. Snce each row sum of A equals d, the degree of the -th monomal n F, t follows that A(1, 1, 1, 1) T = d(1, 1, 1, 1) T. Suppose frst that det(a) 0. Then from A(1, 1, 1, 1) T = d(1, 1, 1, 1) T t follows that A 1 (1, 1, 1, 1) T span(1, 1, 1, 1) T, whch does not contan a nonzero vector wth vanshng fourth coordnate. Suppose now that det(a)=0. Denote wth A the -th column of A. From the fact that each row sum of A equals d we get that A 1 + A + A 3 + A 4 = d(1, 1, 1, 1) T. Snce det(a)=0 there exsts a nonzero vector (a 1, a, a 3, a 4 ) such that a A = 0. From ths we obtan (a 4 a 1 )A 1 + (a 4 a )A + (a 4 a 3 )A 3 = a 4 (A 1 + A + A 3 + A 4 )=a 4 d(1, 1, 1, 1) T. I.e., v=(a 4 a 1, a 4 a, a 4 a 3, 0) T s a vector such that Av span(1, 1, 1, 1) T. We need to show that v s nonzero. Suppose the contrary, then also Av=a 4 d(1, 1, 1, 1) T s zero and therefore a 4 = 0. Substtutng ths n v yelds that v=( a 1, a, a 3, 0)=(0, 0, 0, 0) holds, whch contradcts our assumpton that (a 1, a, a 3, a 4 ) s nonzero. Remark.8. We want to contnue to nvestgate the sngular fbers of a Delsarte fbraton, n partcular the sngular fbers over ponts t=t 0 wth t 0 0,. If det(a)=0 then ether the generc fber has geometrc genus 0 or after a Delsarte base change the fbraton s splt,.e., the fbraton s bratonal to a product. In the latter case all the fbers away from 0 and are smooth. Hence from now on we restrct to the case where det(a) 0. Lemma.9. Let S be a Delsarte surface wth det(a) 0, such that the generc fber has postve geometrc genus. Letϕ : S P 1 be the standard Delsarte fbraton. Then there exsts a Delsarte base change ofϕthat s bratonal to the standard fbraton on a Delsarte surface S wth affne equaton of the form m 1 + m + m 3 + t n m 4, where each m s a monomal n x and y. Proof. Let e 0 = (1, 1, 1, 1) T and e be the -th standard bass vector of Q 4. Let V be the vector space spanned by e 0 and e. Snce A 1 e 0 = 1 d e 0 t follows that A 1 V s not contaned n span{e 1, e, e 3 }. In partcular, dm A 1 V span{e 1, e, e 3 }=1. Letl be the lne A 1 V span{e 1, e, e 3 } and let v be a vector spannngl. We can scale v such that Av = e + t e 0 for some t K. Snce e 0, e 1, e, e 3 are lnearly ndependent t follows that{e + t e 0 } 3 =1 are lnearly ndependent and therefore v 1, v, v 3 are lnearly ndependent. Hence span{v 1, v, v 3 } s three-dmensonal and there s at least one v = (a, b, c, 0) wth c 0. Then the ratonal map defned by (x, y, t) (xt a, yt b t, t c ) s a composton of a Delsarte base change and a Delsarte ratonal map. Now three of the four entres of Av concde, say they equal e. The exponent of t n the four monomals of f 0 := f (xt a, yt b, t c ) are the entres of Av. In partcular, n precsely three of the four monomals the exponents of t equal the same constant e. Therefore g := f 0 /t e conssts of four monomals of whch precsely one contans a t. If the exponent of t n ths monomal s negatve then we replace t by 1/t n g. Then g=0 s an affne polynomal equaton for the surface S. Recall that we nvestgate the sngular fbers of a Delsarte fbraton, n partcular the sngular fbers over ponts t = t 0 wth t 0 0,. If we have a Delsarte fbraton and

5 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES 5 take a Delsarte base change then the type of sngular fber over t = 0, may change, snce the base change map s ramfed over these ponts. Over ponts wth t 0, the base change map s unramfed and therefore the type of sngular fbers remans the same. Hence to descrbe the possble types of sngular fbers over ponts wth t 0, t suffces by Lemma.9 to study Delsarte surfaces such that only one monomal contans a t,.e., we may restrct ourselves to Delsarte surfaces wth affne equaton m 1 + m + m 3 + t n m 4. If n=0 then the fbraton s splt and there are no sngular fbers. If n 0 then the possble types of sngular fbers are already determned at n=1,.e., t suffces to consder Delsarte surfaces wth affne equaton m 1 + m + m 3 + tm 4. Defnton.10. We call the standard fbraton on a Delsarte surface a mnmal Delsarte fbraton f the followng condtons hold: (1) The affne equaton for the standard fbraton s of the form m 1 + m + m 3 + tm 4, where the m are monomals n x and y. () The exponent matrx A of the correspondng surface S P 3 satsfes det(a) 0. Remark.11. In the functon feld K(S )=K(x, y, t)/ f we have the relaton t=( m 1 m m 3 )/m 4. In partcular K(S )= K(x, y) and therefore S s a ratonal surface. Consder now the defnng polynomal for S,.e., M 1 + M + M 3 + X M 4, where the M are monomals n X 0, X 1, X 3, the degrees of M 1, M and M 3 are the same, say d and the degree of M 4 equals d 1. The Delsarte fbraton s nduced by the map (X 0 : X 1 : X : X 3 ) (X : X 3 ). If S contans the lnel 1 : X = X 3 = 0 then ths ratonal map can be extended to a morphsm on all of S, otherwse we blow-up the ntersecton of ths lne wth S and obtan a morphsm S P 1, such that each fber s a plane curve of degree d. There s a dfferent way to obtan ths famly of plane curves. Defne N as follows: N := M (X 0, X 1, X, X ) for =1,, 3 and N 4 = X M 4 (X 0, X 1, X, X ) Now the four N have a nontrval greatest common dvsor f and only f X 3 M for =1,, 3. The later condton s equvalent to the condton that the lnel 1 s contaned n S. Moreover, f the greatest common dvsor s nontrval then t equals X. Now set N = N fl 1 S and set N = N /X 3 fl 1 S. Thenλ(N 1 + N + N 3 )+µn 4 s a pencl of plane curves of degree d or d 1 and the generc member of ths pencl s precsely the generc fber of the standard fbraton on S. We can consder the generc member of ths famly as a proectve curve C over K(t) wth defnng polynomal G := N 1 + N + N 3 + tn 4 K(t)[X 0, X 1, X ]. Let A be the exponent matrx of C (consdered as a curve n P K(t) ). Set d B := fl S and B := d d 1 otherwse. 0 0 d d d Then A = AB. Snce A s nvertble and B has rank 3 t follows that rank A = 3. Moreover the frst three rows of A are lnearly ndependent, snce the upper 3 3-mnor of A equals the upper 3 3-mnor of A tmes the upper 3 3 mnor of B. In partcular, there s a vector k, unque up to scalar multplcaton, such that ka = 0. Snce the upper three rows of A are lnearly ndependent t follows that the fourth entry k 4 of k s nonzero. We can make the vector k unque, by requrng that k 4 > 0, k Z for =1,..., 4 and gcd(k 1, k, k 3, k 4 )=1. Moreover from rank A = 3 and the fact that (0, 0, 1, 1)B vanshes t follows that k span{(0, 0, 1, 1)A 1 }.

6 6 BAS HEIJNE AND REMKE KLOOSTERMAN Snce none of the rows of A s zero there are at least two nonzero entres n k. Suppose that there are precsely two nonzero entres, say k and k 4. Then k tmes the -th row of A equals k 4 tmes the fourth row of A. Each row sum of A equals the degree of C, say d. From ths t follows that k d= k 4 d and hence that k = 1, k 4 = 1. In partcular, the -th row and the fourth row concde. After permutng m 1, m, m 3, f necessary, we may assume that the affne equaton for the standard fbraton s of the form m 1 + m + (1+t)m 3. Hence f the four monomals m 1, m, m 3, m 4 (n x, y) are dstnct then at least three of the four entres of k are nonzero. Let A be the -th row of A. Recall that each row sum of A equals d. Snce k A equals zero t follows that 0= k A, = k d and hence k = 0. Let p be a prme number dvdng one of the k. Snce gcd(k 1,..., k 4 )=1 there s a such that p k. From k = 0 t follows that there s a such that p k. Hence each prme number p does not dvde at least two of the entres of k. Proposton.1. Let S P 1 be a mnmal Delsarte fbraton. Let A, k and N be as above. Suppose that the fber over t=t 0 s sngular and t 0 0, then or two of the N concde. t k 4 0 :k 0 k k = 0 Proof. Let G K(t)[X 0, X 1, X ] be as above. Then G defnes a pencl of plane curves n P K. Assume that no two of the N concde. We am at determnng the sngular members of the pencl defned by G. Let B t be the matrx obtaned from A by multplyng the fourth row by t. Let us consder the matrx B t0 for some t 0 K. Snce the upper 3 3 mnor of B t0 equals the upper 3 3 mnor of A, and ths mnor s nonzero, t follows that rank B t0 = 3. Hence the kernel of rght-multplcaton by B t0 s one-dmensonal and s generated by (k 1, k, k 3, k 4 t 0 ). Consder now the closure of the mage of the ratonal map M : K 3 K 4 sendng (x, y, z) to (N 1, N, N 3, N 4 ). Let z 1, z, z 3, z 4 be the coordnates on K 4. Then by the defnton of the vector (k 1, k, k 3, k 4 ) one has that N k = 1 holds,.e., on the mage of M one has z k = 1 Snce the greatest common dvsor of the k equals one, ths defnes an rreducble hypersurface V n K 4. Moreover, from the fact that rank A equals 3 t follows that M has fnte fbers, hence the mage of M s three-dmensonal and the closure of the mage of M s precsely the closure of z k = 1. We want now to determne the values for whch t 0 the correspondng member of the pencl of plane curves s sngular. Hence we want to fnd (x 0 : y 0 : z 0 ) P and t 0 K such that for (t, X 0, X 1, X )=(t 0, x 0, y 0, z 0 ) the vector (G X0, G X1, G X ) s zero. In partcular, the vector (X 0 G X0, X 1 G X1, X G X ) s zero. A drect calculaton shows that the latter vector equals (N 1, N, N 3, tn 4 )A, whch n turn equals (N 1, N, N 3, N 4 )B t. Hence f (x 0, y 0, z 0 ) s a sngular pont of a fber over t=t 0 then M(x 0, y 0, z 0 ) s contaned n ker B t0 V. We consder frst the case where M(x 0, y 0, z 0 ) s nonzero and t 0 0. Then :k 0 z k = 1 and (z 1, z, z 3, z 4 ) s a multple of (k 1, k, k 3, k 4 /t 0 ). In partcular, :k 0 k k = 1 t k 4 0 holds, whch fnshes the case where M(x 0, y 0, z 0 ) s nonzero.

7 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES 7 To fnsh we show that f t 0 0 and ker B t0 V conssts only of (0, 0, 0, 0) then the fber over t 0 s smooth. Snce ker B t0 V conssts only of (0, 0, 0, 0) each sngular pont of the fber satsfes N 1 = N = N 3 = N 4 = 0. In partcular at least two of the X are zero. Wthout loss of generalty we may assume that the pont (0 : 0 : 1) s sngular. Consder now G(x, y, 1) and wrte ths as m 1 + m + m 3 + tm 4. Snce all the four N are dstnct we have that m 1 + m + m 3 + tm 4 = 0 s an equsngular deformaton of m 1 + m + m 3 + t 0 m 4 for t n a small neghborhood of t 0. Hence we can resolve ths sngularty smultaneously for all t n a neghborhood of t 0. Therefore all fbers n a neghborhood of t 0 are smooth and, n partcular, the fber over t 0 s smooth. Lemma.13. Letϕ : S P 1 be a mnmal Delsarte fbraton. Then there s an automorphsmσ : S S, mappng fbers ofϕto fbers, such that ts acton on the base curve s t ζ k4 t. Proof. Let d be the smallest nteger such that D := da 1 has ntegral coeffcents. Let T= { X d = 0} P 3 be the Fermat surface of degree d. Then there s a ratonal map T S gven by (X 0 : X 1 : X : X 3 ) ( X d 0 : : X d 3 ). On T there s a natural acton of (Z/dZ) 3, gven by (X 0 : X 1 : X : X 3 ) (ζ a 1 d X 0 :ζ a d X 1 :ζ a 3 d X : X 3 ). On the affne chart X 3 0 wth coordnates x, y, t ths acton s gven by (x, y, t) (ζ a 1 d x,ζa d y,ζa 3 d t). The ratonal map T S s gven (n affne coordnates) by ( x d 00 y d 01 t d 0 y (x, y, t), xd10 d11 t d1 y, xd0 d1 t d x d 30 y b 31t b 3 x d 30 y d 31t d 3 x d 30 y d 31t d 3 The acton of (Z/dZ) 3 descents to S and respects the standard fbraton. Let t=x /X 3 be a coordnate on the base of the standard fbraton. Then (a 1, a, a 3 ) (Z/dZ) 3 acts as t ζd et wth e (d 0 d 30 )a 1 + (d 1 d 31 )a + (d d 3 )a 3 mod d. Snce k as defned n Remark.11 s proportonal to (0, 0, 1, 1)A 1 t follows that k s proportonal to (d 0 d 30, d 1 d 31, d d 3, d 3 d 33 ),.e., there s an m Z such that mk = d d 3. In partcular, settng d = d/m t follows that (a 0, a 1, a ) acts as t ζ e d t wth e k 1 a 1 + k a + k 3 a 3 mod d. Let p be a prme number and suppose that p m dvdes k 4. Snce k 4 s a dvsor of d and the greatest common dvsor of the k equals one t follows that p m also dvdes d. Snce the greatest common dvsor of the k equals one t follows that at least one of the k s not dvsble by p. Wthout loss of generalty we may assume that k 1 s nvertble modulo p. From ths t follows that we can choose a 1 n such a way that a 1 k 1 +a k +a 3 k 3 1 mod p m. The correspondng automorphsmσ p of S maps t to t ζt whereζ s a prmtve m pt n-th root of unty. Take nowσ p m := (σ p m)n. Thenσ p m multples t wth a prmtve p t -root of unty. Wrte now k 4 = p t. Thenσ := t σ p multples t wth a prmtve k 4 -th root of unty. Proposton.14. Let S P 1 be a Delsarte fbraton wth det(a) 0 then there exsts a Delsarte base change S n P 1 of S P 1 whch s somorphc to the base change of a genus g fbraton S 0 P 1 wth at most one sngular fber outsde 0,. Proof. From Lemma.9 t follows that we may assume that the Delsarte fbraton s a mnmal Delsarte fbraton,.e., we have an affne equaton for the generc fber of the form m 1 +m +m 3 +tm 4, where the m are monomals n x and y. On a mnmal Delsarte fbraton ϕ : S P 1 there s an automorphsm of order k 4 that acts on the t-coordnate as t ζ k4 t. In partcular, all the fxed ponts of ths automorphsm are n the fbers over 0 and. ).

8 8 BAS HEIJNE AND REMKE KLOOSTERMAN Consder nextψ : S/ σ P 1 / σ P 1. Now the sngular fbers ofϕare possbly at t=0, and at t k 4 = k k, hence the sngular fbers ofψare possbly at t=0, and t= k k. Proposton.15. Letϕ : S P 1 be a mnmal Delsarte fbraton wth affne equaton m 1 + m + m 3 + tm 4 such that the general fber has postve geometrc genus. Then one of the followng happens m 4 equals one of m 1, m, m 3. In ths case the fbraton s sotrval. S s Delsarte-bratonal to a Delsarte surface wth equaton of the form y a = f (x, t). every sngular fber over t=t 0 wth t 0 0, s semstable. Proof. Assume that all four m are dstnct. Let N be as n Remark.11. Let t 0 K be such that the fber over t=t 0 s sngular. Let P=(X 0 : X 1 : X ) P be a sngular pont of the fber. From the proof of Proposton.1 t follows that at least one of the N s nonzero and that (N 1 : N : N 3 : N 4 )=(k 1 : k : k 3 : k 4 t 0 ) holds. From Remark.11 t follows that at most one of the k s zero. Suppose frst that one of the k, say k 1 s zero. Ths mples that N 1 vanshes and that the other N are nonzero. Therefore one of the coordnate of P has to be zero (n order to have N 1 = 0). If two of the coordnates of P are zero then from det(a) 0 t follows that there s some 1 such that N = 0, whch contradcts the fact that at most one N vanshes. Hence wthout loss of generalty we may assume P=(α : 0 : 1) wthα 0, X 1 N 1 and X 1 N for =1,, 3. In partcular, we have an affne equaton for the fbraton of the form m 1 + m + m 3 + tm 4, where y dvdes m 1, and m, m 3, m 4 are of the form x a. Multply the equaton wth a power of x such that m 1 s of the form x ab y b and set y 1 = y/x a. Then we obtan an equaton of the form y b 1 = f (x, t), where f (x, t) s of the form xa + x b + tx c. Ths yelds the second case. It remans to consder the case where all the N are nonzero. Let P S be a pont where the fber over t=t 0 sngular. Let f be an affne equaton for S. We prove below that f we localze K[x, y, z, t]/( f x, f y, f z, t t 0 ) at P then ths rng s somorphc to k[x]. Hence the scheme defned by the Jacoban deal of fber at t=t 0 has length one at the pont P. Equvalently, the Mlnor number of the sngularty of the fber at t=t 0 at the pont P equals one. In partcular, the sngularty of the fber at P s an ordnary double pont. Consder now the ratonal mapτ : P \V(X 0 X 1 X ) P 3 gven by (X 0 : X 1 : X ) (N 1 : N : N 3 : N 4 ). The mapτs unramfed at all ponts Q P such thatτ(q) V(X 0 X 1 X X 3 ). Snce we assumed that all the N are nonzero t follows that also all the X are nonzero. Hence the length of V( f X0, f X1, f X, t t 0 ) at P equals the length of V(X 0 f X0, X 1 f X1, X f X, t t 0 ) at P. From the proof of Proposton.1 t follows that V(X 0 f X0, X 1 f X1, X f X, t t 0 ) s the scheme-theoretc ntersecton of ker B t0 and V( z k 1) and that ths ntersecton s locally gven by V(k 4 Z 0 t 0 k 1 Z 3, k 4 Z 1 t 0 k Z 3, k 4 Z t 0 k 3 Z 4, Z t 0 Z 4 ), whence the length of the scheme equals one, and therefore the local Mlnor number equals one, and the sngularty s an ordnary double pont. Theorem.16. Suppose S P 1 s a Delsarte fbraton of genus 1 wth nonconstant -nvarant. Then every sngular fber at t 0, s of type I ν. Proof. Wthout loss of generalty we may assume the fbraton s a Delsarte mnmal fbraton. In partcular we have an affne equaton for ths fbraton of the form descrbed n the prevous Proposton.

9 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES 9 In the frst case the fbraton s sotrval and therefore the -nvarant s constant, hence we may exclude ths case. If we are n the thrd case then each sngular fber at t=t 0 s semstable and, n partcular, s of type I ν. It remans to consder the second case. In ths case we have an affne equaton of the form y a = f (x, t). Suppose frst that a> holds. Then the generc fber has an automorphsm of order a wth fxed ponts. Ths mples that the -nvarant of the generc fber s ether 0 or 178. In partcular, the -nvarant s constant and that the fbraton s sotrval. Hence we may assume a=. In ths case we have an affne equaton y = f (x, t). Wthout loss of generalty we may assume x f. Snce the generc fber has genus 1 t follows that deg x ( f ) {3, 4}. Snce S s a Delsarte surface t follows that f contans three monomals. Suppose frst that deg x ( f )=3 and that at t=t 0 there s a sngular fber of type dfferent from I v. Then f (x, t 0 ) has a trple root,.e., f (x, t 0 )=(x t 0 ) 3. Ths mples that f (x, t 0 ) conssts of ether one or four monomals n x. Ths contradcts the fact that f (x, t) conssts of three monomals and t 0 0. If deg x ( f )=4 then we may assume (after permutng coordnates, f necessary) that f = x 4 + x a + t or f = x 4 + tx a + 1. If the fber type at t=t 0 s dfferent from I v then f (x, t 0 ) conssts of three monomals and y = f (x, t 0 ) has at sngularty dfferent from a node. In partcular, f (x, t 0 ) has a zero or order at least 3 and therefore f (x, t 0 )=(x a) 4 or f (x, t 0 )=(x a)(x b) 3. In the frst case f (x, t 0 ) contans fve monomals, contradctng the fact that s has three monomals. In the second case note that the constant coeffcent of f (x, t 0 ) s nonzero and hence ab 0. Now ether the coeffcent of x or of x 3 s zero. From ths t follows that ether b= 3a or a= 3b holds. Substtutng ths n f (x, t 0 ) and the the fact that f (x, t 0 ) has at most three monomals yelds b=0, contradctng ab 0. Corollary.17. Letϕ : S P 1 be an ellptc Delsarte surface, then there exsts a cyclc base change ofϕramfed only at 0 and that s somorphc to a cyclc base change, ramfed only at 0 and, of an ellptc surface wth at most one sngular fber away from 0 and and ths fber s of type I v. Letπ: E P 1 be an ellptc surface (wth secton). Defneγ(π) to be ( γ(π) := f t e ) t n n 6, t 0, where f t s the conductor ofπ 1 (t), e t the Euler number ofπ 1 (t) and n p s zero unless the fber at p s of type I n or I n and n ths cases n p = n. In [1] and [] Fastenberg studes ratonal ellptc surfaces wth γ < 1. She determnes the maxmal Mordell-Wel rank of such ellptc surfaces under cyclc base changes of the form t t n. We wll now show that each Delsarte fbraton of genus 1 wth nonconstant -nvarant becomes after a Delsarte base change the base change of a ratonal ellptc surface wth γ < 1. In partcular, the maxmal Mordell-Wel ranks for Delsarte fbratons of genus 1 under cyclc base change (as presented n [3, 3.4] and [4]) can also be obtaned from []. Corollary.18. Letπ : S P 1 a mnmal Delsarte fbraton of genus 1 wth nonconstant -nvarant. Then S s the base change of a ratonal ellptc surface wthγ< 1. Proof. From Theorem.16 t follows thatπs the base change of an ellptc fbraton π : S P 1 wth at most one sngular fber away from 0 and and ths fber s of type I v. Snce the -nvarant s nonconstant t follows thatπ has at least three sngular fbers, hence there s precsely one sngular fber away from 0 and. Snce ths fber s of type I ν

10 10 BAS HEIJNE AND REMKE KLOOSTERMAN t follows that f t = 1 for ths fber. Hence γ=1 e t+ n 0 + n 6 Remark.19. The converse statement to ths results holds also true: letπ : S P 1 be a ratonal ellptc surface wthγ<1, only one sngular fber away from 0 and and ths fber s of type I ν. Then there exsts a base change of the form t t n such that the pullback ofπ : S P 1 along ths base change s bratonal to the standard fbraton on a Delsarte surface. One can obtan ths result by comparng the classfcaton of ellptc Delsarte surfaces from [3, Chapter 3] wth the tables n [1] and []. Example.0. Accordng to [] there s an ellptc surface wth a IV-fber at t=0, an I 1 -fber at t= and one further sngular fber that s of type I1, such that the maxmal rank under base changes of the form t t n s 9. Such a fbraton has a nonconstant -nvarant. Corollary.17 now mples that ths fbraton s not a Delsarte fbraton. If we twst the I1 fber and one of the fbers at t=0 or t= then we get the followng fber confguratons IV; I1 ; I 1 or II ; I 1 ; I 1. Then maxmal rank under base changes of the form t t n equals 9 n both cases. Now y = x 3 + x + t has sngular fbers of type I 1 at t=0 and t= 4/7 and of type II at t= and y = x 3 + tx+t has a IV-fber at t=0, a I 1 fber at t= 4/7 and a I1 fber at t=. Hence both fbraton occur as Delsarte fbratons. < 1. Example.1. Consder the ellptc Delsarte surface that corresponds to Y = X 3 + X + tx. We can easly compute the dscrmnant and -nvarant of ths fbraton: = 64t 3 16t (3t 1)3 and =56 4t 3 t. From ths we can see that there are three sngular fbres. Over t=0 there s I -fber, over t= there s a III-fber and over t= 1/4 there s a I 1 -fber. We then check that ths corresponds to the second entry n the lst of []. Remark.. The approaches to determne the maxmal Mordell-Wel ranks under cyclc base change n [] and n [3] are qute dfferent. The former reles on studyng the local system comng from the ellptc fbraton, whereas the latter purely reles on Shoda s algorthm to determne Lefschetz numbers of Delsarte surfaces. Ths explans why Fastenberg can deal wth several base changes where the mnmal fbraton has four sngular fbers (whch cannot be covered by Shoda s algorthm because of Proposton.14) but cannot deal wth fbraton wth constant -nvarant. Instead Shoda s algorthm can handle some of them. 3. Isotrval fbratons Usng Proposton.15 one easly descrbes all possble sotrval mnmal Delsarte fbratons. Proposton 3.1. Suppose the standard fbraton on S s sotrval and that the genus of the generc fber s postve. Then there s a Delsarte base change and a Delsarte bratonal map such that the pull back of the standard fbraton s of the form m 1 + m + (1+t n )m 3, y 3 + x 3 + x + t n, or y a + x + x+t n.

11 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES 11 Proof. Suppose the affne equaton for S s of the thrd type of Proposton.15. Then S admts a semstable fber and n partcular the fbraton cannot be sotrval. If the affne equaton for S s of the frst type of Proposton.15, then the generc fber s (after an extenson of the base feld) somorphc to m 1 + m + m 3, n partcular each two smooth fbers of the standard fbraton are somorphc and therefore ths fbraton s sotrval. In ths case S s the pull back of m 1 + m + (1+t n )m 3. Hence we may restrct ourselves to the case where we have an affne equaton of the form y a = x b f (x, t) where f conssts of three monomals, f (0, t) s not zero and the exponent of x n each of the three monomals n f s dfferent. Moreover, after a Delsarte bratonal map we may assume that b<a. The surface S s bratonal to a surface y a = x b z c+deg( f ) f (x/z, t) n P(1, w, 1), wth 0 c<aand w=(b+c+deg( f ))/a Z. The standard fbraton on S s sotrval f and only f the modul of the zero-set of x b z c+deg( f ) f (x/z, t) n P 1 (x:z) s ndependent of t. We wll now consder ths problem. We cover frst the case where d := deg x ( f )> holds. After swappng the role of x and z, f necessary, we may assume that the coeffcent of xz d 1 s zero. We clam that after a map of the form y=t c 1 y, x=t c x, z=z, t=t c 3 we may assume that f= x d + x c z d c + tz d. To see ths, take an affne equaton for S of the form y a = x b (a 1 x d + a x c + a 3 ), where a {1, t}, and two of the a equal 1. If a 1 = t then we need to take an nteger soluton of ac 1 = bc + d c + c 3 = bc + c c, f a = t then we need to take an nteger soluton of ac 1 = bc + d c + c 3 = bc + c c. In both cases we obtan an affne equaton of the form y a = x b (x d + x c + t n ). Ths fbraton s sotrval f and only f y a = x b (x d + x c + t) s sotrval, whch proves the clam. Hence from now on we assume that f s of the form x d + x c z d c + tz d wth d > and c > 1. Let s denote the number of dstnct zeroes of g(x, z) := x b z c+deg( f ) f (x/z, t) for a general t-value. We say that fber at t=t 0 s bad f x b z c+deg( f ) f (x/z, t) has at most s 1 dstnct zeroes. The man result from [5] yelds that f the fber a t=t 0 s bad then g(x, z) has at most 3 dstnct zeroes. We are frst gong to classfy all g satsfyng ths condton. Then we wll check case-by-case whether the modul of the zeroes of g are ndependent of t. Consder the fber over t=0. From c > 1 t follows that x=0 s a multple zero of f (x, 0). Hence that the fber over t=0 s bad. If c s postve then the crteron from [5] mples that g(x, 0) can have at most one further zero and hence d = c + 1. If c=0 then g can have at most two further zeroes and therefore d c {1, }. Suppose frst d = c + 1. Consder f (x, t) := x f (x, t). Our assumpton on f mples that f (x, t) s a polynomal only n x. The fber at t=t 0 s bad f and only f f (x, t 0 ) and f (x, t 0 ) have a common zero. From c = d 1 t follows that f (x, t) has a unque zero dfferent from 0, say x 0, and x 0 s a smple zero of f (x, t). Now f (x 0, t) s a lnear polynomal n t. Hence there s a unque nonzero t-value t 0 over whch there s a bad fber. Snce x 0 s a smple zero of f (x, t 0 ) t follows that (x x 0 ) dvdes f (x, t 0 ) and that there are d further dstnct zeroes, all dfferent from 0. Usng that g has at most 3 zeroes t follows that f both b and c are nonzero then d =0, f one of b, c s zero then d 1 and f both b and c are zero then d. Usng that we assumed that d s at least 3 we obtan the followng possbltes for g: x b (x 3 + x z+tz 3 ), z c (x 3 + x z+tz 3 ), x 3 + x z+tz 3 and x 4 + x 3 z+tz 4. Suppose now c=0and d = c +. Then f s of the formβ(x +α)x d 3. In partcular, there are two possble x-values for a bad pont n a bad fber. If they occur n the same fber and b=0 then d {4, 5}, otherwse d {3, 4}. Snce c = d we may exclude

12 1 BAS HEIJNE AND REMKE KLOOSTERMAN d = 3 and we obtan that the two polynomals x 4 + x + t and x 5 + x 3 + t are the only possbltes for f. We can exclude x 5 + x 3 + t, snce t has bad fbers at t = and a necessary condton to have d = 5 s that there s at most one bad fber wth t 0,. If b>0 then d 4; n partcular we have only x b (x 4 + x + t) to check. Actually only n one of the above cases the modul are ndependent of t, namely g= x 3 + x z+tz 3 : Note that the -nvarants of the ellptc curves y = x 3 + x + t and y = tz 3 + z+1 are not constant, hence the modul of the zeros of x b (x 3 + x z+tz 3 ) and of z c (x 3 + x z+tz 3 ) depend on t (f b>0 resp. c>0 holds). Snce x 3 + x z+tz 3 has degree 3, the modul of ts zeroes are obvously constant. The famly of genus one curves y = x 4 + x + t has a semstable fber at t= 1 4 and the famly of genus one curves y = x 4 + x 3 z+tz 4 has a semstable fber at t= Hence the modul of the zeroes of x b (x 4 + x + t) for b 0 and of x 4 + x 3 z+tz 4 depend on t. Consder now the fnal case d =. Then f = x + x+t, and therefore automatcally two of the three possbltes for g, namely z c (x + xz+tz ) and x b (x + xz+tz ) have constant modul snce they defne 3 ponts n P 1. Now y b+ = z b (x + xz+tz ) and y b+ = x b (x + xz+tz ) are bratonally equvalent up to a Delsarte base change, e.g., take ((x : y : z), t) ((z : y x t : ), t b+ ). Hence these two cases yeld only one case up to somorphsm. t b+ We may assume that the affne equaton equals y b + x + x+t n. If b=c=0 holds, then the generc fber s a cyclc cover of P 1 ramfed at two ponts, and n partcular has genus 0. Hence we can exclude ths case. Fnally, x b z c (x + xz+tz ) does not have constant modul snce the -nvarant of y = x 3 + x + tx s nonconstant. Remark 3.. In the case of y a +x +x+t we may complete the square. Ths yelds a surface that s somorphc to y a + x + 1+t, n partcular the fbraton s bratonally equvalent to a fbraton of the frst knd. However, they are not Delsarte bratonal. In [3, Secton 3.5.1] t s shown that y 3 + x 3 + x + t s bratonal to y + x 3 + t 3 + 1, however the gven bratonal map s not a Delsarte bratonal map. Hence both exceptonal case are fbraton that are bratonal to a fbraton of the frst type. From the prevous dscusson t follows that almost all mnmal sotrval Delsarte fbratons are of the form m 1 + m + (1+t)m 3. We wll calculate the Pcard numbers for one class of such fbraton and consder the behavor of the Pcard number under Delsarte base change,.e., base changes of the form t t a. Example 3.3. Let p=g+1 be a prme number. Consder the sotrval fbraton y = x p + t + s of genus g-curves over P 1 (s:t). Ths equaton defnes a quas-smooth surface S of degree n P(a, ap, 1, 1). The surface S has one sngular pont, namely at (1 : 1 : 0 : 0). A sngle blow-up of ths suffces to obtan a smooth surface S. The Lefschetz number of S can be computed by usng Shoda s algorthm, whch we do below. The exceptonal dvsor of S S s a smooth ratonal curve. In partcular, usng the Mayer- Vetors sequence one easly obtans that h ( S )=h (S )+1 andρ( S )=ρ(s )+1. Snce S s quas-smooth one has a pure weght Hodge structure on H (S ). To determne the Hodge numbers of ths Hodge structure we use a method of Grffths and Steenbrnk. Note frst that dm H (S ) prm = h (S ) 1=h ( S ). Let R be the Jacoban rng of S,.e., ( f R=C[x, y, t, s]/ x, f y, f s, f ) = C[x, y, s, t]/(x p 1, y, t 1, s 1 ) t

13 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES 13 Ths s a graded rng wth weghts (a, ap, 1, 1). Let d = be the degree of S and w=ap+a+the sum of the weghts. From Grffths-Steenbrnk [8] t follows that H q,q (S ) prm s somorphc wth R qd w = span{x t s k a+ +k=qd w, 0 < p 1, 0, k< 1} = span{yx t s k a+ +k=qd, 0< p 1, 0<, k 1}. In other words the bass elements of R qd w correspond one-to-one to vectors {( 1, ) p,, k (Q/Z) 4,, k Z; 0<< p; 0<, k< ; 1 + p + + k = q In [3, Secton.1] a varant of Shoda s algorthm [6] s presented. Ths algorthm calculates the Lefschetz number of a resoluton of sngulartes of a Delsarte surface n P 3. In our case we apply ths algorthm to the surface T P 4 gven by Y Z + X p Z p + W + Z Snce the Lefschetz number s a bratonal nvarant, one has that the Lefschetz number of S and T concde. Followng [3] we need to take the exponent matrx 0 0 p 0 0 (a 1)p A= and then to determne the three vectors v 1 := A 1 (1, 0, 0, 1) T, v := A 1 (1, 0, 0, 1) T and v 3 := A 1 (0, 0, 1, 1) T. In our case ths yelds the vectors ( v 1 = 0, 1 p, 0, 1 p ), v = ( ) ( 1, 0, 0, 1 and v 3 = 0, 0, ) 1, 1. Consder now the set L := v 1 + kv + v 3 Q/Z. Ths are precsely the vectors of the form {( k, p,, apk a ) } (Q/Z) 4,, k Z Let L 0 L be the set of vectors v L such that none of the entres of v equals 0 modulo Z,.e., {(1, p,, ap a ) } (Q/Z) 4, Z, 0<< p, 0< <, ap a mod Note that #L 0 s precsely h (S ) prm. For an elementα Q/Z denote wth{α} the fractonal part,.e., the unque element β Q [0, 1) such thatα β 0mod Z and wth ord + (α) the smallest nteger k>0 such that kα Z. Defne the followngλ L 0 consstng of elements (α 1,α,α 3,α 4 ) L 0 such that there s a t Z for whch ord + (α k t) = ord + (α k ) holds for k = 1,, 3, 4 and{tα 1 }+{tα }+ {tα 3 }+{tα 4 }. The condton ord + (α k t) = ord + (α k ) for k = 1,, 3, 4 s equvalent wth t beng nvertble modulo a p, where a = a/ gcd(a, ). Then the Lefschetz number λ=h ( T) ρ( T) equals #Λ. }.

14 14 BAS HEIJNE AND REMKE KLOOSTERMAN Snceλ( S )=λ( T) and h ( S )=+#L 0 t follows thatρ(s ) equals { {tα +# (α 1,α,α 3,α 4 ) L 0 1 }+{tα }+{tα 3 }+{tα 4 }= for t Z such that ord + (tα k )=ord + (α k ), k=1,, 3, 4 We now determne ths set. Consder now a vector v from L 0,.e., a vector ( 1, p,, ap a ) wth, Z, 0mod p, 0mod, ap 0mod. Take t {1,..., a p 1} such that gcd(t, a p)=1 and t 1 mod p. Then v Λ f and only f tv Λ. Hence to determne whether a vector s nλt suffces to assume 1mod p. Suppose now that p>7. In Lemma 3.4 we show that v Λf and only f the fractonal part{ } s n the set{ p 1, 1, p+, 4,, } 1. Each of the sx values for yelds (p 1) elements n L 0 \Λ, henceρ( S )=+6(p 1). One can easly fnd several dvsors on S. We remarked n the ntroducton that the pull back of the hyperplane class and the excepton dvsor yeld two ndependent classes n NS ( S ). We gve now (p 1) further ndependent classes: Let ζ be p-th root of unty. Let C 1, be x=t a ζ, y=s ap, C, be x=s a ζ, y=t ap. Then C 1, and C, equal the hyperplane class n Pc(S ). However each C, s nonzero n Pc(S ): Letσbe the automorphsm of S sendng t to t tmes a -th root of unty and leavng the other coordnates nvarant. Then the characterstc polynomal ofσon the mage of C 1,, =1,..., p 1 s (t p 1)/(t 1). In partcular the mage of span{[c 1, ]} s ether 0 or p 1 dmensonal. (One can exclude the former possblty by checkng ntersecton numbers.) Smlarly usng the automorphsm s s mapped to s tmes a -th root of unty t follows that span{[c, ]} has dmenson p 1and that span{[c, ]} s (p 1) dmensonal. Lemma 3.4. Suppose p>7. Let ( 1 v=, 1 p,, a ap ) (Q/Z) 4 such that 0mod, a+ +ap 0mod. Then v Λ f and only f { p 1, 1, p+, 4,, 1 }. Proof. Wthout loss of generalty we may assume that gcd(a, ) = 1. We start by provng that f a prmel 5 dvdes a then v Λ. For ths t suffces to gve a t, nvertble modulo such that { } ( a ap )t { t } + { t p } + { t } + Snce the left hand sde s an nteger for any choce of t, and each summand s smaller than one t suffces to prove that { { } { } t t t } p Consder the value t=1+ck l, = 1. }.

15 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES 15 wth c 1 modland k Z such that k (c l ) 1 modland k n the nterval ( l, l ) +l(p ). Note that we have to assume p>7orl 5to ensure the exstence of such a k. Then{ t }= 1 and { } { } t 1 a = + ck = 1 p p l p. Moreover, we have that { } t (1+ck l = ) { = + k } (p ) l. From ths t follows that { { } { } t t t } p holds, whch fnshes ths case. Suppose now that the only prmes dvdng a are or 3. If p=11, 13, 17 and a=3 then one can fnd easly by hand a t-value such that { { } { } { } t t t ( a ap )t = 1 } p holds. For all other combnatons (a,, p) wth a > 1 we gve a value for t n Table 3 such that the above formula holds. The only case left to consder s the case a=1. If p 30 then one can easly fnd an approprate t-value by hand. Hence we may assume that p > 30. If we take t = 1 then we see that v Λwhenever We wll consder what happens f have = > p. ( 0, 1 1 p Suppose t< p s an odd nteger, and k s an nteger such that k t { { t t + } p ). } { } t + = 1 + t p + t k The rght hand sde s at most 1 f 1+k 1 t p Hence f ( k t, 1+k 1 ) t p Then v Λ. If we take k=t 1then we get the nterval ( I t := 1 1 t, 1 1 t 1 ) p and f we take k=(t+1)/ then we get ( 1 I t := + 1 t, t 1 ). p Note that I 3 = I 3. < k+1. Then we

16 16 BAS HEIJNE AND REMKE KLOOSTERMAN a I t 4 a (0, p ) 1 p>3 ( 1, p 1 p ) 1+ap (0, p 4 4p ) ( 3 ap 4, 1) 1mod 4 1+ ( 1 4, 3p 4 4p (0, p 4 4p ) ( 3 4 ( 1 4, 3p 4 4p ) 1mod ap, 1) 3mod ap ) 3mod 4 1+ ap a, 4 a (0, p ) 1 p>7 ( 1, p 1 p ) 1+ap (0, p ) ( 3 8, p ) ( 7 8, 1) 1mod 4 ap + ( 3 8, p ) 3mod 4 3ap + 9 a (0, p ) 1 p>5 ( 1 3, p ) mod (0, p ) ( 3, 1) mod 3 4ap 1+ 3 ( 1 3, p ) 1mod 3 4ap 1+ 3 (0, p ) ( 3, 1) 1mod a=3 (0, p ) 1 p 1mod 3 ( 1 3, p ) 1mod 3 1+4p p>18 ( 8 9, p ) 1mod 3 3+ ( 7 9, p ) 1mod 3 3+4p ( 3, 1) mod 3 1+4p ( 4 9, p ) mod 3 3+ ( 5 9, p ) mod 3 3+4p a=3 (0, p ) 1 p mod 3 ( 3, 1) 1mod 3 1+ p>18 ( 5 9, p ) 1mod 3 3+ ( 4 9, p ) 1mod 3 3+4p ( 1 3, p ) mod 3 1+ ( 7 9, p ) mod 3 3+ ( 8 9, p ) mod 3 3+4p Table 1. t-values for the case a= v 3 v 3, a 1 We clam that f p>30 and 5 t p 1 3 then I t I t and I t I t. For ths t suffces to check that (t ) < t 1 p and 1 1 (t ) 1 p > 1 1 t Both condtons are equvalent wth (1) t (p+4)t+4p<0 The smallest value to check s t=5 then the above formula yelds that p>30, whch s actually the case. For fxed p we have that the above bound s equvalent wth t ( 1 4 p p 4p+16, 1 4 p p 4p+16). The prevous argument already

17 A STRUCTURE THEOREM FOR FIBRATIONS ON DELSARTE SURFACES 17 shows that the left boundary of ths nterval s smaller than 5. Substtutng t= p 1 3 n (1), yelds that for p>77/3 the boundary pont on the rght s at bgger than p 1 3. In partcular, f p>30, t s odd then I t I t and I t I t. Take now the unon of I t and I t for all odd t between 3 and p 1 5. Ths yelds an nterval I= (α,β) such that for all p 1 I we have that v Λ. The maxmal t-value s ether 3 or p 1 4 (dependng on p mod 4). Hence we know only that the maxmal t s at least p 1 4. From ths t follows that ( 1 I + 1 p 9, 1 1 p 1 ). p 9 Note that p 9> 3 p and hence 1 p + 1 p 9 5. Hence the only possbltes for I and p < < are { p 1, p, p+1, p+, 4. 3,, 1 }. If p+1 {, 3 } then we have that v s nλ. Ths can be verfed by takng t= p. Hence we have shown that for all but sx values for It remans to show that for the remanng values of { 1, } then two coordnatesα,β of v equal 1 { { } { } t t t } p the correspondng vector s nλ. we have that v Λ. If. Hence for any admssble t we have { } ( a ap )t > = 1 Snce the left hand sde s an nteger, t s at least. In the other four cases we have two entresα,β suchα=β+ 1. Snce t s odd we have then that {tα} {tβ} = 1 and therefore { { } { } { } { } t t t ( p )t > +{tα}+{tβ}>1. } p Summarzng we have that for all t that are nvertble modulo that { { } { } { } t t t ( p )t } p holds. Usng the symmetry of the coordnates t follows that for all t that are nvertble modulo we have { { } { } { } t t t ( p )t } p hence v Λ, whch fnshes the proof. Remark 3.5. If we had takng p to be a non-prme the result would be dfferent. Ths would restrct the number of possble t s that can be used. As a consequence the Pcard number wll probably be slghtly hgher. The cases for p=7, p=5 and p=3 can also be computed. If p=7 and 3 a we get ρ( S )=+14(p 1). For p=5 and 6 a we getρ( S )=+18(p 1). For p=3 and 60 a we get ρ( S ) = + 30(p 1). Also for small p the result would be hgher.

18 18 BAS HEIJNE AND REMKE KLOOSTERMAN References [1] Lsa A. Fastenberg. Computng Mordell-Wel ranks of cyclc covers of ellptc surfaces. Proc. Amer. Math. Soc., 19(7): (electronc), 001. [] Lsa A. Fastenberg. Cyclc covers of ratonal ellptc surfaces. Rocky Mountan J. Math., 39(6): , 009. [3] Bas Hene. Ellptc Delsarte Surfaces. PhD thess, Rksunverstet Gronngen, 011. [4] Bas Hene. The maxmal rank of ellptc Delsarte surfaces. Math. Comp., 81(78): , 01. [5] Remke Kloosterman and Orsola Tommas. Locally trval famles of hyperellptc curves: the geometry of the Weerstrass scheme. Indag. Math. (N.S.), 16():15 3, 005. [6] Tetsu Shoda. An explct algorthm for computng the Pcard number of certan algebrac surfaces. Amer. J. Math., 108():415 43, [7] Tetsu Shoda. Some remarks on ellptc curves over functon felds. Astérsque, (09):1, , 199. Journées Arthmétques, 1991 (Geneva). [8] Joseph Steenbrnk. Intersecton form for quas-homogeneous sngulartes. Composto Math., 34():11 3, Instut für algebrasche Geometre, Lebnz Unverstät Hannover, Welfengarten 1, D Hannover, Germany E-mal address: Insttut für Mathematk, Humboldt-Unverstät zu Berln, Unter den Lnden 6, D Berln, Germany E-mal address: