Negative curves on algebraic surfaces

Th. Bauer, B. Harbourne, A. L. Knutsen, A. Küronya11Alex Küronya was partially supported by the DFG-Forschergruppe 790 “Classification of Algebraic Surfaces and Compact Complex Manifolds”, and the OTKA Grants 77476, 77604, and 81203 by the Hungarian Academy of Sciences.,
S. Müller-Stach, T. Szemberg
Modified September 7, 2011; printed March 1, 2014
Abstract

We study curves of negative self-intersection on algebraic surfaces. Our main result shows there exist smooth complex projective surfaces XX, related to Hilbert modular surfaces, such that XX contains reduced, irreducible curves CC of arbitrarily negative self-intersection C2C^{2}. Previously the only known examples of surfaces for which C2C^{2} was not bounded below were in positive characteristic, and the general expectation was that no examples could arise over the complex numbers. Indeed, we show that the idea underlying the examples in positive characteristic cannot produce examples over the complex number field, and thus our complex examples require a different approach.

\marginsize

0.5in0.5in0.5in0.5in

1 Introduction

In recent years there has been a lot of progress in understanding various notions and concepts of positivity [20]. In the present note we go in the opposite direction and study negative curves on complex algebraic surfaces. By a negative curve we will always mean a reduced, irreducible curve with negative self-intersection.

It has been known for a long time that there are algebraic surfaces with infinitely many negative curves, the simplest examples being the projective plane blown up in the base locus of a general elliptic pencil or certain elliptic K3 surfaces. In the first example all negative curves have self-intersection -1-1, in the second example the self-intersection is -2-2. In both cases negative curves are rational and there are no curves with lower self-intersection, i.e., the negativity is bounded from below.

It is natural to wonder whether these examples are indications of general phenomena. For example:

  • (1)

    If a surface has negative curves, is there always a lower bound for their self-intersections?

  • (2)

    For which d<0d<0 (or g0g\geqslant 0) is it possible to produce examples of surfaces XX with infinitely many negative curves CC such that C2=dC^{2}=d (or such that CC has genus gg)?

  • (3)

    Is it possible to have a surface XX with infinitely many negative curves CC of bounded genus such that C2C^{2} is not bounded below?

  • (4)

    Even if there is a lower bound for the self-intersections of negative curves on a given surface XX, is it possible for the self-intersections of reduced but not necessarily irreducible curves CC on XX to not be bounded below?

It is well-known [14, Exercise V.1.10] that the first question has a negative answer in positive characteristics; however, in the complex setting, a positive answer was expected. According to an old folklore conjecture (mentioned to the second author by M. Artin around 1980 and sometimes referred to as the Bounded Negativity Conjecture; see e.g. [13, Question p. 24], [12, Conjecture 1.2.1], [8]), the self-intersections of curves on complex surfaces should be bounded below; i.e., for any given surface XX there should exist a number b(X)b(X) such that

C2-b(X)C^{2}\geqslant-b(X)

for all reduced curves CC on XX. Our main result (see Theorem 2.8) shows surprisingly that this expectation was too optimistic.

Theorem A.

There exists a smooth projective complex surface containing a sequence of negative curves whose self-intersections tend to --\infty.

In fact our results in Section 2 provide a whole series of such examples. With Proposition 2.1 we also show that the approach producing examples of surfaces in characteristic p>0p>0 does not work over the complex numbers.

It is important to point out that interesting special cases of the bounded negativity conjecture are still open. For example, one consequence of the Segre-Harbourne-Gimigliano-Hirschowitz Conjecture is that the only negative curves on a blow-up of the projective plane at a finite set of generic points are exceptional curves (i.e., smooth rational curves of self-intersection -1-1). Since our examples do not extend to such surfaces, the bounded negativity conjecture in the case of the projective plane blown up at a finite set of generic points remains open.

In Section 3 we address the second question above. We show:

Theorem B.

For each integer m>0m>0 there is a smooth projective complex surface containing infinitely many smooth irreducible curves of self-intersection -m-m. When m2m\geqslant 2, the genus of the curves may be prescribed.

In view of Theorems A and B one may wonder if there are any circumstances at all for which some sort of boundedness of negativity holds. In Section 4 we finish the proof of Proposition 2.1 by showing bounded negativity for elliptic surfaces of Euler number 0. We also address question 3 by recalling a result showing that the self-intersections among negative curves of given genus on a surface is bounded below. Finally, in Section 5 we address question 4, by giving a sharp lower bound on the self-intersections of reduced curves, given that the self-intersections of negative curves is bounded below.

Acknowledgement.

We would like to thank Jan Hendrik Bruinier, Lawrence Ein, Friedrich Hirzebruch, Annette Huber-Klawitter, Jun-Muk Hwang, Nick Shepherd-Barron and Kang Zuo for useful discussions. This collaboration grew out of interactions during the Oberwolfach mini-workshop “Linear Series on Algebraic Varieties”. We thank the MFO for excellent working conditions. We also thank SFB/TRR 45 for financial support for visits among some of us and for the 2009 summer school in Krakow, where some initial consideration of these problems occurred.

2 Hilbert modular surfaces and unbounded negativity

In positive characteristic there exist surfaces carrying a sequence of irreducible curves with self-intersection tending to negative infinity (see [14, Exercise V.1.10]). These curves are constructed by taking iterative images of a negative curve under a surjective endomorphism of the surface.

In more detail, the construction goes as follows. Let CC be a curve of genus g2g\geqslant 2 defined over an algebraically closed field kk of characteristic pp, let X=C×CX=C\times C be the product surface with ΔX\Delta\subset X the diagonal. Furthermore let F:CCF:C\to C be the Frobenius homomorphism, defined by taking coordinates of a point on CC to their pp-th powers. Then G=id×FG=id\times F is a surjective endomorphism of XX. The self-intersections in the sequence of irreducible curves Δ,G(Δ),G2(Δ),\Delta,G(\Delta),G^{2}(\Delta),\dots tend to negative infinity.

We start by showing that, by contrast, in characteristic zero it is not possible to construct a sequence of curves with unbounded negativity using endomorphisms as above. In fact we prove an even stronger statement: the existence of a non-trivial surjective endomorphism implies bounded negativity.

Proposition 2.1.

Let XX a smooth projective complex surface admitting a surjective endomorphism that is not an isomorphism. Then XX has bounded negativity, i.e., there is a bound b(X)b(X) such that

C2-b(X)C^{2}\geqslant-b(X)

for every reduced irreducible curve CXC\subset X.

Proof.

It is a result of Fujimoto and Nakayama ([10] and [24]) that a surface XX satisfying our hypothesis is of one of the following types:

  • (1)

    XX is a toric surface;

  • (2)

    XX is a 1\mathbb{P}^{1}-bundle;

  • (3)

    XX is an abelian surface or a hyperelliptic surface;

  • (4)

    XX is an elliptic surface with Kodaira dimension κ(X)=1\kappa(X)=1 and topological Euler number e(X)=0e(X)=0.

In cases (1) and (2) the assertion is clear as XX then carries only finitely many negative curves. In case (3) bounded negativity follows from the adjunction formula (cf. [4, Prop. 3.3.2]). Finally, bounded negativity for elliptic surfaces with Euler number zero will be established in Proposition 4.1. ∎

Note, however, that there cannot be a uniform bound b(X)b(X) for surfaces as in the proposition: For every integer NN there is a toric surface carrying a curve of self-intersection less than -N-N. (The surface can be realized as a successive blow-up of 2\mathbb{P}^{2} at infinitely near points.). Of course the same holds for 1\mathbb{P}^{1}-bundles.

The above theorem shows that endomorphisms can never lead to infinitely many negative curves. The key idea in the construction of the example whose existence is postulated in Theorem A, is to replace endomorphisms by correspondences. We start towards the proof of Theorem A with some preliminary remarks on Hilbert modular surfaces.

In what follows we adopt the notation from [17] and [16] with the exception that we write K\mathbb{Z}_{K} instead of 𝒪{\mathcal{O}} for the ring of integers of a quadratic real field KK.

Let pp be a prime number such that p1mod4p\equiv 1\mod 4. Consider the quadratic real number field K=(p)K=\mathbb{Q}(\sqrt{p}) with ring of integers K=+1+p2\mathbb{Z}_{K}=\mathbb{Z}+\frac{1+\sqrt{p}}{2}\mathbb{Z}. Let σGal(K/)\sigma\in\mathop{\rm Gal}\nolimits(K/\mathbb{Q}) be the nontrivial element (i.e. the conjugation σ(x+yp)=x-yp\sigma(x+y\sqrt{p})=x-y\sqrt{p}). The group SL2(K)\mathop{\rm SL}\nolimits_{2}(\mathbb{Z}_{K}) operates on 2\mathbb{H}^{2} (the second cartesian power of the upper half plane) by

(αβγδ)(z1,z2)=(αz1+βγz1+δ,σ(α)z2+σ(β)σ(γ)z2+σ(δ)).\left(\begin{array}[]{cc}\alpha&\beta\\ \gamma&\delta\end{array}\right)(z_{1},z_{2})=\left(\frac{\alpha\cdot z_{1}+% \beta}{\gamma\cdot z_{1}+\delta},\frac{\sigma(\alpha)\cdot z_{2}+\sigma(\beta)% }{\sigma(\gamma)\cdot z_{2}+\sigma(\delta)}\right).

The Hilbert modular group G=SL2(K)/(±1)G=\mathop{\rm SL}\nolimits_{2}(\mathbb{Z}_{K})/(\pm 1) operates effectively. The quotient

X(p):=G\2X(p):=G\backslash\mathbb{H}^{2}

is called a Hilbert modular surface. This surface is not compact, however, it can be compactified by adding finitely many points, called cusps. The resulting surface X~(p)\widetilde{X}(p) has finitely many quotient singularities outside of the cusps, coming from points in 2\mathbb{H}^{2} in which the modular group GG has a non-trivial isotropy subgroup. The singularities arising from the cusps can be resolved by cycles of rational curves, giving a different compactification of X(p)X(p). Of course, when computing intersections of compact curves not meeting the cusps, as we will do below, it does not matter which compactification one chooses.

On X(p)X(p) we consider a series of divisors T1,T2,T_{1},T_{2},\dots defined as follows: Given a positive integer NN, we consider the equation

apz1z2+λz2-σ(λ)z1+bp=0a\sqrt{p}z_{1}z_{2}+\lambda z_{2}-\sigma(\lambda)z_{1}+b\sqrt{p}=0 (1)

in variables (z1,z2)2(z_{1},z_{2})\in\mathbb{H}^{2} with fixed a,ba,b\in\mathbb{Z} and λK\lambda\in\mathbb{Z}_{K} satisfying

λσ(λ)+abp=N.\lambda\sigma(\lambda)+abp=N.

The set of solutions of equation (1) is SL2(K)\mathop{\rm SL}\nolimits_{2}(\mathbb{Z}_{K})-invariant. We denote its image in X(p)X(p) by TNT_{N}. It is either empty or a divisor in X(p)X(p). More precisely, we have the following property [17, p. 58].

Fact 2.2.

If NN is not a norm of an ideal in K\mathbb{Z}_{K} and if (Np)=1\left(\frac{N}{p}\right)=1 (i.e., if NN is a quadratic residue modulo pp), then TNT_{N} is non-empty and all components of TNT_{N} are compact.

Thus, if NN satisfies the arithmetic assumptions in the above statement, then TNT_{N} is non-empty and does not pass through any cusp of the surface X~(p)\widetilde{X}(p).

If we consider equation (1) under the additional assumption that the triple

(a,b,λ)××K is primitive, (a,b,\lambda)\in\mathbb{Z}\times\mathbb{Z}\times\mathbb{Z}_{K}\;\;\mbox{ is % primitive, }

i.e., not divisible by any integer >1>1, then the set of solutions is denoted by FNF_{N}. We have the following characterization due to Franke [9], see also [16, Satz 1, p. 105].

Proposition 2.3.

Let NN be an integer that is a quadratic residue modulo NN or divisible by pp. Then the divisor FNF_{N} is reduced and irreducible provided NN is not divisible by p2p^{2}, and it has exactly two components if p2p^{2} divides NN.

If NN does not satisfy the conditions in the Proposition, then FNF_{N} is empty.

The relation between the TNT_{N}’s and FNF_{N}’s is given by the following fundamental equality, see [17, p. 60]:

TN=n2|NFN/n2.T_{N}=\bigcup_{n^{2}|N}F_{N/n^{2}}\ . (2)

The following arithmetic function is relevant for computing self-intersections of the curves FNF_{N}, see [17, p. 83 (49)]

Hp(n):=H(4n-x2p),H_{p}(n):=\sum H\left(\frac{4n-x^{2}}{p}\right), (3)

where the sum is taken over all integers xx\in\mathbb{Z} such that x24nx^{2}\leqslant 4n and x2-4nx^{2}-4n is divisible by pp. The function H(m)H(m) appearing in (3) is in turn defined as

H(m):=d2|mh(-nd2),H(m):=\sum_{d^{2}|m}h^{\prime}\left(-\frac{n}{d^{2}}\right), (4)

see [17, p. 69 (15)], where hh^{\prime} is the class number function modified by the following convention:

h(-3)=13,h(-4)=12.h^{\prime}(-3)=\frac{1}{3},\;\;h^{\prime}(-4)=\frac{1}{2}\ .

Furthermore, we follow Hirzebruch and set

H(0)=-112.H(0)=-\frac{1}{12}\ .

Combining Proposition 2.3, equation (2) and Fact 2.2 we have the following result which is crucial for further considerations.

Proposition 2.4.

Assume that NN is not a norm of an ideal in K\mathbb{Z}_{K} and that it is a quadratic residue modulo pp which is square-free (in particular not divisible by p2p^{2}), then the curve FNF_{N} is compact and irreducible in X(p)X(p), hence also in X~(p)\widetilde{X}(p), and we have

FN2=12d|Nd((dp)+(N/dp))Hp(N2d2).F_{N}^{2}=\frac{1}{2}\sum_{d|N}d\cdot\left(\left(\frac{d}{p}\right)+\left(% \frac{N/d}{p}\right)\right)\cdot H_{p}\left(\frac{N^{2}}{d^{2}}\right)\ . (5)
Proof.

NN being square-free implies via the decomposition (2) that FN=TNF_{N}=T_{N}. The asserted self-intersection formula follows from the intersection formula on [17, p. 83 (50)] together with [17, Theorem 4, p. 87] taking into account that FNF_{N} does not pass through any of the cusps. ∎

Next, we want to show that on X(p)X(p) (whence on X~(p)\widetilde{X}(p) as well) there exists an irreducible curve FNF_{N} not passing through any of the cusps with negative self-intersection. To this end we prove first the following purely arithmetic fact.

Lemma 2.5.

Let pp be a large prime. Assuming the Generalized Riemann Hypothesis (GRH) for Dirichlet L–functions, there exist two prime numbers q1q_{1} and q2q_{2} such that

  • a)

    q1q_{1} and q2q_{2} are quadratic non-residues modulo pp;

  • b)

    q12q22<pq_{1}^{2}q_{2}^{2}<p.

Proof.

Property (a) follows unconditionally from the Chebotarev Density Theorem, stating, as a consequence, that the primes qq that are not quadratic residues modulo pp have Dirichlet density 1/21/2.

Assuming GRH, property (b) follows from a result of Montgomery [21, Theorem 13.2], since the least primes qq satisfying (a) are of size 𝒪(2log(p)2){\mathcal{O}}(2\mathop{\rm log}\nolimits(p)^{2}). ∎

We use the primes q1q_{1} and q2q_{2} in order to show the existence of a negative compact curve on X(p)X(p).

Lemma 2.6.

Let p,q1,q2p,q_{1},q_{2} be as in Lemma 2.5. We set N=q1q2N=q_{1}\cdot q_{2}. Then the curve FNF_{N} is a negative compact curve on X(p)X(p).

Proof.

According to formula (5) we have

FN2=12[1((1p)+(Np))Hp(N2)+q1((q1p)+(q2p))Hp(q22)F_{N}^{2}=\frac{1}{2}\left[1\cdot\left(\left(\frac{1}{p}\right)+\left(\frac{N}% {p}\right)\right)\cdot H_{p}(N^{2})+q_{1}\cdot\left(\left(\frac{q_{1}}{p}% \right)+\left(\frac{q_{2}}{p}\right)\right)\cdot H_{p}(q_{2}^{2})\right.
+q2((q2p)+(q1p))Hp(q12)+N((Np)+(1p))Hp(1)].+\left.q_{2}\cdot\left(\left(\frac{q_{2}}{p}\right)+\left(\frac{q_{1}}{p}% \right)\right)\cdot H_{p}(q_{1}^{2})+N\cdot\left(\left(\frac{N}{p}\right)+% \left(\frac{1}{p}\right)\right)\cdot H_{p}(1)\right].

Thanks to Lemma 2.5 and the definition of the function HpH_{p} in (3), this simplifies to

FN2=-16(1-q1-q2+q1q2),F_{N}^{2}=-\frac{1}{6}(1-q_{1}-q_{2}+q_{1}q_{2}),

which is certainly negative. ∎

Remark 2.7.

Of course, in order to prove Theorem A, we do not need to invoke GRH, as it is enough to construct a single example of a surface with an unbounded sequence of negative curves. To this end we take p=593p=593, q1=3q_{1}=3 and q2=5q_{2}=5. Then N=15N=15 and FN2=-43F_{N}^{2}=-\frac{4}{3}. Moreover in this case X~(p)\widetilde{X}(p) is of general type and this is the case for all primes larger than 569569, see [15, p. 76].

We would like to work on a smooth, projective surface. One possibility would be to resolve the singularities of X~(p)\widetilde{X}(p) by blowing them up. However, we prefer a different approach: instead of blowing up the quotient singularities, we pass to the quotient of an arithmetic subgroup of finite index of GG, thus obtaining a new, smooth Hilbert modular surface and a finite covering X0(p)X(p)X_{0}(p)\to X(p), and then we compactify X0(p)X_{0}(p) and resolve singularities by cycles of rational curves, called the cusp divisor.

This way we obtain a smooth, projective compactification Y0(p)Y_{0}(p) of a new Hilbert modular surface together with a generically finite, proper, surjective morphism π:Y0(p)X~(p)\pi:Y_{0}(p)\to\widetilde{X}(p). The idea is then to use Hecke correspondences to produce an infinite and unbounded sequence of negative curves on Y0(p)Y_{0}(p) out of the curve FNF_{N}.

In the following we use the convention that a Shimura curve is a compact curve FNF_{N} in X(p)X(p) (equivalently, in X~(p)\widetilde{X}(p) staying outside the cusps), or its inverse image in X0(p)X_{0}(p) (equivalently, in Y0(p)Y_{0}(p), where it does not intersect the cusp divisor).

Theorem 2.8.

There exist smooth, projective models Y0(p)Y_{0}(p) of compactified Hilbert modular surfaces together with infinitely many proper smooth Shimura curves CnC_{n} such that the self-intersection number Cn2C_{n}^{2} tends to --\infty as nn becomes large. Equivalently, the genus g(Cn)g(C_{n}) goes to infinity.

Proof.

Take pp and NN as in Lemma 2.6. We first pass to a finite covering X0(p)X(p)X_{0}(p)\to X(p) which is defined replacing the group GG by a torsion free subgroup G0GG_{0}\subset G of finite index, see [2, Sect. 10]. It corresponds to a quotient X0(p)=G0\×X_{0}(p)=G_{0}\backslash\mathbb{H}\times\mathbb{H} of the product of two upper-half-planes by the group G0G_{0}. In particular, X0(p)X_{0}(p) is smooth, since G0G_{0} is torsion free.

The non-compact surface X0(p)X_{0}(p) can be compactified by the method of Baily–Borel [2] using the finite set of cusps. However, the Baily–Borel compactification would still be singular at the cusps. More preferable is to use a toroidal compactification Y0(p)Y_{0}(p) of X0(p)X_{0}(p), i.e., a smooth, projective model, where the cusps of X0(p)X_{0}(p) are resolved by cycles of rational curves [11, Chap. II].

We denote by SY0(p)S\subset Y_{0}(p) the cusp divisor of Y0(p)Y_{0}(p), i.e., the inverse image of the set of cusps under the resolution. There is an induced generically finite morphism π:Y0(p)X~(p)\pi:Y_{0}(p)\to\widetilde{X}(p). By Lemma 2.6, for suitable pp and NN, there exist proper Shimura curves FNF_{N} inside X(p)X(p) not intersecting the cusps, and such that the self-intersection FN2F_{N}^{2} is negative. Pulling back the curves FNF_{N} via π\pi, we obtain negative curves (FN)0=π*(FN)(F_{N})_{0}=\pi^{*}(F_{N}) on Y0(p)Y_{0}(p), which still have negative self-intersection and do not intersect SS.

We claim that we may assume that each such curve C:=(FN)0C:=(F_{N})_{0} is smooth. This follows at least after replacing G0G_{0} by yet another smaller finite index subgroup. The reason is that CC is the quotient of a geodesic curve ×\mathbb{H}\subset\mathbb{H}\times\mathbb{H} by an arithmetic subgroup G1G_{1} of SL2(){\rm SL}_{2}(\mathbb{Q}). If we replace G0G_{0} by a finite index subgroup, then also G1G_{1} will be replaced by an induced subgroup. Hence, by choosing G0G_{0} small enough we can arrange that G1G_{1} becomes torsion free, and thus the inverse image of CC is a smooth Shimura curve. One can find smooth Shimura curves CC on Y0(p)Y_{0}(p) with negative self-intersection in this way.

By [2] and [23, Sect. 3-4] one may assume that the line bundle L:=KY0(p)+SL:=K_{Y_{0}(p)}+S is nef and big on the whole of Y0(p)Y_{0}(p) and even ample in the interior X0(p)=Y0(p)S=G0\×X_{0}(p)=Y_{0}(p)\setminus S=G_{0}\backslash\mathbb{H}\times\mathbb{H}. Therefore

KY0(p)C=(KY0(p)+S)C1K_{Y_{0}(p)}\cdot C=(K_{Y_{0}(p)}+S)\cdot C\geqslant 1

for all compact curves CX0(p)C\subset X_{0}(p).

In the following argument we will need that any other smooth Shimura curve in X0(p)X_{0}(p) also has negative self-intersection. This follows from KY0(p)C1K_{Y_{0}(p)}\cdot C\geqslant 1 and SC=0S\cdot C=0 together with Hirzebruch’s proportionality principle (cf. [22, Theorems 0.1 and 0.2 combined]), which states the equality

(KY0(p)+S)C+2C2=0(K_{Y_{0}(p)}+S)\cdot C+2C^{2}=0

for every smooth Shimura curve CC (more generally, it holds for every smooth compactification of a modular curve intersecting SS transversally).

Now we look at the Hecke algebra acting on X0(p)X_{0}(p). It consists of infinitely many correspondences TX0(p)×X0(p)T\subset X_{0}(p)\times X_{0}(p) such that the images T(C)T(C) of any Shimura curve inside X0(p)X_{0}(p) consist of unions of other Shimura curves [1, Sect. I.1]. The Hecke correspondences are induced by étale maps [1, Sect. I.1], hence irreducible components of Hecke translates of smooth Shimura curves remain smooth. It is known that the Hecke algebra produces a Zariski dense set TT(C)\bigcup_{T}T(C) of curves from a single CC, as the action of Hecke operators TT on a single CM-point is dense in X0(p)X_{0}(p) [1, Sect. III (d)], and every Shimura curve contains infinitely many CM-points.

Assume that the irreducible components CnC_{n} of all components CnC_{n} of all Hecke translates T(C)T(C) of a given Shimura curve CC have self-intersection numbers bounded from below. As each CnC_{n} is smooth, its self-intersection is a negative multiple of LCnL\cdot C_{n} by Hirzebruch’s relative proportionality principle. Therefore LCnL\cdot C_{n} – and by adjunction the genus g(Cn)g(C_{n}) – stays bounded when nn goes to infinity.

We conclude that the set of all such curves CnC_{n} forms a bounded family. However, none of the curves CnC_{n} deform since they are all defined over a number field (alternatively, since they have negative self-intersection). Hence the well-known boundedness principle implies that the set of all these CnC_{n} is finite. But this contradicts the density of the union of all Hecke translates of CC, as a finite set of curves is never Zariski dense. ∎

3 Surfaces with infinitely many negative curves of fixed self-intersection

The well-known example of 2\mathbb{P}^{2} blown-up at nine points shows that there are surfaces containing infinitely many (-1)(-1)-curves. Along similar lines, we point out here that one can exhibit surfaces with infinitely many negative curves of any given (fixed) negative self-intersection and thus prove Theorem B.

Theorem 3.1.

For every integer m>0m>0 there are smooth projective complex surfaces containing infinitely many smooth irreducible curves of self-intersection -m-m.

Proof.

Let EE be an elliptic curve without complex multiplication, and let AA be the abelian surface E×EE\times E. We denote by F1F_{1} and F2F_{2} the fibers of the projections and by Δ\Delta the diagonal in AA. It is shown in [6, Proposition 2.3] that every elliptic curve on AA that is not a translate of F1,F2F_{1},F_{2} or Δ\Delta has numerical equivalence class of the form

Ec,d:=c(c+d)F1+d(c+d)F2-cdΔ,E_{c,d}:=c(c+d)F_{1}+d(c+d)F_{2}-cd\Delta\ ,

where cc and dd are suitable coprime integers, and conversely, that every such numerical class corresponds to an elliptic curve Ec,dE_{c,d} on AA. In our construction we will make use of a sequence (En)(E_{n}) of such curves, for instance taking En=En,1E_{n}=E_{n,1} for n2n\geqslant 2. No two of the curves EnE_{n} are then translates of each other.

Fix a positive integer tt such that t2mt^{2}\geqslant m. For each of the elliptic curves EnE_{n}, the number of tt-division points on EnE_{n} is t2t^{2}, and these points are among the tt-division points of AA. (Actually, the latter is only true if EnE_{n} is a subgroup of AA, but this can be achieved by using a translate of EnE_{n} passing through the origin.) Since the number of tt-division points on AA is finite – there are exactly t4t^{4} of them – there must exist a subsequence of (En)(E_{n}) having the property that all curves EnE_{n} in the subsequence have the same set of tt-division points, say {e1,,et2}\{e_{1},\dots,e_{t^{2}}\}.

Consider now the blow-up f:XAf:X\to A at the set {e1,,em}\{e_{1},\dots,e_{m}\}. The proper transform CnC_{n} of EnE_{n} is then a smooth irreducible curve on XX with

Cn2=En2-m=-m,C_{n}^{2}=E_{n}^{2}-m=-m\ ,

as claimed. ∎

Remark 3.2.

Note that the proof yields a one-dimensional family of surfaces, and that the constructed surfaces are of Picard number m+3m+3.

For each m1m\geqslant 1, the proof above gives a surface XX with infinitely many curves of genus 1 of self-intersection -m-m. This raises the question of whether for each m1m\geqslant 1 and each g0g\geqslant 0 there is a surface XX with infinitely many curves of genus gg of self-intersection -m-m. We now show that the answer is yes at least for m>1m>1:

Theorem 3.3.

For each m>1m>1 and each g0g\geqslant 0 there exists a smooth projective complex surface containing infinitely many smooth irreducible curves of self-intersection -m-m and genus gg.

Proof.

Let f:XBf:X\to B be a smooth complex projective minimal elliptic surface with section, fibered over a smooth base curve BB of genus g(B)g(B). Then XX can have no multiple fibers, so that by Kodaira’s well-known result (cf. [3, V,Corollary 12.3]), KXK_{X} is a sum of a specific choice of 2g(B)-2+χ(𝒪X)2g(B)-2+\chi({\mathcal{O}}_{X}) fibers of the elliptic fibration. Let CC be any section of the elliptic fibration ff. By adjunction, C2=-χ(𝒪X)C^{2}=-\chi({\mathcal{O}}_{X}).

Take XX to be rational and ff to have infinitely many sections; for example, blow up the base points of a general pencil of plane cubics. Then χ(𝒪X)=1\chi({\mathcal{O}}_{X})=1, so that C2=-1C^{2}=-1 for any section CC.

Pick any g0g\geqslant 0 and any m2m\geqslant 2. Then, as is well-known [18], there is a smooth projective curve CC of genus gg and a finite morphism h:CBh:C\to B of degree mm that is not ramified over points of BB over which the fibers of ff are singular. Let Y=X×BCY=X\times_{B}C be the fiber product. Then the projection p:YCp:Y\to C makes YY into a minimal elliptic surface, and each section of ff induces a section of pp. By the property of the ramification of hh, the surface YY is smooth and each singular fiber of ff pulls back to mm isomorphic singular fibers of pp. Since e(Y)e(Y) is the sum of the Euler characteristics of the singular fibers of pp (cf. e.g. [3, III, Proposition 11.4]), we obtain from Noether’s formula that χ(𝒪Y)=e(Y)/12=me(X)/12=mχ(𝒪X)=m\chi({\mathcal{O}}_{Y})=e(Y)/12=me(X)/12=m\chi({\mathcal{O}}_{X})=m. Therefore, for any section DD of pp, we have D2=-mD^{2}=-m; i.e., YY has infinitely many smooth irreducible curves of genus gg and self-intersection -m-m. ∎

Question 3.4.

Is there for each g>1g>1 a surface with infinitely many (-1)(-1)-curves of genus gg?

4 Bounding negativity

It is natural to ask for suitable geometric hypotheses that ensure bounded negativity. We start with a result on elliptic surfaces, needed to finish the proof of Proposition 2.1.

Proposition 4.1.

Let XX be a smooth projective complex elliptic surface with e(X)=0e(X)=0. Then there are no negative curves on XX.

Proof.

Let π:XB\pi:X\to B be an elliptic fibration, where BB is a smooth curve, and let FF be the class of a fiber of π\pi. By the properties of e(X)e(X) of a fibered surface (cf. [3, III, Proposition 11.4 and Remark 11.5]), the only singular fibers of XX are possibly multiple fibers, and the reduced fibers are always smooth elliptic curves. In particular, XX must be minimal and its fibers do not contain negative curves.

Aiming at a contradiction, assume that CXC\subset X is a negative curve. Then, by the above, the intersection number n:=CFn:=C\cdot F is positive. This means that π\pi restricts to a map CBC\to B of degree nn. Taking an embedded resolution f:X~Xf:\widetilde{X}\to X of CC, we get a smooth curve C~=f*C-Γ\widetilde{C}=f^{*}C-\Gamma, where the divisor Γ\Gamma is supported on the exceptional locus of ff. The Hurwitz formula, applied to the induced covering C~B\widetilde{C}\to B, yields

2g(C~)-2=n(2g(B)-2)+degR,2g(\widetilde{C})-2=n\cdot(2g(B)-2)+\deg R\ , (6)

where RR is the ramification divisor.

Let m1F1,,mkFkm_{1}F_{1},\ldots,m_{k}F_{k} denote the multiple fibers of π\pi. The assumption e(X)=0e(X)=0 implies via Noether’s formula that KXnum(2g(B)-2)F+(mi-1)FiK_{X}\equiv_{\rm num}(2g(B)-2)F+\sum(m_{i}-1)F_{i}. Hence

KXC\displaystyle K_{X}\cdot C =\displaystyle= n(2g(B)-2)+(mi-1)FiC\displaystyle n(2g(B)-2)+\sum(m_{i}-1)F_{i}\cdot C
=\displaystyle= n(2g(B)-2)+(mi-1)f*Fif*C\displaystyle n(2g(B)-2)+\sum(m_{i}-1)f^{*}F_{i}\cdot f^{*}C
=\displaystyle= n(2g(B)-2)+(mi-1)f*FiC~\displaystyle n(2g(B)-2)+\sum(m_{i}-1)f^{*}F_{i}\cdot\widetilde{C}
\displaystyle\leqslant n(2g(B)-2)+degR.\displaystyle n(2g(B)-2)+\deg R.

On the other hand,

2g(C~)-2=C~2+KX~C~\displaystyle 2g(\widetilde{C})-2=\widetilde{C}^{2}+K_{\widetilde{X}}\cdot% \widetilde{C} =\displaystyle= (f*C-Γ)2+(f*KX+KX~/X)(f*C-Γ)\displaystyle(f^{*}C-\Gamma)^{2}+(f^{*}K_{X}+K_{\widetilde{X}/X})(f^{*}C-\Gamma)
=\displaystyle= C2+Γ2+KXC-KX~/XΓ.\displaystyle C^{2}+\Gamma^{2}+K_{X}\cdot C-K_{\widetilde{X}/X}\cdot\Gamma\ .

Consequently, using (6), we obtain

C2KX~/XΓ-Γ2.C^{2}\geqslant K_{\widetilde{X}/X}\cdot\Gamma-\Gamma^{2}\ .

The subsequent lemma yields the contradiction C20C^{2}\geqslant 0. ∎

Lemma 4.2.

Let f:ZXf:Z\to X be a birational morphism of smooth projective surfaces, and let CXC\subset X be any curve, with proper transform C~=f*C-ΓZ/X\widetilde{C}=f^{*}C-\Gamma_{Z/X} on ZZ. Then

KZ/XΓZ/X-ΓZ/X20 .K_{Z/X}\cdot\Gamma_{Z/X}-\Gamma_{Z/X}^{2}\geqslant 0\ .
Proof.

As ff is a finite composition of blow-ups, this can be seen by an elementary inductive argument. For the convenience of the reader we briefly indicate it. Suppose that ff consists of kk successive blow-ups. For k=1k=1 the assertion is clear, since then KZ/XK_{Z/X} is the exceptional divisor EE, and Γ\Gamma is the divisor mEmE, where mm is the multiplicity of CC at the blown-up point. For k>1k>1 we may decompose ff into two maps

ZgYhX.Z\stackrel{g}{\longrightarrow}Y\stackrel{h}{\longrightarrow}X\ .

One has proper transforms

C=h*C-ΓY/XandC~=g*C-ΓZ/Y=f*C-ΓZ/X.C^{\prime}=h^{*}C-\Gamma_{Y/X}\quad\mbox{and}\quad\widetilde{C}=g^{*}C^{\prime% }-\Gamma_{Z/Y}=f^{*}C-\Gamma_{Z/X}\ .

The equalities

KZ/X\displaystyle K_{Z/X} =\displaystyle= KZ/Y+g*KY/X\displaystyle K_{Z/Y}+g^{*}K_{Y/X}
ΓZ/X\displaystyle\Gamma_{Z/X} =\displaystyle= ΓZ/Y+g*ΓY/X\displaystyle\Gamma_{Z/Y}+g^{*}\Gamma_{Y/X}

then imply

KZ/XΓZ/X-ΓZ/X2\displaystyle K_{Z/X}\cdot\Gamma_{Z/X}-\Gamma_{Z/X}^{2} =\displaystyle= (KZ/Y+g*KY/X)(ΓZ/Y+g*ΓY/X)-(ΓZ/Y+g*ΓY/X)2\displaystyle(K_{Z/Y}+g^{*}K_{Y/X})(\Gamma_{Z/Y}+g^{*}\Gamma_{Y/X})-(\Gamma_{Z% /Y}+g^{*}\Gamma_{Y/X})^{2}
=\displaystyle= (KZ/YΓZ/Y-ΓZ/Y2)+(KY/XΓY/X-ΓY/X2),\displaystyle(K_{Z/Y}\cdot\Gamma_{Z/Y}-\Gamma_{Z/Y}^{2})+(K_{Y/X}\cdot\Gamma_{% Y/X}-\Gamma_{Y/X}^{2})\ ,

and the assertion follows by induction. ∎

In view of Theorems A and B it is not clear if one can reach some sort of boundedness when making additional assumptions on negative curves and on the global geometry of the surface XX. The first general result of this kind known to us is due to Bogomolov. It says that on a surface XX of general type with c12(X)>c2(X)c_{1}^{2}(X)>c_{2}(X) curves of a fixed geometric genus lie in a bounded family. This implies of course that their numeric invariants, in particular their self-intersection, are bounded. An effective version of Bogomolov’s result was obtained by Lu and Miyaoka [19, Theorem 1 (1)]. We recall here a statement which is numerically slightly weaker than the result of Lu and Miyaoka but which has a simpler proof (the result is obtained by applying a logarithmic version of the Miyaoka-Yau inequality proved in [4, Appendix]).

Theorem 4.3 (Proposition 3.5.3 of [4]).

Let XX be a smooth projective complex surface with κ(X)0\kappa(X)\geqslant 0. Then for every reduced, irreducible curve CXC\subset X of geometric genus g(C)g(C) we have

C2c12(X)-3c2(X)+2-2g(C).C^{2}\geqslant c_{1}^{2}(X)-3c_{2}(X)+2-2g(C)\ . (7)

5 Negativity of reducible curves

When asking for bounded negativity of curves, it is necessary to restrict attention to reduced curves. Irreducibility, however, is not an essential hypothesis, since by [4, Proposition 3.8.2], bounded negativity holds for the set of reduced, irreducible curves on a surface XX if and only if it holds for the set of reduced curves on XX. Here we improve this result by obtaining a sharp bound on the negativity for reducible curves, given a bound on the negativity for reduced, irreducible curves.

Proposition 5.1.

Let XX be a smooth projective surface (over an arbitrary algebraically closed ground field) for which there is a constant b(X)b(X) such that C2-b(X)C^{2}\geqslant-b(X) for every reduced, irreducible curve CXC\subset X. Then

C2-(ρ(X)-1)b(X)C^{2}\geqslant-(\rho(X)-1)\cdot b(X)

for every reduced curve CXC\subset X, where ρ(X)\rho(X) is the Picard number of XX.

Proof.

Consider the Zariski decomposition C=P+NC=P+N of the reduced divisor CC. Then C2=P2+N2N2C^{2}=P^{2}+N^{2}\geqslant N^{2}, as PP is nef and PP and NN are orthogonal. So the issue is to bound N2N^{2}. The negative part NN is of the form N=a1C1++arCrN=a_{1}C_{1}+\cdots+a_{r}C_{r}, where the curves CiC_{i} are among the components of CC and the coefficients aia_{i} are positive rational numbers. Note that ai1a_{i}\leqslant 1 for all ii, because CC is reduced. Since the intersection matrix of NN is negative definite, we have rρ(X)-1r\leqslant\rho(X)-1. Thus

C2N2a12C12++ar2Cr2-rb(X)-(ρ(X)-1)b(X),C^{2}\geqslant N^{2}\geqslant a_{1}^{2}C_{1}^{2}+\cdots+a_{r}^{2}C_{r}^{2}% \geqslant-r\cdot b(X)\geqslant-(\rho(X)-1)\cdot b(X)\ ,

as claimed. ∎

Example 5.2.

Here is an example of a surface of higher Picard number, for which equality holds in the inequality C2-(ρ(X)-1)b(X)C^{2}\geqslant-(\rho(X)-1)\cdot b(X) that was established above. Consider a smooth Kummer surface X3X\subset\mathbb{P}^{3} with 16 disjoint lines (or with 16 disjoint smooth rational curves of some degree) as in [7] or in [5]. The generic such surface has ρ(X)=17\rho(X)=17, we have b(X)=-2b(X)=-2, and if CC is the union of the 16 disjoint curves, then C2=16(-2)C^{2}=16\cdot(-2).

Example 5.3.

A more elementary example is given by the blow up XX of 2{\mathbb{P}}^{2} at n8n\leqslant 8 general points, so ρ(X)=n+1\rho(X)=n+1. Since -KX-K_{X} is ample, it follows by adjunction for any reduced, irreducible curve CC that C2-1C^{2}\geqslant-1, so b(X)=1b(X)=1. But if EE is the union of the exceptional curves of the nn blown up points, then E2=-n=-(ρ(X)-1)b(X)E^{2}=-n=-(\rho(X)-1)\cdot b(X).

References

  • 1 André, Y.: Lectures on Shimura varieties (2001). Available online at the webpage http://math.cts.nthu.edu.tw/Mathematics/lecnotes/andre2001all.ps
  • 2 Baily, W. L., Jr., Borel, A.: Compactification of arithmetic quotients of bounded symmetric domains. Ann. of Math. 84, 442–528 (1966).
  • 3 Barth, W. P., Hulek, K., Peters, C. A. M., Van de Ven, A.: Compact complex surfaces. Second edition. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Springer-Verlag, Berlin, 2004.
  • 4 Bauer, Th., et al.: Recent developments and open problems in linear series. To appear in “Contributions to Algebraic Geometry”, Impanga Lecture Notes Series. arXiv:1101.4363.
  • 5 Bauer, Th.: Smooth Kummer surfaces in projective three-space. Proc. Amer. Math. Soc. 125, 2537–2541 (1997).
  • 6 Bauer, Th., Schulz, C.: Seshadri constants on the self-product of an elliptic curve. Journal of Algebra 320, 2981–3005 (2008).
  • 7 Barth, W., Nieto, I.: Abelian surfaces of type (1,3)(1,3) and quartic surfaces with 16 skew lines. J. Algebraic Geometry 3, 173–222 (1994).
  • 8 Fontanari, C.: Towards bounded negativity of self-intersection on general blown-up projective planes. arXiv:1012.4989v2 [math.AG]
  • 9 Franke, H. G.: Kurven in Hilbertschen Modulflächen und Humbertsche Flächen im Siegel-Raum. Bonner Math. Schr. 104 (1978)
  • 10 Fujimoto, Y.: Endomorphisms of smooth projective 3-folds with non-negative Kodaira dimension. Publ. Res. Inst. Math. Sci. 38 (2002), 33–92
  • 11 van der Geer, G.: Hilbert modular surfaces. Ergebnisse der Mathematik, Band 16, Springer Verlag (1987).
  • 12 Harbourne, B.: Global aspects of the geometry of surfaces. Ann. Univ. Pedagog. Crac. Stud. Math. 11 (2010), 5–41.
  • 13 Harris, J.: The interpolation problem. Talk delivered at the workshop Classical Algebraic Geometry Today, MSRI, Berkeley, January 26-30, 2009. Available online at the webpage http://jessica2.msri.org/attachments/13549/13549.pdf.
  • 14 Hartshorne, R.: Algebraic Geometry. Graduate texts in mathematics (52), New York, Springer-Verlag 1977.
  • 15 Hirzebruch, F,: Kurven auf den Hilbertschen Modulflächen und Klassenzahlrelationen. in Classification of Algebraic Varieties and Compact Complex Manifolds, Lecture Notes in Mathematics 412, 1974, 75–93.
  • 16 Hirzebruch, F.: Modulflächen und Modulkurven zur symmetrischen Hilbertschen Modulgruppe. Ann. Sci. Ecole Norm. Sup. (4) 11 (1978), 101–165.
  • 17 Hirzebruch, F., Zagier, D.: Intersection numbers of curves on Hilbert modular surfaces and modular forms of Nebentypus. Invent. Math. 36 (1976), 57–113.
  • 18 Hurwitz, A.: Über Riemannsche Flächen mit gegebenen Verzweigungspunkten. Math. Ann. 103 (1891), 1–60.
  • 19 Lu, S.-S., Miyaoka, Y.: Bounding curves in algebraic surfaces by genus and Chern numbers. Math. Res. Lett. 2 (1995), 663–676.
  • 20 Lazarsfeld, R.: Positivity in Algebraic Geometry. I.-II. Ergebnisse der Mathematik und ihrer Grenzgebiete, Vols. 48–49., Springer Verlag, Berlin, 2004.
  • 21 Montgomery, H. L.: Topics in multiplicative number theory. Springer LNM 227 (1971).
  • 22 Müller-Stach, S., Viehweg, E., Zuo, K.: Relative Proportionality for subvarieties of moduli spaces of K3 and abelian surfaces. Pure and Applied Mathematics Quarterly, Vol 5, Nr. 3, Special Issue: In honor of Friedrich Hirzebruch (2009), 1161–1199.
  • 23 Mumford, D.: Hirzebruch’s proportionality theorem in the non-compact case. Invent. Math. 42 (1977), 239–272.
  • 24 Nakayama, N.: Ruled surfaces with non-trivial surjective endomorphisms. Kyushu J. Math. 56 (2002), 433–446.

Thomas Bauer, Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Hans-Meerwein-Straße, D-35032 Marburg, Germany.

E-mail address:tbauer@mathematik.uni-marburg.de


Brian Harbourne, Department of Mathematics, University of Nebraska-Lincoln, Lincoln, NE 68588-0130, USA.

E-mail address:bharbour@math.unl.edu


Andreas Leopold Knutsen, Department of Mathematics, University of Bergen, Johs. Brunsgt. 12, N-5008 Bergen, Norway.

E-mail address:andreas.knutsen@math.uib.no


Alex Küronya, Budapest University of Technology and Economics, Mathematical Institute, Department of Algebra, Pf. 91, H-1521 Budapest, Hungary.

E-mail address:alex.kuronya@math.bme.hu

Current address: Alex Küronya, Albert-Ludwigs-Universität Freiburg, Mathematisches Institut, Eckerstraße 1, D-79104 Freiburg, Germany.


Stefan Müller-Stach, Institut für Mathematik (Fachbereich 08) Johannes Gutenberg-Universität Mainz Staudingerweg 9 55099 Mainz, Germany.

E-mail address:stach@uni-mainz.de


Tomasz Szemberg, Instytut Matematyki UP, Podchora̧żych 2, PL-30-084 Kraków, Poland.

E-mail address:tomasz.szemberg@uni-due.de