Abstract
Let X be a complex algebraic K3 surface of degree 2d and with Picard number \(\rho \). Assume that X admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, \(\rho \ge 1\) when \(d=1\) and \(\rho \ge 2\) when \(d \ge 2\). For \(d=1\), the first example defined over \({\mathbb {Q}}\) with \(\rho =1\) was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also defined over \({\mathbb {Q}}\), can be used to realise the minimum \(\rho =2\) for all \(d\ge 2\). In these notes we construct new explicit examples of K3 surfaces over the rational numbers realising the minimum \(\rho =2\) for \(d=2,3,4\). We also show that a nodal quartic surface can be used to realise the minimum \(\rho =2\) for infinitely many different values of d. Finally, we strengthen a result of Morrison by showing that for any even lattice N of rank \(1\le r \le 10\) and signature \((1,r-1)\) there exists a K3 surface Y defined over \({\mathbb {R}}\) such that \({{\,\textrm{Pic}\,}}Y_{\mathbb {C}}={{\,\textrm{Pic}\,}}Y \cong N\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the central objects of study in algebraic geometry are K3 surfaces, which benefit from much interest also from other areas of mathematics. In differential geometry, one landmark result is Yau’s proof of the Calabi conjecture in [36, 37] and, because of it, complex K3 surfaces are known to admit metrics with holonomy equal to SU(2). Through this connection with holonomy groups, K3 surfaces often appear in the study of higher-dimensional manifolds with special holonomy.
One motivation for this article is the differential geometry of \(G_2\)-manifolds, i.e. the geometry of manifolds of real dimension 7 with holonomy equal to \(G_2\). Here the group \(G_2\) denotes the automorphism group of the octonions, see [30]. Only a few ways of constructing \(G_2\)-manifolds are currently known, and one such way is the blowup procedure by Joyce and Karigiannis [14, Section 7.3], which uses a complex K3 surface X with two commuting involutions, i.e. bijective maps which are their own inverse. More precisely, one needs a non-symplectic holomorphic involution \(\iota : X \rightarrow X\), and an anti-holomorphic involution \(\sigma : X \rightarrow X\). Another manifold construction by Kovalev and Lee [19] uses a K3 surface with only one (non-symplectic holomorphic) involution. By using different models of K3 surfaces, such as quartics or double planes ramified over a sextic, one obtains many examples of \(G_2\)-manifolds.
Not much is known about which manifolds admit metrics with holonomy \(G_2\), or how many such metrics there are on a manifold that does. Because of this, much work in the field is done on constructing and studying examples. Using explicit examples of K3 surfaces, one obtains good information about the metric on the resulting \(G_2\)-manifolds. In the future, this may be helpful for studying possible metric degenerations of \(G_2\)-manifolds, similar to [14, Example 7.2]), which is realised by two different construction methods, exhibiting two different metric degenerations. The analogous question for K3 surfaces had likewise first been studied via examples, but by now some general results exist, see the references in Chen, Viaclovsky, and Zhang [5, Section 1] for an overview.
On the other hand, a program proposed by Donaldson and Thomas [6] to study the moduli space of \(G_2\)-metrics suggests counting \(G_2\)-instantons, i.e. solutions to a certain partial differential equation on principal bundles over the given manifold. If the manifold with holonomy \(G_2\) is obtained via one of the two constructions above, one gets \(G_2\)-instantons from certain stable bundles over the K3 surface, see Walpuski-Sá Earp [29], Walpuski [35], and the last author [27, Section 5.2]. Even more than for \(G_2\)-manifolds, there are few general results about \(G_2\)-instantons and current work concentrates on constructing and studying examples. The instanton constructions cited above use detailed information about the K3 surfaces in question, so an ample supply of explicit examples of K3 surfaces is helpful for these constructions. The main challenge in this research area is the compactification of the moduli space of \(G_2\)-instantons. As for metrics, it is hoped that explicit examples of degenerations will suggest candidates for a compactification.
As a general principle, checking whether a given bundle is stable becomes computationally harder the more line bundles there are on the K3 surface. This can be seen in practice in the work of Jardim, Menet, Prata and Sá Earp [13, Theorem 3].
The group of line bundles modulo isomorphisms on a complex K3 surface X is called the Picard group, and we will denote it by \({{\,\textrm{Pic}\,}}X\). It is a finitely generated free abelian group, and its rank, which we denote by \(\rho (X)\), is called the Picard number of X. The Picard group can be endowed with a non-degenerate bilinear form, making it a lattice (that is, a finitely generated free abelian group with a non-degenerate bilinear form), called the Picard lattice. A lattice can be identified by a matrix, called its Gram matrix, see Remark 2.3 for definition and notations. We are then interested in examples of K3 surfaces with low Picard number and two commuting involutions, one holomorphic and one non-holomorphic. What is the lowest Picard number possible for such K3 surfaces, for any given degree? Combining results of Kondo and Elsenhans–Jahnel, [7, 17], we give the following complete answer to this question.
Theorem 1.1
Let X be a K3 surface of degree 2d and with Picard rank \(\rho \), admitting a holomorphic and an anti-holomorphic involution which commute. If \(d=1\), then \(\rho \ge 1\) and there exist examples defined over \({\mathbb {Q}}\) with \(\rho =1\). If \(d>1\), then \(\rho \ge 2\) and there exist examples over \({\mathbb {Q}}\) with \(\rho =2\) and Picard lattice \([0 \; 1 \; 0]\).
The proof of the theorem uses an explicit example of a K3 surface which can be endowed with multiple polarisations. As mentioned above, it is desirable to have many more explicit examples for applications in \(G_2\)-geometry. We therefore give the following explicit examples.
Example 1.2
We present the following new examples:
-
(1)
in Sect. 6, a construction method for K3 surfaces over \({\mathbb {Q}}\) of degree 4 and 8 with Picard lattice \([4 \; 5 \; 2]\), together with an explicit example;
-
(2)
in Sect. 7, a construction method for K3 surfaces over \({\mathbb {Q}}\) of degree 6 with Picard lattice \([6 \; 6 \; 2]\), together with an explicit example;
-
(3)
in Sect. 8, for every \(d>3\), we show the existence of K3 surfaces over \({\mathbb {R}}\) with Picard lattice \([2 \; d{+}1 \; 2d]\) and polarization of degree 2d.
We also review the following known K3 surface:
-
(4)
in Sect. 4, a K3 surface defined over \({\mathbb {Q}}\) with Picard lattice \([4 \; 0 \; {-}2]\) admitting infinitely many polarizations of different degrees.
We say that a complex K3 surface X can be defined over a field k if X admits a projective model, whose defining equations have coefficients contained in k. The existence of an anti-holomorphic involution on X is guaranteed as soon as the surface can be defined over \({\mathbb {R}}\): indeed, in this case, the complex conjugation provides an anti-holomorphic involution. In the following, we will always use this one as it will commute with the holomorphic involutions we will provide. Conversely, if there exists an anti-holomorphic involution on X, then X can be defined over \({\mathbb {R}}\) (see Silhol’s [33, Proposition 1.3]).
A biholomorphic map on a complex K3 surface X comes from an automorphism on the associated algebraic surface. A holomorphic involution on X will commute with the anti-holomorphic one if and only if the associated automorphism on the model of X over \({\mathbb {R}}\) can be defined over \({\mathbb {R}}\). As a conclusion, we have the following important remark.
Remark 1.3
A complex K3 surface has a commuting holomorphic and anti-holomorphic involution if and only if the underlying algebraic K3 surface can be defined over \({\mathbb {R}}\) and admits an automorphism of order 2. This observation gives the main idea of this work: we look for K3 surfaces that can be defined over \({\mathbb {R}}\) admitting an ample divisor D with \(D^2=2\). This ample divisor will provide the automorphism of order 2 we are after, see Lemma 3.1.
The paper is structured as follows. In Sect. 2 we introduce K3 surfaces and their Picard lattice, reviewing basic properties and results. In the same section, we summarise the known results about involutions of K3 surfaces. In Sect. 3 we review branched double covers of \({\mathbb {P}}^2\) which play a central role in the rest of the article and we prove Theorem 1.1. In Sect. 4 we study nodal quartics, serving as a link between K3 surfaces of degree 2 and higher degrees as they provide a construction of a K3 surface over \({\mathbb {Q}}\) with Picard rank 2 realising infinitely many degrees. Smooth quartics admitting a holomorphic involution are studied in Sect. 5, where we prove that there are infinitely many non-isomorphic smooth quartics over \({\mathbb {C}}\) with Picard number 2 and admitting a holomorphic involution. We also show that if a quartic surface has a holomorphic involution that can be extended to a linear involution of its ambient space \({\mathbb {P}}^3\), then its Picard number is higher. We construct examples of K3 surfaces of degrees 2d, with Picard number 2, defined over \({\mathbb {Q}}\), and admitting a holomorphic involution, for \(2d=4,8\) in Sect. 6 and for \(2d=6\) in Sect. 7. In Sect. 8 we study when complex K3 surfaces can be defined over the real numbers and prove that any even lattice N of rank \(1\le r \le 10\) and signature \((1,r-1)\) can be realized as Picard lattice of a K3 surface defined over \({\mathbb {R}}\). We use this result to show the existence of infinitely many non-isomorphic K3 surfaces defined over \({\mathbb {R}}\) with \(\rho =2\) admitting an involution. The Magma code pertaining to our explicit examples can be found online at http://github.com/danielplatt/quartic-k3-with-involution.
2 Some background
In this section, we provide the necessary background about K3 surfaces. We mostly follow Huybrechts [12] and Kondo [18]; for basic notions and results in algebraic geometry we refer to Hartshorne [11] and Griffith [10]. As a start, we give a formal definition of a complex K3 surface.
By a complex K3 surface we mean a compact connected complex manifold X of dimension two with trivial canonical bundle and \(H^1(X,{{\mathcal {O}}}_X)=0\). It follows that X admits a holomorphic 2-form that is nowhere vanishing and unique up to scaling. Examples of K3 surfaces are, among others, smooth quartic surfaces in \({\mathbb {P}}^3\), smooth intersections of a cubic and a quadric in \({\mathbb {P}}^4\), smooth intersections of three quadrics in \({\mathbb {P}}^5\), and double covers of \({\mathbb {P}}^2\) ramified over a smooth curve of degree six.
An algebraic K3 surface X over a field k is a projective, geometrically integral and smooth variety X over k such that its canonical bundle \(\Omega _{X/k}^2\) is isomorphic to \({{\mathcal {O}}}_X\) and with \(H^1(X,{{\mathcal {O}}}_X)=0\). By the GAGA theorem [31], we have the following connection between algebraic and complex K3 surfaces: starting with an algebraic K3 surface X over k, where k is a subfield of \({\mathbb {C}}\), the complex points \(X({\mathbb {C}})\) have a natural structure of a complex K3 surface; as a converse, if one starts with a projective complex K3 surface X, then there exists an algebraic K3 surface \(X'\) over \({\mathbb {C}}\) such that \(X'({\mathbb {C}})=X\). More specifically, a complex K3 surface comes from an algebraic K3 surface if and only if it can be embedded in projective space.
Remark 2.1
There are complex K3 surfaces that are not projective and hence not algebraic (in fact non-projective K3 surfaces are dense in the moduli space of complex K3 surfaces). Nikulin shows that if a K3 surface has a non-symplectic automorphism of finite order, then it is projective, see [22, Theorems 0.1a) and 3.1a)]. As in both Joyce–Karigiannis’ and Kovalev–Lee’s constructions a non-symplectic involution is needed, non-projective K3 surface will not be considered in this paper.
Because of Remark 2.1, our attention will focus on algebraic complex K3 surfaces. Therefore, unless stated otherwise, a complex K3 surface will be assumed to be algebraic. We will use both the algebraic and manifold structure on the K3 surface.
2.1 The Picard lattice of a K3 surface
Let k be a field and let \({{\overline{k}}}\) be an algebraic closure of k. Let X denote an algebraic K3 surface over k. Throughout this paper, we will denote by \(X_{{{\overline{k}}}}\) the base change of X to \({{\overline{k}}}\). If k is a subfield of \({\mathbb {C}}\), e.g. \(k={\mathbb {Q}}\) or \(k={\mathbb {R}}\), we use the notation \(X_{\mathbb {C}}\) to denote the base change of X to \({\mathbb {C}}\).
The Picard group of X, denoted \({{\,\textrm{Pic}\,}}X\), is the group of isomorphism classes of invertible sheaves on X under the tensor product. It is known that the Picard group is isomorphic to \(H^1(X,{{\mathcal {O}}}_X^*)\), where \({{\mathcal {O}}}_X^*\) denotes the sheaf whose sections over an open set U are the units in the ring \({{\mathcal {O}}}_X(U)\). There is also a natural isomorphism \({{\,\textrm{Cl}\,}}X\cong {{\,\textrm{Pic}\,}}X\), where \({{\,\textrm{Cl}\,}}X:={{\,\textrm{Div}\,}}X/{\sim }\) denotes the divisor class group modulo linear equivalence [11, Corollary II.6.16].
There is a unique symmetric bilinear pairing \({{\,\textrm{Div}\,}}X_{{{\overline{k}}}} \times {{\,\textrm{Div}\,}}X_{{{\overline{k}}}}\rightarrow {\mathbb {Z}}\), sending any two divisors C, D on \(X_{{{\overline{k}}}}\) to the integer C.D, such that if C and D are non-singular curves meeting transversally, the number C.D is the number of points of \(C\cap D\); for a divisor D the number \(D^2:=D.D\) is called the self-intersection of D. The pairing depends only on the linear equivalence classes and so it descends to a pairing \({{\,\textrm{Pic}\,}}X_{{{\overline{k}}}} \times {{\,\textrm{Pic}\,}}X_{{{\overline{k}}}} \rightarrow {\mathbb {Z}}\) [11, Theorem V.1.1]. We can identify \({{\,\textrm{Pic}\,}}X\) as a subgroup of \({{\,\textrm{Pic}\,}}X_{{{\overline{k}}}}\), and this pairing on \({{\,\textrm{Pic}\,}}X_{{{\overline{k}}}}\) will then induce a pairing on \({{\,\textrm{Pic}\,}}X\).
If k is a subfield of \({\mathbb {C}}\) then, using the GAGA theorem (see [31]), there is a natural identification of the group \({{\,\textrm{Pic}\,}}X_{\mathbb {C}}\) with the group of line bundles on a topological space and so this definition is equivalent with the definition given in the introduction. If k is a subfield of \({\mathbb {C}}\), we define the Picard number of X to be the Picard number of the associated complex surface as defined in the introduction, or equivalently, to be the rank of \({{\,\textrm{Pic}\,}}X_{\mathbb {C}}\).
Remark 2.2
Although we can identify \({{\,\textrm{Pic}\,}}X\) as a subgroup of \({{\,\textrm{Pic}\,}}X_{{{\overline{k}}}}\), it is not always the case that they have the same rank. In the explicit examples we are constructing, we will prove that \({{\,\textrm{Pic}\,}}X={{\,\textrm{Pic}\,}}X_{{\mathbb {C}}}\), but in general this is definitely not the case. To avoid any confusion, we will use the definition of Picard number only for complex K3 surfaces.
A lattice \(\Lambda \) is a finitely generated free abelian group together with a non-degenerate bilinear pairing \(\Lambda \times \Lambda \rightarrow {\mathbb {Z}}\). The Picard group of a projective K3 surface is finitely generated and torsion-free [12, §1.2], and the induced intersection pairing is non-degenerate [12, Proposition 1.2.4], hence making the group \({{\,\textrm{Pic}\,}}X\) a lattice. We refer to this as the Picard lattice of X. If D is the class of a curve of arithmetic genus \(p_a\), the adjunction formula shows that \(D^2=2p_a-2\). It follows that \({{\,\textrm{Pic}\,}}X\) is an even lattice, i.e., \(D^2\) is even for all D in \({{\,\textrm{Pic}\,}}X\).
Remark 2.3
Choosing a basis for \({{\,\textrm{Pic}\,}}X\), we can associate a Gram matrix to the bilinear pairing. We introduce the notation \([a\; b\; c]\) with \(a,b,c\in {\mathbb {Z}}\) for a lattice of rank 2 and a basis with Gram matrix equal to \(\begin{pmatrix} a &{} b\\ b &{} c \end{pmatrix}\). We also introduce the notation \(\langle a \rangle \) for a lattice of rank 1 and a basis with Gram matrix equal to \(\begin{pmatrix} a \end{pmatrix}\).
2.2 The second cohomology group and the Hodge decomposition
Let X denote a complex K3 surface. Using the exponential sequence
we get an induced injective map from the Picard group of a complex K3 surface X to \(H^2(X,{\mathbb {Z}})\), denoted by \(c_1:{{\,\textrm{Pic}\,}}X\hookrightarrow H^2(X,{\mathbb {Z}})\). The cup product gives \(H^2(X,{\mathbb {Z}})\) the structure of a lattice, of which the restriction to the Picard group is exactly the intersection pairing.
It is known that the lattice \(H^2(X,{\mathbb {Z}})\) is isomorphic to the K3 lattice
where U is the hyperbolic rank 2 lattice \([0 \; 1 \; 0]\), and \(E_8(-1)\) is the unique even unimodular negative-definite lattice of rank 8 [12, Proposition 1.35]. This is a lattice of signature (3, 19). By the Hodge index theorem [12, Subsection 1.2.2], the signature of the Picard lattice is \((1,\rho (X)-1)\). It follows that \(\rho (X)\le 20\).
The isomorphism between the spaces \(H^2(X,{\mathbb {Z}})\) and \(\Lambda _{\text {K}3}\) is not canonical. Choosing an isometry \(\alpha _X:H^2(X,{\mathbb {Z}})\rightarrow \Lambda _{\text {K}3}\) is called a marking of X, and we call the tuple \((X,\alpha _X)\) a marked K3 surface. For the remainder of this subsection, we will always assume that X is marked by a marking \(\alpha _X\).
We have a natural identification \(H^2(X,{\mathbb {Z}})\otimes {\mathbb {C}}\cong H^2(X,{\mathbb {C}})\). As a complex K3 surface is a Kähler manifold, there is a Hodge decomposition
where \(H^{1,1}(X)\) can be defined over \({\mathbb {R}}\) and \(H^{2,0}(X)\) and \(H^{0,2}(X)\) are complex conjugates of each other. Moreover, there are natural isomorphisms \(H^{p,q}(X)\cong H^q(X,\Omega _X^p)\). By the Lefschetz theorem on (1, 1)-classes [10, p.163], we have that the image of the map \(c_1\) equals the set \(H^{1,1}(X)\cap H^2(X,{\mathbb {Z}})\).
Next we fix a nowhere vanishing holomorphic 2-form \(\omega _X\in H^0(X,\Omega _X^2)\subset H^2(X,{\mathbb {C}})\). As \(H^0(X,\Omega _X^2)\) is 1-dimensional by definition of a K3 surface, we have
Extending the cup product to \(H^2(X,{\mathbb {C}})\), the form \(\omega _X\) satisfies the Riemann conditions
see [18, p.57]. Observe that \(H^{2,0}\oplus H^{0,2}(X)=\langle \text {Re}(\omega _X),\text {Im}(\omega _X)\rangle \) and \(H^{1,1}(X)\) will be orthogonal to this subspace. In particular, \(\omega _X\) determines the Hodge decomposition of \(H^2(X,{\mathbb {C}})\).
We define the transcendental lattice of X, denoted \(T_X\), to be the lattice \(({{\,\textrm{Pic}\,}}X)^\perp \subseteq H^2(X,{\mathbb {Z}})\). By the Lefschetz theorem on (1, 1)-classes and the construction above, one can deduce that the 2-form \(\omega _X\) is contained in \(T_X\otimes {\mathbb {C}}\).
2.3 Reduction maps and upper bounds for the Picard number
Let X be a K3 surface defined over \({\mathbb {Q}}\). Then X can be defined by equations with coefficients in \({\mathbb {Z}}\). Let p be a prime and let \(X_p\) denote the variety obtained considering the equations defining X over \({\mathbb {Z}}\) modulo p. We call \(X_p\) the reduction of X modulo p. We say that p is a prime of good reduction for X if \(X_p\) is smooth, i.e., \(X_p\) is a K3 surface over \({\mathbb {F}}_p\). Then it is known that there is an embedding \({{\,\textrm{Pic}\,}}X_{\mathbb {C}}\rightarrow {{\,\textrm{Pic}\,}}X_{p,{{\overline{{\mathbb {F}}}}}_p}\). So the rank of \({{\,\textrm{Pic}\,}}X_{p,{{\overline{{\mathbb {F}}}}}_p}\) gives an upper bound for the Picard number of X. For details we refer to [12, Subsection 17.2.5].
One can calculate the rank of \({{\,\textrm{Pic}\,}}X_{p,{{\overline{{\mathbb {F}}}}}_p}\) explicitly. Let \(\ell \ne p\) be another prime. Using étale cohomology we can embed \({{\,\textrm{Pic}\,}}X_{p,{{\overline{{\mathbb {F}}}}}_p}\) into \(H^2_{\acute{\textrm{e}}\textrm{t}}(X_{p,{{\overline{{\mathbb {F}}}}}_p},{\mathbb {Q}}_\ell (1))\). Let \(F_p\in \text {Gal}({{\overline{{\mathbb {F}}}}}_p/{\mathbb {F}}_p)\) be the Frobenius automorphism. Then this induces an automorphism \(F_p^*\) on \(H^2_{\acute{\textrm{e}}\text {t}}(X_{p,{{\overline{{\mathbb {F}}}}}_p},{\mathbb {Q}}_l(1))\). The Tate conjecture, which is proven for K3 surfaces of positive characteristic by Kim and Pera [15], implies that the rank of \({{\,\textrm{Pic}\,}}X_{p,{{\overline{{\mathbb {F}}}}}_p}\) is exactly the number of eigenvalues \(\lambda \) of \(F_p^*\) such that \(\lambda \) is a root of unity. The characteristic polynomial of \(F_p^*\) can be computed explicitly. A practical way to do it by counting points is given by van Luijk [34, Section 2]. There are numerous refinements and developments, see for example the works of Elsenhans–Jahnel and Charles [4, 9].
Magma has a built-in function to calculate the rank of \({{\,\textrm{Pic}\,}}X_{p,{{\overline{{\mathbb {F}}}}}_p}\) with p of good reduction in the case that X is a double cover of the plane. The function is based on Elsenhans and Jahnel’s work [8]. We will use this to compute upper bounds for our Picard number.
2.4 The ample cone and polarized K3 surfaces
In this subsection, we introduce some basic facts about the ample cone of a K3 surface; we follow [12, Chapter 8]. Let X be a K3 surface and let H be an ample divisor on X. We define the positive cone \({\mathcal {P}}^+\subset {{\,\textrm{Pic}\,}}X\otimes {\mathbb {R}}\) of X as the connected component of the set \(\{ \lambda \in {{\,\textrm{Pic}\,}}X\otimes {\mathbb {R}}\;:\; \lambda ^2>0\}\) containing H. The ample cone \({\mathcal {A}}\) of X is the set of all (non-zero) finite sums \(\sum _i a_iL_i\) inside \({{\,\textrm{Pic}\,}}X\otimes {\mathbb {R}}\), with \(L_i\in {{\,\textrm{Pic}\,}}X\) an ample class and \(a_i\in {\mathbb {R}}_{>0}\).
Assume that H is primitive, meaning that the quotient module \({{\,\textrm{Pic}\,}}X/{\mathbb {Z}}[H]\) has no torsion. Then we call the pair (X, H) a polarized K3 surface of degree \(H^2\). Note that the degree \(H^2\) is even, as \({{\,\textrm{Pic}\,}}X\) is an even lattice. For example, by simply taking H to be a hyperplane section, one can see that: double covers of \({\mathbb {P}}^2\) ramified above smooth sextic curves are polarized K3 surfaces of degree 2; smooth quartics in \({\mathbb {P}}^3\) are K3 surfaces of degree 4; smooth intersections of a cubic and a quadric in \({\mathbb {P}}^4\) have degree 6; smooth intersections of three quadrics in \({\mathbb {P}}^5\) have degree 8.
Let (X, H) be a polarized K3 surface. The Nakai–Moishezon–Kleiman criterion says that a class \(D\in {{\,\textrm{Pic}\,}}X\) is ample if and only if \(D^2>0\) and \(D.[C]>0\) for all curves \(C\subset X\) [11, Theorem V.1.10]. For polarized K3 surfaces, this result can be refined (see [12, Corollary 8.1.6]), yielding that D is ample if and only if
-
(1)
\(D^2>0\),
-
(2)
\(D.[C]>0\) for all the smooth rational curves \(C\subset X\),
-
(3)
\(D.H>0\).
It follows that
This motivates the construction below, called the chamber decomposition of \({{\,\textrm{Pic}\,}}X\).
Remark 2.4
Recall that on a K3 surface, if C is the class of a curve of arithmetic genus g, then \(C^2=2g-2\). This means that rational curves have self-intersection \(-2\).
The reverse is not true. In general a \(-2\)-class does not need effective. An effective \(-2\)-class is the class of a rational curve if and only if the class is irreducible.
If \({{\,\textrm{Pic}\,}}X\) does not represent \(-2\), i.e. there are no \(-2\)-classes, then there are no rational curves either. It follows that \({\mathcal {A}}= {\mathcal {P}}^+\).
Let \(\Delta :=\{ \delta \in {{\,\textrm{Pic}\,}}X \;: \; \delta ^2=-2\}\) be the set of roots of \({{\,\textrm{Pic}\,}}X\). If \(\delta \in \Delta \), then using the Riemann–Roch theorem one can see that either \(\delta \) or \(-\delta \) is effective. We define \(\Delta _+:=\{\delta \in \Delta \;: \; \delta \text { is effective}\}\). Clearly the equality \(\Delta =\Delta _+ \sqcup \Delta _-\) holds, where \(\Delta _-:=-\Delta _+\). For any root \(\delta \in \Delta \) we define the reflection
Notice that \(s_\delta \) is an involution. By linearity it can be extended to \({{\,\textrm{Pic}\,}}X\otimes {\mathbb {R}}\) and it preserves the intersection pairing, and so it preserves \({\mathcal {P}}^+\). We call \({{\,\textrm{Fix}\,}}(s_\delta )={\mathcal {P}}^+\cap \delta ^\perp \) the wall associated with \(\delta \). The connected components of \({\mathcal {P}}^+ {\setminus } \bigcup _{\delta \in \Delta } \delta ^\perp \) are called the chambers of \({\mathcal {P}}^+\). We define the Weyl group W as the group of isometries generated by the reflections,
The group W acts transitively on the set of chambers of \({\mathcal {P}}^+\) [12, Proposition 8.2.6]. From the refined Nakai–Moishezon–Kleiman criterion above, it follows that the ample cone is the chamber whose walls are given by \([C]^\perp \), for every smooth rational curve \(C\subset X\). Moreover, none of the conditions that we get from the \(-2\)-classes of these curves are superfluous, see also [12, Remark 8.2.8].
Remark 2.5
If \(\rho (X)=2\), the above implies that there are at most two smooth rational curves on X.
2.5 Moduli spaces of K3 surfaces
Next we will set up the theory of moduli spaces of K3 surfaces over \({\mathbb {C}}\). We will closely follow [18, Chapter 6] and refer to this for more background.
The period domain of complex K3 surfaces is the set
Let \((X,\alpha _X)\) be a marked K3 surface over \({\mathbb {C}}\). By the Riemann conditions, we have \([\alpha (\omega _X)]\in \Omega \) and we call this point the period of \((X,\alpha _X)\). In particular, if \({\mathcal {M}}\) is the set of isomorphism classes of marked K3 surfaces, this gives us a map \(\lambda :{\mathcal {M}}\rightarrow \Omega \), called the period map of marked K3 surfaces. It is a deep theorem on complex K3 surfaces that this map is surjective, see [18, Theorem 6.9 and proof in chapter 7]. The surjectivity of the map \(\lambda \) is only guaranteed if we also take non-algebraic complex K3 surfaces into account. In fact, if we take a general element \([\omega ]\in \Omega \), a marked K3 surface \((X,\alpha _X)\) with period \([\omega ]\) will be non-algebraic with \({{\,\textrm{Pic}\,}}X=\{0\}\).
Next we will look at the period map for polarized K3 surfaces and their moduli spaces. Let d be a positive integer and take a primitive element \(h\in \Lambda _{\text {K}3}\) with \(h^2=2d\). Denote by \(\Lambda _{2d}\) the orthogonal complement of h in \(\Lambda _{\text {K}3}\). Then \(\Lambda _{2d}\) has signature (2, 19) and the isomorphism class of \(\Lambda _{2d}\) is independent of the choice of h.
We define the period domain of polarized K3 surfaces of degree 2d as the set
The group \(\Gamma _{2d}:=\{\gamma :\Lambda _{\text {K}3} \xrightarrow {\sim } \Lambda _{\text {K}3} :\gamma (h)=h\}\) of automorphisms of \(\Lambda _{\text {K}3}\) that fix h acts on \(\Omega _{2d}\) and one can show that the quotient \(\Omega _{2d}/\Gamma _{2d}\) is a variety. This quotient can be identified as the moduli space of polarized K3 surfaces of degree 2d. We will motivate this next.
Let \({{\mathcal {M}}}_{2d}\) denote the set of isomorphism classes of polarized K3 surfaces of degree 2d. Let (X, H) be a polarized K3 surface in \({{\mathcal {M}}}_{2d}\) and let \(h=\alpha _X(H)\) denote the image of the ample divisor H under a marking \(\alpha _X\) of X. As \(\omega _X\) lies in \(T_X\otimes {\mathbb {C}}\), it is perpendicular to \({{\,\textrm{Pic}\,}}X\) and therefore to H in particular. This means that \([\alpha _X(\omega _X)]\in \Omega _{2d}\). This association defines a (set-theoretical) map \(\lambda _{2d}:{{\mathcal {M}}}_{2d}\rightarrow \Omega _{2d}/\Gamma _{2d}\) called the period map of K3 surfaces of degree 2d. This map is injective by the Torelli theorem for polarized K3 surfaces, see [18, Theorem 6.5] for a modern formulation and proof. With respect to a generalized definition of polarized K3 surface, this map is also surjective. We refer to [18, Theorem 6.12 & Section 7.3] for details and a sketch of the proof.
2.6 Involutions on K3 surfaces
Automorphisms of K3 surfaces have been widely studied, see e.g. [12, §15] for an overview. Given a K3 surface X, and any automorphism \(g:X\rightarrow X\), there is some \(a\in {\mathbb {C}}^*\) such that \(g^*(\omega _X)=a\cdot \omega _X\) for any non-zero holomorphic 2-form \(\omega _X\) on X. If \(a=1\), we call the automorphism symplectic. Otherwise, we will call it non-symplectic.
Let \(g:X\rightarrow X\) be an automorphism of a K3 surface that is an involution. Observe that g is non-symplectic if and only if \(g^*(\omega _X)=-\omega _X\). Nikulin showed that if g is symplectic, then any fixed point is isolated [22, §5], and if g is non-symplectic, then the fixed point set is empty or consists of a disjoint union of non-singular curves [24, Theorem 4.2.2]. From the proof of these statements, we can deduce a lower bound for the Picard number. This is summarized in the following theorem.
Theorem 2.6
Let X be a complex K3 surface with a holomorphic involution g; let F be the set of fixed points of g.
-
If g is symplectic, then F consists of eight isolated points and \(\rho (X)\ge 9\).
-
If g is non-symplectic, then one of the following holds.
-
(1)
\(F=\emptyset \). In this case \(\rho (X)\ge 10\).
-
(2)
F is a disjoint union of two non-singular elliptic curves. In this case \(\rho (X)\ge 10\).
-
(3)
\(F=C\sqcup E_1 \sqcup \cdots \sqcup E_k\), where C is a non-singular curve and \(E_1,\ldots ,E_k\) are non-singular rational curves. In this case \(\rho (X) \ge 11-p_a(C)+k\), where \(p_a(C)\) denotes the arithmetic genus of C.
-
(1)
Proof
If g is symplectic, then Nikulin [22, §5] shows that F consists of eight isolated points; in this case, \(\rho (X)\ge 9\), as shown in [12, §15.1].
In [24, Theorem 4.2.2], the fixed point sets of non-symplectic involutions are classified as stated in (1)—(3). To obtain the bound of the Picard number, consider the lattice
Let r and \(\ell \) denote the rank of \(L_+\) and the length of the discriminant group \(L_+^\#\), respectively. Artebani, Sarti, and Taki show that \(L_+\) is contained in \({{\,\textrm{Pic}\,}}X\) [1, Theorem 2.1 a)], hence \(r\le \rho (X)\). Cases (1) and (2) then follow directly from [24, Theorem 4.2.2], where it is shown that in these cases \(r=10\). The same theorem also tells us that in case (3), \(\ell = 22-r-2p_a(C)\) and \(k=(r-\ell )/2\). By substituting \(\ell \) in the expression of k, we get \(k=r-11+p_a(C),\) and hence \(\rho (X) \ge r = 11-p_a(C)+k\), completing the proof. \(\square \)
From this theorem, it follows that if one wants to find a K3 surface with a low Picard number and holomorphic involution then they should look for non-symplectic involutions.
3 Double covers of the plane
In this section, we review the theory of K3 surfaces of degree 2 as double covers of \({\mathbb {P}}^2\). Moreover, we will recall that if a complex K3 surface has Picard number 1 and it admits a holomorphic involution, then it has to be a complex K3 surface of degree 2. First, we show that in order to have a double cover structure it is enough to have an ample divisor of self-intersection 2. This result will be key in our constructions. We then prove Theorem 1.1.
Lemma 3.1
Let X be a complex K3 surface and \(H\in {{\,\textrm{Pic}\,}}X\) an ample divisor with \(H^2=2\). Then X is isomorphic to a double cover of \({\mathbb {P}}^2\) branched along a smooth sextic curve.
Proof
The linear system |H| induces a two-to-one map \(X\rightarrow {\mathbb {P}}^2\) which ramifies above a sextic. As X is a K3 surface, X is smooth, and hence the ramification locus is also smooth. \(\square \)
Remark 3.2
In the case of double covers of \({\mathbb {P}}^2\), a holomorphic involution is very easy to write down, as there is an involution induced by the double cover structure (Fig. 1). More explicitly, if X is such a K3 surface, then X can be written as \(w^2=f(x,y,z)\) in the weighted projective space \({\mathbb {P}}(1,1,1,3)\) with variables x, y, z, w of weight 1, 1, 1, 3, respectively, and f a homogeneous polynomial of degree 6 in three variables, defining a smooth sextic curve in \({\mathbb {P}}^2\). Then the double cover \(X\rightarrow {\mathbb {P}}^2\) is given by sending the point (x : y : z : w) to (x : y : z) and the the double cover involution is given by
Proposition 3.3
Let X be a complex K3 surface with \({{\,\textrm{Pic}\,}}X= {\mathbb {Z}}\cdot H\) for an ample class H. Then the following are equivalent.
-
(1)
X admits a holomorphic involution.
-
(2)
\(H^2=2\).
-
(3)
X is isomorphic to a double cover of \({\mathbb {P}}^2\) ramified above a smooth sextic.
Proof
The equivalence \((1)\iff (2)\) is [12, Corollary 15.2.12].
Lemma 3.1 shows that \((2)\implies (3)\).
Now assume (3), i.e., X is isomorphic to a double cover Y of \({\mathbb {P}}^2\) ramified above a sextic; denote by \(\phi :X \rightarrow Y\) an isomorphism between X and Y, and let \(\iota \) denote the double cover involution of Y described in Remark 3.2. Then \(\phi ^{-1}\circ \iota \circ \phi \) is a holomorphic involution, proving \((3)\implies (1)\). \(\square \)
The first example of a K3 surface defined over \({\mathbb {Q}}\) with Picard lattice isometric to \(\langle 2\rangle \) was given in [7]. Notice that this K3 surface, being defined over \({\mathbb {Q}}\), admits a holomorphic and a commuting anti-holomorphic involution, see Proposition 3.3 and Remark 1.3. Here we give another example.
Example 3.4
Consider the K3 surface \(X_2\subset {\mathbb {P}}(1,1,1,3)\) defined by \(w^2=f\) with
Let \(X_{2,p}\) denote the base change to an algebraic closure of the reduction of \(X_2\) modulo p. Using the Magma package for K3 surfaces of degree two, based on [8], we compute the rank and discriminant of the Picard lattice of \(X_{2,5}\) and \(X_{2,13}\). We obtain the rank of \({{\,\textrm{Pic}\,}}X_{2,5}\) and the rank of \({{\,\textrm{Pic}\,}}X_{2,13}\) both equal 2, and \(\det {{\,\textrm{Pic}\,}}X_{2,5}\not \equiv \det {{\,\textrm{Pic}\,}}X_{2,13} \bmod {\mathbb {Q}}^2\). From this we conclude that \(\rho (X_2)=1\), see [12, Remark 17.2.17]. Notice that \(X_2\) has a double cover involution and it is defined over \({\mathbb {Q}}\).
We now have all we need to prove Theorem 1.1.
Proof of Theorem 1.1
Let X be a projective K3 surface of degree 2d, Picard number \(\rho \) and admitting a holomorphic involution. Proposition 3.3 implies that if \(d=1\) then \(\rho \ge 1\), if \(d\ge 2\) then \(\rho \ge 2\). To complete the proof then we only need to provide examples realizing these lower bounds.
Example 3.4 provides one with \(d=1\) and Picard lattice isomorphic to \(\langle 2\rangle \).
In [17], Kondō shows that the elliptic K3 surface
has Picard lattice isomorphic to U and automorphism group isomorphic to \({\mathbb {Z}}/66{\mathbb {Z}}\), hence it admits an involution. We can choose generators e, f of \(U=[0\; 1\; 0]\) such that \(e^2=f^2=0\) and \(e.f=1\). Then the only two \(-2\)-classes in U are \(\pm (e-f)\). Assume \(O=(e-f)\) is effective. Hence O is the only effective \(-2\)-curve of S, that is, the section of the fibration. The positive cone of X is given by divisors \(xe+yf\) such that \(xy>0\). Hence the ample cone is given by divisors \(D=xe+yf\) such that \(xy>0\) and \(D.(e-f)>0\). As \(D.(e-f)=-x+y\), we obtain that D is ample if and only if \(y>x>0\). From this it follows that for every \(d>1\) the divisor \(e+df\) is ample and of degree d, showing that \(X_{66}\) realizes the minimum \(\rho =2\) for every \(d>1\).
We conclude by noticing that both examples are defined over \({\mathbb {Q}}\). \(\square \)
Remark 3.5
Let \({\mathcal {H}}_{p,2d}:=\{ (X,H,\alpha ) \}\) denote the set of complex polarized K3 surfaces (X, H) such that \(H^2=2d>0\) and X admits an automorphism \(\alpha \) of prime order p. If one defines
then Theorem 1.1 says that
4 Quartics with a node
In this section, we will see how a nodal quartic surface can be used to produce an example of a K3 surface defined over \({\mathbb {Q}}\), with degree 2d and Picard number 2 which admits a non-symplectic involution, for infinitely many values of d.
Let \(X\subset {\mathbb {P}}^3\) be a quartic surface with a single node, i.e., an \(A_1\)-singularity, and no other singularities. Then a smooth model S of X can be obtained by blowing up this node. This surface S contains at least two prime divisors: the pullback H of a hyperplane of X, and the exceptional divisor E over the node of X. The exceptional divisor is a smooth rational curve, and so \(E^2=-2\). As the hyperplane can be assumed not to contain the node, we have that \(H^2=4\) and \(H.E=0\). This means that \({{\,\textrm{Pic}\,}}S\) contains the lattice \(\langle H, E\rangle \cong [4 \; 0\; {-}2]\). If \(\rho (S)=2\), then this will be the complete Picard group of S.
Proposition 4.1
If \(\rho (S)=2\), then we have that \({{\,\textrm{Pic}\,}}S=\langle H,E\rangle \cong [4 \; 0\; {-}2]\). Moreover,
and for the induced involution \(\iota ^*\) on \({{\,\textrm{Pic}\,}}S\), we have \(\iota ^*(H)=3H-4E\) and \(\iota ^*(E)=2H-3E\).
Proof
The discriminant of \([4 \; 0\; {-}2]\) is \(-8=-2^3\). As the discriminant of a sublattice of rank 2 can only differ by a square, if \(\langle H,E\rangle \subsetneqq {{\,\textrm{Pic}\,}}S\), then \(\det ({{\,\textrm{Pic}\,}}S) =-2\). It is immediate to see that there are no even lattices of rank 2 and discriminant \(-2\), and so we deduce that \({{\,\textrm{Pic}\,}}S=\langle H,E\rangle \cong [4 \; 0\; {-}2]\), proving the first statement.
The automorphism group of a K3 surface with such Picard lattice has been calculated and is isomorphic to \({\mathbb {Z}}/2{\mathbb {Z}}\), see Bini [3, Theorem 1 (ii) and Example 2], where he also proves the statement about \(\iota ^*\). \(\square \)
In Remark 4.2 we give a geometric description of how a non-trivial involution on S is induced by the node on the quartic X.
Remark 4.2
Let O denote the node on X. A non-trivial involution on S is induced by a non-trivial birational involution on X, which can easily be constructed. Without loss of generality, we assume that \(O=(0:0:0:1)\). Hence, X is defined by an equation of the form
where \(f_i\) is a homogeneous polynomial in x, y, z of degree i. Consider the projection
The map \(\pi \) is undefined only at O, the pre-image of \((x:y:z)\in {\mathbb {P}}^2\) is
showing that \(\pi \) is generically 2-to-1 and that the branch locus \(B\subset {\mathbb {P}}^2\) is the sextic curve given by
Generically B will be smooth and of genus 10. The double cover involution is then the map \({{\tilde{\iota }}}:X\dashrightarrow X\) defined by
Note that \({{\tilde{\iota }}}\) is undefined along \(D:=X\cap \{ f_2 =0\}\). After blowing up the node O, one can extend \({{\tilde{\iota }}}\) to an involution \(\iota :S\rightarrow S\) by swapping D and the exceptional divisor E. This construction shows that \(\pi :S \rightarrow {\mathbb {P}}^2\) is a double cover ramified above the sextic curve B and that \(\iota :S\rightarrow S\) is the associated double cover involution.
In [3, Example 2], G. Bini shows that a K3 surface with Picard lattice isometric to \([4\; 0\; -2]\) can always be realized as in the construction above.
Yet another way to see that X doubly covers \({\mathbb {P}}^2\) consists in considering the set \({\mathcal {L}}\) of lines of \({\mathbb {P}}^3\) passing through O. Any line \(\ell \) in \({\mathcal {L}}\) intersects X in O with multiplicity (at least) 2, as O is a node for X. As X has degree 4, this means that \(\ell \) intersects X in two other points. In particular, given a point \(P\in X\), one can always consider the line \(\ell _P\in {\mathcal {L}}\) passing through P and O. As \({\mathcal {L}}\) is isomorphic to \({\mathbb {P}}^2\), the map
gives a map that is generically 2-to-1. After blowing up O, this map extends to a double cover \(S\rightarrow {\mathbb {P}}^2\) as above.
In the remainder, we suppose that \(\rho (S)=2\). We will prove that S has a polarization of degree 2d for d such that 2 is a quadratic residue \(\bmod \, d\). To show this, we will use the following lemma.
Lemma 4.3
Let S be as above with \({{\,\textrm{Pic}\,}}S=\langle H,E\rangle \). The ample cone of S is given by the set
Proof
By hypothesis S has Picard number 2, so we know that there are at most two \(-2\)-curves, see Sect. 2.4. From Proposition 4.1 we know that on S there are exactly two \(-2\) curves, and their classes are E and \(2H-3E=:N\).
Set \(D:=xH-yE\in {{\,\textrm{Pic}\,}}S\otimes {\mathbb {R}}\). By the discussion in Sect. 2.4 it follows that D is ample if and only if \(D.E>0\) and \(D.N>0\). In particular, if D is ample, we must have \((xH-yE). E > 0\), from which it follows that \(y>0\). This gives the first boundary. For the other boundary, we now deduce similarly that \(0<(xH-yE).(2H-3E)=8x-6y\), which gives that \(y<\frac{4}{3}x\), completing the proof. \(\square \)
Proposition 4.4
Let S be as above with \({{\,\textrm{Pic}\,}}S=\langle H,E\rangle \). Let \(d>2\) be an integer such that 2 is a quadratic residue \(\bmod \, d\). Then there is an ample class \(D\in {{\,\textrm{Pic}\,}}S\) such that \(D^2=2d\) with D primitive.
Proof
By Lemma 4.3 the surface S admits a primitive ample 2d-class D if and only if the Pell’s equation
admits a solution \((x_0,y_0)\) with \(\gcd (x_0,y_0)=1\), \(x_0>0\) and \(0<y_0<\frac{4}{3}x_0\).
Already in 1868, Lagrange showed that the problem of determining the existence of solutions for the equation \(x^2-Dy^2=m\) can be reduced to determining the existence of solutions for the equation \(x^2-Dy^2=m'\), with \(|m'|<\sqrt{D}\). See Shockley [32, Theorem 12.10.25] for a modern formulation and proof of Lagrange’s result.
This means that (6) can be reduced to the equation
for some non-zero m with \(|m|<\sqrt{2}\). In particular, we have that (6) has a primitive solution if and only if (7) does. As \(\sqrt{2}<2\), it follows that \(m=\pm 1\). Both the equations \(y^2-2x^2=\pm 1\) admit solutions (in fact, infinitely many), and hence so does (6).
Let \((x_1,y_1)\) be a positive primitive solution of (6), that is, \(x_1>0, y_1>0,\) and \(\gcd (x_1,y_1)=1\). Set \(D_1:=x_1H-y_1E\in {{\,\textrm{Pic}\,}}S\). Then \(D_1\) lies in the positive cone \({\mathcal {P}}^+\) of \({{\,\textrm{Pic}\,}}S\). Moreover, as \(\gcd (x_1,y_1)=1\), the class \(D_1\) is primitive. As the Weyl group of \({{\,\textrm{Pic}\,}}S\) acts transitively on the set of chambers of \({\mathcal {P}}^+\), there is an isometry of \({{\,\textrm{Pic}\,}}S\) sending \(D_1\) to a class \(D_0=x_0H-y_0E\) in the closure of the ample chamber \({\mathcal {A}}\).
Notice that, as \(\gcd (x_0,y_0)=\gcd (x_1,y_1)=1\), we have that either \(x_0,y_0\ne 0\) or if one of the two is equal to 0, the other one must be equal to \(\pm 1\). Assume \(x_0=0\), then \(y_0=\pm 1\) and hence \(D_0^2=-2\), which contradicts the fact that \(D_0\) lies in the positive cone and hence \(D_0>0\); if \(y_0=0\) then \(x_0=\pm 1\) and \(d=2\), contradicting the hypothesis \(d>2\). So we have shown that both \(x_0\) and \(y_0\) are nonzero. In order to show that \(D_0\) lies inside \({\mathcal {A}}\) and not on its border, we are left to show that \(y_0\) is strictly smaller than \(\frac{4}{3}x_0\). By contradiction, assume \(y_0=\frac{4}{3}x_0\). As \(x_0,y_0\in {\mathbb {N}}\) and \(\gcd (x_0,y_0)=1\), the only possibility is \(x_0=3,y_0=4\), from which it follows that \(d=2\), again contradicting the assumption \(d>2\).
We can then conclude that \(D_0\) is a primitive class inside \({\mathcal {A}}\). That is, \(D_0\) is ample and \(D_0^2=D_1^2=2d\), proving the statement. \(\square \)
Remark 4.5
By considering the equation in (6) modulo d, we see that a necessary condition to have solutions is that 2 is a quadratic residue modulo d. This means that S has an ample class of degree 2d only if d has that property.
Remark 4.6
We list the 19 values of \(2< d\le 100\) such that 2 is a quadratic residue modulo d: 7, 14, 17, 23, 31, 34, 41, 46, 47, 49, 62, 71, 73, 79, 82, 89, 94, 97, 98.
To finish this section, we give an example of a nodal quartic that is defined over \({\mathbb {Q}}\) for which the smooth model has Picard number 2.
Example 4.7
Let \(X'\subseteq {\mathbb {P}}^3\) be the nodal quartic surface defined as in (3) with
Then \(X'\) is birationally equivalent to the double cover \(S'\) of \({\mathbb {P}}^2\) ramified above the sextic \(B'\) defined by (5). By looking at the reduction of \(S'\) at 5, we see that \(\rho (S')=2\). Hence, \({{\,\textrm{Pic}\,}}S'\cong [4 \; 0 \; {-}2]\). As \(X'\) is defined over \({\mathbb {Q}}\), we conclude that \(S'\) is a nodal quartic surface admitting a holomorphic as well as an anti-holomorphic involution commuting with each other.
5 Smooth quartics with Picard number equal to 2
In this section, we study the Picard number of quartic K3 surfaces admitting a holomorphic involution. From Proposition 3.3 it follows that such a K3 surface has Picard number at least 2.
The following result gives a criterion for the existence of quartic K3 surfaces containing a curve of degree e and genus g.
Theorem 5.1
There exists a smooth quartic \(X\subset {\mathbb {P}}^3\) containing a smooth curve C of degree e and genus g if and only if
-
(1)
\(g=e^2/8+1\) or
-
(2)
\(g<e^2/8\) and \((e,g)\ne (5,3)\).
In this case, X can be chosen such that \({{\,\textrm{Pic}\,}}X\) is generated by C and the hyperplane section.
Proof
The first statement is due to Mori [20, Theorem 1], the second to Knutsen [16, Theorem 1]. \(\square \)
We use this theorem to show the existence of smooth quartics with Picard number two admitting a holomorphic involution.
Proposition 5.2
Let \(e>4\) and let \(X\subset {\mathbb {P}}^3\) be a smooth quartic containing a smooth curve C of genus 2 and degree e such that \({{\,\textrm{Pic}\,}}X=\langle H,C\rangle \), where H denotes the hyperplane section. Then C is ample and X admits a holomorphic involution induced by the double cover model associated to the linear system |C|.
Proof
We show that C is ample. We have \(C^2=2g-2=2>0\) from the adjunction formula, hence it is in the positive cone. So we are left to check that C has positive intersection with all \(-2\)-curves. To this end, let D be a \(-2\)-curve and write \(D=aH+bC\) with \(a,b\in {\mathbb {Z}}\). Then we have
As D and C are both effective, we know that \(C.D\ge 0\). Assume \(0=C.D=ea+2b\) and hence \(b=-\frac{ea}{2}\). Plugging this equality into (8), we obtain the equation \(a^2(-8+e^2)=4\), which has no solutions for \(e>4\). This shows that \(C.D \ne 0\), so we deduce that \(C.D >0\). Therefore, C must be ample.
As C is ample and of genus 2, the linear system |C| induces a model of X as double cover of \({\mathbb {P}}^2\) ramified above a sextic, see Lemma 3.1 or [12, Remark 2.2.4]. This means that X has a double cover structure. The double cover involution on X is holomorphic, proving the statement. \(\square \)
After proving the existence of smooth quartics with Picard number equal to 2 and a holomorphic involution, one might ask about the nature of this involution. Let H be the hyperplane section of X. Then |H| induces an embedding \(\phi _H:X\hookrightarrow {\mathbb {P}}^3\). The involution \(\iota \) induces an isometry on \({{\,\textrm{Pic}\,}}X\) preserving the ample cone. This means that \(\iota ^*H\) is still ample and still has self-intersection 4, but it does not need to be equivalent to H. It turns out that \(\iota ^*H\) is linearly equivalent to H if and only if \(\iota \) is the restriction of some involution of \({\mathbb {P}}^3\).
Lemma 5.3
Let X be a smooth quartic in \({\mathbb {P}}^3\) and let \(\iota :X \rightarrow X\) be a holomorphic involution. Let H be a hyperplane section of the smooth quartic X. Then \(\iota ^*H\) and H are linearly equivalent if and only if there exists an involution \({\tilde{\iota }}:{\mathbb {P}}^3 \rightarrow {\mathbb {P}}^3\) such that \({\tilde{\iota }}|_X =\iota \).
Proof
If \(\iota \) comes from a projective involution \({{\tilde{\iota }}}\), then it preserves the hyperplane section class, proving the implication from right to left.
Now suppose that \(\iota ^*H\) and H are linearly equivalent. Let |H| denote the complete linear system
This linear system gets the structure of a projective space by the bijection
The map associated to the linear system is then given by the map
The map \(\iota \) induces a linear map
This map is an isomorphism and induces a projective linear isomorphism
The projective dual of this map \((\iota ^*)^\vee :|\iota ^* H|^\vee \rightarrow |H|^\vee \) is given by sending a hyperplane \(U\subset |H|\) to the hyperplane \((\iota ^*)^{-1}(U)\). One can check that this gives the commutative diagram below.
Now recall that, by assumption, \(\iota ^*H\) and H are linearly equivalent, which means that we can identify \(|\iota ^*H|=|H|\). We can choose an isomorphism \(\chi :{\mathbb {P}}^3\xrightarrow {\sim } {|H|}^\vee \) such that the composition \(\chi ^{-1}\circ \varphi _{|H|}:X\rightarrow {\mathbb {P}}^3\) is the inclusion \(X\subset {\mathbb {P}}^3\). Now define \({\tilde{\iota }}:=\chi ^{-1}\circ (\iota ^*)^\vee \circ \chi \). This gives the following commutative diagram.
From the diagram we deduce that \({\tilde{\iota }}|_X=\iota \). Furthermore, one can deduce that
which completes the proof. \(\square \)
This leads to the question of whether there is a smooth quartic surface \(X\subset {\mathbb {P}}^3\) such that \(\rho (X)=2\) and such that it admits a linear involution, i.e., an involution \(\iota :{\mathbb {P}}^3\rightarrow {\mathbb {P}}^3\) with \(\iota (X) =X\). In the remainder of this section we show that such a quartic does not exist.
Let \(\iota :{\mathbb {P}}^3\rightarrow {\mathbb {P}}^3\) be a linear involution. Then \(\iota \) can be represented as (the class of) a matrix in \({{\,\textrm{PGL}\,}}_4 ({\mathbb {C}})\), say [I]. As \(\iota \) is an involution, we may assume that I is of the form
Let (m, n) denote the signature of I. As \(\iota \) is not the identity, we have \(n\ge 1\). Also, as I is only determined up to scalars, the case (m, n) is equivalent to the case (n, m). We are then left with only two cases: \({{\,\textrm{sign}\,}}I = (3,1)\) and \({{\,\textrm{sign}\,}}I = (2,2)\).
Remark 5.4
From [12, Lemma 15.1.4] it follows that if \(\iota \) is symplectic, then \({{\,\textrm{sign}\,}}I = (2,2)\).
Proposition 5.5
Let \(X\subset {\mathbb {P}}^3\) be a smooth quartic surface and suppose there is a linear involution \(\iota :{\mathbb {P}}^3\rightarrow {\mathbb {P}}^3\) such that \(\iota (X)=X\) and \(\iota |_X\ne \textrm{id}_X\). Then \(\rho (X) \ge 8\).
Proof
As above, let \(\iota \) be represented by a matrix I such that either \({{\,\textrm{sign}\,}}I\) equals (3, 1) or (2, 2).
First assume that \({{\,\textrm{sign}\,}}I = (3,1)\). Then, by Remark 5.4, we know that \(\iota \) is non-symplectic. Choose the coordinates of \({\mathbb {P}}^3\) such that (1, 0, 0, 0) is a basis of the eigenspace associated to the eigenvalue \(-1\) of I. Then X can be defined by a polynomial f of the form
with \(f_i=f_i(x_1,x_2,x_3)\) homogeneous polynomials of degree i. Then the fixed locus of \(\iota \) in \({\mathbb {P}}^3\) is
Notice that \((1:0:0:0)\notin X\). So \({{\,\textrm{Fix}\,}}\iota \cap X = \{f=x_0=0\}\) is the hyperplane section H of X cut by the plane \(\{x_0=0\}\). Then the irreducible components of H can be
-
(1)
a quartic curve, or
-
(2)
a cubic curve and a line, or
-
(3)
two conics, or
-
(4)
a conic and two lines, or
-
(5)
four lines.
By Theorem 2.6, it follows that \(\rho (X)\ge 8,11,12,13,14\), respectively.
Now assume that \({{\,\textrm{sign}\,}}I =(2,2)\). If \(\iota \) is symplectic, then \(\rho (X)\ge 9\) by Theorem 2.6. So assume that \(\iota \) is non-symplectic. Choose \(x_0,x_1,x_2,x_3\) to be homogeneous coordinates of \({\mathbb {P}}^3\) such that (1, 0, 0, 0) and (0, 1, 0, 0) form a basis of the eigenspace associated to the eigenvalue \(-1\) for I. Then the fixed locus of \(\iota \) in \({\mathbb {P}}^3\) is the union of two disjoint lines, namely the lines \(\{x_0=x_1=0\}\) and \(\{x_2=x_3=0\}\). Two disjoint lines intersect X in
-
(1)
eight points,
-
(2)
four points and one line (i.e., one of them is contained in X), or
-
(3)
two disjoint lines (i.e., they are both contained in X).
By Theorem 2.6, we know that only the last case is possible and it implies \(\rho (X)\ge 12\).
The statement follows. \(\square \)
From the above we deduce that in the case of Proposition 5.2, we have that \(\iota ^*H\ne H\). In the next lemma we show what \(\iota ^*H\) will be in this case. This will be useful in the example in the next section.
Lemma 5.6
Let X be a quartic surface with an involution \(\iota :X\rightarrow X\) and \({{\,\textrm{Pic}\,}}X=\langle H,C\rangle \) as in Proposition 5.2. Then the equalities \(\iota ^*C=C\) and \(\iota ^* H=-H+eC\) hold.
Proof
As C has genus 2 we get \(C^2=2\). Then C induces the involution of \({{\,\textrm{Pic}\,}}X\) defined by
It is easy to see that this map is indeed an isometry of order 2 that fixes C. As \({{\,\textrm{rk}\,}}{{\,\textrm{Pic}\,}}X=2\), looking at the action of \(\iota _C\) on \(\langle C \rangle \) and \(C^\perp \) one can easily check that this is the unique isometry of order 2 that fixes C. The double cover involution \(\iota \) given by the linear system |C| induces an isometry \(\iota ^*\) of order two on \({{\,\textrm{Pic}\,}}X\) which preserves the class of C, hence \(\iota ^*=\iota _C\). The statements then follow immediately, recalling that \(e=C.H\) is the degree of C by definition. \(\square \)
6 A quartic with Picard number 2 and polarizations of degree 2 and 8
In this section, we give an example of a smooth quartic surface in \({\mathbb {P}}^3\) defined over \({\mathbb {Q}}\) with Picard number equal to 2 admitting an involution. We also show that this surface is isomorphic to an intersection of three quadrics in \({\mathbb {P}}^5\). Computations pertaining to this example can be found in the Magma file ExampleQuartic.
Definition 6.1
Define \(X_4\subset {\mathbb {P}}^3(x,y,z,w)\) to be the smooth quartic surface defined by
Lemma 6.2
The surface \(X_4\) contains the following curves:
The curve C has degree 5 and genus 2; the curve D is a twisted cubic, hence it has degree 3 and genus 0.
Proof
This follows from direct computations in Magma. \(\square \)
Proposition 6.3
The Picard lattice \({{\,\textrm{Pic}\,}}X_{4,{\mathbb {C}}}\), is generated by the class of C and the hyperplane section and is isometric to the lattice \([4\; 5\; 2]\). Moreover, \({{\,\textrm{Pic}\,}}X_{4,{\mathbb {C}}}\) equals \({{\,\textrm{Pic}\,}}X_4\).
Proof
Let H be the hyperplane section class and, by slight abuse of notation, let C also denote the class of the curve C inside \({{\,\textrm{Pic}\,}}X_4\). The classes \(H,C\in {{\,\textrm{Pic}\,}}X_{4,{\mathbb {C}}}\) generate a sublattice isometric to \([4\; 5\; 2]\), showing that the Picard number of \(X_4\) is at least 2. By looking at the reduction of \(X_4\) modulo 2, a verification with Magma gives that the Picard number of \(X_4\) is as most 2, proving that it equals 2. As \(\det [4\; 5\; 2] = -17\) is square-free and H and C are defined over \({\mathbb {Q}}\), we conclude that \({{\,\textrm{Pic}\,}}X_4={{\,\textrm{Pic}\,}}X_{4,{\mathbb {C}}}\cong [4\; 5\; 2]\). \(\square \)
Corollary 6.4
The surface \(X_4\) is a realization of the surface in Proposition 5.2 with \(e=5\). In particular, the curve C is ample and \(X_4\) admits a holomorphic involution \(\iota :X_4\rightarrow X_4\) such that \(\iota ^*(C)=C\) and \(\iota ^*(H)=-H+5C\) where H denotes the hyperplane section class.
Proof
This corollary follows from combining Proposition 6.3 with Proposition 5.2 and Lemma 5.6. \(\square \)
Remark 6.5
Let us explain how to produce examples such as \(X_4\) above, i.e. quartic surfaces with Picard lattice isometric to \([4\; 5\; 2]\).
-
(1)
Construct curves C and D in \(Q\subset {\mathbb {P}}^3\), where Q is the quadric defined by \(xy=wz\), with the following properties.
-
(a)
On \({\mathbb {P}}^1\times {\mathbb {P}}^1\), define coordinates \(x_0,x_1\) and \(y_0,y_1\). Define the curve \(D'\subset {\mathbb {P}}^1\times {\mathbb {P}}^1\) of bidegree (2, 1) by \(g:=x_0^2y_1-x_1^2y_0\). This is a curve of genus 0.
-
(b)
Define another random smooth integral curve \(C'\subset {\mathbb {P}}^1\times {\mathbb {P}}^1\) by \(f=0\), where f is some polynomial of bidegree (2, 3). This is a curve of genus 2.
-
(c)
The union \(C'\cup D'\) will be defined by an equation of bidegree (4, 4).
-
(d)
The image C of \(C'\) under the Segre embedding \({\mathbb {P}}^1\times {\mathbb {P}}^1 \rightarrow Q \subset {\mathbb {P}}^3\) given by
$$\begin{aligned} ((x_0:x_1),(y_0:y_1))\mapsto (x_0y_0:x_0y_1:x_1y_0:x_1y_1) \end{aligned}$$has degree 5 and genus 2. Analogously, the image D of \(D'\) under the Segre embedding is a twisted cubic.
-
(a)
-
(2)
The union of the two curves \(C'\cup D'\) is defined by an equation of bidegree (4,4) and so the image of this union in Q is given by the zero set of a quartic polynomial h. Hence, h defines a quartic hypersurface \(X\subset {\mathbb {P}}^3\) containing both curves C and D.
-
(3)
The holomorphic involution on X is induced by the double cover model given by the linear system |C|.
-
(4)
It remains to check that the surface X is smooth and that the Picard number equals 2. Generically this will indeed be the case.
The file ConstructionQuartic at https://github.com/danielplatt/quartic-k3-with-involution can be used to randomly generate candidates for f and check if the resulting quartic K3 surface has Picard number equal to 2. This generates many examples of quartic K3 surfaces with commuting holomorphic and anti-holomorphic involutions and Picard number equal to 2.
In our case, we got the curve \(C'\subset {\mathbb {P}}^1\times {\mathbb {P}}^1\) defined by the equation \(f=0\), where
One can check that the image of \(C'\cup D'\) under the Segre embedding to \({\mathbb {P}}^3\) is given by the equations \(xw=yz\) and \(-xy^3 + xz^3 + z^4 - x^3w - x^2zw + x^2w^2 - y^2w^2 + zw^3=0,\) hence returning the defining equation of \(X_4\), cf. Definition 6.1.
The anonymous referee noted that instead of the construction above, one can also construct the quartic with the curves as follows. One can start with a smooth quartic defined by an equation of the form
where \(q_1,q_2,q_3\) are homogeneous quadratic polynomials. The quartic contains D by definition, and we can find a curve C in the other component of the hypersurface defined by \(xw=yz\) (or \(xy=z^2\) or \(y^2=zw\)). Then instead of checking that X is smooth, one needs to verify that the curve C is irreducible and smooth. We added an alternative code ConstructionQuarticAlt which follows this construction.
Remark 6.6
From the construction in Remark 6.5, it follows that \(2H\sim C+D\). This means that \(5C-H\sim 9H-5D\). By Corollary 6.4 the hyperplane section class H gets sent to the class of \(9H-5D\). This means that we can choose an isomorphism \(|9H-5D|^\vee \xrightarrow {\sim }{\mathbb {P}}^3\) in such a way that the composition \(X\rightarrow |9H-5D|^\vee \xrightarrow {\sim }{\mathbb {P}}^3\) equals the composition \(X\xrightarrow {\iota } X\subset {\mathbb {P}}^3\).
Next we take the curve \(w=0\) on \(X_4\) as a representative for H. Observe that with this choice the vector space \(H^0(X,{\mathcal {O}}_{X_4}(9H-5D))\) consists of rational functions \(\frac{f}{w^9}\), where f is a polynomial of degree 9 vanishing at least five times along D. We deduce that the morphism \(\iota \) can be given by polynomials of degree 9. Using Magma, we find that the involution \(\iota :X\rightarrow X\) is given by
where
The surface \(X_4\) also admits other models, given by the linear systems of ample divisors. For example:
-
(1)
as C has genus 2, the linear system |C| returns a model of \(X_4\) as double cover of \({\mathbb {P}}^2\) ramified along a smooth sextic, call it \(X_2'\);
-
(2)
\(|3H-C|\) returns a model of \(X_4\) as intersection of three quadrics in \({\mathbb {P}}^5\), call it \(X_8\).
Both examples are studied in the remainder of the section.
6.1 Double cover.
As the curve C has genus 2, the space of sections \(H^0(X_4,{\mathcal {O}}_{X_4}(C))\) has dimension 3. A basis of this space is explicitly computed in the provided Magma file, obtaining for example the basis
Then C induces the double cover map \(\phi _C:X_4\rightarrow {\mathbb {P}}^2\) sending
Giving \({\mathbb {P}}^2\) the coordinates s, t, u, the branch locus B of \(\phi _C\) is given by \(f=0\) with
In particular, the model \(X_2'\) in \({\mathbb {P}}(1,1,1,3)\) with coordinates \(x',y',z',w'\) is given by the equation \(w'^2=f(x',y',z')\). In this model, \(\iota \) is represented by the double cover involution
Remark 6.7
An isomorphism \(\phi :X_4\rightarrow X_2'\) between the models \(X_4\) and \(X_2'\) can be found in the Magma file ExampleQuartic. In the same file, we give an explicit formula for this isomorphism and its inverse. Moreover, the composition of \(\phi ^{-1}\circ \iota _2\circ \phi \) exactly gives a formula for the involution \(\iota :X_4\rightarrow X_4\), which agrees with the formula we found in Remark 6.6.
6.2 Intersection of three quadrics.
Set \(K:=3H-C\). Note that \(K^2=8\). Next, we show that it is ample by showing that it has positive intersection with the \(-2\)-curves on \(X_4\). The two \(-2\)-curves on \(X_4\) are given by \(D\sim 2H-C\) and \(\iota ^*(D)\sim \iota ^*(2H-C)=-2H+9C\). A direct verification shows that \(K.D=1\) and \(K.\iota ^*(D)=103\), from which we deduce that K is ample. In particular, this means that K gives a polarization of \(X_4\) of degree 8.
In the provided Magma file, we compute a basis of \(H^0(X_4,K)\) inducing an embedding \(\phi _K:X_4\hookrightarrow {\mathbb {P}}^5\), where the image is the surface \(X_8\subseteq {\mathbb {P}}^5\) defined by the following equations:
Remark 6.8
The map \(\phi _K\) straightens the twisted cubic D to the line in \({\mathbb {P}}^5\) defined by the equations \(x_1=x_2=x_4=x_5=0\).
The lattice \([4\; 5\; 2]\) does not represent 6, i.e., there is no element with square 6: if 6 was represented, then there would be some integer solutions \(x,y\in {\mathbb {Z}}\) with \(4x^2+10xy+2y^2=6\); modulo 3 the only solution of this equation is the trivial solution \(x=y=0\), which would mean that 3 divides both x and y, but then \(9\mid 6\), giving a contradiction. It follows that X has no polarization of degree 6 and in particular it cannot be embedded into \({\mathbb {P}}^4\) as an intersection of a quadric and a cubic.
In fact, finding a K3 surface of degree 4 with a curve of genus 2 and a divisor with self-intersection 6 is less trivial than one might think. Let H, C denote the generators of the lattice \([4\; d\; 2]\), with \(H^2=4\) and \(C^2=2\). Then the smallest \(d\ge 6\) for which there exists a divisor \(K=aH+bC\) with \(|a|,|b|\le 1000\) and \(K^2=6\) is \(d=9\), for which we have: \((a,b)=(\pm 22, \mp 5), (\pm 22, \mp 193)\). Theorem 5.1 implies the existence of a smooth quartic X with Picard lattice isomorphic to \([4\; 9\; 2]\) generated by curves H, C.
7 An example of a K3 surface of degree 6 with Picard number 2
In this section, we give an example of an intersection of a quadric and a cubic in \({\mathbb {P}}^4\) defined over \({\mathbb {Q}}\) having Picard number 2 and admitting a holomorphic involution. Computations on this example can be found in the Magma file ExampleK3degree6.
Definition 7.1
Let \(X_6\subset {\mathbb {P}}^4\) be the surface defined by \(l_1g_1+l_2g_2+l_3g_3=0\) and \(x_4^2=f\), where
We define \(C_6\subset {\mathbb {P}}^4\) to be the curve defined by \(x_4^2=f\) and \(g_1=g_2=g_3=0\).
Lemma 7.2
The surface \(X_6\) is a K3 surface of degree 6 and contains the smooth curve \(C_6\). This curve has degree 6 and genus 2.
Proof
It is clear from the equations that \(X_6\) contains the curve \(C_6\). In order to prove that \(X_6\) is a K3 surface it is enough to check that it is smooth. This and the other statements are checked by direct computations, which can be found in the Magma file. \(\square \)
Proposition 7.3
The Picard lattice \({{\,\textrm{Pic}\,}}X_{6,{\mathbb {C}}}\) equals \({{\,\textrm{Pic}\,}}X_6\) and is isometric to \([6\; 6\; 2]\).
Proof
By looking at the reduction modulo 7 of this model, we obtain that the Picard number of \(X_6\) is at most 2. As the hyperplane section H and the curve \(C_6\) generate a lattice isometric to \([6\; 6\; 2]\), we conclude that \(\rho (X_6)=2\). The discriminant of this lattice is \(-24=-2^3\cdot 3\). If an even lattice \([2a \; b \; 2c]\) would have discriminant \(4ac-b^2=-6\), then \(b^2\equiv 2 \bmod {4}\), which is impossible. We deduce that there are no even lattices of rank 2 and discriminant \(-6\), hence \({{\,\textrm{Pic}\,}}X_{6,{\mathbb {C}}}\cong [6\; 6\; 2]\). As both H and \(C_6\) are defined over \({\mathbb {Q}}\), we also conclude that \({{\,\textrm{Pic}\,}}X_{6,{\mathbb {C}}}={{\,\textrm{Pic}\,}}X_6\). \(\square \)
Lemma 7.4
The lattice \([6\; 6\; 2]\) does not represent any d with \(d\equiv 4 \bmod 6\).
Proof
Write x, y for a basis of the lattice with \(x^2=6\), \(y^2=2\) and \(xy=6\). Then for each element \(z=ax+by\) we have that \(z^2=6a^2+12ab+2b^2\). By looking modulo 6, we deduce that \(z^2\equiv 2b^2 \bmod 6\) and hence there are no elements for which \(z^2\equiv 4\bmod 6\). \(\square \)
Corollary 7.5
The surface \(X_6\) admits a holomorphic involution.
Proof
From Lemma 7.4 it follows that \({{\,\textrm{Pic}\,}}X_{6,{\mathbb {C}}}\) does not represent \(-2\) and hence does not contain any smooth rational curve. It follows that the ample cone equals the positive cone. In particular, the curve \(C_6\) is ample. Because \(C_6\) has genus 2, it follows from Remark 3.2 that \(X_6\) admits a holomorphic involution. \(\square \)
Remark 7.6
As the lattice \([6\; 6\; 2]\) does not represent 4, the surface \(X_6\) does not have a model as a quartic in \({\mathbb {P}}^3\).
Remark 7.7
As in Remark 6.5, we explain how to find such a surface.
-
(1)
First, we define a surface \(X_6\) over \({\mathbb {Q}}\) as in Definition 7.1, for arbitrary homogeneous polynomials \(l_1,l_2,l_3\in {\mathbb {Z}}[x_0,x_1,x_2,x_3,x_4]\) of degree 1 and \(f\in {\mathbb {Z}}[x_0,x_1,x_2,x_3]\) of degree 2.
-
(2)
Next, we check if the surface \(X_6\) and the curve \(C_6\) defined by \(g_1=g_2=g_3=0\) and \(x_4^2=f\) are smooth. Note that \(C_6\) is contained in \(X_6\). If \(C_6\) is smooth, then it is by construction a double cover of a twisted cubic curve in \({\mathbb {P}}^3\), ramified at 6 points and hence it has genus 2 and degree 6.
-
(3)
The holomorphic involution on \(X_6\) is induced by the double cover model given by the linear system \(|C_6|\).
-
(4)
Again it remains to check that the Picard number equals 2, which is true for generic choices of \(l_1, l_2, l_3\), and f.
Similarly as in the case with the quartic, the file ConstructionK3Degree6 at https://github.com/danielplatt/quartic-k3-with-involution can be used to randomly generate more examples of such surfaces.
The above construction was brought to our attention by the anonymous referee. In an earlier version, we used another construction, which used the Veronese embedding to embed a hyperelliptic curve of genus 2 in \({\mathbb {P}}^4\). Then we looked for K3 surfaces in \({\mathbb {P}}^4\) that contained this curve. This construction can still be found in the repository in the file ConstructionK3Degree6Alt.
8 K3 surfaces over the real numbers
In [21], using the surjectivity of the period map for K3 surfaces, Morrison shows that every even lattice of rank \(1\le r\le 10\) and signature \((1,r-1)\) can be realized as the Picard lattice of a K3 surface over \({\mathbb {C}}\). In this section, we study complex K3 surfaces that can be defined over \({\mathbb {R}}\), showing that Morrison’s result still holds if we replace \({\mathbb {C}}\) with \({\mathbb {R}}\). A similar construction was used in [28, Theorem 6.1], but there the Picard group of the resulting K3 surface was not considered. The moduli space of real K3 surfaces with a non-symplectic involution has been studied by Nikulin and Saito in [25] and [26], giving a classification of the connected components.
Suppose X is a complex K3 surface that can be defined over \({\mathbb {R}}\). Set \(G:={{\,\textrm{Gal}\,}}({\mathbb {C}}/{\mathbb {R}})=\{ \textrm{id}, \sigma \}\), where \(\sigma \) denotes complex conjugation. Then \(\sigma \) induces an anti-holomorphic map \(X\rightarrow X\) that we denote by the same symbol by abuse of notation. Furthermore, we get induced maps \(\sigma ^*\) on both the Picard group \({{\,\textrm{Pic}\,}}X\) and on the cohomology group \(H^2(X,{\mathbb {Z}})\), which defines a G-action on these groups.
The embedding \(c_1:{{\,\textrm{Pic}\,}}X\rightarrow H^2(X,{\mathbb {Z}})\) is not G-equivariant, because it is induced by the exponential sequence which is not a sequence of G-sheaves. By composing with \(-1\), we get the following commutative diagram, see [33, I.4.8-11].
Contrariwise, the following known result gives us a criterion to determine whether a complex K3 surface can be defined over \({\mathbb {R}}\).
Theorem 8.1
A complex (algebraic) K3 surface X can be defined over \({\mathbb {R}}\) if and only if there exists an involution \(\tau \) of \(H^2(X,{\mathbb {Z}})\) such that:
-
(1)
\(\tau \) is an isometry of \(H^2(X,{\mathbb {Z}})\);
-
(2)
the \({\mathbb {C}}\)-extension of \(\tau \) to \(H^2(X,{\mathbb {C}})\) swaps the Hodge structure, that is, \(\tau _{\mathbb {C}}(H^{p,q}(X))=H^{q,p}(X)\) for \(p+q=2\);
-
(3)
\(\tau _{\mathbb {R}}(c_1({\mathcal {A}}))=-c_1({\mathcal {A}})\);
-
(4)
\(\tau _{\mathbb {R}}(c_1({\mathcal {P}}^+))=-c_1({\mathcal {P}}^+)\).
Moreover, in this case a model \(X_0\) over \({\mathbb {R}}\) with \(X\cong X_0\times _{\mathbb {R}}{\mathbb {C}}\) can be chosen such that \(\tau \) corresponds to \(\sigma ^*\) where \(\sigma :X_0\times _{\mathbb {R}}{\mathbb {C}}\rightarrow X_0\times _{\mathbb {R}}{\mathbb {C}}\) is the map induced by conjugation on \({\mathbb {C}}\).
For a proof of this result see, for example, Silhol’s [33, Theorem VIII.1.6]. The above criterion allows us to prove the following result.
Proposition 8.2
Let N be a primitive sublattice of \(U^{\oplus 2} \oplus E_8(-1)^{\oplus 2}\) of rank r such that N has signature \((1,r-1)\). Then there exists a K3 surface X over \({\mathbb {R}}\) with \(X({\mathbb {R}})\ne \emptyset \) and \({{\,\textrm{Pic}\,}}X={{\,\textrm{Pic}\,}}X_{\mathbb {C}}\cong N\) as lattices.
Proof
Set \(\Lambda := U^{\oplus 2} \oplus E_8(-1)^{\oplus 2}\) and note \(\Lambda _{K3} = U \oplus \Lambda \). Let \(N^\perp \) be the orthogonal complement of N inside \(\Lambda \). The lattice \(\Lambda \) has signature (2, 18) and, by the assumption, N has signature \((1,r-1)\), so the lattice \(N^\perp \) has signature \((1,19-r)\). This means that we can pick an element \(w_-\in N^\perp \otimes {\mathbb {R}}\) such that \(w_-^2>0\). Moreover, if we choose \(w_-\) generic enough, then \(w_-. v\ne 0\) for all \(v\in N^\perp \setminus \{0\}\). Observe that U has signature (1, 1). Then, as above, we can pick an element \(w_+\in U\otimes {\mathbb {R}}\) such that \(w_+^2=w_-^2\) and \(w_+. v\ne 0\) for all \(v\in U {\setminus } \{0\}\). Notice that \(w_+.w_-=0\).
Now define \(w:=w_+ + iw_-\in (U \otimes {\mathbb {R}})\oplus i(\Lambda \otimes {\mathbb {R}})\subset \Lambda _{K3}\otimes {\mathbb {C}}\). Then
This means that w satisfies the Riemann conditions (1), and hence \(w\in \Omega \) is a period. By the surjectivity of the period map, see Sect. 2.5, there exists a complex (analytic) K3 surface Y with a marking \(\alpha \) such that \(\alpha (\omega _Y)=w\). Moreover, the Hodge structure of this K3 surface Y under this marking is given by \(H^2(Y,{\mathbb {C}})=\bigoplus _{p+q=2} H^{p,q}(Y)\), where \(H^{2,0}(Y)= \langle w\rangle \), \(H^{0,2}(Y)=\langle {{\overline{w}}}\rangle \) and \(H^{1,1}(Y)=\langle w_+,w_-\rangle ^\perp \).
By the Lefschetz theorem on (1, 1)-classes, [10, p.163], we have that \({\text {Im}}(c_1)= H^2(Y,{\mathbb {Z}})\cap H^{1,1}(Y)\). Under the map \(\alpha \), we can identify \(H^2(Y,{\mathbb {Z}})\) with \(\Lambda _{K3}\). With this identification we have that
By the injectivity of \(c_1\), we deduce that \({{\,\textrm{Pic}\,}}Y\) and N are isomorphic as lattices. Because there is a class \(d\in {{\,\textrm{Pic}\,}}Y\) with \(d^2>0\), it follows from [2, Theorem IV.6.2] that Y is projective and hence algebraic.
Next, define the involution \(\tau \) on \(H^2(Y,{\mathbb {Z}})=\Lambda _{K3}=U\oplus \Lambda \) by \(\textrm{id}\oplus -\textrm{id}\), i.e., it acts as the identity on U and as multiplication by \(-1\) on \(\Lambda \). We will verify that \(\tau \) satisfies all the conditions in Theorem 8.1. First of all, \(\tau \) clearly is an isometry. It sends w to \({{\overline{w}}}\), hence \(\tau _{\mathbb {C}}(H^{0,2}(Y))=H^{2,0}(Y)\), and vice versa. We also have that
Hence, the involution \(\tau \) satisfies condition (2). Because both \(c_1({\mathcal {A}})\) and \(c_1({\mathcal {P}}^+)\) are subsets of the lattice N and \(\tau \) acts as \(-1\) on \(N={\text {Im}}(c_1)\), conditions (3) and (4) are satisfied. From Theorem 8.1 it follows that there is a K3 surface X over \({\mathbb {R}}\) such that \(X\times _{\mathbb {R}}{\mathbb {C}}\cong Y\) and such that the action of G on \(H^2(X,{\mathbb {C}})\) is given by \(\tau \).
The next step is to show that \(X({\mathbb {R}})\ne \emptyset \). Recall that \(G:={{\,\textrm{Gal}\,}}({\mathbb {C}}/{\mathbb {R}})\). By [33, Proposition I.2.1], we have for the Euler characteristic \(\chi (X({\mathbb {R}}))\) that
where \(\dim H^2(X,{\mathbb {C}})^G\) denotes the G-invariant subspace of \(\dim H^2(X,{\mathbb {C}})\). In our case, we have that \(\dim H^0(X,{\mathbb {C}})^G=1\), because X is connected and the unique connected component is therefore preserved by G. Furthermore, \(H^2(X,{\mathbb {C}})^G=((U\oplus \Lambda )\otimes {\mathbb {C}}) ^G=U\otimes {\mathbb {C}}\) so it follows that \(\dim (H^2(X,{\mathbb {C}}))^G=2\). Lastly, we have that \(\dim H^4(X,{\mathbb {C}})^G=1\), because complex conjugation is orientation preserving in even complex dimension. We thus get
Because the Euler characteristic is non-zero, we deduce that \(X({\mathbb {R}})\ne \emptyset \).
Now to conclude the proof that \({{\,\textrm{Pic}\,}}X={{\,\textrm{Pic}\,}}X_{\mathbb {C}}\cong N\), we first note that we can identify \({{\,\textrm{Pic}\,}}X_{\mathbb {C}}\) with the lattice \({{\,\textrm{Pic}\,}}Y\cong N\). Hence, we are left to prove that \({{\,\textrm{Pic}\,}}X={{\,\textrm{Pic}\,}}X_{\mathbb {C}}\). We denote by \(\sigma :X\times _{\mathbb {R}}{\mathbb {C}}\rightarrow X\times _{\mathbb {R}}{\mathbb {C}}\) the map induced by complex conjugation. Then \(\sigma ^*\) corresponds to the map \(\tau \) we constructed above and with this identification we get the following commutative diagram, see ().
Recall that \({\text {Im}}(c_1)=N\) and observe that the restriction of \(-\tau \) to \({\text {Im}}(c_1)\) is the identity. We deduce the equality \(\sigma =\textrm{id}\). By the fact that \(X({\mathbb {R}})\ne \emptyset \), it follows that the Picard functor is representable and therefore that \({{\,\textrm{Pic}\,}}X=({{\,\textrm{Pic}\,}}X_{\mathbb {C}})^G\) (see, e.g., [33, Proposition I.4.5]). Combining these results we get \({{\,\textrm{Pic}\,}}X={{\,\textrm{Pic}\,}}X_{\mathbb {C}}\), which completes the proof. \(\square \)
We get the following Corollary.
Corollary 8.3
For any even lattice N of rank r with \(1\le r \le 10\) with signature \((1,r-1)\), there exists a K3 surface X over \({\mathbb {R}}\) with \(X({\mathbb {R}})\ne \emptyset \) such that both \({{\,\textrm{Pic}\,}}X\) and \({{\,\textrm{Pic}\,}}X_{\mathbb {C}}\) are isomorphic to N as lattices. Moreover, the primitive embedding \(N\hookrightarrow H^2(X,{\mathbb {Z}})\) is unique up to isometries of \(H^2(X,{\mathbb {Z}})\).
Proof
By Nikulin’s [23, Corollary 1.13.4], the lattice \(\Lambda := U^{\oplus 2} \oplus E_8(-1)^{\oplus 2}\) is the unique unimodular even lattice of signature (2, 18). Note that we have \(\frac{2+18}{2}\ge r\) and so by [23, Theorem 1.12.4] it follows that there exists a primitive embedding \(N\hookrightarrow \Lambda \). By Proposition 8.2 the first statement of Corollary 8.3 follows.
To obtain the second statement, note that the composition \(N\hookrightarrow \Lambda \hookrightarrow \Lambda _{K3}\) gives a primitive embedding of N into \(\Lambda _{K3}\). Recall that N has signature \((n_+,n_-)=(1,r-1)\) with \(r\le 10\) and \(\Lambda _{K3}\) has signature \((l_+,l_-)=(3,19)\). Hence, we have \(l_+>n_+\) and \(l_->n_-\), and \(2r+2\le 22\). We conclude that this embedding satisfies the conditions of [23, Theorem 1.14.4] and so it is unique up to isometry. \(\square \)
Using the above result one can find many more examples of polarized K3 surfaces with Picard number 2. As an application, we prove that for any \(d>3\) there exists a polarized K3 surface of degree 2d defined over \({\mathbb {R}}\) with Picard lattice \([2\; d{+}1\; 2d]\), such that it is generated by ample classes.
Lemma 8.4
For every integer \(d>3\), the lattice \([2 \; d{+}1 \; 2d]\) does not represent \(-2\).
Proof
Write \(L:=[2 \; d{+}1 \; 2d]\) and pick generators \(x,y\in L\) such that \(x^2=2\), \(y^2=2d\) and \(x.y=d+1\). Then to derive a contradiction, suppose that \(c:=ax+by\in L\) satisfies \(c^2=-2\). Note that
and so we deduce that
This means that \(a+b=\pm 1\) and \(a+db=\mp 1\). It follows that
So in both cases we get that \(d-1\) divides 2 which contradicts the assumption \(d>3\). We deduce that L does not represent \(-2\). \(\square \)
Proposition 8.5
For \(d>3\), there exists a K3 surface X over \({\mathbb {R}}\) such that
with C and H both ample and satisfying \(C^2=2\), \(H^2=2d\) and \(C.H=d+1\).
Proof
By Corollary 8.3, there exists a K3 surface X over \({\mathbb {R}}\) with
We can choose generators C, H satisfying \(C^2=2\), \(H^2=2d\) and \(C.H=d+1\). By possibly replacing C, H with \(\pm C, \pm H\), we can assume that both C and H are in the positive cone. By combining Remark 2.4 with Lemma 8.4 it follows that the ample cone \({\mathcal {A}}\) equals the positive cone \({\mathcal {P}}^+\), and hence C and H are both ample. \(\square \)
References
Artebani, M., Sarti, A., Taki, S.: \(K3\) surfaces with non-symplectic automorphisms of prime order. Math. Z. 268(1–2), 507–533 (2011), With an appendix by S. Kondō
Barth, W., Hulek, K., Peters, C., van de Ven, A.: Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge/A Series of Modern Surveys in Mathematics. Springer, Berlin (2015)
Bini, G.: On automorphisms of some K3 surfaces with Picard number two. MCFA Ann. 4, 1–3 (2005)
Charles, F.: On the Picard number of K3 surfaces over number fields. Algebra Number Theory 8(1), 1–17 (2014)
Chen, G., Viaclovsky, J., Zhang, R.: Collapsing Ricci-flat metrics on elliptic K3 surfaces. Comm. Anal. Geom. 28(8), 2019–2133 (2020)
Donaldson, S.K., Thomas, R.P.: Gauge Theory in Higher Dimensions, The Geometric Universe, vol. 1998, pp. 31–47. Oxford University Press, Oxford (1996)
Elsenhans, A.-S., Jahnel, J.: \(K3\) Surfaces of Picard Rank One which are Double Covers of the Projective Plane, Higher-Dimensional Geometry Over Finite Fields, NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., vol. 16, pp. 63–77. IOS, Amsterdam (2008)
Elsenhans, A.-S., Jahnel, J.: On Weil Polynomials of \(K3\) Surfaces, Algorithmic Number Theory, Lecture Notes in Computer Science, vol. 6197, pp. 126–141. Springer, Berlin (2010)
Elsenhans, A.-S., Jahnel, J.: The Picard group of a \(K3\) surface and its reduction modulo \(p\). Algebra Number Theory 5(8), 1027–1040 (2011)
Griffiths, P.A., Harris, J.: Principles of Algebraic Geometry. Wiley Classics Library, Wiley (1994)
Hartshorne, R.: Algebraic Geometry. Springer, New York (1977); Graduate Texts in Mathematics, No. 52
Huybrechts, D.: Lectures on K3 Surfaces. Cambridge Studies in Advanced Mathematics, vol. 158. Cambridge University Press, Cambridge (2016)
Jardim, M., Menet, G., Prata, D.M., Sá Earp, H.N.: Holomorphic bundles for higher dimensional gauge theory. Bull. Lond. Math. Soc. 49(1), 117–132 (2017)
Joyce, D., Karigiannis, S.: A new construction of compact torsion-free \(\rm G_2\)-manifolds by gluing families of Eguchi–Hanson spaces. J. Differ. Geom. 117(2), 255–343 (2021)
Kim, W., Pera, K.M.: 2-adic integral canonical models and the tate conjecture in characteristic 2. Forum Math. Sigma 4, e28 (2016)
Knutsen, A.L.: Smooth curves on projective \(K3\) surfaces. Math. Scand. 90(2), 215–231 (2002)
Kondō, S.: Automorphisms of algebraic \(K3\) surfaces which act trivially on Picard groups. J. Math. Soc. Jpn. 44(1), 75–98 (1992)
Kondō, S.: \(K3\) Surfaces, EMS Tracts in Mathematics, vol. 32. EMS Publishing House, Berlin (2020); Translated from the Japanese original by the author
Kovalev, A., Lee, N.-H.: \(K3\) surfaces with non-symplectic involution and compact irreducible \(G_2\)-manifolds. Math. Proc. Camb. Philos. Soc. 151(2), 193–218 (2011)
Mori, S.: On degrees and genera of curves on smooth quartic surfaces in \({ P}^3\). Nagoya Math. J. 96, 127–132 (1984)
Morrison, D.R.: On \(K3\) surfaces with large Picard number. Invent. Math. 75(1), 105–121 (1984)
Nikulin, V.V.: Finite groups of automorphisms of Kählerian \(K3\) surfaces. Trudy Moskov. Mat. Obshch. 38, 75–137 (1979)
Nikulin, V.V.: Integer symmetric bilinear forms and some of their geometric applications. Izv. Akad. Nauk SSSR Ser. Mat. 43(1), 111–177 (1979)
Nikulin, V.V.: Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups generated by 2-reflections. Algebro-geometric applications. J. Sov. Math. 22, 1401–1475 (1983)
Nikulin, V.V., Saito, S.: Real \(K3\) surfaces with non-symplectic involution and applications. Proc. Lond. Math. Soc. (3) 90(3), 591–654 (2005)
Nikulin, V.V., Saito, S.: Real \(K3\) surfaces with non-symplectic involution and applications II. Proc. Lond. Math. Soc. (3) 95(1), 20–48 (2007)
Platt, D.: \(G_2 \)-instantons on resolutions of \(G_2\)-orbifolds, arXiv:2208.10903 (2022)
Reidegeld, F.: K3 surfaces with a pair of commuting non-symplectic involutions. Comm. Anal. Geom. 30(9), 2095–2122 (2022)
Sá Earp, H.N., Walpuski, T.: \(\rm {G}_2\)-instantons over twisted connected sums. Geom. Topol. 19(3), 1263–1285 (2015)
Salamon, D.A., Walpuski, T.: Notes on the octonions. In: Proceedings of the Gökova Geometry-Topology Conference 2016, pp. 1–85. Gökova Geometry/Topology Conference (GGT), Gökova (2017)
Serre, J.-P.: Géométrie algébrique et géométrie analytique. Annales de l’Institut Fourier 6, 1–42 (1956) (Fr)
Shockley, J.E.: Introduction to Number Theory. Holt, Rinehart and Winston Inc., London (1967)
Silhol, R.: Real Algebraic Surfaces. Lecture Notes in Mathematics, vol. 1392. Springer, Berlin (1989)
van Luijk, R.: K3 surfaces with Picard number one and infinitely many rational points. Algebra Number Theory 1(1), 1–15 (2007)
Walpuski, T.: \({\rm G}_2\)-instantons over twisted connected sums: an example. Math. Res. Lett. 23(2), 529–544 (2016)
Yau, S.T.: Calabi’s conjecture and some new results in algebraic geometry. Proc. Nat. Acad. Sci. USA 74(5), 1798–1799 (1977)
Yau, S.T.: On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation. I. Comm. Pure Appl. Math. 31(3), 339–411 (1978)
Acknowledgements
We would like to thank Alex Degtyarev, Alice Garbagnati, Bert van Geemen, Ronald van Luijk, Bartosz Naskrȩcki, and Simon Salamon for many useful conversations on this topic. We also thank the anonymous referee for their comments. The first author was partially supported by the PRIN Grant PRIN202022AGARB_01 while in Milano.
Funding
Open access funding provided by Università degli Studi di Padova within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Festi, D., Nijgh, W. & Platt, D. K3 surfaces with two involutions and low Picard number. Geom Dedicata 218, 55 (2024). https://doi.org/10.1007/s10711-024-00900-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10711-024-00900-8