Abstract
We present a sufficient condition for the punctural Hilbert scheme of length two of a K3 surface with finite automorphism group to have automorphism group of infinite order in geometric terms (Theorem 2.1) and supply it with concrete examples (Theorem 1.2). We also discuss Mori dream space structures under an extermal crepant resolution (Theorems 1.2, 4.1, 5.2) from the viewpoint of automorphisms. These affirmatively answer a question of Malte Wandel.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout this note, we work over the complex number field \({\mathbb {C}}\). We call a \({\mathbb {C}}\)-valued point P of a variety V simply a point and write \(P \in V\) instead of \(P \in V({\mathbb {C}})\). Topology of a complex variety is assumed to be the Euclidean topology of the underlying analytic space. We denote the group of biregular automorphisms of V by and the group of birational automorphisms of V by .
Let S be a smooth projective surface. We denote by \(S^{[n]}\) the Hilbert scheme \(\mathrm{Hilb}^n(S)\) of 0-dimensional closed subschemes of length \(n \ge 2\) on S and by \(S^{(n)}\) the Chow variety \(S^n /\mathrm{\Sigma }_n\) of 0-dimensional cycles of length \(n \ge 2\) on S. Here \(S^n\) is the n-times self-product of S and \(\mathrm{\Sigma }_n\) is the symmetric group of n-letters which acts on \(S^n\) by \((P_i)_{i=1}^{n} \mapsto (P_{\sigma (i)})_{i=1}^{n}\).
Let S be a projective K3 surface, i.e., a smooth, simply-connected projective surface S with \(\mathscr {O}_S(K_S) \simeq \mathscr {O}_S\). Here \(K_S\) is a canonical divisor of S. Then \(S^{[n]}\) is a projective hyperkähler manifold, i.e., a smooth, simply-connected projective variety with everywhere non-degenerate global regular 2-form \(\sigma _{S^{[n]}}\) such that \(H^0(S^{[n]}, \mathrm{\Omega }_{S^{[n]}}^2) = {\mathbb {C}}\sigma _{S^{[n]}}\) [5, 8].
The aim of this note is to give an affirmative answer to the following question asked by Malte Wandel (Theorem 1.2, see also Theorems 2.1, 4.1, 5.2).
Question 1.1
Is it possible that for a projective K3 surface S with ?
Note that \(\mathrm{Aut}(S)\) naturally and faithfully acts on \(S^{[n]}\). Hence if .
Throughout this note, we denote by \(\mathrm{\Lambda }\) the even hyperbolic lattice of rank 2 and of discriminant 17, defined by
Here, by a lattice , we mean a pair of a free \({\mathbb {Z}}\)-module L of finite rank r and a non-degenerate \({\mathbb {Z}}\)-valued symmetric bilinear form on L. The lattice L is called hyperbolic if is of signature \((1, r-1)\), and even if \((x, x) \in 2{\mathbb {Z}}\) for all \(x \in L\). Lattice isomorphisms are defined in an obvious manner. The Néron–Severi group of a projective K3 surface S is an even hyperbolic lattice with respect to the intersection paring (see e.g. [3, Chapter VIII]). Its rank, the Picard number of S, is denoted by \(\rho (S)\).
Our main result is the following.
Theorem 1.2
Let S be a (necessarily projective) K3 surface such that \(\mathrm{NS}(S) \simeq \mathrm{\Lambda }\). Then:
-
(a)
and .
-
(b)
The Hilbert–Chow morphism \(\mu :S^{[2]} \rightarrow S^{(2)}\) is an extremal crepant resolution such that the source \(S^{[2]}\) is not a Mori dream space, but the target \(S^{(2)}\) is a Mori dream space.
See also Theorem 2.1 in Sect. 2 for a geometric criterion related to Theorem 1.2 (a). The essential point of the proof of Theorem 1.2 (a) is as follows: S in Theorem 1.2 has at least two different embeddings into \({\mathbb {P}}^3\). The images are smooth quartic surfaces with no line. From this, we see that \(S^{[2]}\) has at least two different biregular involutions, called Beauville’s involutions [4, Section 6], corresponding to these two embeddings. See Sects. 2 and 3 for details.
The notion of Mori dream space (MDS) was introduced in [10, Definition 11]. See also Definition 5.1 in Sect. 5. Theorem 1.2 (b) was kindly suggested to me by Shinnosuke Okawa. See also Theorems 4.1 and 5.2 in Sects. 4 and 5 for slightly more general results related to Theorem 1.2 (b).
Remark 1.3
K3 surfaces S in Theorem 1.2 form a dense subset of the 18-dimensional family of \(\mathrm{\Lambda }\)-polarized K3 surfaces ([7], see also [17, Corollary 2.9] for the existence).
Remark 1.4
(a) If S is a K3 surface with \(\rho (S) = 1\), then both \(\mathrm{Aut}(S^{[n]})\) and \(\mathrm{Bir}(S^{[n]})\) are finite groups (see e.g. [19, Corollary 5.2]). By the definition, \(\rho (S) = 2\) for K3 surfaces S in Theorem 1.2. Thus, \(\rho (S) =2\) is the smallest Picard number for Question 1.1 to have an affirmative answer.
(b) Theorem 2.1 in Sect. 2 and our proof of Theorem 1.2 (a) in Sect. 3 suggest that there will be many other ways to construct examples similar to the ones in Theorem 1.2. Compare with [15, Section 3].
We close the introduction by recalling the following question of Alessandra Sarti.
Question 1.5
Is \(\mathrm{Aut}(X^{[n]}) = \mathrm{Aut}(X)\) for any projective K3 surface X and any \(n \ge 3\)?
Remark 1.6
If Question 1.5 would have an affirmative answer for our S in Theorem 1.2, then \(\mathrm{Aut}(S^{[n]}) = \infty \) only when \(n = 2\). A work of Markman and Yoshioka [16] might be of some help to check this. Brendan Hassett also kindly informed me that he found a counterexample for Question 1.5 in \(n=3\).
2 A geometric criterion
In this section, we shall prove the following Theorem 2.1. In fact, our proof of Theorem 1.2 (a) will be reduced to this theorem in Sect. 3.
Theorem 2.1
Let S be a projective K3 surface of Picard number \(\rho (S) = 2\) such that:
-
(a)
S contains either a smooth elliptic curve or a smooth rational curve;
-
(b)
S has very ample divisors \(H_1,H_2\) such that
$$\begin{aligned} (H_1,H_1) = (H_2,H_2) = 4,\qquad H_1 \not = H_2, \end{aligned}$$in \(\mathrm{NS}(S)\); and
-
(c)
S has no smooth rational curve \(C_k\) such that \((C_k,H_k) = 1\) for each \(k =1,2\).
Then and .
Proof
By (a), the nef cone has at least one boundary ray defined over \({\mathbb {Q}}\), i.e., the class of the elliptic curve or the orthogonal to the smooth rational curve with respect to the intersection pairing. Since \(\rho (S) = 2\), this implies by [19, Proposition 2.4].
By (b), we have two embeddings
associated to the complete linear systems \(|H_k|\), \(k = 1,2\). Let \(S_k = {\Phi }_k(S)\). Then \(S_k \subset {\mathbb {P}}^3\) is a smooth quartic surface by (b) and \(S_k\) contains no line by (c).
Let \(P, Q \in S\) be general points of S. Then, the projective line meets \(S_k\) in four points, namely, \({\Phi }_k(P), {\Phi }_k(Q), {\Phi }_k(R), {\Phi }_k(T)\). The correspondence \(\{P, Q\} \mapsto \{R, T\}\) then defines a birational automorphism of \(S^{[2]}\) of order 2 for each \(k = 1,2\),
\(\iota _k\) is called the Beauville involution with respect to \(H_k\) [4, Proposition 11]. As \(S_k \subset {\mathbb {P}}^3\) contains no projective line, \(\iota _k\) is biregular, i.e., [4, Proposition 11].
Recall that is a hyperbolic lattice of rank \(3 = \rho (S) +1\) with respect to the Beauville–Bogomolov form [5, Proposition 6]. More strongly, we have the following natural identification as lattices [5, Proposition 6]:
Here \(e = E/2\) for the exceptional divisor E of the Hilbert–Chow morphism \(\nu :S^{[2]} \rightarrow S^{(2)}\) [5, Proposition 6]. Note that \(H_1\) and \(H_2\) are linearly independent in \(\mathrm{NS}(S)\). Hence we have
Consider the action of the Beauville involution \(i_k\) on \(\mathrm{NS}(S^{[2]})\),
This is the anti-involution with respect to the invariant vector \(H_k -e\),
Here we note that \((H_k -e, H_k-e) = 2\). This formula is due to Debarre [6, Theorem 4.1], see also [18, Proposition 4.1]. Then, with respect to the \({\mathbb {Q}}\)-basis we have the following matrix representations of \(\iota _k^*\):
Here we put \(m = (H_1,H_2)\). As m is a positive integer and
by the Hodge index theorem, it follows that \(m \ge 5\). Observe then that
Let F(t) be the characteristic polynomial of \((\iota _2\iota _1)^*\). Then
By \(m \ge 5\), we have
Hence the quadratic polynomial f(t) has two distinct real roots. We denote them by \(\alpha < \beta \). As
it follows that \(\beta > 1\). Let n be an integer. Then \(\beta ^n\) is an eigenvalue of \(((\iota _2\iota _1)^*)^n\). As \(\beta > 1\), it follows that \(\beta ^n = 1\) implies that \(n=0\). Thus \((\iota _2\iota _1)^*\) is of infinite order. Hence is of infinite order as well. This completes the proof of Theorem 2.1. \(\square \)
3 Proof of Theorem 1.2 (a)
In this section, we shall prove Theorem 1.2 (a). We proceed by dividing into several steps. Set
Claim 3.1
There is no \(C \in \mathrm{NS}(S) {\setminus } \{0\}\) such that \((C,C) = 0\). In particular, S has no curve C with arithmetic genus \(p_a(C) = 1\).
Proof
Write \(C = xL + yH\) in \(\mathrm{NS}(S)\). Here \(x, y \in {\mathbb {Z}}\). Then
So, if \((C,C) = 0\), then . As \(x, y \in {\mathbb {Z}}\) and \((-5 \pm \sqrt{17})/2 \not \in {\mathbb {Q}}\), it follows that \(y = 0\) and therefore \(x=0\). Hence \(C = 0\) in \(\mathrm{NS}(S)\). \(\square \)
Claim 3.2
There is no \(C \in \mathrm{NS}(S)\) such that \((L,C) = 0\) and \((C,C) = -2\). In particular, there is no smooth rational curve \(C \subset S\) such that \((L, C) = 0\).
Proof
Write \(C = xL + yH\) in \(\mathrm{NS}(S)\). Here \(x, y \in {\mathbb {Z}}\). Then
If \((L,C) = 0\), then there is \(z \in {\mathbb {Z}}\) such that \(x = 5z\) and \(y = -2z\). Then
This implies the first assertion of Claim 3.2. For the last assertion, we note that if C is a smooth rational curve on S, then \((C,C) = -2\) by the adjunction formula. \(\square \)
Set and denote by \(P^{+}(S)\) the \({\mathbb {Q}}\)-rational hull of P(S) in , i.e., the union of P(S) and \({\mathbb {Q}}\)-rational points on the boundary \(\partial P(S)\) with respect to the integral structure of \(\mathrm{NS}(S)\). Let be the ample cone of S and \(\mathrm{Amp}^{+} (S)\) be the \({\mathbb {Q}}\)-rational hull of . Note that \(\mathrm{Amp}^{+} (S) \subset P^{+}(S)\). Let \(W(\mathrm{NS}(S))\) be the group generated by the reflections on :
Here C runs through all the elements of \(\mathrm{NS}(S)\) such that \((C,C) = -2\). The product group acts on both \(P^{+}(S)\) and \(P^{+}(S) \cap \mathrm{NS}(S)\).
Claim 3.3
\(\mathrm{Amp}^{+}(S)\) is the fundamental domain of the action of \(W(\mathrm{NS}(S)) {\times } \{\pm \mathrm{id}_{\mathrm{NS}(S)}\}\) on \(P^{+}(S)\).
Proof
This is a version of the Nakai–Moishezon criterion for the ampleness of line bundles on a projective K3 surface, see e.g., [3, Chapter VIII]. \(\square \)
By Claim 3.3, we may and will assume that \(L \in \mathrm{Amp}^{+}(S) \cap \mathrm{NS}(S)\). Then L is nef and big. More strongly, we have
Claim 3.4
L is ample.
Proof
Since L is nef and big, \(L = K_S + L\) is semi-ample by the base point free theorem [11]. So, if L were not ample, then there were an irreducible curve \(C \subset S\) such that \((L, C) = 0\). By the Hodge index theorem, \((C, C) < 0\). However, then \(p_a(C) =0\) by the adjunction formula, and C were a smooth rational curve on S with \((L,C) = 0\), a contradiction to Claim 3.2. \(\square \)
From now on, we assume that \(L \in \mathrm{NS}(S) \simeq \mathrm{Pic}(S)\) is an ample class with \((L, L) = 2\).
Claim 3.5
The complete linear system \(\vert L \vert \) is free and the associated morphism
is a finite double cover.
Proof
We prove first that the complete linear system \(\vert L \vert \) is free. Consider the decomposition
Here \(\vert M \vert \) is the movable part and F is the fixed component of |L|. If |L| would not be free, then F would be effective and non-zero by [21, Corollary 3.2]. Then
As \((M,M) \in 2 {\mathbb {Z}}\), it would follow that \((M,M) = 0\), a contradiction to Claim 3.1. Hence |L| is free. As \((L,L) =2\) and L is ample, we have \(h^0(S, L) = 3\) by the Riemann–Roch formula. Hence \({\Phi }_{\vert L \vert }\) is a finite double covering of \({\mathbb {P}}^2\) as claimed. \(\square \)
Let be the covering involution of \({\Phi } :S \rightarrow {\mathbb {P}}^2\).
Claim 3.6
\(\tau \in \mathrm{Aut}(S)\) and
on \(\mathrm{NS}(S)\) with respect to the \({\mathbb {Z}}\)-basis \(\langle L, H \rangle \) of \(\mathrm{NS}(S)\).
Proof
Note that \(\mathrm{Bir}(S) = \mathrm{Aut}(S)\) as S is a smooth projective surface with nef \(K_S\). Hence \(\tau \in \mathrm{Aut}(S)\). By the definition, \(L = {\Phi }^*{\mathscr {O}}_{{\mathbf P}^2}(1)\). Thus \(\tau ^*L = L\).
We have
Here \({\Phi }_* H\) is the pushforward as 1-cycles. Then \({\Phi }_* H \in \vert {\mathscr {O}}_{{\mathbb {P}}^2}(k) \vert \) for some \(k \in {\mathbb {Z}}_{>0}\). Then, by the projection formula, we have
On the other hand, as \({\Phi }^*{\Phi }_* H = H + \tau ^* H\) and \(\tau ^* L = L\), we also have
Hence \(k = 5\) and \(H + \tau ^* H = {\Phi }^{*}({\mathscr {O}}_{{\mathbb {P}}^2}(5))\). As \(L = {\Phi }^*{\mathscr {O}}_{{\mathbf P}^2}(1)\), it follows that \(\tau ^* H = 5L -H\). Combining this with \(\tau ^* L = L\), we obtain the last assertion.\(\square \)
Claim 3.7
If C is an irreducible curve on S with \((C,C) < 0\), then C is a smooth rational curve and \(\vert C \vert = \{C\}\).
Proof
This is well-known and easily follows from the irreducibility of C and the adjunction formula, see e.g. [3, Chapter VIII].\(\square \)
Claim 3.8
(a) S has exactly two smooth rational curves and their classes in \(\mathrm{NS}(S)\) are
(b) The cone of effective curves on S is
(c) S satisfies condition (a) in Theorem 2.1.
Proof
Assertion (c) follows from (b). Recall that \(\rho (S) =2\). Then (b) follows from (a) and Claim 3.7. The fact that \(\tau ^*(-L +2H) = 9L - H\) follows from Claim 3.6. Set
Then \((C_i, C_i) = -2\) and \((C_i, L) = 8\) for each \(i =1,2\). Moreover, the classes \(C_i\) are integral and primitive, i.e., indivisible in \(\mathrm{NS}(S)\). Hence, if we have an irreducible curve D with negative self intersection, the class of D is either \(C_1\) or \(C_2\). Here we also used the fact that \(\rho (S) = 2\). By the Riemann–Roch formula, \(C_1\) and \(C_2\) are represented by effective curves, say, \(D_1\) and \(D_2\) with \((D_i, D_i) = -2 <0\). If \(D_i\) is not irreducible, then \(D_i\) contains an irreducible curve D of negative self intersection and we have an equality of effective divisors \(D_i = D + E\) for some effective curve \(E \not = 0\). Since D is an irreducible curve of negative self intersection, the class of D is either \(C_1\) or \(C_2\). However, then
a contradiction to the fact that \(E \not = 0\) is effective and L is ample. Hence both \(D_i\) are irreducible. Combining this with Claim 3.7, we obtain (a). \(\square \)
Now, we shall show that H and \(\tau ^* H\) satisfy the conditions (b) and (c) in Theorem 2.1. We proceed by dividing into several steps.
Claim 3.9
H is ample and \(h^0(S, H) = 4\).
Proof
Observe that
Thus H is ample by the Kleiman’s criterion and Claim 3.8 (b). As \((H,H) = 4\), the second assertion now follows from the Riemann–Roch formula.\(\square \)
Claim 3.10
\(\vert H \vert \) has no fixed component.
Proof
Assume to the contrary that \(\vert H \vert \) has a fixed component. Then \(\vert H \vert = \vert M \vert + F\), where \(\vert M \vert \) is the movable part and F is a non-zero effective divisor. Using Claim 3.1, we have
Therefore \((M,M) = 2\) by Claim 3.1 and by the fact that \((M, M) \in 2 {\mathbb {Z}}\). Put \(k = (M,L)\). Then \(1 \le k \le 4\) by the second inequality above, and the discriminant of \({\mathbb {Z}}\langle L, M \rangle \) is \(\vert k^2 - 4 \vert \), possibly 0. For the same reason as in Claim 3.8, we have
for some \(l \in {\mathbb {Z}}\). As l and k are integers such that \(1 \le k \le 4\), it follows that \(k =2\) and therefore \(\vert k^2 - 4 \vert = 0\). Thus \(M = mL\) for some \(m \in {\mathbb {Q}}\) by the Hodge index theorem. Then, by \((M,M) = 2 = (L,L)\), it follows that \(M = L\) in \(\mathrm{Pic}(S) \simeq \mathrm{NS}(S)\), a contradiction to the fact that \(h^0(S, M) = h^0(S, H) = 4\) and \(h^0(S, L) = 3\).\(\square \)
Claim 3.11
H is very ample.
Proof
By [21, Theorem 5.2] and by Claim 3.10, it suffices to check the following two facts:
-
(i)
There is no irreducible curve \(E \subset S\) such that \(p_a(C) = 1\) and \((E, H) =2\).
-
(ii)
There is no irreducible curve \(B \subset S\) such that \(p_a(B) = 2\) and \(H = 2B\) in \(\mathrm{NS}(S)\).
The assertion (i) follows from Claim 3.1. By the adjunction formula, \((B, B) =2\) if \(p_a(B) = 2\). The assertion (ii) follows from this equality and \((H,H) =4\).\(\square \)
Claim 3.12
There is no smooth rational curve C on S such that \((H,C) = 1\).
Proof
Recall that the class of C is either \(-L +2H\) or \(\tau ^*(-L + 2H) = 9L -2H\) by Claim 3.8. The result now follows from
\(\square \)
Put \(H_1 = H\) and \(H_2 = \tau ^* H\). Then \(H_2 = 5L -H\) by Claim 3.6.
Claim 3.13
\(H_1\) and \(H_2\) satisfy conditions (b) and (c) in Theorem 2.1.
Proof
As \(H_1 \not = H_2\) in \(\mathrm{NS}(S)\), \((H,H) = 4\) and \(\tau \in \mathrm{Aut}(S)\), the result follows from Claims 3.11 and 3.12. \(\square \)
Theorem 1.2 (a) now follows from Theorem 2.1 and Claims 3.8 and 3.13.
4 Some properties of the product of K3 surfaces
Let V be a normal \({\mathbb {Q}}\)-factorial projective variety. We denote by \(\omega _V\) the dualizing sheaf of V. A divisor D is called movable if there is a positive integer k such that the complete linear system |kD| has no fixed component. A divisor class \(d \in \mathrm{NS}(V)\) is called movable if d is represented by a movable divisor D. By \(\mathrm{Mov}(V) \subset \mathrm{NS}(V) {\otimes } {\mathbb {R}}\), we denote the movable cone of M, i.e., the convex cone generated by the movable divisor classes. We denote by \(\overline{\mathrm{Mov}}(V)\) the closure of the movable cone in the linear space \(\mathrm{NS}(V) {\otimes } {\mathbb {R}}\).
By \(\mathrm{Amp}(V) \subset \mathrm{NS}(V) {\otimes } {\mathbb {R}}\), we denote the ample cone of V, i.e., the open convex cone generated by the ample divisor classes. We denote by \(\overline{\mathrm{Amp}}(V)\) the closure of the ample cone in \(\mathrm{NS}(V) {\otimes } {\mathbb {R}}\). The cone \(\overline{\mathrm{Amp}}(V)\) is called the nef cone.
Let n be a positive integer, possibly \(n=1\), and \(S_i\), \(1 \le i \le n\), be mutually non-isomorphic projective K3 surfaces. Let \(m_i \ge 1\), \(1 \le i \le n\), be positive integers (not necessarily distinct). We consider the following product:
M is a smooth projective variety. We denote the tangent bundle of M by \(T_M\). We denote the (i, j)-th factor of M by \(S_{ij}\) and by
the projection to the (i, j)-th factor. Here \( 1 \le i \le n\), \(1 \le j \le m_i\). Note that \(S_{ij} = S_i\) as abstract varieties. We identify
We denote by \(\mathrm{\Sigma }_k\) the symmetric group of k-letters. Then the group \(\mathrm{Aut}(S_i)^{m_i} {\rtimes } \mathrm{\Sigma }_{m_i}\) naturally acts on \(S_i^{m_i}\) and hence on M. More precisely, by the identification
we regard the group \(\mathrm{Aut}(S_i)^{m_i} {\rtimes } \mathrm{\Sigma }_{m_i}\) as a subgroup of \(\mathrm{Aut}(M)\).
In this section, we prove the following
Theorem 4.1
(a) \(\omega _M \simeq {\mathscr {O}}_M\), \(H^0(M, T_M) = 0\), \(H^1(M, {\mathscr {O}}_M) = 0\) and \(\mathrm{Pic}(M) = \mathrm{NS}(M)\) under the first Chern class map.
(b) Under the identification \(\mathrm{NS}(S_{ij}) = p_{ij}^*\mathrm{NS}(S_{ij})\) made above,
(c) Under the identification (b),
(d) Under the inclusion \(\mathrm{Aut}(S_i)^{m_i} {\rtimes } \mathrm{\Sigma }_{m_i} \subset \mathrm{Aut}(M)\) explained above,
Proof
The first assertion of (a) follows from the fact that \(\omega _{S_i} \simeq {\mathscr {O}}_{S_i}\). The second (resp. the third) assertion of (a) follows from the fact that \(h^0(T_{S_i}) = 0\) (resp. \(h^1({\mathscr {O}}_{S_i}) = 0\)) and the Künneth formula. The last assertion then follows from the exponential sequence.
Let us prove (b). The first equality of (b) follows from (a). As \(H^1(S_{ij}, {\mathbb {Z}}) = 0\), we have
by the Künneth formula. Thus the second equality follows from the Lefschetz (1, 1)-theorem.
Let us prove (c). Choose points \(Q_{ij} \in S_{ij}\), \(1 \le i \le n\), \(1 \le j \le m_i\). Let
be the inclusion defined by
Note that . Let \(h \in \mathrm{NS}(M)\). Under the equality of the Néron–Severi groups in (b), we write
Here \(h_{ij} \in \mathrm{NS}(S_{ij})\). Then \(h = \sum _{i, j}p_{ij}^*h_{ij}\) and \(h_{ij} = \iota _{ij}^{*}h\). As the pullback of the nef class is nef, the last equality in (c) follows from these two equalities.
By the last equality in (c), every projective birational contraction of M is of the form
where \(\mu _{ij} :S_{ij} \rightarrow V_{ij}\), \(1 \le i \le n\), \(1 \le j \le m_i\), are birational projective contractions, in which some of \(\mu _{ij}\) are possibly isomorphisms. Thus, M has no small projective contraction. As M is a smooth projective variety with \(\omega _M \simeq {\mathscr {O}}_M\), the first equality of (c) then follows from [12, Theorem 5.7, Remark 5.9].
Let us prove (d). As M has no small projective contraction, M has no flop, either. Then, by the fundamental result due to Kawamata [14], it follows that . Here we also used the fact that M is a smooth projective variety with \(\omega _M \simeq {\mathscr {O}}_M\) in order to apply [14].
It remains to prove the last equality in (d). It is clear that the group in the right hand side is a subgroup of \(\mathrm{Aut}(M)\). We shall prove the opposite inclusion by considering special fibrations on M. We proceed by the induction on \(k = \sum m_{ij}\). The result is clear if \(k=1\).
We call a surjective morphism \(\varphi :M \rightarrow B\) a fibration if B is a normal projective variety and the fibers of f are connected. Note that a fibration is given by the morphism \({\Phi }_{|L|}\) associated to some complete, free linear system |L|. Indeed, \(\varphi = {\Phi }_{|\varphi ^* H|}\) for any very ample divisor H on B, as \(H^0(B, H) \simeq H^0(M, \varphi ^* H)\) under \(\varphi ^*\), by the projection formula and the connectedness of fibers. Two fibrations \(\varphi :M \rightarrow B\) and \((\varphi )' :M \rightarrow B'\) are called isomorphic if there is an isomorphism \(\psi :B \rightarrow B'\) such that .
Let S be a projective K3 surface. Then a fibration on S is either an isomorphism, a birational contraction onto a K3 surface with Du Val singular points, a fibration \(S \rightarrow {\mathbb {P}}^1\) whose general fiber is a smooth curve of genus one, or a surjective morphism to a point, \(\mathrm{Spec}\, {\mathbb {C}}\). These fibrations are given respectively by sufficiently positive multiples of an ample divisor, a non-ample nef, big divisor, a non-zero nef divisor with self-intersection number 0 and zero divisor. Therefore, by (c), a fibration \(\varphi :M \rightarrow B\) is isomorphic to one of \(p_{ij} :M \rightarrow S_{ij}\) if B is a smooth K3 surface.
Let \(f \in \mathrm{Aut}(M)\). Then is a fibration. As \(S_{11}\) is a smooth projective K3 surface, this fibration is isomorphic to one of \(p_{ij} :M \rightarrow S_{ij}\). As \(S_i \not \simeq S_1\) for \(i \ge 2\) by our assumption, it follows that \(i =1\). That is, there is j, \(1 \le j \le m_1\), such that is isomorphic to \(p_{1j} :M \rightarrow S_{1j}\). Choose an isomorphism
such that
Then \(g \in \mathrm{Aut}(S_1)\), as \(S_1 = S_{1j}\). Let \(\sigma \in \mathrm{Aut}(S_1^{m_1}) \subset \mathrm{Aut}(M)\) be the automorphism defined by the permutation \((1, j) \in \mathrm{\Sigma }_{m_1}\). By the definition, . Then
Hence and \(g \in \mathrm{Aut}(S_1)\) commute with the projection \(p_{11}\). This means that is of the form
Here
\(x \in S_{11}\) and \(y \in N\). Then the correspondence \(x \mapsto h_x({\cdot })\) defines an analytic morphism
As \(H^0(N, T_N) = 0\) by (a), \(\mathrm{Aut}(N)\) is a discrete group. Hence \(\tau \) is a constant map. This means that is of the form
for some automorphism \(h \in \mathrm{Aut}(N)\), being independent of \(x \in S_{11}\). Now, we can apply the assumption of the induction for N and \(h \in \mathrm{Aut}(N)\) and obtain the desired inclusion. \(\square \)
5 An application for MDS and proof of Theorem 1.2 (b)
In this section we shall prove Theorem 1.2 (b). We prove it in a slightly generalized form as in Theorem 5.2 below.
We first recall the notion of MDS from [10]. Let V be a normal \({\mathbb {Q}}\)-factorial projective variety. A divisor D on V is called semi-ample if |mD| is free for some positive integer m. We call a birational map \(f :V \rightarrow V'\) a small \({\mathbb {Q}}\)-factorial modification if \(V'\) is a normal \({\mathbb {Q}}\)-factorial projective variety and f is isomorphic in codimension one, i.e., there are Zariski closed subsets \(B \subset V\) and \(B' \subset V'\) of codimension \(\ge 2\), possibly empty, such that
is an isomorphism.
Definition 5.1
Let V be a projective variety. V is called an MDS if the following three conditions are satisfied:
-
(a)
V is normal \({\mathbb {Q}}\)-factorial and under the cycle map.
-
(b)
The nef cone \(\overline{\mathrm{Amp}}(V)\) is generated by finitely many semi-ample divisor classes as a convex cone.
-
(c)
There are finitely many small \({\mathbb {Q}}\)-factorial modifications \(f_i :V \rightarrow V_i\), \(1 \le i \le n\), possibly \(n=1\), such that \(V_i\) satisfy (a) and (b) and
The next theorem is the main result of this section.
Theorem 5.2
Let S be a K3 surface such that \(\vert \mathrm{Aut}(S) \vert < \infty \) and \(\vert \mathrm{Aut}(S^{[n]}) \vert = \infty \). Then \(S^{[n]}\) is not an MDS but \(S^{(n)}\) is an MDS. In particular, the Hilbert–Chow morphism
is a crepant projective resolution, which is also extremal in the sense of log minimal model program, but does not preserve MDS property.
Proof
The fact that \(\nu \) is a projective crepant extremal resolution is proved by Beauville [5, Proposition 5] based on a result of Forgaty. Then the proof follows from Claim 5.3, Proposition 5.4 and Claim 5.5 below.\(\square \)
Claim 5.3
\(S^{[n]}\) is not an MDS. More strongly, \(\overline{\mathrm{Amp}}(S^{[n]})\) is not a finite rational polyhedral cone.
Proof
We give a proof by contradiction, i.e., assuming to the contrary that \(\overline{\mathrm{Amp}}(S^{[n]})\) is a finite rational polyhedral cone, we prove \(\vert \mathrm{Aut}(S^{[n]}) \vert < \infty \).
By the assumption, there are only finitely many 1-dimensional rays of the boundary of \(\overline{\mathrm{Amp}}(S^{[n]})\). We denote all such rays by \(L_k\), \(1 \le k \le m\). Choose then the primitive integral generator \(e_k\) of \(L_k\). This is possible, as \(L_k\) is defined over \({\mathbb {Q}}\), and \(e_k\) is unique in each \(L_k\). Consider the class
As \(\overline{\mathrm{Amp}}(S^{[n]})\) is generated by \(e_k\), \(1 \le k \le m\), as a convex cone and each \(e_k\) is nef, it follows from Kleiman’s criterion that H is an ample class. By the definition, the set \(\{ e_k\}_{k=1}^{m}\) is stable under \(\mathrm{Aut}(S^{[n]})\). Hence H is invariant under \(\mathrm{Aut}(S^{[n]})\) as well. Hence \(\vert \mathrm{Aut}(S^{[n]}) \vert < \infty \) by [19, Proposition 2.4]. In order to apply [19, Proposition 2.4], we also used the fact that \(H^0(S^{[n]}, T_{S^{[n]}}) = 0\). \(\square \)
Let \(S_k\), \(1 \le k \le n\), be projective K3 surfaces, possibly some of them are isomorphic, such that \(\vert \mathrm{Aut}(S_k) \vert < \infty \) for each k. Set
Proposition 5.4
M is an MDS. More strongly, M satisfies that \(\mathrm{Pic}(M) \simeq \mathrm{NS}(M)\), \(\overline{\mathrm{Mov}} (M) = \overline{\mathrm{Amp}}(M)\), \(\overline{\mathrm{Amp}}(M)\) is a finite rational polyhedral cone and any nef divisor of M is semi-ample.
Proof
By Theorem 4.1, \(\mathrm{Pic}(M) \simeq \mathrm{NS}(M)\), \(\overline{\mathrm{Mov}} (M) = \overline{\mathrm{Amp}}(M)\).
By \(\vert \mathrm{Aut}(S_k) \vert < \infty \), the nef cone \(\overline{\mathrm{Amp}}(S_k)\) is a finite rational polyhedral cone. This follows from the solution of the cone conjecture for projective K3 surfaces ([22, Lemma 2.4], [13, Theorem 2.1]; see also [23, Theorem 3.3, Corollary 5.1], [1, Theorem 2.7] for closely related results). Note that every nef divisor D on a projective K3 surface S is effective. Indeed, this follows from the Riemann–Roch formula. As \(\omega _S \simeq {\mathscr {O}}_S\), every nef divisor on S is then semi-ample by the log abundance theorem in dimension 2 [9].
Hence, by Theorem 4.1, \(\overline{\mathrm{Amp}}(M)\) is a finite rational polyhedral cone and every nef divisor on M is semi-ample.\(\square \)
Claim 5.5
\(S^{(n)}\) is an MDS.
Proof
By Proposition 5.4, \(S^{n}\) is an MDS. We have a surjective morphism
Note that \(S^{(n)} = S^n /\mathrm{\Sigma }_n\) is a normal \({\mathbf Q}\)-factorial projective variety. As \(S^n\) is an MDS by Proposition 5.4, so is \(S^{(n)}\) by a fundamental result of Okawa [20, Theorem 1.1] (one may also apply [2, Theorem 1.1] in our situation).\(\square \)
Theorem 1.2 (b) now follows from Theorem 5.2 and Theorem 1.2 (a).
References
Artebani, M., Hausen, J., Laface, A.: On Cox rings of K3 surfaces. Compos. Math. 146(4), 964–998 (2010)
Bäker, H.: Good quotients of Mori dream spaces. Proc. Amer. Math. Soc. 139(9), 3135–3139 (2011)
Barth, W.P., Hulek, K., Peters, C.A.M., Van de Ven, A.: Compact Complex Surfaces. Ergebnisse der Mathematik und ihrer Grenzgebiete. A Series of Modern Surveys in Mathematics, vol. 4. Springer, Berlin (2004)
Beauville, A.: Some Remarks on Kähler Manifolds with \(c_1=0\). In: Ueno, K. (ed.) Classification of Algebraic and Analytic Manifolds (Katata, 1982). Progress in Mathematics, vol. 39, pp. 1–26. Birkhäuser, Boston (1983)
Beauville, A.: Variétés Kähleriennes dont la première classe de Chern est nulle. J. Differential Geom. 18(4), 755–782 (1984)
Debarre, O.: Un contre-exemple au théorème de Torelli pour les variétés symplectiques irréductibles. C. R. Acad. Sci. Paris Sér. I Math. 299(14), 681–684 (1984)
Dolgachev, I.V.: Mirror symmetry for lattice polarized K3 surfaces. J. Math. Sci. 81(3), 2599–2630 (1996)
Fujiki, A.: On primitively symplectic compact Kähler \(V\)-manifolds of dimension four. In: Ueno, K. (ed.) Classification of Algebraic and Analytic Manifolds (Katata, 1982). Progress in Mathematics, vol. 39, pp. 71–250. Birkhäuser, Boston (1983)
Fujita, T.: Fractionally logarithmic canonical rings of algebraic surfaces. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 30(3), 685–696 (1984)
Hu, Y., Keel, S.: Mori dream spaces and GIT. Michigan Math. J. 48, 331–348 (2000)
Kawamata, Y.: The cone of curves of algebraic varieties. Ann. Math. 119(3), 603–633 (1984)
Kawamata, Y.: Crepant blowing-up of \(3\)-dimensional canonical singularities and its application to degenerations of surfaces. Ann. Math. 127(1), 93–163 (1988)
Kawamata, Y.: On the cone of divisors of Calabi–Yau fiber spaces. Internat. J. Math. 8(5), 665–687 (1997)
Kawamata, Y.: Flops connect minimal models. Publ. Res. Inst. Math. Sci. 44(2), 419–423 (2008)
Madonna, C., Nikulin, V.V.: On a classical correspondence between K3 surfaces. Proc. Steklov Inst. Math. 241, 120–153 (2003)
Markman, E., Yoshioka, K.: A proof of the Kawamata-Morrison Cone Conjecture for holomorphic symplectic varieties of \(K3^{[n]}\) or generalized Kummer deformation type (2014). arXiv:1402.2049
Morrison, D.R.: On K3 surfaces with large Picard number. Invent. Math. 75(1), 105–121 (1984)
O’Grady, K.G.: Involutions and linear systems on holomorphic symplectic manifolds. Geom. Funct. Anal. 15(6), 1223–1274 (2005)
Oguiso, K.: Automorphism groups of Calabi–Yau manifolds of Picard number \(2\). J. Algebraic Geom. 23(4), 775–795 (2014)
Okawa, S.: On images of Mori dream spaces. Math. Ann. (2015). doi:10.1007/s00208-015-1245-5
Saint-Donat, B.: Projective models of \(K-3\) surfaces. Amer. J. Math. 96(4), 602–639 (1974)
Sterk, H.: Finiteness results for algebraic K3 surfaces. Math. Z. 189(4), 507–513 (1985)
Totaro, B.: The cone conjecture for Calabi–Yau pairs in dimension \(2\). Duke Math. J. 154(2), 241–263 (2010)
Acknowledgments
The author expresses his best thanks to Doctor Malte Wandel for positing the question and to Professor Shinnosuke Okawa for discussions at the conference “Arithmetic and Algebraic Geometry” held at University of Tokyo, January 2014, from which this note grew up. Sincere thanks also go to Professors Alice Garbagnati, Fabrizio Catanese, Hélène Esnault, Brendan Hassett, Yujiro Kawamata, Thomas Peternell and Alessandra Sarti for valuable suggestions, discussions and encouragement, and the two referees for careful reading and showing a simpler proof of Claim 3.8. The author also expresses his thanks to Professors Toshiyuki Katsura, Iku Nakamura and Tomohide Terasoma for invitation to the above mentioned conference. The note is dedicated to Professor Fabrizio Catanese on the occasion of his sixty-fifth birthday, from whom the author has learned much about mathematics since 1993.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor Doctor Fabrizio Catanese on the occasion of his sixty-fifth birthday.
The author is supported by JSPS Grant-in-Aid (S) 25220701, JSPS Grant-in-Aid (S) 15H05738, JSPS Grant-in-Aid (B) 15H03611, and by KIAS Scholar Program.
Rights and permissions
About this article
Cite this article
Oguiso, K. On automorphisms of the punctual Hilbert schemes of K3 surfaces. European Journal of Mathematics 2, 246–261 (2016). https://doi.org/10.1007/s40879-015-0070-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40879-015-0070-4