Modiﬁed September 7, 2011; printed September 12, 2011

Abstract

We study curves of negative self-intersection on algebraic surfaces. Our main result shows there exist smooth complex projective surfaces $X$, related to Hilbert modular surfaces, such that $X$ contains reduced, irreducible curves $C$ of arbitrarily negative self-intersection ${C}^{2}$. Previously the only known examples of surfaces for which ${C}^{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 ﬁeld, and thus our complex examples require a diﬀerent approach.

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 inﬁnitely 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 ﬁrst example all negative curves have self-intersection $-1$, in the second example the self-intersection is $-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:

- If a surface has negative curves, is there always a lower bound for their self-intersections?
- For which $d<0$ (or $g\ge 0$) is it possible to produce examples of surfaces $X$ with inﬁnitely many negative curves $C$ such that ${C}^{2}=d$ (or such that $C$ has genus $g$)?
- Is it possible to have a surface $X$ with inﬁnitely many negative curves $C$ of bounded genus such that ${C}^{2}$ is not bounded below?
- Even if there is a lower bound for the self-intersections of negative curves on a given surface $X$, is it possible for the self-intersections of reduced but not necessarily irreducible curves $C$ on $X$ to not be bounded below?

It is well-known [14, Exercise V.1.10] that the ﬁrst 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 $X$ there should exist a number $b\left(X\right)$ such that

$${C}^{2}\ge -b\left(X\right)$$for all reduced curves $C$ on $X$. 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>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 ﬁnite set of generic points are exceptional curves (i.e., smooth rational curves of self-intersection $-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 ﬁnite set of generic points remains open.

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

Theorem B. For each integer $m>0$ there is a smooth projective complex surface containing inﬁnitely many smooth irreducible curves of self-intersection $-m$. When $m\ge 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 ﬁnish 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 ﬁnancial support for visits among some of us and for the 2009 summer school in Krakow, where some initial consideration of these problems occurred.

In positive characteristic there exist surfaces carrying a sequence of irreducible curves with self-intersection tending to negative inﬁnity (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 $C$ be a curve of genus $g\ge 2$ deﬁned over an algebraically closed ﬁeld $k$ of characteristic $p$, let $X=C\times C$ be the product surface with $\Delta \subset X$ the diagonal. Furthermore let $F:C\to C$ be the Frobenius homomorphism, deﬁned by taking coordinates of a point on $C$ to their $p$-th powers. Then $G=id\times F$ is a surjective endomorphism of $X$. The self-intersections in the sequence of irreducible curves $\Delta ,G\left(\Delta \right),{G}^{2}\left(\Delta \right),\dots \phantom{\rule{0.3em}{0ex}}$ tend to negative inﬁnity.

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 $X$ a smooth projective complex surface admitting a surjective endomorphism that is not an isomorphism. Then $X$ has bounded negativity, i.e., there is a bound $b\left(X\right)$ such that

$${C}^{2}\ge -b\left(X\right)$$for every reduced irreducible curve $C\subset X$.

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

- $X$ is a toric surface;
- $X$ is a ${\mathbb{P}}^{1}$-bundle;
- $X$ is an abelian surface or a hyperelliptic surface;
- $X$ is an elliptic surface with Kodaira dimension $\kappa \left(X\right)=1$ and topological Euler number $e\left(X\right)=0$.

In cases (1) and (2) the assertion is clear as $X$ then carries only ﬁnitely 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\left(X\right)$ for surfaces as in the proposition: For every integer $N$ there is a toric surface carrying a curve of self-intersection less than $-N$. (The surface can be realized as a successive blow-up of ${\mathbb{P}}^{2}$ at inﬁnitely near points.). Of course the same holds for ${\mathbb{P}}^{1}$-bundles.

The above theorem shows that endomorphisms can never lead to inﬁnitely 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 ${\mathbb{Z}}_{K}$ instead of $\mathcal{O}$ for the ring of integers of a quadratic real ﬁeld $K$.

Let $p$ be a prime number such that $p\equiv 1\phantom{\rule{0.3em}{0ex}}mod\phantom{\rule{0.3em}{0ex}}4$. Consider the quadratic real number ﬁeld $K=\mathbb{Q}\left(\sqrt{p}\right)$ with ring of integers ${\mathbb{Z}}_{K}=\mathbb{Z}+\frac{1+\sqrt{p}}{2}\mathbb{Z}$. Let $\sigma \in Gal\left(K\u2215\mathbb{Q}\right)$ be the nontrivial element (i.e. the conjugation $\sigma \left(x+y\sqrt{p}\right)=x-y\sqrt{p}$). The group ${SL}_{2}\left({\mathbb{Z}}_{K}\right)$ operates on ${\mathbb{H}}^{2}$ (the second cartesian power of the upper half plane) by

$$\left(\begin{array}{cc}\hfill \alpha \hfill & \hfill \beta \hfill \\ \hfill \gamma \hfill & \hfill \delta \hfill \end{array}\right)\left({z}_{1},{z}_{2}\right)=\left(\frac{\alpha \cdot {z}_{1}+\beta}{\gamma \cdot {z}_{1}+\delta},\frac{\sigma \left(\alpha \right)\cdot {z}_{2}+\sigma \left(\beta \right)}{\sigma \left(\gamma \right)\cdot {z}_{2}+\sigma \left(\delta \right)}\right).$$The Hilbert modular group $G={SL}_{2}\left({\mathbb{Z}}_{K}\right)\u2215\left(\pm 1\right)$ operates eﬀectively. The quotient

$$X\left(p\right):=G\setminus {\mathbb{H}}^{2}$$is called a Hilbert modular surface. This surface is not compact, however, it can be compactiﬁed by adding ﬁnitely many points, called cusps. The resulting surface $\stackrel{\u0303}{X}\left(p\right)$ has ﬁnitely many quotient singularities outside of the cusps, coming from points in ${\mathbb{H}}^{2}$ in which the modular group $G$ has a non-trivial isotropy subgroup. The singularities arising from the cusps can be resolved by cycles of rational curves, giving a diﬀerent compactiﬁcation of $X\left(p\right)$. Of course, when computing intersections of compact curves not meeting the cusps, as we will do below, it does not matter which compactiﬁcation one chooses.

On $X\left(p\right)$ we consider a series of divisors ${T}_{1},{T}_{2},\dots \phantom{\rule{0.3em}{0ex}}$ deﬁned as follows: Given a positive integer $N$, we consider the equation

$$a\sqrt{p}{z}_{1}{z}_{2}+\lambda {z}_{2}-\sigma \left(\lambda \right){z}_{1}+b\sqrt{p}=0$$ | (1) |

in variables $\left({z}_{1},{z}_{2}\right)\in {\mathbb{H}}^{2}$ with ﬁxed $a,b\in \mathbb{Z}$ and $\lambda \in {\mathbb{Z}}_{K}$ satisfying

$$\lambda \sigma \left(\lambda \right)+abp=N.$$The set of solutions of equation (1) is ${SL}_{2}\left({\mathbb{Z}}_{K}\right)$-invariant. We denote its image in $X\left(p\right)$ by ${T}_{N}$. It is either empty or a divisor in $X\left(p\right)$. More precisely, we have the following property [17, p. 58].

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

Thus, if $N$ satisﬁes the arithmetic assumptions in the above statement, then ${T}_{N}$ is non-empty and does not pass through any cusp of the surface $\stackrel{\u0303}{X}\left(p\right)$.

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

$$\left(a,b,\lambda \right)\in \mathbb{Z}\times \mathbb{Z}\times {\mathbb{Z}}_{K}\phantom{\rule{3.04076pt}{0ex}}\phantom{\rule{3.04076pt}{0ex}}\text{isprimitive,}$$i.e., not divisible by any integer $>1$, then the set of solutions is denoted by ${F}_{N}$. We have the following characterization due to Franke [9], see also [16, Satz 1, p. 105].

Proposition 2.3. Let $N$ be an integer that is a quadratic residue modulo $N$ or divisible by $p$. Then the divisor ${F}_{N}$ is reduced and irreducible provided $N$ is not divisible by ${p}^{2}$, and it has exactly two components if ${p}^{2}$ divides $N$.

If $N$ does not satisfy the conditions in the Proposition, then ${F}_{N}$ is empty.

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

$${T}_{N}=\bigcup _{{n}^{2}|N}{F}_{N\u2215{n}^{2}}\phantom{\rule{1em}{0ex}}.$$ | (2) |

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

$${H}_{p}\left(n\right):=\sum H\left(\frac{4n-{x}^{2}}{p}\right),$$ | (3) |

where the sum is taken over all integers $x\in \mathbb{Z}$ such that ${x}^{2}\le 4n$ and ${x}^{2}-4n$ is divisible by $p$. The function $H\left(m\right)$ appearing in (3) is in turn deﬁned as

$$H\left(m\right):=\sum _{{d}^{2}|m}{h}^{\prime}\left(-\frac{n}{{d}^{2}}\right),$$ | (4) |

see [17, p. 69 (15)], where ${h}^{\prime}$ is the class number function modiﬁed by the following convention:

$${h}^{\prime}\left(-3\right)=\frac{1}{3},\phantom{\rule{3.04076pt}{0ex}}\phantom{\rule{3.04076pt}{0ex}}{h}^{\prime}\left(-4\right)=\frac{1}{2}\phantom{\rule{1em}{0ex}}.$$Furthermore, we follow Hirzebruch and set

$$H\left(0\right)=-\frac{1}{12}\phantom{\rule{1em}{0ex}}.$$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 $N$ is not a norm of an ideal in ${\mathbb{Z}}_{K}$ and that it is a quadratic residue modulo $p$ which is square-free (in particular not divisible by ${p}^{2}$), then the curve ${F}_{N}$ is compact and irreducible in $X\left(p\right)$, hence also in $\stackrel{\u0303}{X}\left(p\right)$, and we have

$${F}_{N}^{2}=\frac{1}{2}\sum _{d|N}d\cdot \left(\left(\frac{d}{p}\right)+\left(\frac{N\u2215d}{p}\right)\right)\cdot {H}_{p}\left(\frac{{N}^{2}}{{d}^{2}}\right)\phantom{\rule{1em}{0ex}}.$$ | (5) |

Proof. $N$ being square-free implies via the decomposition (2) that ${F}_{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 ${F}_{N}$ does not pass through any of the cusps. □

Next, we want to show that on $X\left(p\right)$ (whence on $\stackrel{\u0303}{X}\left(p\right)$ as well) there exists an irreducible curve ${F}_{N}$ not passing through any of the cusps with negative self-intersection. To this end we prove ﬁrst the following purely arithmetic fact.

Lemma 2.5. Let $p$ be a large prime. Assuming the Generalized Riemann Hypothesis (GRH) for Dirichlet L–functions, there exist two prime numbers ${q}_{1}$ and ${q}_{2}$ such that

- ${q}_{1}$ and ${q}_{2}$ are quadratic non-residues modulo $p$;
- ${q}_{1}^{2}{q}_{2}^{2}<p$.

Proof. Property (a) follows unconditionally from the Chebotarev Density Theorem, stating, as a consequence, that the primes $q$ that are not quadratic residues modulo $p$ have Dirichlet density $1\u22152$.

Assuming GRH, property (b) follows from a result of Montgomery [21, Theorem 13.2], since the least primes $q$ satisfying (a) are of size $\mathcal{O}\left(2log{\left(p\right)}^{2}\right)$. □

We use the primes ${q}_{1}$ and ${q}_{2}$ in order to show the existence of a negative compact curve on $X\left(p\right)$.

Lemma 2.6. Let $p,{q}_{1},{q}_{2}$ be as in Lemma 2.5. We set $N={q}_{1}\cdot {q}_{2}$. Then the curve ${F}_{N}$ is a negative compact curve on $X\left(p\right)$.

Proof. According to formula (5) we have

$${F}_{N}^{2}=\frac{1}{2}\left[1\cdot \left(\left(\frac{1}{p}\right)+\left(\frac{N}{p}\right)\right)\cdot {H}_{p}\left({N}^{2}\right)+{q}_{1}\cdot \left(\left(\frac{{q}_{1}}{p}\right)+\left(\frac{{q}_{2}}{p}\right)\right)\cdot {H}_{p}\left({q}_{2}^{2}\right)\right.$$$$+\left.{q}_{2}\cdot \left(\left(\frac{{q}_{2}}{p}\right)+\left(\frac{{q}_{1}}{p}\right)\right)\cdot {H}_{p}\left({q}_{1}^{2}\right)+N\cdot \left(\left(\frac{N}{p}\right)+\left(\frac{1}{p}\right)\right)\cdot {H}_{p}\left(1\right)\right].$$

Thanks to Lemma 2.5 and the deﬁnition of the function ${H}_{p}$ in (3), this simpliﬁes to

$${F}_{N}^{2}=-\frac{1}{6}\left(1-{q}_{1}-{q}_{2}+{q}_{1}{q}_{2}\right),$$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=593$, ${q}_{1}=3$ and ${q}_{2}=5$. Then $N=15$ and ${F}_{N}^{2}=-\frac{4}{3}$. Moreover in this case $\stackrel{\u0303}{X}\left(p\right)$ is of general type and this is the case for all primes larger than $569$, see [15, p. 76].

We would like to work on a smooth, projective surface. One possibility would be to resolve the singularities of $\stackrel{\u0303}{X}\left(p\right)$ by blowing them up. However, we prefer a diﬀerent approach: instead of blowing up the quotient singularities, we pass to the quotient of an arithmetic subgroup of ﬁnite index of $G$, thus obtaining a new, smooth Hilbert modular surface and a ﬁnite covering ${X}_{0}\left(p\right)\to X\left(p\right)$, and then we compactify ${X}_{0}\left(p\right)$ and resolve singularities by cycles of rational curves, called the cusp divisor.

This way we obtain a smooth, projective compactiﬁcation ${Y}_{0}\left(p\right)$ of a new Hilbert modular surface together with a generically ﬁnite, proper, surjective morphism $\pi :{Y}_{0}\left(p\right)\to \stackrel{\u0303}{X}\left(p\right)$. The idea is then to use Hecke correspondences to produce an inﬁnite and unbounded sequence of negative curves on ${Y}_{0}\left(p\right)$ out of the curve ${F}_{N}$.

In the following we use the convention that a Shimura curve is a compact curve ${F}_{N}$ in $X\left(p\right)$ (equivalently, in $\stackrel{\u0303}{X}\left(p\right)$ staying outside the cusps), or its inverse image in ${X}_{0}\left(p\right)$ (equivalently, in ${Y}_{0}\left(p\right)$, where it does not intersect the cusp divisor).

Theorem 2.8. There exist smooth, projective models ${Y}_{0}\left(p\right)$ of compactiﬁed Hilbert modular surfaces together with inﬁnitely many proper smooth Shimura curves ${C}_{n}$ such that the self-intersection number ${C}_{n}^{2}$ tends to $-\infty $ as $n$ becomes large. Equivalently, the genus $g\left({C}_{n}\right)$ goes to inﬁnity.

Proof. Take $p$ and $N$ as in Lemma 2.6. We ﬁrst pass to a ﬁnite covering ${X}_{0}\left(p\right)\to X\left(p\right)$ which is deﬁned replacing the group $G$ by a torsion free subgroup ${G}_{0}\subset G$ of ﬁnite index, see [2, Sect. 10]. It corresponds to a quotient ${X}_{0}\left(p\right)={G}_{0}\setminus \mathbb{H}\times \mathbb{H}$ of the product of two upper-half-planes by the group ${G}_{0}$. In particular, ${X}_{0}\left(p\right)$ is smooth, since ${G}_{0}$ is torsion free.

The non-compact surface ${X}_{0}\left(p\right)$ can be compactiﬁed by the method of Baily–Borel [2] using the ﬁnite set of cusps. However, the Baily–Borel compactiﬁcation would still be singular at the cusps. More preferable is to use a toroidal compactiﬁcation ${Y}_{0}\left(p\right)$ of ${X}_{0}\left(p\right)$, i.e., a smooth, projective model, where the cusps of ${X}_{0}\left(p\right)$ are resolved by cycles of rational curves [11, Chap. II].

We denote by $S\subset {Y}_{0}\left(p\right)$ the cusp divisor of ${Y}_{0}\left(p\right)$, i.e., the inverse image of the set of cusps under the resolution. There is an induced generically ﬁnite morphism $\pi :{Y}_{0}\left(p\right)\to \stackrel{\u0303}{X}\left(p\right)$. By Lemma 2.6, for suitable $p$ and $N$, there exist proper Shimura curves ${F}_{N}$ inside $X\left(p\right)$ not intersecting the cusps, and such that the self-intersection ${F}_{N}^{2}$ is negative. Pulling back the curves ${F}_{N}$ via $\pi $, we obtain negative curves ${\left({F}_{N}\right)}_{0}={\pi}^{\ast}\left({F}_{N}\right)$ on ${Y}_{0}\left(p\right)$, which still have negative self-intersection and do not intersect $S$.

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

By [2] and [23, Sect. 3-4] one may assume that the line bundle $L:={K}_{{Y}_{0}\left(p\right)}+S$ is nef and big on the whole of ${Y}_{0}\left(p\right)$ and even ample in the interior ${X}_{0}\left(p\right)={Y}_{0}\left(p\right)\setminus S={G}_{0}\setminus \mathbb{H}\times \mathbb{H}$. Therefore

$${K}_{{Y}_{0}\left(p\right)}\cdot C=\left({K}_{{Y}_{0}\left(p\right)}+S\right)\cdot C\ge 1$$for all compact curves $C\subset {X}_{0}\left(p\right)$.

In the following argument we will need that any other smooth Shimura curve in ${X}_{0}\left(p\right)$ also has negative self-intersection. This follows from ${K}_{{Y}_{0}\left(p\right)}\cdot C\ge 1$ and $S\cdot C=0$ together with Hirzebruch’s proportionality principle (cf. [22, Theorems 0.1 and 0.2 combined]), which states the equality

$$\left({K}_{{Y}_{0}\left(p\right)}+S\right)\cdot C+2{C}^{2}=0$$for every smooth Shimura curve $C$ (more generally, it holds for every smooth compactiﬁcation of a modular curve intersecting $S$ transversally).

Now we look at the Hecke algebra acting on ${X}_{0}\left(p\right)$. It consists of inﬁnitely many correspondences $T\subset {X}_{0}\left(p\right)\times {X}_{0}\left(p\right)$ such that the images $T\left(C\right)$ of any Shimura curve inside ${X}_{0}\left(p\right)$ 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 ${\bigcup}_{T}T\left(C\right)$ of curves from a single $C$, as the action of Hecke operators $T$ on a single CM-point is dense in ${X}_{0}\left(p\right)$ [1, Sect. III (d)], and every Shimura curve contains inﬁnitely many CM-points.

Assume that the irreducible components ${C}_{n}$ of all components ${C}_{n}$ of all Hecke translates $T\left(C\right)$ of a given Shimura curve $C$ have self-intersection numbers bounded from below. As each ${C}_{n}$ is smooth, its self-intersection is a negative multiple of $L\cdot {C}_{n}$ by Hirzebruch’s relative proportionality principle. Therefore $L\cdot {C}_{n}$ – and by adjunction the genus $g\left({C}_{n}\right)$ – stays bounded when $n$ goes to inﬁnity.

We conclude that the set of all such curves ${C}_{n}$ forms a bounded family. However, none of the curves ${C}_{n}$ deform since they are all deﬁned over a number ﬁeld (alternatively, since they have negative self-intersection). Hence the well-known boundedness principle implies that the set of all these ${C}_{n}$ is ﬁnite. But this contradicts the density of the union of all Hecke translates of $C$, as a ﬁnite set of curves is never Zariski dense. □

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

Theorem 3.1. For every integer $m>0$ there are smooth projective complex surfaces containing inﬁnitely many smooth irreducible curves of self-intersection $-m$.

Proof. Let $E$ be an elliptic curve without complex multiplication, and let $A$ be the abelian surface $E\times E$. We denote by ${F}_{1}$ and ${F}_{2}$ the ﬁbers of the projections and by $\Delta $ the diagonal in $A$. It is shown in [6, Proposition 2.3] that every elliptic curve on $A$ that is not a translate of ${F}_{1},{F}_{2}$ or $\Delta $ has numerical equivalence class of the form

$${E}_{c,d}:=c\left(c+d\right){F}_{1}+d\left(c+d\right){F}_{2}-cd\Delta \phantom{\rule{1em}{0ex}},$$where $c$ and $d$ are suitable coprime integers, and conversely, that every such numerical class corresponds to an elliptic curve ${E}_{c,d}$ on $A$. In our construction we will make use of a sequence $\left({E}_{n}\right)$ of such curves, for instance taking ${E}_{n}={E}_{n,1}$ for $n\ge 2$. No two of the curves ${E}_{n}$ are then translates of each other.

Fix a positive integer $t$ such that ${t}^{2}\ge m$. For each of the elliptic curves ${E}_{n}$, the number of $t$-division points on ${E}_{n}$ is ${t}^{2}$, and these points are among the $t$-division points of $A$. (Actually, the latter is only true if ${E}_{n}$ is a subgroup of $A$, but this can be achieved by using a translate of ${E}_{n}$ passing through the origin.) Since the number of $t$-division points on $A$ is ﬁnite – there are exactly ${t}^{4}$ of them – there must exist a subsequence of $\left({E}_{n}\right)$ having the property that all curves ${E}_{n}$ in the subsequence have the same set of $t$-division points, say $\left\{{e}_{1},\dots ,{e}_{{t}^{2}}\right\}$.

Consider now the blow-up $f:X\to A$ at the set $\left\{{e}_{1},\dots ,{e}_{m}\right\}$. The proper transform ${C}_{n}$ of ${E}_{n}$ is then a smooth irreducible curve on $X$ with

$${C}_{n}^{2}={E}_{n}^{2}-m=-m\phantom{\rule{1em}{0ex}},$$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+3$.

For each $m\ge 1$, the proof above gives a surface $X$ with inﬁnitely many curves of genus 1 of self-intersection $-m$. This raises the question of whether for each $m\ge 1$ and each $g\ge 0$ there is a surface $X$ with inﬁnitely many curves of genus $g$ of self-intersection $-m$. We now show that the answer is yes at least for $m>1$:

Theorem 3.3. For each $m>1$ and each $g\ge 0$ there exists a smooth projective complex surface containing inﬁnitely many smooth irreducible curves of self-intersection $-m$ and genus $g$.

Proof. Let $f:X\to B$ be a smooth complex projective minimal elliptic surface with section, ﬁbered over a smooth base curve $B$ of genus $g\left(B\right)$. Then $X$ can have no multiple ﬁbers, so that by Kodaira’s well-known result (cf. [3, V,Corollary 12.3]), ${K}_{X}$ is a sum of a speciﬁc choice of $2g\left(B\right)-2+\chi \left({\mathcal{O}}_{X}\right)$ ﬁbers of the elliptic ﬁbration. Let $C$ be any section of the elliptic ﬁbration $f$. By adjunction, ${C}^{2}=-\chi \left({\mathcal{O}}_{X}\right)$.

Take $X$ to be rational and $f$ to have inﬁnitely many sections; for example, blow up the base points of a general pencil of plane cubics. Then $\chi \left({\mathcal{O}}_{X}\right)=1$, so that ${C}^{2}=-1$ for any section $C$.

Pick any $g\ge 0$ and any $m\ge 2$. Then, as is well-known [18], there is a smooth projective curve $C$ of genus $g$ and a ﬁnite morphism $h:C\to B$ of degree $m$ that is not ramiﬁed over points of $B$ over which the ﬁbers of $f$ are singular. Let $Y=X{\times}_{B}C$ be the ﬁber product. Then the projection $p:Y\to C$ makes $Y$ into a minimal elliptic surface, and each section of $f$ induces a section of $p$. By the property of the ramiﬁcation of $h$, the surface $Y$ is smooth and each singular ﬁber of $f$ pulls back to $m$ isomorphic singular ﬁbers of $p$. Since $e\left(Y\right)$ is the sum of the Euler characteristics of the singular ﬁbers of $p$ (cf. e.g. [3, III, Proposition 11.4]), we obtain from Noether’s formula that $\chi \left({\mathcal{O}}_{Y}\right)=e\left(Y\right)\u221512=me\left(X\right)\u221512=m\chi \left({\mathcal{O}}_{X}\right)=m$. Therefore, for any section $D$ of $p$, we have ${D}^{2}=-m$; i.e., $Y$ has inﬁnitely many smooth irreducible curves of genus $g$ and self-intersection $-m$. □

Question 3.4. Is there for each $g>1$ a surface with inﬁnitely many $\left(-1\right)$-curves of genus $g$?

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

Proposition 4.1. Let $X$ be a smooth projective complex elliptic surface with $e\left(X\right)=0$. Then there are no negative curves on $X$.

Proof. Let $\pi :X\to B$ be an elliptic ﬁbration, where $B$ is a smooth curve, and let $F$ be the class of a ﬁber of $\pi $. By the properties of $e\left(X\right)$ of a ﬁbered surface (cf. [3, III, Proposition 11.4 and Remark 11.5]), the only singular ﬁbers of $X$ are possibly multiple ﬁbers, and the reduced ﬁbers are always smooth elliptic curves. In particular, $X$ must be minimal and its ﬁbers do not contain negative curves.

Aiming at a contradiction, assume that $C\subset X$ is a negative curve. Then, by the above, the intersection number $n:=C\cdot F$ is positive. This means that $\pi $ restricts to a map $C\to B$ of degree $n$. Taking an embedded resolution $f:\stackrel{\u0303}{X}\to X$ of $C$, we get a smooth curve $\stackrel{\u0303}{C}={f}^{\ast}C-\Gamma $, where the divisor $\Gamma $ is supported on the exceptional locus of $f$. The Hurwitz formula, applied to the induced covering $\stackrel{\u0303}{C}\to B$, yields

$$2g\left(\stackrel{\u0303}{C}\right)-2=n\cdot \left(2g\left(B\right)-2\right)+degR\phantom{\rule{1em}{0ex}},$$ | (6) |

where $R$ is the ramiﬁcation divisor.

Let ${m}_{1}{F}_{1},\dots ,{m}_{k}{F}_{k}$ denote the multiple ﬁbers of $\pi $. The assumption $e\left(X\right)=0$ implies via Noether’s formula that ${K}_{X}\equiv num\left(2g\left(B\right)-2\right)F+\sum \left({m}_{i}-1\right){F}_{i}$. Hence

$$\begin{array}{rcll}{K}_{X}\cdot C& =& n\left(2g\left(B\right)-2\right)+\sum \left({m}_{i}-1\right){F}_{i}\cdot C& \text{}\\ & =& n\left(2g\left(B\right)-2\right)+\sum \left({m}_{i}-1\right){f}^{\ast}{F}_{i}\cdot {f}^{\ast}C& \text{}\\ & =& n\left(2g\left(B\right)-2\right)+\sum \left({m}_{i}-1\right){f}^{\ast}{F}_{i}\cdot \stackrel{\u0303}{C}& \text{}\\ & \le & n\left(2g\left(B\right)-2\right)+degR.& \text{}\end{array}$$On the other hand,

$$\begin{array}{rcll}2g\left(\stackrel{\u0303}{C}\right)-2={\stackrel{\u0303}{C}}^{2}+{K}_{\stackrel{\u0303}{X}}\cdot \stackrel{\u0303}{C}& =& {\left({f}^{\ast}C-\Gamma \right)}^{2}+\left({f}^{\ast}{K}_{X}+{K}_{\stackrel{\u0303}{X}\u2215X}\right)\left({f}^{\ast}C-\Gamma \right)& \text{}\\ & =& {C}^{2}+{\Gamma}^{2}+{K}_{X}\cdot C-{K}_{\stackrel{\u0303}{X}\u2215X}\cdot \Gamma \phantom{\rule{1em}{0ex}}.& \text{}\end{array}$$Consequently, using (6), we obtain

$${C}^{2}\ge {K}_{\stackrel{\u0303}{X}\u2215X}\cdot \Gamma -{\Gamma}^{2}\phantom{\rule{1em}{0ex}}.$$The subsequent lemma yields the contradiction ${C}^{2}\ge 0$. □

Lemma 4.2. Let $f:Z\to X$ be a birational morphism of smooth projective surfaces, and let $C\subset X$ be any curve, with proper transform $\stackrel{\u0303}{C}={f}^{\ast}C-{\Gamma}_{Z\u2215X}$ on $Z$. Then

$${K}_{Z\u2215X}\cdot {\Gamma}_{Z\u2215X}-{\Gamma}_{Z\u2215X}^{2}\ge 0\phantom{\rule{1em}{0ex}}.$$

Proof. As $f$ is a ﬁnite composition of blow-ups, this can be seen by an elementary inductive argument. For the convenience of the reader we brieﬂy indicate it. Suppose that $f$ consists of $k$ successive blow-ups. For $k=1$ the assertion is clear, since then ${K}_{Z\u2215X}$ is the exceptional divisor $E$, and $\Gamma $ is the divisor $mE$, where $m$ is the multiplicity of $C$ at the blown-up point. For $k>1$ we may decompose $f$ into two maps

$$Z\stackrel{g}{\to}Y\stackrel{h}{\to}X\phantom{\rule{1em}{0ex}}.$$One has proper transforms

$${C}^{\prime}={h}^{\ast}C-{\Gamma}_{Y\u2215X}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\stackrel{\u0303}{C}={g}^{\ast}{C}^{\prime}-{\Gamma}_{Z\u2215Y}={f}^{\ast}C-{\Gamma}_{Z\u2215X}\phantom{\rule{1em}{0ex}}.$$The equalities

$$\begin{array}{rcll}{K}_{Z\u2215X}& =& {K}_{Z\u2215Y}+{g}^{\ast}{K}_{Y\u2215X}& \text{}\\ {\Gamma}_{Z\u2215X}& =& {\Gamma}_{Z\u2215Y}+{g}^{\ast}{\Gamma}_{Y\u2215X}& \text{}\end{array}$$then imply

$$\begin{array}{rcll}{K}_{Z\u2215X}\cdot {\Gamma}_{Z\u2215X}-{\Gamma}_{Z\u2215X}^{2}& =& \left({K}_{Z\u2215Y}+{g}^{\ast}{K}_{Y\u2215X}\right)\left({\Gamma}_{Z\u2215Y}+{g}^{\ast}{\Gamma}_{Y\u2215X}\right)-{\left({\Gamma}_{Z\u2215Y}+{g}^{\ast}{\Gamma}_{Y\u2215X}\right)}^{2}& \text{}\\ & =& \left({K}_{Z\u2215Y}\cdot {\Gamma}_{Z\u2215Y}-{\Gamma}_{Z\u2215Y}^{2}\right)+\left({K}_{Y\u2215X}\cdot {\Gamma}_{Y\u2215X}-{\Gamma}_{Y\u2215X}^{2}\right)\phantom{\rule{1em}{0ex}},& \text{}\end{array}$$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 $X$. The ﬁrst general result of this kind known to us is due to Bogomolov. It says that on a surface $X$ of general type with ${c}_{1}^{2}\left(X\right)>{c}_{2}\left(X\right)$ curves of a ﬁxed geometric genus lie in a bounded family. This implies of course that their numeric invariants, in particular their self-intersection, are bounded. An eﬀective 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 $X$ be a smooth projective complex surface with $\kappa \left(X\right)\ge 0$. Then for every reduced, irreducible curve $C\subset X$ of geometric genus $g\left(C\right)$ we have

$${C}^{2}\ge {c}_{1}^{2}\left(X\right)-3{c}_{2}\left(X\right)+2-2g\left(C\right)\phantom{\rule{1em}{0ex}}.$$ | (7) |

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 $X$ if and only if it holds for the set of reduced curves on $X$. 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 $X$ be a smooth projective surface (over an arbitrary algebraically closed ground ﬁeld) for which there is a constant $b\left(X\right)$ such that ${C}^{2}\ge -b\left(X\right)$ for every reduced, irreducible curve $C\subset X$. Then

$${C}^{2}\ge -\left(\rho \left(X\right)-1\right)\cdot b\left(X\right)$$for every reduced curve $C\subset X$, where $\rho \left(X\right)$ is the Picard number of $X$.

Proof. Consider the Zariski decomposition $C=P+N$ of the reduced divisor $C$. Then ${C}^{2}={P}^{2}+{N}^{2}\ge {N}^{2}$, as $P$ is nef and $P$ and $N$ are orthogonal. So the issue is to bound ${N}^{2}$. The negative part $N$ is of the form $N={a}_{1}{C}_{1}+\cdots +{a}_{r}{C}_{r}$, where the curves ${C}_{i}$ are among the components of $C$ and the coeﬃcients ${a}_{i}$ are positive rational numbers. Note that ${a}_{i}\le 1$ for all $i$, because $C$ is reduced. Since the intersection matrix of $N$ is negative deﬁnite, we have $r\le \rho \left(X\right)-1$. Thus

$${C}^{2}\ge {N}^{2}\ge {a}_{1}^{2}{C}_{1}^{2}+\cdots +{a}_{r}^{2}{C}_{r}^{2}\ge -r\cdot b\left(X\right)\ge -\left(\rho \left(X\right)-1\right)\cdot b\left(X\right)\phantom{\rule{1em}{0ex}},$$as claimed. □

Example 5.2. Here is an example of a surface of higher Picard number, for which equality holds in the inequality ${C}^{2}\ge -\left(\rho \left(X\right)-1\right)\cdot b\left(X\right)$ that was established above. Consider a smooth Kummer surface $X\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 $\rho \left(X\right)=17$, we have $b\left(X\right)=-2$, and if $C$ is the union of the 16 disjoint curves, then ${C}^{2}=16\cdot \left(-2\right)$.

Example 5.3. A more elementary example is given by the blow up $X$ of ${\mathbb{P}}^{2}$ at $n\le 8$ general points, so $\rho \left(X\right)=n+1$. Since $-{K}_{X}$ is ample, it follows by adjunction for any reduced, irreducible curve $C$ that ${C}^{2}\ge -1$, so $b\left(X\right)=1$. But if $E$ is the union of the exceptional curves of the $n$ blown up points, then ${E}^{2}=-n=-\left(\rho \left(X\right)-1\right)\cdot b\left(X\right)$.

[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.: Compactiﬁcation 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 $\left(1,3\right)$ 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 Modulﬂä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 Modulﬂächen und Klassenzahlrelationen. in Classiﬁcation of Algebraic Varieties and Compact Complex Manifolds, Lecture Notes in Mathematics 412, 1974, 75–93.

[16] Hirzebruch, F.: Modulﬂä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