Simple cyclic covers of the plane and Seshadri constants of some general hypersurfaces in weighted projective space

Let $X$ be a general hypersurface of degree $md$ in the weighted projective space with weights $1,1,1,m$ for some for $d\geq 2$ and $m\geq 3$. We prove that the Seshadri constant of the ample generator of the N\'eron-Severi space at a general point $x\in X$ lies in the interval $\left[\sqrt{d}- \frac d m, \sqrt{d}\right]$ and thus approaches the possibly irrational number $\sqrt d$ as $m$ grows.


Introduction
Seshadri constants measure local positivity of line bundles. In this capacity they have close ties with two major conjectures in the theory of smooth complex surfaces: the Segre-Harbourne-Gimigliano-Hirschowitz conjecture [14,11,15,16,23] and the Bounded Negativity Conjecture [3,4].
A big line bundle is locally positive at a point, if the global sections of a suitable multiple of it embed an open neighbourhood of the point into projective space [6,17]. If this is the case then one can try to measure how many 'reasonably different' global sections there are around the reference point.
One way to quantify local positivity is via Seshadri constants defined for ample line bundles by Demailly [10] during his first attempt at Fujita's global generation conjecture. For a thorough introduction and references we refer the reader to [2] and [19,Chapter 5].
Rationality of Seshadri constants is a long-standing open question, and although it is widely assumed to be false, there is no counterexample even in higher dimensions. As examplified by the volume or asymptotic cohomology of a line bundle [5] or Newton-Okounkov bodies [18], asymptotic invariants of linear series have a tendency to be rational on surfaces and wildly irrational in higher dimensions. The existing evidence in the case of Seshadri constants is very mixed.
On the one hand all computed cases of Seshadri constants are rational, and this includes all abelian surfaces, some of which have round nef cones. At the same time there is no structural result pointing towards rationality, although the rationality of Seshadri constants would disprove Nagata's conjecture [11], which is more or less unanimously expected to be true.
Seshadri constants on general surfaces of degree d ≥ 5 in projective space are expected to be integral multiples of √ d, hence often irrational. There is a closely related work centering around Szemberg's conjecture [13,24] on primitive solutions to Pell's equation and optimal lower bounds on Seshadri constants.
Here we initiate a study of a class of surfaces that avoided being studied from this point of view.
Theorem A -Fix integers d ≥ 2 and m ≥ 3. Let X be a smooth hypersurface of degree md in P(1, 1, 1, m) not passing through the singular point. Let L = O X (1), and x a point on X. If the pair (X, x) is general then In particular, for every integer d and δ > 0 there exists a point x on a polarised surface (X, L) such that L 2 = d and ε(L; x) ∈ [ The main step is to prove the estimate in the special case when B is a very general plane curve of degree md, X = X d,m → P 2 the simple cyclic d-uple cover branched over B and L = π * O P 2 (1). One can then deduce ( * ) directly for a very general point of X using a result of Bauer [2] and the following generalisation of a result of Cox [9], which might be of independent interest.
Theorem B -A very general simple cyclic cover X of the plane is a smooth surface with Picard number ρ(X) = 1.

Seshadri constants and submaximal curves
Here we collect the necessary material about Seshadri constants on surfaces. Good references for this topic are [2] and [19,Chapter 5]. Let (X, L) be a polarised algebraic surface and C ⊂ X be a curve containing a point x. We then define The Seshadri constant ε(X, L; x) (often just ε(L; x)) of L at the point x ∈ X is defined as Equivalently, upon writing π : X → X for the blowing-up of X at x with exceptional divisor E, one has The definition gives rise to the following quick upper bound: It is known that if the inequality is sharp then there must exist a submaximal curve C ⊆ X. Equivalently, submaximal means that the proper transform C of C on X satisfies ((π * L − ε(L; x)E) · C) = 0.
A couple of words about the behaviour of ε(L; x) in its two arguments. As can be seen from its definition as nef threshold on the blow-up, ε(L; x) only depends on the numerical equivalence class of L, and for all positive integers m. In particular, if ρ(X) = 1, then ε(L; x) for the ample generator L of X determines all Seshadri constants at x ∈ X.
By [21] Seshadri constant are upper-semicontinuous in x. Consequently, for given L, the numbers ε(L; x) are constant for very general x ∈ X. It is customary to write ε(L; 1) for this common value. If ρ(X) = 1 then we will denote by ε(X, 1) the Seshadri constant of the ample generator of X at a very general point of X. In this case we will call ε(X; 1) the Seshadri constant of the surface X.
Usually one is especially interested in irreducible submaximal curves but it is sometimes convenient to allow C to be any curve containing x.
Let H be the class of a line in the plane. The proof of the following is an elementary computation using the projection formula. Lemma 1.2 -Let π : X → P 2 be a d-uple plane (that is, a finite surjective morphism of degree d), with polarisation L = π * H. If C is a plane curve then π * C is not submaximal for any point on X.
A key ingredient in our argument is the following result of Thomas Bauer, that controls the degree of a submaximal curve.

Simple cyclic multiple planes
A d-uple plane is a finite map π : X → P 2 of degree d ≥ 2. In general, the structure of such maps is quite complicated if d > 2 but we only discuss the following simple construction, where X arises by taking the d-th root of a section of a line bundle. More precisely, let m ≥ 1 and B be a plane curve of degree md defined by an equation f . Then a simple cyclic cover X is a hypersurface of degree md in P(1, 1, 1, m), with equation Note that π : X → P 2 is a Galois ramified cover with group Z/dZ. Decomposing π * O X into eigensheaves with respect to this action we get a decomposition where the first decomposition is as O P 2 -module while the second specifies in addition the algebra structure. A local computation shows that X is smooth if and only if B is smooth. For a more complex analytic point view on simple cyclic covers see [1, Ch. 1], for a more general theory of abelian covers compare [22].

Definition 2.2 -A simple cyclic d-uple plane is a ramified cover
π : X = X d,m → P 2 of degree d, branched over over a curve B of degree dm arising as above. We say X is very general if B is very general.
For lack of convenient reference we sketch a proof of the following. This is proved for the full family of weighted hypersurfaces in [9] and we follow the proof very closely. The case of degree 2 is covered in [7]. We will consider d-uple planes X d,m as hyperplanes in P(1, 1, 1, m) with equation (2.1). As explained in the first paragraph of [9, Proof of Theorem] (see also [8,III (a)]), in order to verify that ρ(X d,m ) = 1 for the general hypersurface, it suffices to check that the map is surjective, where H 1 (X, Θ X ) 0 stands for the image of H 1 (X, Θ X ) under the Kodaira-Spencer map of the family of degree d hypersurfaces in P(1, 1, 1, m) with equation (2.1). The case of double covers is treated in [7].
As far as the link between various cohomology spaces occurring above and the graded polynomial ring S def = C[x, y, z, w] goes, write For proofs see the reference in [9].
Proof. Consider the weighted polynomial rings S = C[x, y, z] ⊂ S = C[x, y, z, w], where x, y, z have degree 1 and w has degree m. Let f be the equation defining B so that X is cut out by F = w d + f ∈ S = C[x, y, z, w]. Consider the Milnor algbra which is the homomorphic image of T = S/(w d−1 ). Let V be the tangent space to the family of d-uple planes at X. Then as in [9] the result follows if the composition is surjective, where κ is the Kodaira-Spencer map. Considering d-uple planes as particular hypersurfaces and argueing as in [9], this multiplication map fits into a commutative diagram Now note that as a graded S -module T k = d−2 i=0 w i · S k−im and all summands on the right hand side are non-zero as soon as Since the multiplication maps in the standard polynomial ring S are surjective, the surjectivity of the first row of the diagram, and hence our claim, follows if m ≥ 3.
We would like to have that the Picard group is actually generated by L, at least for large m, but we do not know a convenient reference for this. For our purpose the following simple observation is enough.
Corollary 2.4 -Let π : X → P 2 be a very general simple cyclic d-uple plane and L = π * O P 2 (1). If C is any curve on X then there exists a k such that dC ∈ |kL|.
Proof. Let σ be a generator of the Galois group of π. Since the Picard rank is 1, the automorphisms act trivially on the Picard group and we have dC ∼ d k=1 (σ k ) * C = π * π * C ∈ |π * O P 2 (k)| = |kL| for some k.

Proof of Theorem A
We start by proving the estimate ( * ) for a very general simple cyclic d-uple plane π : X → P 2 branched over a curve of degree md.
Assume C is an irreducible curve which is submaximal for a very general point x ∈ X and such that By Corollary 2.4 we have dC ∈ |kL| and dC is submaximal as well. Then by Bauer's bound, Theorem 1.3, we have

This inequality implies by the projection formula
that is, every curve of degree at most m is pullback of a plane curve. By Lemma 1.2 the curve dC is not submaximal -a contradiction. Now consider the family X ⊂ |O P(1,1,1,m) (md)| of smooth hypersurfaces of degree md in P (1, 1, 1, m)  is nef. By [20,Corollary 4] there is an open subset U ⊂ U containing (X, x) and such that for every (Y, y) ∈ U the line bundle L| Y − ε(L| X ; x)E y is nef.
Using (1.1) again, we see that ε(L| X ; x) ≤ ε(L| Y ; y). Therfore the estimate ( * ) holds for all pairs in the open subset U . This concludes the proof of Theorem A.