Journal de l'École polytechnique
Mathématiques

Fabrizio ANELLA & Andreas HÖRING

Twisted cotangent bundle of Hyperkähler manifolds (with an appendix by Simone Diverio)

Tome 8 (2021), p. 1429-1457.

<http://jep.centre-mersenne.org/item/JEP_2021__8__1429_0>

© Les auteurs, 2021.
*Certains droits réservés.*

<figure><img src="image_1.png" /></figure>

Cet article est mis à disposition selon les termes de la licence

LICENCE INTERNATIONALE D'ATTRIBUTION CREATIVE COMMONS BY 4.0.

https://creativecommons.org/licenses/by/4.0/

L'accès aux articles de la revue « Journal de l'École polytechnique — Mathématiques » (http://jep.centre-mersenne.org/), implique l'accord avec les conditions générales d'utilisation (http://jep.centre-mersenne.org/legal/).

Publié avec le soutien
du Centre National de la Recherche Scientifique
# TWISTED COTANGENT BUNDLE OF HYPERKÄHLER MANIFOLDS

(WITH AN APPENDIX BY SIMONE DIVERIO)

BY FABRIZIO ANELLA & ANDREAS HÖRING

ABSTRACT. — Let $X$ be a Hyperkähler manifold, and let $H$ be an ample divisor on $X$. We give a lower bound in terms of the Beauville–Bogomolov–Fujiki form $q(H)$ for the pseudoeffectivity of the twisted cotangent bundle $\Omega_X \otimes H$. If $X$ is deformation equivalent to the punctual Hilbert scheme of a K3 surface, the lower bound can be written down explicitly and we study its optimality.

RÉSUMÉ (Faisceau cotangent tordu des variétés hyperkählériennes). — Soit $X$ une variété hyperkählérienne, et $H$ un diviseur ample sur $X$. Nous donnons une borne inférieure en fonction de la forme de Beauville-Bogomolov-Fujiki $q(H)$ pour la pseudo-effectivité du faisceau cotangent tordu $\Omega_X \otimes H$. Si $X$ est équivalente par déformation au schéma de Hilbert ponctuel d'une surface K3, cette borne inférieure peut être calculée explicitement et nous étudions son optimalité.

## CONTENTS

<table><tr><td>1. Introduction</td><td>1429</td></tr><tr><td>2. Notation and basic facts</td><td>1432</td></tr><tr><td>3. The projectivized cotangent bundle</td><td>1435</td></tr><tr><td>4. The positivity threshold</td><td>1440</td></tr><tr><td>5. Hilbert square of a K3 surface</td><td>1443</td></tr><tr><td>6. Hilbert cube of a K3 surface</td><td>1450</td></tr><tr><td>Appendix. Limits in family of pseudoeffective classes, by Simone Diverio</td><td>1452</td></tr><tr><td>References</td><td>1455</td></tr></table>

## 1. INTRODUCTION

1.A. MOTIVATION AND MAIN RESULT. — Let $X$ be a compact Kähler manifold, and let $\Omega_X$ be the cotangent bundle of $X$. If the canonical bundle $K_X = \det \Omega_X$ is positive (e.g. pseudoeffective or nef) we can use stability theory to describe the positivity of $\Omega_X$. The most famous result in this direction is Miyaoka's theorem [Miy87] which

MATHEMATICAL SUBJECT CLASSIFICATION (2020). — 14J42, 14J60, 14J28.

KEYWORDS. — Hyperkähler manifold, cotangent bundle, positivity of vector bundles.

This project was initiated during the first-named author's stay in Nice, supported by the UCA JEDI project (ANR-15-IDEX-01). The second-named author thanks the Institut Universitaire de France and the A.N.R. project project Foliage (ANR-16-CE40-0008) for providing excellent working conditions.
says that for a projective manifold that is not uniruled, the restriction $\Omega_X|_C$ to a general complete intersection curve $C$ of sufficiently ample general divisors is nef. However this result only captures a part of the picture: denote by $\zeta \to \mathbb{P}(\Omega_X)$ the tautological class on the projectivized cotangent bundle $\pi : \mathbb{P}(\Omega_X) \to X$. If $X$ is Calabi-Yau or a projective Hyperkähler manifold the tautological class $\zeta$ is not pseudoeffective [HP19, Th. 1.6]. In particular $X$ is covered by curves $C$ such that $\Omega_X|_C$ is not nef.

Our goal is to measure this defect of positivity by considering polarized manifolds $(X, H)$. We say that the twisted cotangent bundle of $(X, H)$, i.e., $\Omega_X \otimes H$, is pseudoeffective (resp. nef) if, by definition, the tautological line bundle of its projectivization has this property (see also Definition 2.3). This goal has been accomplished for infinitely many families of projective K3 surfaces in a beautiful paper of Gounelas and Ottem:

**1.1. THEOREM ([GO20, Th. B]).** — Let $(X, H)$ be a primitively polarized K3 surface of degree $d$ and Picard number one. Denote by $\pi : \mathbb{P}(\Omega_X) \to X$ the projectivization of the cotangent bundle, and by $\zeta \to \mathbb{P}(\Omega_X)$ the tautological class. Suppose that $d/2$ is a square and the Pell equation

$$x^2 - 2dy^2 = 5$$

has no integer solution.

Then $\zeta + (2/\sqrt{d/2})\pi^*H$ is pseudoeffective and $\zeta + ((2/\sqrt{d/2}) - \varepsilon)\pi^*H$ is not pseudoeffective for any $\varepsilon > 0$.

In the situation above one has $((2/\sqrt{d/2})H)^2 = 8$, so we see that, under these numerical conditions, the class $\zeta + \pi^*A$ is pseudoeffective for an ample $\mathbb{R}$-divisor class $A$ of degree at least eight. In view of this observation we make the following

**1.2. CONJECTURE.** — Fix an even natural number $2n$. Then there exists only finitely many deformation families of polarized Hyperkähler manifolds $(X, H)$ such that $\dim X = 2n$ and $H$ is ample Cartier divisor on $X$ such that $\zeta + \pi^*H$ is not pseudoeffective.

This conjecture should be seen as an analogue of the situation for uniruled manifolds: in this case $\Omega_X$ is not even generically nef in the sense of Miyaoka, but $\Omega_X \otimes H$ is generically nef unless $X$ is very special ([Hör14, Th. 1.1], see [AD19, Cor. 1.3] for a stronger version).

In this paper we give a sufficient condition for the pseudoeffectivity of twisted cotangent bundles for Hyperkähler manifolds. Since deformations to non-projective Hyperkähler manifolds are crucial for the proof we state the result in the analytic setting:

**1.3. THEOREM.** — Let $X$ be a (not necessarily projective) Hyperkähler manifold of dimension $2n$, and denote by $q(\cdot)$ its Beauville-Bogomolov-Fujiki form. Denote by $\pi : \mathbb{P}(\Omega_X) \to X$ the projectivization of the cotangent bundle, and by $\zeta \to \mathbb{P}(\Omega_X)$ the tautological class. There exists a constant $C_X \ge 0$ depending only on the deformation family of $X$ such that the following holds:
– Let $\omega_X$ be a nef and big (1, 1)-class on $X$ such that $q(\omega_X) \ge C_X$. Then $\zeta + \pi^*\omega_X$ is pseudoeffective.

– Suppose that $X$ is very general in its deformation space, and let $\omega_X$ be a nef and big (1, 1)-class on $X$. Then $q(\omega_X) \ge C_X$ if and only if $\zeta + \pi^*\omega_X$ is nef.

The proof of the second statement is a combination of Demailly-Păun's criterion for nef cohomology classes with classical results on the cohomology ring of very general Hyperkähler manifolds: we show in Lemma 3.1 that all the relevant intersection numbers are in fact polynomials in one variable, the variable being the Beauville-Bogomolov-Fujiki form $q(\omega_X)$. The largest real roots of these polynomials turn out to be bounded from above, this yields the existence of the constant $C_X$. The first statement then follows by a folklore degeneration argument that is proved by S. Diverio in the appendix.

As an immediate consequence we obtain some good evidence for Conjecture 1.2:

1.4. **COROLLARY.** — Let $X_0$ be a differentiable manifold of real dimension $4n$. Then there exist at most finitely many deformation families of polarized Hyperkähler manifolds $(X, H)$ such that $X_0 \stackrel{\text{diff.}}{\sim} X$ and $H$ is an ample Cartier divisor on $X$ such that $\zeta + \pi^*H$ is not pseudoeffective.

1. B. **HYPERKÄHLER MANIFOLDS OF TYPE K3**$^{[n]}$. — While Theorem 1.3 is quite satisfactory from a theoretical point of view, it is not clear how to compute the constant $C_X$ in practice. We therefore prove a more explicit version under a technical assumption:

1.5. **THEOREM.** — Let $X$ be a (not necessarily projective) Hyperkähler manifold of dimension $2n$. Suppose that a very general deformation of $X$ does not contain any proper subvarieties. Let $\omega_X$ be a Kähler class on $X$.

– Suppose that

$$ (\zeta + \lambda\pi^*\omega_X)^{4n-1} > 0 \quad \forall \lambda > 1. $$

Then $\zeta + \pi^*\omega_X$ is pseudoeffective.

– Suppose that $X$ is very general in its deformation space. Then $\zeta + \pi^*\omega_X$ is nef if and only if

$$ (\zeta + \lambda\pi^*\omega_X)^{4n-1} > 0 \quad \forall \lambda > 1. $$

We also prove in Proposition 4.2 that for very general $X$, the class $\zeta + \pi^*\omega_X$ is pseudoeffective if and only if it is nef. Thus Theorem 1.5 is optimal at least for very general $X$. Since $(\zeta + \lambda\pi^*\omega_X)^{4n-1}$ can be expressed as a polynomial depending only on the Segre classes of $X$, see equation (5), the sufficient condition can be written down explicitly.

If $\omega_X$ is the class of an ample divisor, the condition in Theorem 1.5 essentially says that the leading term of the Hilbert polynomial

$$ \chi(\mathbb{P}(\Omega_X), \mathcal{O}_{\mathbb{P}(\Omega_X)}(\ell(\zeta + \pi^*\omega_X))) $$

is positive. It is however possible that the higher cohomology of $\mathcal{O}_{\mathbb{P}(\Omega_X)}(\ell(\zeta + \pi^*\omega_X))$ grows with order $4n - 1$, so it is not obvious that $\zeta + \pi^*\omega_X$ is pseudoeffective.
Let $S$ be a K3 surface, and denote by $X := S^{[n]}$ the Hilbert scheme parametrizing 0-dimensional subschemes of length $n$. Then $X$ is Hyperkähler [Bea83], and by a theorem of Verbitsky [Ver98, Th. 1.1] a very general deformation does not contain any proper subvarieties. Thus the technical condition in Theorem 1.5 is satisfied for a Hyperkähler manifold of deformation type $K3^{[n]}$. We compute the constant $C_X$ for Hilbert schemes of low dimension. In particular we obtain

**1.6. COROLLARY.** — Let $S$ be a (not necessarily projective) K3 surface. Let $\omega_S$ be a nef and big (1,1)-class on $S$ such that $\omega_S^2 \ge 8$. Then $\zeta + \pi^*\omega_S$ is pseudoeffective.

The theorem of Gounelas and Ottem shows that this result is optimal for infinitely many 19-dimensional families of projective K3 surfaces. Their results also show that for certain families, e.g. general smooth quartics in $\mathbb{P}^3$, our estimate is not optimal [GO20, Cor. 4.2]. In these cases the obstruction comes from the projective geometry of $X$ [GO20, §4.2].

In higher dimension the situation becomes much more complicated. We show in Corollary 5.3 that for a nef and big class $\omega_X$ on a Hilbert square $X := S^{[2]}$ such that

$$q(\omega_X) \ge 3 + \sqrt{\frac{21}{5}},$$

the class $\zeta + \pi^*\omega_X$ is pseudoeffective. This bound is optimal for a very general deformation of $X$. However a Hilbert square $S^{[2]}$ deforms as a complex manifold in a 21-dimensional space, while its deformations as a Hilbert square only form a 20-dimensional family. In Section 5 we study in detail very general elements of the family of Hilbert squares: since the Hilbert square always contains an exceptional divisor, it is obvious that the nef cone and the pseudoeffective cone of $\mathbb{P}(\Omega_{S^{[2]}})$ do not coincide. It is much more difficult to decide if $\zeta + \pi^*\omega_X$ is nef if it is pseudoeffective. For this purpose we construct in Section 5.D a “universal” subvariety $Z \subset \mathbb{P}(\Omega_{S^{[2]}})$ that surjects onto $S^{[2]}$ and is an obstruction to the nefness of $\zeta + \pi^*\omega_X$ (cf. Proposition 5.10).

*Acknowledgements.* — We thank D. Huybrechts for his remarks on the first version of this paper. We thank S. Boissière and S. Diverio for very detailed communications, appearing in Proposition 6.2 and the appendix respectively.

## 2. NOTATION AND BASIC FACTS

We work over $\mathbb{C}$, for general definitions we refer to [Har77, Dem12]. Manifolds and normal complex spaces will always be supposed to be irreducible. We will not distinguish between an effective divisor and its first Chern class.

We recall some basic facts about the positivity of (1,1)-cohomology classes that generalize the corresponding notions for divisors classes.

**2.1. DEFINITION.** — Let $X$ be a compact Kähler manifold and $\alpha \in H^{1,1}(X, \mathbb{R})$. The class $\alpha$ is a Kähler class if it can be represented by a smooth real form of type (1,1) that is positive definite at every point. The class $\alpha$ is pseudoeffective if it can be represented by a closed real positive (1,1)-current.
The cone generated by the Kähler forms is the open convex cone $\mathcal{K}(X)$ in $H^{1,1}(X, \mathbb{R})$ called Kähler cone. The cone generated by closed positive real (1, 1)-currents is a closed convex cone denoted by $\mathcal{E}(X)$ called pseudoeffective cone. The closure of the Kähler cone is the nef cone and the interior of the pseudoeffective cone is the big cone. Clearly since a pseudoeffective class may be represented by a singular current the pseudoeffective cone contains the nef cone.

Suppose now that $X$ is a projective manifold. Inside the real vector space $H^{1,1}(X, \mathbb{R})$ there is the group of real divisors modulo numerical equivalence or real Néron–Severi space

$$ \mathrm{NS}_{\mathbb{R}}(X) = (H^{1,1}(X, \mathbb{R}) \cap H^2(X, \mathbb{Z})) \otimes_{\mathbb{Z}} \mathbb{R}. $$

Then we have

$$ \mathcal{K}(X) \cap \mathrm{NS}_{\mathbb{R}}(X) = \mathrm{Nef}(X), \quad \mathcal{E}(X) \cap \mathrm{NS}_{\mathbb{R}}(X) = \overline{\mathrm{Eff}}(X), $$

where $\mathrm{Nef}(X)$ (resp. $\overline{\mathrm{Eff}}(X)$) is the nef cone (resp. pseudoeffective cone) well-known to algebraic-geometers (cf. [BDPP13] for more details).

In the analytic context it is difficult to characterize the positivity of a (1, 1)-class via intersection numbers, however we have the following easy consequence of the Demailly-Păun criterion [DP04, Th. 0.1]:

2.2. **LEMMA.** — Let $X$ be a compact Kähler manifold, and let $V$ be a vector bundle over $X$. Denote by $\pi : \mathbb{P}(V) \to X$ the natural morphism, and by $\zeta$ the tautological class on $\mathbb{P}(V)$. Let $\omega_X$ be a Kähler class on $X$ such that for all $\lambda \ge 1$ we have

$$ (\zeta + \lambda \pi^* \omega_X)^{\dim Z} \cdot Z > 0 \quad \forall Z \subset \mathbb{P}(V) \text{ irreducible.} $$

Then $\zeta + \pi^* \omega_X$ is a Kähler class.

*Proof.* — By assumption the class $\zeta + \lambda \pi^* \omega_X$ is an element of the positive cone $\mathcal{P} \subset H^{1,1}(\mathbb{P}(V))$ of classes having positive intersection with all subvarieties. By the Demailly-Păun criterion [DP04, Th. 0.1] the Kähler cone $\mathcal{K}$ is a connected component of $\mathcal{P}$. Since $\zeta$ is a relative Kähler class, we know that $(\zeta + \lambda \pi^* \omega_X) \in \mathcal{K}$ for $\lambda \gg 0$ [Voi02, Proof of Prop. 3.18]. Conclude by connectedness. $\square$

Given a vector bundle $V$ over a complex manifold, we will denote by $\pi : \mathbb{P}(V) \to X$ its projectivization in the sense of Grothendieck, i.e., the space of hyperplanes in the fibres of $V \to X$. We denote by $\zeta$ the tautological class on $\mathbb{P}(V)$.

2.3. **DEFINITION ([Laz04, §6.2]).** — Let $V$ be a vector bundles over a compact Kähler manifold, and $\pi : \mathbb{P}(V) \to X$ its projectivization. Given a (1, 1)-class $\alpha$ on $X$ we say that the twisted vector bundle $V<\alpha>$ is pseudoeffective (resp. nef) if the (1, 1)-class $\zeta + \pi^* \alpha$ is pseudoeffective (resp. nef).

If $\alpha$ is the first Chern class of a line bundle $H$, the formal notation $V<c_1(H)>$ can be replaced by the more familiar $V \otimes L$. Recall also [Laz04, Ex. 8.3.5] that the $k$-th Segre class of $V$ is given by $\pi_* \zeta^{r+k} = s_k(V^*) = (-1)^k s_k(V)$.
A (not necessarily projective) Hyperkähler manifold is a simply connected compact Kähler manifold $X$ such that $H^0(X, \Omega_X^2)$ is spanned by a symplectic form $\sigma$, i.e., an everywhere non-degenerate holomorphic two form. The existence of the symplectic form $\sigma$ implies that $\dim X$ is even, so we will write $\dim(X) = 2n$. The symplectic form defines an isomorphism $T_X \to \Omega_X$, so we can also consider $\mathbb{P}(\Omega_X)$ as the space of lines, allowing us to use e.g. [Kob87]. Moreover the odd Chern and Segre classes of $X$ vanish.

The second cohomology group with integer coefficients $H^2(X, \mathbb{Z})$ is a lattice for the Beauville-Bogomolov-Fujiki quadratic form $q = q_X$ [Bea83, §8]. Somewhat abusively we denote by $q(.,..)$ the associated bilinear form. If $X$ is projective it follows from the Bochner principle that all the symmetric powers $S^\ell \Omega_X$ are slope stable with respect to any polarization $H$ on $X$ [Kob80, Th. 6].

We will frequently use basic facts about the deformation theory of Hyperkähler manifolds, as explained in [Bea83, §8] [Huy99, §1]. In particular we use that a very general point of the deformation space corresponds to a non-projective manifold, but the projective manifolds form a countable union of codimension one subvarieties that are dense in the deformation space. A very general deformation of $X$ is a manifold $X_t$ which corresponds to a very general point $t$ in the Kuranishi space of $X$.

The Picard group $\mathrm{Pic}(X)$ is by definition the group of isomorphism classes of line bundles on $X$. Since $H^1(X, \mathcal{O}_X) = 0$ and $H^2(X, \mathbb{Z})$ is torsion-free, the Lefschetz (1,1)-theorem [Huy05, Prop. 3.3.2] gives an isomorphism

$$H^2(X, \mathbb{Z}) \cap H^{1,1}(X, \mathbb{R}) \simeq \mathrm{Pic}(X).$$

2.4. **Remark.** — By Hodge theory a class $\alpha \in H^2(X, \mathbb{Z})$ is of type (1,1) if an only if it is orthogonal to the symplectic form $\sigma_X$. If $\sigma_X$ is not orthogonal to any non zero element of the lattice $H^2(X, \mathbb{Z})$ then there are no integral cohomology classes of type (1,1) in $X$. For any $0 \neq \alpha \in H^2(X, \mathbb{Z})$ the orthogonal $\alpha^\perp \subset H^2(X, \mathbb{C})$ is a proper hyperplane because the Beauville-Bogomolov-Fujiki form $q$ is non degenerate. By the local Torelli theorem [Bea83, Th. 5], the moduli space of the deformations of $X$ is locally an open inside the quadric $\{q(\beta) = 0\} \subset \mathbb{P}(H^2(X, \mathbb{C}))$. So a very general Hyperkähler manifold can be taken outside all the hyperplanes $\alpha^\perp$ such that $0 \neq \alpha \in H^2(X, \mathbb{Z})$, hence has trivial Picard group.

2.5. **Remark.** — For any very general Hyperkähler $X$ we have by [Huy03a, Cor. 1]

$$\mathcal{E}^0(X) = \mathcal{K}(X) = \mathcal{C}(X),$$

where $\mathcal{C}(X)$ is the connected component of $\{\alpha \in H^{1,1}(X, \mathbb{R}) | q(\alpha) > 0\}$ that contains $\mathcal{K}(X)$ and $\mathcal{E}^0(X)$ is the interior of the pseudoeffective cone. In particular the classes in the boundary of the Kähler cone cannot be in the interior of the pseudoeffective cone because they have trivial top self intersection. Thus a big class, being in the interior of $\mathcal{E}(X)$, is in fact Kähler.
### 3. THE PROJECTIVIZED COTANGENT BUNDLE

Let $X$ be a compact Kähler manifold, and let $V \to X$ be a vector bundle over $X$. Denote by $\zeta := c_1(\partial_V(1))$ the tautological class on $\mathbb{P}(V)$ and by $\pi : \mathbb{P}(V) \to X$ the projection. By [Kob87, Chap. 2] the cohomology ring with integral coefficients is

$$H^*(\mathbb{P}(V), \mathbb{Z}) = H^*(X, \mathbb{Z})[\zeta]/p(\zeta),$$

$$\text{where } p(\zeta) = \zeta^n + \zeta^{n-1}\pi^*c_1(V) + \dots + \pi^*c_n(V).$$

Passing to complex coefficients we get that any class $\alpha \in H^{2k}(\mathbb{P}(V), \mathbb{C})$ can be uniquely written as

$$\alpha = \sum_{p=0}^{k} \zeta^{p} \cdot \pi^{*} \beta_{2k-2p},$$

$$\text{where } \beta_{2k-2p} \in H^{2k-2p}(X, \mathbb{C}).$$

Since $X$ is Kähler we can consider the Hodge decomposition of $H^{2k}(\mathbb{P}(V), \mathbb{C})$ and obtain a decomposition

$$H^{k,k}(\mathbb{P}(V)) = \bigoplus_{i=0}^{k} \mathbb{C}\zeta^{k-i} \otimes \pi^* H^{i,i}(X).$$

Using the canonical inclusion $H^{k,k}(\mathbb{P}(V)) \subset H^{2k}(\mathbb{P}(V), \mathbb{C})$ we can compare the two decompositions and obtain

$$(1) \quad H^{k,k}(\mathbb{P}(V)) \cap H^{2k}(\mathbb{P}(V), \mathbb{Z}) = \bigoplus_{i=0}^{k} \mathbb{Z}\zeta^{k-i} \otimes \pi^*(H^{i,i}(X) \cap H^{2i}(X, \mathbb{Z})).$$

In particular the cohomology class of a codimension $k$ subvariety $Z$ of $\mathbb{P}(V)$ can be uniquely written as

$$(2) \quad [Z] = \beta_0\zeta^k + \zeta^{k-1}\cdot\pi^*\beta_1 + \zeta^{k-2}\cdot\pi^*\beta_2 + \dots + \pi^*\beta_k,$$

$$\text{where } \beta_i \in H^{i,i}(X) \cap H^{2i}(X, \mathbb{Z}) \text{ and } \beta_0 \in \mathbb{Z}.$$

In this section we will first use this decomposition to establish Theorem 1.3, see Section 3.A. Then we will prove an additional restriction on the component $\beta_1$ that allows us to describe the varieties $Z \subset \mathbb{P}(\Omega_X)$ in some cases, see Section 3.B.

### 3.A. PROOF OF THE MAIN RESULT.
For a very general Hyperkähler manifold $X$ many computations can be reduced to its Beauville-Bogomolov-Fujiki form [Huy99]. We start by showing a similar property for $\mathbb{P}(\Omega_X)$:

#### 3.1. LEMMA.
Let $X$ be a Hyperkähler manifold of dimension $2n$, and denote by $q(\cdot)$ its Beauville-Bogomolov-Fujiki form. Let

$$\Theta \in H^{k,k}(\mathbb{P}(\Omega_X)) \cap H^{2k}(\mathbb{P}(\Omega_X), \mathbb{Z})$$

be an integral class of type $(k, k)$. Suppose that the class $\Theta$ is of type $(k, k)$ for every small deformation of $X$. Then there exists a polynomial $p_{\Theta}(t) \in \mathbb{Q}[t]$ such that for any $(1, 1)$-class $\omega$ on $X$, one has

$$(\zeta + \pi^* \omega)^{4n-1-k} \cdot \Theta = p_{\Theta}(q(\omega)).$$
*Proof.* — Observe first that both sides of the equation are polynomial functions on $H^{1,1}(X)$. In particular they are determined by their values on an open set and we can assume without loss of generality that $\omega$ is a Kähler. Let

$$ (3) \qquad \Theta = \sum_{i=0}^{k} \zeta^{k-i} \pi^{*} \beta_{i} $$

be the decomposition of $\Theta$ according to (1) where $\beta_i \in H^{i,i}(X) \cap H^{2i}(X, \mathbb{Z})$. By our assumption, for any small deformation $\mathcal{X} \to \Delta$, the class $\Theta$ deforms as an integral class $\Theta_t$ of type $(k, k)$. Thus we can write

$$ \Theta_t = \sum_{i=0}^{k} \zeta_t^{k-i} \pi^* \beta_{i,t}, $$

with $\beta_{i,t} \in H^{i,i}(X_t) \cap H^{2i}(X_t, \mathbb{Z})$. Since the family $\mathbb{P}(\mathcal{X}) \to \Delta$ is locally trivial in the differentiable category, we can consider the classes $\beta_i$ as elements of $H^{2i}(X_t, \mathbb{Z})$ for $t \neq 0$. The integral cohomology class $\Theta_t \in H^{2k}(\mathbb{P}(\Omega_{X_t}, \mathbb{Z}))$ does not depend on $t$, so (3) induces a decomposition

$$ \Theta_t = \sum_{i=0}^{k} \zeta_t^{k-i} \pi^* \beta_i. $$

By uniqueness of the decomposition we have $\beta_i = \beta_{i,t}$, in particular the classes $\beta_i$ are of type $(i, i)$ in $\mathcal{X}_t$.

We have

$$ (\zeta + \pi^* \omega)^{4n-1-k} = \sum_{j=0}^{4n-1-k} \binom{4n-1-k}{j} \zeta^{4n-1-k-j} \pi^* \omega^j, $$

so

$$ (\zeta + \pi^* \omega)^{4n-1-k} \cdot \Theta = \sum_{j=0}^{4n-1-k} \binom{4n-1-k}{j} \sum_{i=0}^{k} \zeta^{4n-1-j-i} \pi^*(\beta_i \cdot \omega^j). $$

By the projection formula and the definition of Segre classes one has for $i + j \le 2n$

$$ \zeta^{4n-1-j-i} \pi^*(\beta_i \cdot \omega^j) = (-1)^{i+j} s_{2n-j-i} \cdot \beta_i \cdot \omega^j, $$

where $s_i = s_i(\Omega_X)$. Since the odd Segre classes of a Hyperkähler manifold vanish, we can implicitly assume that $i + j$ is even. In particular $(-1)^{i+j} = 1$. We claim that we can also assume that $j$ is even.

*Proof of the claim.* — Note that $f(\omega) := s_{2n-j-i} \cdot \beta_i \cdot \omega^j$ defines a polynomial on $H^{1,1}(X)$. Thus, up to replacing $\omega$ by a general Kähler class, we can assume that $s_{2n-j-i} \cdot \beta_i \cdot \omega^j = 0$ if and only if $s_{2n-j-i} \cdot \beta_i \cdot (\omega')^j = 0$ for every (1, 1)-class $\omega'$. As we have already observed at the start of the proof, we can make this generality assumption without loss of generality. If $s_{2n-j-i} \cdot \beta_i \cdot \omega^j = 0$, the term is irrelevant for our computation. If $s_{2n-j-i} \cdot \beta_i \cdot \omega^j \neq 0$, then by [Ver96, Th. 2.1] the degree of the cohomology class $s_{2n-j-i} \cdot \beta_i$ is divisible by 4 (here we use that $\omega$ is a Kähler class). Since $s_{2n-j-i} \cdot \beta_i \in H^{4n-2j}(X, \mathbb{R})$, the claim follows.
Thus we obtain

$$ (\zeta + \pi^*\omega)^{4n-1-k} \cdot \Theta = \sum_{j=0}^{4n-1-k} \binom{4n-1-k}{j} \sum_{i=0}^{k} s_{2n-j-i} \cdot \beta_i \cdot \omega^j. $$

We have shown above that the classes $s_{2n-j-i} \cdot \beta_i$ are of type $(2n-j, 2n-j)$ on all small deformations of $X$. Since $j$ is even, we know by [Huy97, Th. 5.12] that there exist constants $d_{i,j} \in \mathbb{Q}$ such that for any $\delta \in H^{1,1}(X, \mathbb{R})$ we have

$$ s_{2n-j-i} \cdot \beta_i \cdot \delta^j = d_{i,j}q(\delta)^{j/2}. $$

The polynomial

$$ p_{\Theta}(t) := \sum_{j=0}^{4n-1-k} \binom{4n-1-k}{j} \sum_{i=0}^{k} d_{i,j} t^{j/2} $$

has the claimed property.

□

*Proof of Theorem 1.3.* — Suppose first that $X$ is very general in its deformation space. Let $Z \subset \mathbb{P}(\Omega_X)$ be a subvariety. Since $X$ is very general, we know that for any small deformation $\mathcal{X} \to \Delta$, the variety $Z$ deforms to a variety $Z_t \subset \mathbb{P}(\Omega_{\mathcal{X}_t})$. In particular its cohomology class $[Z]$ is of type $(k, k)$ for every small deformation. Thus Lemma 3.1 applies and there exists a polynomial $p_Z(t) = p_{[Z]}(t)$ such that

$$ (\zeta + \pi^*\omega)^{4n-1-k} \cdot [Z] = p_Z(q(\omega)) $$

for any (1, 1)-class $\omega$ on $X$. Since intersection numbers are invariant under deformation and the cycle space has only countably irreducible components, we obtain a countable number of polynomials $(p_m(t))_{m \in \mathbb{N}}$ such that for every subvariety $Z \subset \mathbb{P}(\Omega_X)$ there exists a polynomial $p_m$ such that

$$ (\zeta + \pi^*\omega)^{4n-1-k} \cdot [Z] = p_m(q(\omega)). $$

Denote by $c_m$ the largest real root of the polynomial $p_m$. We claim that

$$ \sup_{m \in \mathbb{N}} \{c_m\} < \infty. $$

Indeed fix a Kähler class $\eta$ on $X$ such that $\zeta + \pi^*\eta$ is a Kähler class on $\mathbb{P}(\Omega_X)$. Then $\zeta + \lambda\pi^*\eta$ is a Kähler class for all $\lambda \ge 1$, so

$$ p_m(\lambda^2 q(\eta)) = (\zeta + \lambda\pi^*\eta)^{4n-1-k} \cdot [Z] > 0 $$

for all $\lambda \ge 1$. In particular $c_m \le q(\eta)$, and hence $\sup_{m \in \mathbb{N}} \{c_m\} \le q(\eta)$. This shows the claim and we denote the real number $\sup_{m \in \mathbb{N}} \{c_m\}$ by $C_X$.

*Proof of the second statement.* — Since $X$ is very general, we know by Remark 2.5 that the nef and big class $\omega_X$ is Kähler. If $q(\omega_X) > C_X$ then by construction of the constant $C_X$ one has

$$ (\zeta + \lambda\pi^*\omega_X)^{4n-1-k} \cdot [Z] = p_m(\lambda^2 q(\omega_X)) > 0 $$

for every subvariety $Z$. By Lemma 2.2 this implies that $\zeta + \pi^*\omega_X$ is Kähler. If $q(\omega_X) \ge C_X$ then $q((1+\varepsilon)\omega_X) > C_X$, so $\zeta + (1+\varepsilon)\pi^*\omega_X$ is Kähler. Thus $\zeta + \pi^*\omega_X$ is nef.
Vice versa suppose that $\zeta + \pi^*\omega_X$ is nef. Then $\zeta + \lambda\pi^*\omega_X$ is nef for all $\lambda \ge 1$. Thus

$$p_m(\lambda^2 q(\omega_X)) = (\zeta + \lambda\pi^*\omega_X)^{4n-1-k} \cdot [Z] \ge 0$$

for all $\lambda \ge 1$. Since $\lim_{\lambda \to \infty} \lambda^2 q(\omega_X) = \infty$, this implies $c_m \le q(\omega_X)$ for all $m \in \mathbb{N}$. Hence we obtain $q(\omega_X) \ge C_X$.

*Proof of the first statement.* — We claim that we can assume that $\omega_X$ is a Kähler class with $q(\omega_X) > C_X$. Indeed let $\delta$ be any Kähler class on $X$, then $\omega_X + \delta$ is Kähler. Moreover one has

$$q(\omega_X + \delta) = q(\omega_X) + q(\delta) + 2q(\delta, \omega) > q(\omega_X) \ge C_X.$$

Thus if $\zeta + \pi^*(\omega_X + \delta)$ is pseudoeffective for every $\delta$, then the closedness of the pseudoeffective cone implies the statement by taking the limit $\delta \to 0$. This shows the claim.

We denote by $0 \in \text{Def}(X)$ the point corresponding to $X$ in its Kuranishi family. By [Huy16, Prop. 5.6] we can assume that in a neighborhood $U$ of $0 \in \text{Def}(X)$ the Kähler class $\omega_X$ deforms as a Kähler class $(\omega_{X_t})_{t \in U}$. In order to simplify the notation we replace $U$ with a very general disc $\Delta$ centered at 0 and consider the family $\mathcal{X} \to \Delta$. Since the Beauville-Bogomolov-Fujiki form is continuous we have, up to replacing $\Delta$ by a smaller disc, that $q(\omega_{X_t}) > C_X$ for every $t \in \Delta$. By the second statement this implies that for $t \in \Delta$ very general the class $\zeta_t + \pi_t^*\omega_{X_t}$ is nef, in particular it is pseudoeffective. Now we apply Theorem A.1 to the family $\mathbb{P}(\Omega_X) \to \Delta$ and the classes $\zeta_t + \pi^*\omega_{X_t}$: this shows that $\zeta + \pi^*\omega_X$ is pseudoeffective. $\square$

*Proof of Corollary 1.4.* — By [Huy03b, Th. 2.1] there exist at most finitely many different deformation families of irreducible holomorphic symplectic complex structures on $X_0$. For any such deformation type, Theorem 1.3 gives a constant $C_k$ such that $\zeta + \pi^*\omega_X$ is pseudoeffective for every Kähler class $\omega_X$ such that $q(\omega_X) > C_k$. Let $C_X$ be the maximum among the constants $C_k$. Since the differentiable structure on $X$ is fixed, the constant of proportionality between the Beauville-Bogomolov-Fujiki form $q(\omega_X)$ and the top intersection $\omega_X^{2n}$ is fixed. Thus the polarized Hyperkähler manifolds $(X, H)$ such that $X_0 \simeq X$ and $\zeta + \pi^*H$ is not pseudoeffective satisfy $H^{2n} \le b$ for some constant $b$. By a theorem of Matsusaka-Mumford [MM64] there are for any fixed $0 < i \le b$ only a finite number of deformation families of polarized Hyperkähler manifolds $(X, H)$ such that $H^{2n} = i$. Thus the cases where $\zeta + \pi^*H$ is not pseudoeffective belong to one of these finitely many families. $\square$

### 3.B. SUBVARIETIES OF THE PROJECTIVIZED COTANGENT BUNDLE.
We start with a technical observation:

### 3.2. LEMMA.
Let $X$ be a projective Hyperkähler manifold of dimension $2n$. Let $Z$ be an effective cycle on $\mathbb{P}(\Omega_X)$ of codimension $k > 0$ such that $\pi(\text{Supp } Z) = X$. Denote by

$$[Z] = \beta_0\zeta^k + \zeta^{k-1}\pi^*\beta_1 + \zeta^{k-2}\pi^*\beta_2 + \dots + \pi^*\beta_k$$

the decomposition (2) of its cohomology class. Then we have $\beta_1 \ne 0$.
*Proof.* — We argue by contradiction and suppose that $\beta_1 = 0$. Let $C \subset X$ be a general complete intersection of sufficiently ample divisors $D_i \in |H|$ so that the Mehta-Ramanathan theorem [MR84, Th. 4.3] applies for $\Omega_X$. Then the restriction $\Omega_X|_C$ is stable, and by a result of Balaji and Kollár [BK08, Prop. 10] its algebraic holonomy group is $\text{Sp}_{2n}(\mathbb{C})$. Thus not only $\Omega_X|_C$, but also all its symmetric powers $S^\ell \Omega_X|_C$ are stable. Denote by $Z_C$ the restriction of the effective cycle $Z$ to $\mathbb{P}(\Omega_X|_C)$. Since $\pi(\text{Supp } Z) = X$ the effective cycle $Z_C$ is not zero. Then its cohomology class is

$$[Z_C] = (\beta_0\zeta^k + \zeta^{k-2} \cdot \pi^*\beta_2 + \dots + \pi^*\beta_k) \cdot \pi^* H^{2n-1} = \beta_0\zeta_C^k,$$

where $\zeta_C$ is the restriction of the tautological class. In particular, since $c_1(\Omega_X|_C) = 0$, we have $\zeta_C^{2n-k} \cdot [Z_C] = \beta_0\zeta_C^{2n} = 0$. Yet this is a contradiction to [HP19, Prop. 1.3]. $\square$

3.3. **REMARK.** — Lemma 3.2 also holds if $X$ is a Calabi-Yau manifold (in the sense of [Bea83]): the cotangent bundle $\Omega_X$ is also stable and the algebraic holonomy is $\text{SL}_{\text{dim } X}(\mathbb{C})$ [BK08, Prop. 10]. Thus the proof above applies without changes.

In [COP10, Cor. 2.6] it is shown that a very general Hyperkähler manifold is not covered by proper subvarieties. We show an analogue for the projectivized cotangent bundle $\Omega_X$:

3.4. **LEMMA.** — Let $X$ be a Hyperkähler manifold of dimension $2n$. Suppose that $X$ is very general in the following sense: we have

(1) $\text{Pic}(X) = 0$;

(2) if $\mathcal{X} \to \Delta$ is a deformation of $X = \mathcal{X}_0$, then every irreducible component of the cycle space $\mathcal{C}(\mathbb{P}(\Omega_{\mathcal{X}_0}))$ deforms to $\mathcal{C}(\mathbb{P}(\Omega_{\mathcal{X}_t}))$ for $t \neq 0$.

Let $Z \subset \mathbb{P}(\Omega_X)$ be a compact analytic subvariety. Then $\pi(Z) \subset X$.

By countability of the irreducible components of the relative cycle space [Fuj79, Th.] and by Remark 2.4 we know that for a very general choice of $X$ the hypothesis of the lemma are satisfied.

*Proof.* — We argue by contradiction, and suppose that $Z$ is a subvariety of $\mathbb{P}(\Omega_X)$ of codimension $k > 0$ such that $\pi(Z) = X$. Denote by

$$[Z] = \beta_0\zeta^k + \zeta^{k-1} \cdot \pi^*\beta_1 + \zeta^{k-2} \cdot \pi^*\beta_2 + \dots + \pi^*\beta_k$$

the decomposition (2) of its cohomology class. Since $\text{Pic}(X) = 0$ we know that $\beta_1 = 0$.

Projective Hyperkähler manifolds are dense in the deformation space of any Hyperkähler manifold [Bea83, §9] [Buc08, Prop. 5], so we can consider a small deformation of $X$

<figure><img src="image_2.png" /></figure>
such that $\mathcal{X}_{t_0}$ is projective for some point $t_0 \in \Delta$. This deformation comes naturally with a deformation of the cotangent bundle, so we have a diagram

<figure><img src="image_3.png" /></figure>

By the second assumption the subvariety $Z \subset \mathbb{P}(\Omega_X)$ deforms in a family of subvarieties $Z_t \subset \mathbb{P}(\Omega_{X_t})$ having cohomology class

$$[Z_t] = \beta_0\zeta^k + \zeta^{k-2} \cdot \pi^*\beta_2 + \dots + \pi^*\beta_k.$$

Since the cycle space is proper over the base $\Delta$ [Bar75, Th. 1] we obtain in particular that the class $\beta_0\zeta^k + \zeta^{k-2} \cdot \pi^*\beta_2 + \dots + \pi^*\beta_k$ is effectively represented on $\mathbb{P}(\Omega_{X_{t_0}})$. This contradicts Lemma 3.2. □

**3.5. COROLLARY.** — Let $X$ be a Hyperkähler manifold of dimension $2n$. Suppose that $X$ is very general in the sense of Lemma 3.4. Suppose also that $X$ contains no proper compact subvarieties. Let $Z \subset \mathbb{P}(\Omega_X)$ be a compact analytic subvariety. Then $\pi(Z)$ is a point.

*Proof.* — By Lemma 3.4 we have $\pi(Z) \subsetneq X$ for every subvariety $Z \subsetneq \mathbb{P}(\Omega_X)$. By our assumption this implies that $\pi(Z)$ is a point. □

**3.6. REMARK.** — A very general deformation of Kummer type does not satisfy the assumptions of the corollary ([KV98, §6.1]).

## 4. THE POSITIVITY THRESHOLD

In view of the results from Section 3.B, we will deduce Theorem 1.5 from the main result:

**4.1. PROPOSITION.** — Let $X$ be a Hyperkähler manifold of dimension $2n$. Suppose that a very general deformation of $X$ contains no proper compact subvarieties. Let $p_X(t)$ be the polynomial defined by applying Lemma 3.1 to $[\mathbb{P}(\Omega_X)]$. Then the constant $C_X$ appearing in Theorem 1.3 is the largest real root of $p_X(t)$.

*Proof.* — Since $C_X$ only depends on the deformation family we can assume that $X$ is very general in its deformation space. In the proof of Theorem 1.3 we defined the constant $C_X$ as $\sup_{m \in \mathbb{N}}\{c_m\}$, where $c_m$ is the largest real root of the polynomials $p_m(t)$, and the family of polynomials $(p_m(t))_{m \in \mathbb{N}}$ is obtained by applying Lemma 3.1 to the classes of all the subvarieties $Z \subset \mathbb{P}(\Omega_X)$.
By our assumption and Corollary 3.5 we know that a proper subvariety $Z \subset \mathbb{P}(\Omega_X)$ is contained in a fiber. Thus for any Kähler class $\omega_X$ the restriction

$$ (\zeta + \pi^*\omega_X)_Z = \zeta|_Z = c_1(\mathcal{O}_{\mathbb{P}^{2n-1}}(1))|_Z $$

is ample. Hence the corresponding polynomial $p_m(t)$ is constant and positive. In particular there is no real root to take into account for the supremum. $\square$

*Proof of Theorem 1.5.* — By Proposition 4.1 the constant $C_X$ in Theorem 1.3 is the largest real root of the polynomial $p_X(t)$ defined by

$$ p_X(q(\omega)) = (\zeta + \pi^*\omega)^{4n-1}. $$

Thus the condition $q(\omega_X) \ge C_X$ is equivalent to

$$ (\zeta + \lambda\pi^*\omega)^{4n-1} > 0 $$

for all $\lambda > 1$. Conclude with Theorem 1.3. $\square$

We have already observed that for a very general Hyperkähler manifold the pseudo-effective cone and the nef cone coincide. This also holds for the projectivized cotangent bundle:

4.2. **PROPOSITION.** — Let $X$ be a Hyperkähler manifold of dimension $2n$. Suppose that $X$ is very general in the sense of Lemma 3.4. Suppose also that $X$ contains no proper compact subvarieties.

Let $C_X \ge 0$ be the constant from Theorem 1.3. Then we have

$$ (4) \qquad \mathcal{E}(\mathbb{P}(\Omega_X^1)) = \{a\zeta + \pi^*\delta \mid a \ge 0, \delta \in \overline{\mathcal{K}(X)}, q(\delta) \ge a^2 C_X\} $$

and

$$ \mathcal{E}(\mathbb{P}(\Omega_X^1)) = \overline{\mathcal{K}(\mathbb{P}(\Omega_X^1))}. $$

*Proof.* — We start proving the last statement. We recall the definition of the Null cone of $\mathbb{P}(\Omega_X^1)$ that is the following set

$$ \mathcal{N} := \{x \in H^{1,1}(\mathbb{P}(\Omega_X^1), \mathbb{R}) \mid \int_{\mathbb{P}(\Omega_X^1)} x^{2n-1} = 0\}. $$

For any class $\gamma \in \partial\mathcal{K}(\mathbb{P}(\Omega_X^1))$ there exists a subvariety $V$ of $\mathbb{P}(\Omega_X^1)$ such that $\int_V \gamma^{\dim(V)} = 0$. Since we are assuming that there are no proper subvarieties in $X$, by Lemma 3.4 we know that the proper subvarieties of $\mathbb{P}(\Omega_X^1)$ are contracted to points in $X$. Since $\mathbb{P}(\Omega_X^1)$ is a projective bundle the integral along a contracted subvariety $V$ has the following property

$$ \int_V (a\zeta + \pi^*\delta)^{\dim(V)} = 0 \iff a = 0. $$

This implies using [DP04, Th. 0.1] that

$$ \partial\mathcal{K}(\mathbb{P}(\Omega_X^1)) \subseteq \mathcal{N} \cup \{a=0\}. $$

A (1, 1) form in the hyperplane $\{a=0\}$ is in the null cone. This tells that the Kähler cone is one of the connected component of $H^{1,1}(\mathbb{P}(\Omega_X^1), \mathbb{R}) \setminus \mathcal{N}$. Hence the classes in the boundary of the Kähler cone are nef classes with trivial self intersection, so they
are also in the boundary of the pseudoeffective cone [DP04, Th. 0.5]. This proves that the closure of the Kähler cone is the pseudoeffective cone.

For notation's convenience we set

$$ \mathcal{A} := \{ a\zeta + \pi^*\delta \mid a \ge 0, \delta \in \overline{\mathcal{H}(X)}, q(\delta) \ge a^2 C_X \}. $$

The inclusion $\mathcal{E}(\mathbb{P}(\Omega_X^1)) \supseteq \mathcal{A}$ follows from the first statement of Theorem 1.3. To prove the other inclusion we argue as follows. The points of $\partial \mathcal{A}$ are contained in the set $\{a = 0 \lor q(\delta) = a^2 C_X\}$. By definition of the constant $C_X$ the self intersection of the classes $a\zeta + \pi^*\delta$ vanishes. We also have $(\pi^*\delta)^{2n-1} = 0$, hence

$$ \partial \mathcal{A} \subset \mathcal{N}. $$

Moreover there are no points in the interior of $\mathcal{A}$ contained in the null cone, so $\mathcal{A}^\circ$ must be a connected component of $H^{1,1}(\mathbb{P}(\Omega_X^1), \mathbb{R}) \setminus \mathcal{N}$. Since the intersection of $\mathcal{E}(\mathbb{P}(\Omega_X^1))$ and $\mathcal{A}$ is non-empty and both are closed convex cones the conclusion follows. $\square$

### 4.3. REMARK.
— The rest of the paper is devoted to giving more explicit expressions of the conditions in Theorem 1.3 and Theorem 1.5, so for clarity's sake let us write down the polynomial $p_X(t)$ from Proposition 4.1: let $X$ be a Hyperkähler manifold of dimension $2n$, and denote by $\zeta$ the tautological class of $\pi : \mathbb{P}(\Omega_X) \to X$. Recall that by definition of the Segre classes we have $\pi_*\zeta^{2n+i} = (-1)^i s_i(X)$. Since the odd Chern classes of a Hyperkähler manifold are trivial, the odd Segre classes vanish. Note also that $(\pi^*\omega_X)^i = 0$ if $i > 2n$. The top self-intersection is thus

$$ \begin{align} p_X(\lambda q(\omega_X)) &= (\zeta + \lambda \pi^* \omega_X)^{4n-1} = \sum_{i=0}^{2n} \binom{4n-1}{i} \zeta^{4n-1-i} \cdot \pi^* \omega_X^i \lambda^i \tag{5} \\ &= \zeta^{2n-1} \sum_{i=0}^{n} \binom{4n-1}{2i} \zeta^{2n-2i} \cdot \pi^* \omega_X^{2i} \lambda^{2i} \nonumber \\ &= \sum_{i=0}^{n} \binom{4n-1}{2i} s_{2n-2i}(X) \cdot \omega_X^{2i} \lambda^{2i}. \nonumber \end{align} $$

Recall also that by [Fuj87, Rem. 4.12] there exist constants $d_{2i} \in \mathbb{R}$ that depend only on the family such that

$$ (6) \qquad s_{2n-2i}(X) \cdot \omega_X^{2i} = d_{2i}q(\omega_X)^i $$

for any (1, 1)-class $\omega_X$. Note that $s_0(X) \cdot \omega_X^{2n} = \omega_X^{2n} = d_{2n}q(\omega_X)^n$, so $d_{2n} > 0$.

### 4.4. EXAMPLE.
— For $n = 1$ we obtain

$$ (\zeta + \lambda \pi^* \omega_X)^3 = -c_2(X) + 3\omega_X^2 \lambda^2. $$

For $n = 2$ we obtain

$$ (\zeta + \lambda \pi^* \omega_X)^7 = (c_2(X)^2 - c_4(X)) - 21c_2(X) \cdot \omega_X^2 \lambda^2 + 35\omega_X^4 \lambda^4. $$
*Proof of Corollary 1.6.* — By Proposition 4.1 we only have to compute the largest real root of $p_X(t)$. By Formula (5) and Example 4.4 the constant $C_X$ is the largest root of $-c_2(X) + 3t = 0$. Since $c_2(X) = 24$ the result follows. □

4.5. **DEFINITION.** — Let $X$ be a Hyperkähler manifold of dimension $2n$, and let $\omega_X$ be a nef and big class on $X$. The *positivity threshold* of $(X, \omega_X)$ is defined as

$$ \gamma_p(\omega_X) := \inf\{\lambda_0 \in \mathbb{R} \mid (\zeta + \lambda\pi^*\omega_X)^{4n-1} > 0 \ \forall \lambda > \lambda_0\}. $$

4.6. **REMARK.** — Since $(\zeta + \lambda\pi^*\omega_X)^{4n-1} \sim \lambda^{2n}\omega_X^{2n}$ for $t \gg 0$ we have $\gamma_p(\omega_X) < +\infty$. It seems unlikely that $(\zeta + \lambda\pi^*\omega_X)^{4n-1} > 0$ for all $\lambda \in \mathbb{R}$. If (a very general deformation of) $X$ contains no proper subvarieties, this can be seen as follows: since $X$ has no subvarieties, the nef and big class $\omega_X$ is Kähler. By Corollary 3.5, the class $\zeta + \lambda\pi^*\omega_X$ satisfies the condition of Lemma 2.2 for any $\lambda \in \mathbb{R}$, so $\zeta + \lambda\pi^*\omega_X$ is Kähler for any $\lambda \in \mathbb{R}$. But $\mathcal{K}(\mathbb{P}(\Omega_X))$ does not contain any lines.

Let $X$ be a Hyperkähler manifold, and let $\omega_X$ be a Kähler class on $X$. We define the *pseudoeffective threshold*

$$ \gamma_e(\omega_X) := \inf\{t \in \mathbb{R} \mid \zeta + t\pi^*\omega_X \text{ is big/pseudoeffective}\} $$

and the *nef threshold*

$$ \gamma_n(\omega_X) := \inf\{t \in \mathbb{R} \mid \zeta + t\pi^*\omega_X \text{ is Kähler/nef}\}. $$

Since $\zeta + t\pi^*\omega_X$ is Kähler for $t \gg 0$, both thresholds are real numbers.

4.7. **PROPOSITION.** — Let $X$ be a (not necessarily projective) Hyperkähler manifold of dimension $2n$. Suppose that a very general deformation of $X$ does not contain any proper subvarieties. Let $\omega_X$ be a Kähler class on $X$. Then we have

$$ \gamma_e(\omega_X) \le \gamma_p(\omega_X) \le \gamma_n(\omega_X). $$

For a very general deformation of $X$ these inequalities are equalities for any Kähler class $\omega_X$.

*Proof.* — The top self-intersection of a Kähler class is certainly positive, so the inequality $\gamma_p(\omega_X) \le \gamma_n(\omega_X)$ is trivial. The inequality $\gamma_e(\omega_X) \le \gamma_p(\omega_X)$ follows from Theorem 1.5. For a very general deformation of $X$ we can apply Proposition 4.2, so the nef cone and the pseudoeffective cone coincide. Thus we have $\gamma_e(\omega_X) = \gamma_n(\omega_X)$. □

We will show in Section 5 that for the Hilbert square of a K3 surface the second inequality is strict.

## 5. HILBERT SQUARE OF A K3 SURFACE

5.A. **SETUP.** — We recall the basic geometry of the Hilbert square, using the notation and results of [Bea83, §6]: let $S$ be a (not necessarily algebraic) K3 surface, and let $\rho: S \times S \to S \times S$ be the blow-up along the diagonal $\Delta \subset S \times S$. We denote the
exceptional divisor of this blowup by $E$. The natural involution on the product $S \times S$ lifts to an involution

$$i_{\widetilde{S \times S}} : \widetilde{S \times S} \to \widetilde{S \times S},$$

and we denote by $\eta : \widetilde{S \times S} \to X$ the ramified two-to-one covering defined by taking the quotient with respect to this involution. It is well-known that $X$ is smooth and Hyperkähler. Finally we denote by $\pi : \mathbb{P}(\Omega_X) \to X$ the natural projection, and by $\zeta \to \mathbb{P}(\Omega_X)$ the tautological divisor.

Recall that $X$ is isomorphic to the Hilbert scheme of length two zero dimensional subschemes $S^{[2]}$, and denote by

$$\varepsilon : S^{[2]} \to S^{(2)}$$

the natural map to the symmetric product. We denote by $E_X \subset X$ the exceptional divisor of this contraction, and observe that $\eta|_E$ induces an isomorphism $E \simeq E_X$. Since $\rho$ is the blowup of the diagonal one has $E \simeq \mathbb{P}(\Omega_S)$, and we denote by

$$\pi_S := \rho|_E \simeq \eta|_{E_X} : \mathbb{P}(\Omega_S) \to S$$

the natural map. Denote by $\zeta_S \to \mathbb{P}(\Omega_S)$ the tautological divisor.

By [Bea83, §6, Prop. 6] we have a canonical inclusion $i : H^2(S, \mathbb{Z}) \hookrightarrow H^2(X, \mathbb{Z})$ inducing a morphism of Hodge structures

$$H^2(X, \mathbb{Z}) \simeq H^2(S, \mathbb{Z}) \oplus \mathbb{Z}\delta,$$

where $\delta$ is a primitive class such that $2\delta = E_X$. This decomposition is orthogonal with respect to the Beauville-Bogomolov-Fujiki quadratic form $q$ [Bea83, §9, Lem. 1] and one has $q(\delta) = -2$ [Bea83, §1, Rem. 1]. By construction of the inclusion $i$ [Bea83, §6, Prop. 6] we have

$$(7) \qquad \alpha_X|_{E_X} = 2\pi_S^*\alpha_S,$$

and by [Bea83, §9, Rem. 1] one has $q(\alpha_X) = \alpha_S^2$.

Since $E$ is the ramification divisor of the two-to-one cover $\eta$, we have $\eta^*E_X = 2E$. Since $E|_E = -\zeta_S$ and $2\delta = E$, we obtain

$$(8) \qquad \delta|_{E_X} = -\zeta_S.$$

By [Bea83, §9, Lem. 1] we have

$$(9) \qquad \alpha^4 = 3q(\alpha)^2$$

for any $\alpha \in H^{1,1}(X)$. If $\alpha_S$ is any (1, 1)-class on $S$, we set $\alpha_X := (i \otimes \mathrm{id}_C)(\alpha_S)$.

The second Chern class $c_2(X)$ is a multiple of the Beauville-Bogomolov-Fujiki form. More precisely we have

$$(10) \qquad c_2(X) \cdot \alpha^2 = 30q(\alpha)$$

for any $\alpha \in H^{1,1}(X)$ [Ott15, §3.1].
5.B. INTERSECTION COMPUTATION ON X. — Denote by $p_i : S \times S \to S$ the projection on the $i$-th factor. The composition of $p_i$ with the blow-up $\rho$ defines a submersion

$$p_i \circ \rho : \widetilde{S \times S} \to S,$$

the fiber over a point $x \in S$ being isomorphic to the blow-up of $S$ in $x$. We denote by $F_i$ a $p_i \circ \rho$-fiber and by $\bar{S} = \eta(F_i)$ its image(1) in $X$. We will denote by $\bar{S}_x$ the image of the fiber $p_i \circ \rho^{-1}(x) \subset \widetilde{S \times S}$ in $X$.

The tangent sequence for $\rho$

$$0 \to \rho^*\Omega_{S \times S} \to \Omega_{\widetilde{S \times S}} \to \mathcal{O}_E(2E) \to 0$$

immediately yields

$$\begin{array}{ll} (11) & c_1(\Omega_{\widetilde{S \times S}}) = E, \qquad c_3(\Omega_{\widetilde{S \times S}}) = E^3 + 24(F_1 + F_2) \cdot E, \\ & c_2(\Omega_{\widetilde{S \times S}}) = 24(F_1 + F_2) - E^2, \qquad c_4(\Omega_{\widetilde{S \times S}}) = -E^4 - 24(F_1 + F_2) \cdot E^2 + 576. \end{array}$$

From tangent sequence for $\eta$

$$0 \to \eta^*\Omega_X \to \Omega_{\widetilde{S \times S}} \to \mathcal{O}_E(-E) \to 0$$

one deduces

$$\begin{array}{ll} (12) & c_1(\eta^*\Omega_X) = 0, \qquad c_3(\eta^*\Omega_X) = 0, \\ & c_2(\eta^*\Omega_X) = 24(F_1 + F_2) - 3E^2, \qquad c_4(\eta^*\Omega_X) = 648. \end{array}$$

We can then deduce the Segre and Chern classes of $X$:

$$\begin{array}{ll} (13) & s_1(X) = 0 = c_1(X), \qquad s_3(X) = 0 = c_3(X), \\ & s_2(X) = -24\bar{S} + 3\delta^2 = -c_2(X), \qquad s_2(X)^2 = 828 = c_2(X)^2, \\ & s_4(X) = 504, \qquad c_4(X) = 324. \end{array}$$

More precisely these formulas follow from (12), the projection formula and the following lemmas.

5.1. LEMMA. — In the setup of subsection 5.A, one has

$$\bar{S} \cdot \delta = \ell$$

where $\ell$ is the class of a fiber of $\varepsilon|_{E_X} : E_X \to S$. Moreover one has

$$\bar{S} \cdot \delta \cdot \alpha_X = 0, \qquad \bar{S} \cdot \delta^2 = -1, \qquad \bar{S}^2 = 1, \qquad \bar{S} \cdot \alpha_X^2 = \alpha_S^2.$$

*Proof.* — The first statement is equivalent to $\bar{S} \cdot E_X = 2\ell$. Since $\bar{S} = \eta_*F_1$ and $\eta^*E_X = 2E$ we know by the projection formula that

$$\bar{S} \cdot E_X = \eta_* F_1 \cdot E_X = F_1 \cdot \eta^* E_X = 2F_1 \cdot E.$$

Now recall that $F_i$ is the blow-up of $p \times S$ in the point $(p, p)$. Thus the intersection $F_1 \cdot E$ is the exceptional divisor of the blowup $F_i \to p \times S$. This exceptional $\mathbb{P}^1$ maps isomorphically onto a fiber of $\varepsilon|_{E_X}$. This shows the first statement.

<footnote>(1) Note that the involution $i_{\widetilde{S \times S}}$ maps $F_1$ onto $F_2$, so $\bar{S}$ is well-defined.</footnote>
The equalities $\bar{S} \cdot \delta \cdot \alpha_X = 0$, $\bar{S} \cdot \delta^2 = -1$ now follow from (7) and (8). Since $\eta^*\bar{S} = F_1 + F_2$ the projection formula implies

$$ \bar{S}^2 = \frac{1}{2}(\eta^*\bar{S})^2 = \frac{1}{2}(F_1 + F_2)^2 = F_1 \cdot F_2 = 1, $$

where the last equality is due to the fact that the strict transform of $p \times S$ and $S \times q$ intersect exactly in $(p, q)$ if $p \neq q$.

Finally the equality $\bar{S} \cdot \alpha_X^2 = \alpha_S^2$ follows from the construction of $\alpha_X$ [Bea83, §6, Prop. 6] and observing that if $F_{1,x}$ is the fiber of $p_1 \circ \rho$ over $x \in S$, then $\alpha_X|_{\mu(F_{1,x})} = \rho_x^*\alpha_S$ where $\rho_x : F_1 \times S$ is the blow-up in $x$. $\square$

5.2. LEMMA. — In the setup of subsection 5.A, one has

$$ \alpha_X^4 = 3(\alpha_S^2)^2, \quad \alpha_X^3 \cdot \delta = 0, \quad \alpha_X^2 \cdot \delta^2 = -2\alpha_S^2, \quad \alpha_X \cdot \delta^3 = 0, \quad \delta^4 = 12. $$

*Proof.* — A standard intersection computation based on (9), (7), (8) and $q(\delta) = -2$. $\square$

5.C. POSITIVE THRESHOLD. — Using the preceding section we can easily compute the positive threshold:

5.3. COROLLARY. — Let $X$ be a four-dimensional Hyperkähler manifold of deformation type $K3^{[2]}$. Let $\omega_X$ be a nef and big (1,1)-class on $X$ such that

$$ q(\omega_X) \geq 3 + \sqrt{\frac{21}{5}} \sim 5.0493. $$

Then $\zeta + \pi^*\omega_X$ is pseudoeffective. This bound is optimal for a very general deformation of $X$.

*Proof.* — By Proposition 4.1 we only have to compute the largest real root of $p_X(t)$. By Formula (5) and Example 4.4 we have to compute the largest solution of

$$ d_0 + 21d_2t + 35d_4t^2 = 0, $$

where the constants $d_{2i}$ are defined by (6). By (9) and (10) we have

$$ c_2(X)\alpha^2 = 30q(\alpha), \quad \alpha^4 = 3q(\alpha)^2 $$

for any element $\alpha \in H^{1,1}(X, \mathbb{R})$. By (13) we have $c_4(X) = 324$, $c_2^2 = 828$. Thus we obtain the quadratic equation

$$ 504 - 630t + 105t^2 = 0. $$

Its largest solution is

$$ C_X = \frac{630 + 42\sqrt{105}}{210} = 3 + \sqrt{\frac{21}{5}}. \quad \square $$

5.4. REMARK. — Let $X$ be a four-dimensional Hyperkähler manifold, not necessarily deformation equivalent to a Hilbert square. In this case the coefficients $d_i$ are not
known. However, if a very general deformation of $X$ does not contain any subvarieties, we can use Example 4.4 to show that for a Kähler class $\omega_X$ the positivity threshold is

$$ \gamma_p(\omega_X) = \sqrt{\frac{21\omega_X^2 c_2 + \sqrt{(21\omega_X^2 c_2)^2 - 140(\omega_X^4)(c_2^2 - c_4)}}{70\omega_X^4}} $$

5.D. A SUBVARIETY OF $\mathbb{P}(\Omega_X)$. — Denote by $p_i : S \times S \to S$ the projection on the $i$-th factor. Then $p_i \circ \rho : \widetilde{S} \times S \to S$ is a submersion, the fiber over a point $x \in S$ being isomorphic to the blow-up of $S$ in $x$. Thus we obtain rank two foliations

$$ \ker T_{p_i \circ \rho} := \mathcal{F}_i \subset T_{\widetilde{S} \times S}. $$

In view of the description of the $\mathcal{F}_i$-leaves it is clear that the natural map $\mathcal{F}_1 \oplus \mathcal{F}_2 \to T_{\widetilde{S} \times S}$ has rank 4 in the complement of the exceptional divisor $E$, but

$$ \mathcal{F}_1|_E \cap T_E = T_{E/S} = \mathcal{F}_2|_E \cap T_E. $$

5.5. LEMMA. — The composition of the inclusion $\mathcal{F}_i \subset T_{\widetilde{S} \times S}$ with the tangent map $T_{\widetilde{S} \times S} \to \eta^*T_X$ is injective in every point. Thus $\mathcal{F}_i \hookrightarrow \eta^*T_X$ is a rank 2 subbundle.

*Proof*. — Since $T_\eta$ is an isomorphism in the complement of $E$, it is sufficient to study the restriction to $E$. Note also that

$$ T_{\widetilde{S} \times S}|_E \to (\eta^*T_X)|_E $$

has rank three in every point, since $\eta|_E$ induces an isomorphism $E \to E_X$. Arguing by contradiction we assume that there exists a point $x \in E$ such that the map

$$ \mathcal{F}_{i,x} \to T_{\widetilde{S} \times S,x} \to (\eta^*T_X)_x $$

has rank at most one for some $i \in \{1, 2\}$. Since $\eta \circ i_{\widetilde{S} \times S} = \eta$ this implies that

$$ \mathcal{F}_{3-i,x} \to T_{\widetilde{S} \times S,x} \to (\eta^*T_X)_x $$

also has rank at most one. Yet $\ker T_{\eta,x}$ has dimension one, so we obtain

$$ \ker T_{\eta,x} \cap \mathcal{F}_{1,x} = \ker T_{\eta,x} = \ker T_{\eta,x} \cap \mathcal{F}_{2,x}. $$

In particular we have

$$ \ker T_{\eta,x} = \mathcal{F}_{1,x} \cap \mathcal{F}_{2,x} = T_{E/S,x}. $$

Yet $\eta$ induces an isomorphism $E \to E_X$, so $T_{E/S,x} \subset T_{E,x}$ is not in the kernel. $\square$

By Lemma 5.5 we have an injection $\mathcal{F}_i \hookrightarrow \eta^*T_X$. The corresponding quotient $\eta^*T_X \to Q_i$ defines a subvariety $\mathbb{P}(Q_i)$ of $\pi_\eta : \mathbb{P}(\eta^*T_X) \to \widetilde{S} \times S$ that is a $\mathbb{P}^1$-bundle over $\widetilde{S} \times S$. Since $\eta \circ i_{\widetilde{S} \times S} = \eta$ the involution $i^*_{\widetilde{S} \times S}$ acts on $\mathbb{P}(\eta^*T_X)$ and maps $\mathbb{P}(Q_1)$ to $\mathbb{P}(Q_2)$. Thus if we denote by $Z \subset \mathbb{P}(T_X)$ the image of $\mathbb{P}(Q_i)$ under the two-to-one cover $\tilde{\eta} : \mathbb{P}(\eta^*T_X) \to \mathbb{P}(T_X)$, we have

$$ \tilde{\eta}^*[Z] = [\mathbb{P}(Q_1)] + [\mathbb{P}(Q_2)]. $$

5.6. PROPOSITION. — In the situation of Section 5.A, denote by $Z \subset \mathbb{P}(T_X) \simeq \mathbb{P}(\Omega_X)$ the subvariety constructed above. Then we have

(14) $$ [Z] = 2\zeta^2 + 2\pi^*\delta \cdot \zeta + \pi^*(24\bar{S} - 6\delta^2). $$
*Proof.* — Consider the exact sequence

$$0 \to \mathcal{F}_i \to T_{\widetilde{S} \times \widetilde{S}} \to (p_i \circ \rho)^* T_S \to 0.$$

The Chern classes of $(p_i \circ \rho)^* T_S$ and $T_{\widetilde{S} \times \widetilde{S}}$ are known, cf. (11). An elementary computation then yields

$$(15) \qquad c_1(\mathcal{F}_i) = -E, \quad c_2(\mathcal{F}_i) = 24F_{3-i} - 3E^2.$$

Denote by $\zeta_\eta$ the tautological bundle on $\mathbb{P}(\eta^*T_X)$. Since $Q_i = \eta^*T_X/\mathcal{F}_i$ we have

$$[\mathbb{P}(Q_i)] = \zeta_\eta^2 - \zeta_\eta \cdot \pi_\eta^* c_1(\mathcal{F}_i) + \pi_\eta^* c_2(\mathcal{F}_i) = \zeta_\eta^2 + \zeta_\eta \cdot \pi_\eta^* E + \pi_\eta^*(24F_{3-i} - 3E^2).$$

Since $\tilde{\eta}^*[Z] = [\mathbb{P}(Q_1)] + [\mathbb{P}(Q_2)]$ and

$$\eta^* \bar{S} = F_1 + F_2, \quad \eta^* \delta = E, \quad \tilde{\eta}^* \zeta = \zeta_\eta,$$

the claim follows.

□

5.7. **REMARK.** — The geometry of $Z$ can be understood as follows: on $\widetilde{S} \times \widetilde{S}$ we have two distinct families of surfaces $((p_i \circ \rho)^{-1}(x))_{x \in S}$. The images in $X$ of these two families coincide and form a web of surfaces $(\bar{S}_x)_{x \in S}$. For a point $x \in X$ that is not in $E_X$ there are exactly two members of the web passing through $x$ and they intersect transversally. The projectivization of their normal bundle defines a projective line in $\mathbb{P}(\Omega_{X,x})$. Since the intersection is transversal, the general fiber of $Z \to X$ is thus a pair of disjoint lines.

For a point $x \in E \subset X$, the involution $i^*_{\widetilde{S} \times \widetilde{S}}$ acts on $\mathbb{P}(\eta^*T_X)_x$ and identifies $\mathbb{P}(Q_{1,x})$ with $\mathbb{P}(Q_{2,x})$. Thus the fiber of $Z \to X$ over a point in $x \in E_X \simeq E$ is a double line. Hence $Z \cap \pi^*E$ is non-reduced with multiplicity two. In fact since $(\eta^*T_X)|_E \simeq T_X|_{E_X}$ we can identify $(Z \cap \pi^*E)_{\text{red}}$ to the quotient defined by the inclusion $\mathcal{F}_i|_E \to (\eta^*T_X)|_E$.

5.E. **THE INTERSECTION COMPUTATION.** — We will now compute some intersection numbers on $\mathbb{P}(\Omega_X)$.

5.8. **LEMMA.** — In the situation of Section 5.A, let $\alpha_S$ be a (1,1)-class on $S$ and $\alpha_X = (i \otimes \text{id}_C)(\alpha_S) \in H^{1,1}(X, \mathbb{R})$. Then one has

$$\begin{align*}
\zeta^7 &= 504, \\
\zeta^5 \cdot \pi^* \delta^2 &= 60, \quad \zeta^5 \cdot \pi^*(\delta \cdot \alpha_X) = 0, \quad \zeta^5 \cdot \pi^* \alpha_X^2 &= -30\alpha_S^2, \\
\zeta^3 \cdot \pi^* \delta^4 &= 12, \quad \zeta^3 \cdot \pi^*(\delta^3 \cdot \alpha_X) = 0, \quad \zeta^3 \cdot \pi^*(\delta^2 \cdot \alpha_X^2) &= -2\alpha_S^2, \\
\zeta^3 \cdot \pi^*(\delta \cdot \alpha_X^3) &= 0, \quad \zeta^3 \cdot \pi^* \alpha_X^4 &= 3(\alpha_S^2)^2.
\end{align*}$$

*Proof.* — Observe first that $\zeta^7 = s_4(X)$, so the first statement is included in (13). Also note that by (13) one has

$$\pi_* \zeta^5 = s_2(X) = -24\bar{S} + 3\delta^2,$$

so the second statement follows from Lemma 5.1 and Lemma 5.2. The intersections with $\zeta^3$ are simply a restatement of Lemma 5.2. □
In order to compute the intersection numbers with $\pi^*\overline{S}$, note that by Lemma 5.1 one has

$$c_1(\Omega_X|_{\overline{S}}) = 0, \quad s_2(\Omega_X|_{\overline{S}}) = s_2(\Omega_X) \cdot \overline{S} = (-24\overline{S} + 3\delta^2) \cdot \overline{S} = -27.$$

Thus we have $\zeta^5 \cdot \pi^*\overline{S} = -27$ and

$$(16) \qquad \zeta^3 \cdot \pi^*\overline{S} \cdot \delta^2 = -1, \quad \zeta^3 \cdot \pi^*\overline{S} \cdot \alpha_X \cdot \delta = 0, \quad \zeta^3 \cdot \pi^*\overline{S} \cdot \alpha_X^2 = \alpha_S^2.$$

The intersections with $\zeta^4$ and $\zeta^6$ are all equal to zero: the Segre classes $s_1(X)$ and $s_3(X)$ vanish, so the statement follows from the projection formula.

Let now $S$ be a very general K3 surface such that $\mathrm{Pic}(S) = 0$, in particular $S$ does not contain any curves. The subvarieties of the product $S \times S$ are exactly $S \times x$, $x \times S$ and the diagonal $\Delta$: the case of curves and divisors is easily excluded. For a surface $Z \subset S \times S$ we first observe that the projection on $S$ is étale, since $S$ does not contain any curve. Since $S$ is simply connected, we obtain that $Z$ is the graph of an automorphism of $S$. Yet a very general K3 surface has no non-trivial automorphisms [Ogu08, Cor. 1.6].

5.9. **LEMMA.** — In the situation of Section 5.A, let $S$ be a very general K3 surface such that $\mathrm{Pic}(S) = 0$.

— The subvarieties of $X$ are exactly $(\overline{S})_{x \in S}$, the exceptional divisor $E_X$ and the fibres of $E_X \simeq \mathbb{P}(\Omega_X) \to S$.

— Let $\alpha_S$ be a Kähler class on $S$. Then $\alpha_X - \delta$ is a Kähler class if and only if $\alpha_S^2 > 2$.

*Proof.* — Since $\eta$ is finite, any subvariety of $X$ corresponds to a subvariety of $\widetilde{S} \times S$. By the discussion above and Corollary 3.5 we know the subvarieties of $S \times S$ and $\mathbb{P}(\Omega_S)$, so the first statement follows.

We know that $t\alpha_X - \delta$ is Kähler for $t \gg 0$, so by the Demailly-Păun theorem it is enough to check when $\alpha_X - \delta$ is in the positive cone. By Lemma 5.1 and Lemma 5.2 we have

$$\begin{align*}
(\alpha_X - \delta)^4 &= 3((\alpha_S^2)^2 - 4\alpha_S^2 + 4), & (\alpha_X - \delta)^3 \cdot E &= 12(\alpha_S^2 - 2), \\
(\alpha_X - \delta)^2 \cdot \overline{S} &= \alpha_S^2 - 1, & (\alpha_X - \delta) \cdot \ell &= 1,
\end{align*}$$

which are all positive for $\alpha_S^2 > 2$. $\square$

5.10. **PROPOSITION.** — In the situation of Section 5.A, let $\alpha_S$ be a Kähler class on $S$ such that $\omega := \alpha_X - \delta$ is a Kähler class. Let $Z \subset \mathbb{P}(T_X) \simeq \mathbb{P}(\Omega_X)$ be the subvariety constructed in Section 5.D. Then we have

$$(\zeta + \pi^*\omega)^5 \cdot [Z] = 15((\alpha_S^2)^2 - 8\alpha_S^2 - 56).$$

In particular we have

$$(\zeta + \pi^*\omega)^5 \cdot [Z] \ge 0 \qquad \text{if and only if } \alpha_S^2 \ge (8 + \sqrt{288})/2 \approx 9,6569.$$
*Proof.* — The class [Z] is given by (14) and all the intersection numbers are determined in Section 5.E. The statement follows from an elementary, but somewhat lengthy computation. □

We can summarize our computations on $X = S^{[2]}$ as follows: since $\alpha_S^2 = q(\alpha_X)$ we know that for a very general K3 surface, the class $\alpha_X - \delta$ is Kähler if $q(\alpha_X) > 2$ (Lemma 5.9). The class $\zeta + \pi^*(\alpha_X - \delta)$ is pseudoeffective if $q(\alpha_X) \ge 5 + \sqrt{21/5}$ (Corollary 5.3). If $q(\alpha_X) < (8 + \sqrt{288})/2$, the class $\zeta + \pi^*(\alpha_X - \delta)$ is not nef (Proposition 5.10). In particular we see that for the Hilbert square of a K3 surface polarized by an ample line bundle $L$ of degree eight, the integral class $\zeta + \pi^*(c_1(L)_X - \delta)$ is big but not nef.

5.F. REMARK ON SUBVARIETIES OF X. — By [Ver98, Th. 1.1] a very general deformation of the Hilbert scheme $S^{[n]}$ does not contain any proper subvarieties. Verbitsky’s proof is rather involved, but for the case $n = 2$ general arguments are sufficient: a very general deformation satisfies satisfies Pic$(X) = 0$, so there are no divisors and by duality there are no curves on $X$. The vector space

$$H^4(X, \mathbb{Q}) \cap H^{2,2}(X)$$

is one dimensional by [Zha15, Table B.1] and thus generated by the non-zero class $c_2(X)$. If $X$ contains a surface $S$, we obtain that $c_2(X)$ is represented by an effective $\mathbb{Q}$-cycle for $X$ very general. By properness of the relative Barlet space [Fuj79, Th. 4.3] this implies that $c_2(X)$ is effectively represented for every member in the deformation family. Yet this contradicts [Ott15, Prop. 2].

## 6. HILBERT CUBE OF A K3 SURFACE

Now we compute explicitly the positivity threshold for $n = 3$.

6.1. COROLLARY. — Let $X$ be a six-dimensional Hyperkähler manifold of deformation type $K3^{[3]}$. Let $\omega_X$ be a nef and big (1,1)-class on $X$ such that

$$q(\omega_X) \ge \frac{2}{21} \left( 18 + \sqrt[3]{6(1875 - 7\sqrt{4233})} + \sqrt[3]{6(1875 + 7\sqrt{4233})} \right) \approx 5.9538.$$

Then $\zeta + \pi^*\omega_X$ is pseudoeffective. This bound is optimal for a very general deformation of $X$.

The proof is based on the following proposition, communicated to us by Samuel Boissière:

6.2. PROPOSITION (S. Boissière). — Let $X$ be a six-dimensional Hyperkähler manifold of deformation type $K3^{[3]}$. Then for any (1,1)-class $\alpha$ on $X$ one has

$$\begin{align*}
\alpha^6 &= 15q(\alpha), & c_2\alpha^4 &= 108q(\alpha)^2, \\
c_2^2\alpha^2 &= 1848q(\alpha), & c_4\alpha^2 &= 2424q(\alpha).
\end{align*}$$
Proof. — By [Fuj87, Rem. 4.12] or [Huy97, Th. 5.12] we know that for any element $\gamma \in H^{i,i}(X, \mathbb{R})$ that deforms to a very general deformation of $X$ as element of type $(i, i)$, its intersection with a class in $H^2(X, \mathbb{R})$ satisfies $\gamma \cdot \alpha = C(\gamma)q(\alpha)^{n-i}$ for any $\alpha \in H^2(X, \mathbb{Z})$. We need to compute these constants for varieties that are deformation equivalent to $K3^{[3]}$ and $\gamma$ in the subalgebra generated by the Chern classes. By abuse of notations we will denote by $c_i$ the Chern classes of $X$. The constants $C(\gamma)$ are invariant by deformations, so we can assume that $X$ is isomorphic to $S^{[3]}$ for a projective $K3$ surface $S$. As we mention before in the case of $S^{[2]}$, there is an isometric inclusion $i: H^2(S, \mathbb{Z}) \hookrightarrow H^2(X, \mathbb{Z})$. Geometrically this inclusion is realized sending a line bundle $L$ on $S$ to the line bundle $L_3 := \det L^{[3]}$. By Riemann–Roch formula and by [EGL01, Lem. 5.1] we have

$$ \int_X e^{c_1(L_3)} \mathrm{Todd}(X) = \chi_X(L_3) = \binom{\chi_S(L) + 2}{2}. $$

From now on we by abuse of notation we will confuse line bundles with their first Chern class. We recall that the Todd class for six dimensional Hyperkähler manifolds is

$$ (17) \qquad \mathrm{Td}(X) = 1 + \frac{1}{12}c_2 + \frac{1}{240}c_2^2 - \frac{1}{720}c_4 + \frac{1}{6048}c_2^3 - \frac{1}{6720}c_2c_4 + \frac{1}{30240}c_6 $$

and $\chi_S(L) = L^2 + 2 = q(L_3) + 2$. Putting the Todd class and the characteristics in the equation above we get

$$ \begin{aligned} & \frac{1}{720}L_3^6 + \frac{1}{288}c_2L_3^4 + \left(\frac{1}{480}c_2^2 - \frac{1}{1440}c_4\right)L_3^2 + \frac{1}{6048}c_2^3 - \frac{1}{6720}c_2c_4 + \frac{1}{30240}c_2c_4 \\ & = \frac{1}{6}\chi_S(L)(\chi_S(L) + 1)(\chi_S(L) + 2) = \frac{1}{48}q(L_3)^3 + \frac{3}{8}q(L_3)^2 + \frac{13}{6}q(L_3) + 4, \end{aligned} $$

that, by homogeneity, tells us that

$$ L_3^6 = 15q(L_3), \quad c_2L_3^4 = 108q(L_3)^2. $$

The quadratic term is not sufficient to give us the other constants but tells only that

$$ (18) \qquad 3c_2^2L_3^2 - c_4L_3^2 = 3120q(L_3). $$

We are going to use a consequence of a formula due to Nieper that can be found in [Huy03b, Th. 4.2]:

$$ (19) \qquad \int_X \sqrt{\mathrm{Td}(X)}e^x = (1 + \lambda(x))^3 \int_X \sqrt{\mathrm{Td}(X)} $$

for a quadratic form $\lambda: H^2(X, \mathbb{C}) \to \mathbb{C}$ and any $x \in H^2(X, \mathbb{C})$. One can deduce directly by (17) that

$$ \sqrt{\mathrm{Td}(X)} = 1 + \frac{1}{24}c_2 + \frac{7}{5650}c_2^2 - \frac{1}{1440}c_4 + \frac{31}{967680}c_2^3 - \frac{11}{241920}c_2c_4 + \frac{1}{60480}c_6. $$

By the terms of degree 4 and 6 of (19) we deduce that $\lambda(x) = \frac{1}{3}q(x)$. This fact with the degree two component of (19) gives

$$ (20) \qquad \frac{7}{4}c_2^2x^2 - c_4x^2 = 810q(x). $$

Finally the solution of the system given by (18) and (20) is

$$ c_2^2L_3^2 = 1848q(L_3), \quad c_4L_3^2 = 2424q(L_3). \qquad \square $$
*Proof of Corollary 6.1.* — By Proposition 4.1 we only have to compute the largest real root of $p_X(t)$. By Formula (5) we have to compute the largest solution of

$$ \binom{11}{6} d_6 t^3 + \binom{11}{4} d_4 t^2 + \binom{11}{2} d_2 t + d_0 = 0, $$

where the constants $d_{2i}$ are defined by (6). Using Proposition 6.2 we can compute the constant $d_{2i}$ in our setting, one obtains the cubic equation

$$ 6930t^3 - 35640t^2 - 31680t - 10560 = 0. $$

This polynomial has only one real solution, the one from the statement. The last statement is the second part of Theorem 1.3. □

## APPENDIX. LIMITS IN FAMILY OF PSEUDOEFFECTIVE CLASSES, BY SIMONE DIVERIO (*)

A crucial step in the proof of Theorem 1.3 is to pass from the twisted cotangent bundle of very general Hyperkähler manifold to a specialization. This step fits into a more general framework:

Let $\pi: \mathcal{X} \to \Delta$ be a proper holomorphic submersion onto the complex unit disc of relative complex dimension $n$, and call $X_t = \pi^{-1}(t)$ the compact complex manifold over the point $t \in \Delta$.

Suppose also that $\pi$ is a weakly Kähler fibration, i.e., there exists a real 2-form $\omega$ on $\mathcal{X}$ such that its restriction $\omega_t = \omega|_{X_t}$ is a Kähler form on $X_t$, for each $t \in \Delta$.

By Ehresmann’s fibration theorem, $\pi$ is a locally trivial fibration in the smooth category. Thus, after possibly shrinking $\Delta$, we may suppose that we are given a smooth compact real manifold $F$ of real dimension $2n$ and a smooth diffeomorphism $\theta: \mathcal{X} \to F \times \Delta$ such that the following diagram commutes:

<figure><img src="image_4.png" /></figure>

Next, call $\theta_t := \theta|_{X_t}: X_t \xrightarrow{\approx_{C^\infty}} F$. For any $t \in \Delta$, given a real (1, 1)-cohomology class $\alpha_t \in H^{1,1}(X_t, \mathbb{R})$, we can then think of it as an element $\beta_t$ of $H^2(F, \mathbb{R})$, by pulling-back via $\theta_t^{-1}$, that is $\beta_t := (\theta_t^{-1})^* \alpha_t$.

Now, suppose that we are given a class $\alpha_0 \in H^{1,1}(X_0, \mathbb{R})$ with the following property: there is a sequence of points $\{t_k\} \subset \Delta$ converging to 0, for each $k$ it is given a (1, 1)-class $\alpha_{t_k} \in H^{1,1}(X_{t_k}, \mathbb{R})$ which is pseudoeffective and the corresponding classes $\beta_{t_k}$ converge to $\beta_0$ in the finite dimensional vector space $H^2(F, \mathbb{R})$. Then we have the following statement that completes the proof of the first part of Theorem 1.3.

<footnote>(*)Simone Diverio, Dipartimento di Matematica “Guido Castelnuovo”, Sapienza Università di Roma, I-00185 Roma, Italy. E-mail: diverio@mat.uniroma1.it.</footnote>

<footnote>Partially supported by the ANR Programme Défi de tous les savoirs (DS10) 2015, “GRACK”, Project ID: ANR-15-CE40-0003ANR, and by the ANR Programme Défi de tous les savoirs (DS10) 2016, “FOLIAGE”, Project ID: ANR-16-CE40-0008.</footnote>
### A.1. THEOREM. — The class $\alpha_0$ is also pseudoeffective.

We claim in no way any originality for this theorem, since this is certainly a well-known statement for the experts, and moreover widely used. But we were unable to find a clean proof in the available literature. We take thus the opportunity here to give a complete proof. We follow the notations of Demailly's book [Dem12].

*Proof.* — To start with, we select for each $k$ a closed, positive (1, 1)-current $T_k \in \mathfrak{D}^{l+}_{n-1,n-1}(X_{t_k})$ representing the cohomology class $\alpha_{t_k}$. Each of these, being a positive current, is indeed a real current of order zero.

Now, set $\Theta_k := (\theta_{t_k})_* T_k$. This is a closed, real 2-current of order zero on the compact real smooth manifold $F$.

The first step is to produce a weak limit $\Theta$ of the sequence $\Theta_k$ on $F$. In order to this, by the standard Banach–Alaoglu theorem, it suffices to show that for every fixed test form $g \in \mathfrak{D}^{2n-2}(F)$ we have that the sequence $\langle \Theta_k, g \rangle$ is bounded. By definition, we have

$$ \langle \Theta_k, g \rangle = \langle (\theta_{t_k})_* T_k, g \rangle = \langle T_k, (\theta_{t_k})^* g \rangle, $$

and of course $\langle T_k, (\theta_{t_k})^* g \rangle = \langle T_k, f_k \rangle$, where $f_k$ is the $(n-1, n-1)$ component of $(\theta_{t_k})^* g$ on the complex manifold $X_{t_k}$. The $(n-1, n-1)$-forms $f_k$ are real, since $(\theta_{t_k})^* g$ is so.

### A.2. LEMMA. — Let $(X, \omega)$ be a compact Kähler manifold, $T$ be a closed positive current of $X$, and $f$ be a real smooth $(n-1, n-1)$-form. Then, there exists a constant $C > 0$ depending continuously on $f$ and $\omega$ such that we have

$$ |\langle T, f \rangle| \le C [T] \cdot [\omega]^{n-1}, $$

where the right hand side is intended to be the intersection product in cohomology.

*Proof.* — Since $f$ is real, we are enabled to define the following (possibly indefinite) hermitian form on $T_X^*$:

$$ (\xi, \eta)_f \mapsto \frac{f \wedge i\xi \wedge \bar{\eta}}{\omega^n}. $$

We also have the positive definite hermitian form given by

$$ (\xi, \eta)_{\omega} \mapsto \frac{\omega^{n-1} \wedge i\xi \wedge \bar{\eta}}{\omega^n}. $$

It is positive because $(\xi, \xi)_{\omega} = \frac{1}{n} \text{tr}_{\omega}(i\xi \wedge \bar{\xi})$. By compactness of the bundle of $(\cdot, \cdot)_{\omega}$-unitary (1, 0)-forms on $X$, we can define

$$ C' := - \min_{(\xi, \xi)_{\omega}=1} \{(\xi, \xi)_f\}, $$

and we have that $(\xi, \eta)' \mapsto (\xi, \eta)_f + C'(\xi, \eta)_\omega$ is positive semidefinite. This constant $C'$ depends manifestly continuously on $f$ and $\omega$. We can do the same job with $-f$ in the place of $f$ thus obtaining another constant $C''$, still depending continuously on $f$ and $\omega$ such that

$$ (\xi, \eta)'' \mapsto -(\xi, \eta)_f + C''(\xi, \eta)_\omega $$
is positive semidefinite. Now set $C := \max\{C', C''\} \ge 0$, which again depends continuously on $f$ and $\omega$. This means exactly that both $f + C\omega^{n-1}$ and $-f + C\omega^{n-1}$ are positive $(n-1, n-1)$-forms.

But then, begin $T$ positive on positive forms,

$$ \begin{aligned} \langle T, f \rangle &= \langle T, f + C\omega^{n-1} - C\omega^{n-1} \rangle \\ &\ge -C \langle T, \omega^{n-1} \rangle = -C[T] \cdot [\omega]^{n-1}, \end{aligned} $$

and

$$ \begin{aligned} \langle T, f \rangle &= \langle T, f - C\omega^{n-1} + C\omega^{n-1} \rangle \\ &= -\langle T, -f + C\omega^{n-1} \rangle + \langle T, C\omega^{n-1} \rangle \\ &\le C \langle T, \omega^{n-1} \rangle = C[T] \cdot [\omega]^{n-1}. \end{aligned} $$

□

Now, we apply the above lemma with $(X, \omega) = (X_{t_k}, \omega_{t_k})$, $T = T_k$ and $f = f_k$. We therefore obtain positive constants $C_k$ such that

$$ |\langle T_k, f_k \rangle| \le C_k [T_k] \cdot [\omega_{t_k}]^{n-1}. $$

The right hand side is equal to $C_k \beta_{t_k} \cdot \Omega_{t_k}^{n-1}$, where $\Omega_t \in H^2(F, \mathbb{R})$ is the cohomology class of $(\theta_t^{-1})^* \omega_t$. It converges to the quantity $C_0 \alpha_0 \cdot \Omega_0$, where $C_0$ is the constant obtained if one applies the above lemma with $(X, \omega) = (X_0, \omega_0)$, and $f$ the $(n-1, n-1)$ component of $(\theta_0)^* g$. Thus, the left hand side is uniformly bounded independently of $k$.

We finally come up with a real 2-current $\Theta$ on $F$ which is a weak limit of the $\Theta_k$'s. By continuity of the differential with respect to the weak topology we find also that $\Theta$ is closed and of course its cohomology class is $\beta_0$. Being $\Theta$ trivially with compact support since it lives on the compact manifold $F$, by [dR84, Cor. on p. 43], it is of finite order, say of order $p$.

### A.3. REMARK.
We can then look at the whole sequence $\{\Theta_k\}$ together with its weak limit $\Theta$ as a set of currents of order $p$. In particular, this is a set of continuous linear functionals on the Banach space $\mathcal{H}^{2n-2}(F)$ which are pointwise bounded. By the Banach–Steinhaus theorem this set is uniformly bounded in operator norm, i.e., there exists a constant $A > 0$ such that for each positive integer $k$ and each $g \in \mathcal{H}^{2n-2}(F)$ we have

$$ |\Theta_k(g)| \le A \|g\|_{\mathcal{H}^{2n-2}(F)}. $$

This remark will be crucial in what follows.

Next, set $T := (\theta_0^{-1})_* \Theta$. It is a real current of degree 2 on $X_0$. We are left to show that $T$ is indeed a $(1, 1)$-current which is moreover positive.

### A.4. PROPOSITION.
The current $T$ is of pure bidegree $(1, 1)$.

*Proof.* — If not, there exists a $(n, n-2)$-form $h$ on $X_0$ such that $\langle T, h \rangle \ne 0$. Fix a finite open covering of $X_0$ by coordinate charts and a partition of unity $\{\varphi_j\}$ relative
to this covering. Since

$$0 \neq \langle T, h \rangle = \langle T, \sum_j \varphi_j h \rangle = \sum_j \langle T, \varphi_j h \rangle,$$

there exists a $j_0$ such that $\langle T, \varphi_{j_0} h \rangle \neq 0$. Thus, we may assume that $h$ is compactly supported in a coordinate chart $(U, z)$. Without loss of generality, we can also suppose that such a coordinate chart is adapted to the fibration $\pi$, i.e., $U = \mathcal{U} \cap X_0$, where $\mathcal{U}$ is a coordinate chart for $\mathcal{X}$ with coordinates $(t, z)$ such that $\pi(t, z) = t$.

In this way, we can extend $h$ “constantly” on the nearby fibres of $\pi$: call this extension $\tilde{h}$ and write $\tilde{h}_t$ for $\tilde{h}|_{\mathcal{U} \cap X_t}$. If we set $u_t := (\theta_t^{-1})^* \tilde{h}_t$ we obtain a family of test form on $F$ such that, for $k$ sufficiently large, we have

$$\langle T_k, \tilde{h}_{t_k} \rangle = \langle \Theta_k, u_{t_k} \rangle.$$

By Remark A.3, we have

$$ \begin{aligned} |\langle T_k, \tilde{h}_{t_k} \rangle - \langle T, \tilde{h} \rangle| &= |\langle \Theta_k, u_{t_k} \rangle - \langle \Theta, u_0 \rangle| \\ &\le |\langle \Theta_k, u_{t_k} - u_0 \rangle| + |\langle \Theta_k, u_0 \rangle - \langle \Theta, u_0 \rangle| \\ &\le A \underbrace{\|u_{t_k} - u_0\|_{p \mathcal{D}^{2n-2}(F)}}_{\rightarrow 0, \text{ by construction}} + \underbrace{|\langle \Theta_k, u_0 \rangle - \langle \Theta, u_0 \rangle|}_{\rightarrow 0, \text{ by weak convergence}}. \end{aligned} $$

Being the $T_k$'s of bidegree (1, 1) and $\tilde{h}_{t_k}$ of bidegree $(n, n-2)$, we have that $\langle T_k, \tilde{h}_{t_k} \rangle \equiv 0$ and we deduce then that $\langle T, h \rangle = 0$, contradiction. $\square$

### A.5. PROPOSITION. — The current T is positive.

*Proof.* — The proof is almost identical to that of the above proposition. We want to show that for any positive $(n-1, n-1)$-form $h$ on $X_0$ we have that $\langle T, h \rangle \ge 0$. As before the question is local, so we can suppose that $h$ is compactly supported in $U$ as above. Now the “constant” extensions $\tilde{h}_t$ are again positive $(n-1, n-1)$-forms on $X_t$, so that $\langle T_k, \tilde{h}_{t_k} \rangle \ge 0$ and we still have convergence to $\langle T, h \rangle$. But then $\langle T, h \rangle \ge 0$. $\square$

This concludes the proof of the theorem, since we have represented $\alpha_0$ by a closed positive (1, 1)-current, i.e., $\alpha_0$ is a pseudoeffective class. $\square$

## REFERENCES

[AD19] C. ARAUJO & S. DRUEL — “Characterization of generic projective space bundles and algebraicity of foliations”, Comment. Math. Helv. 94 (2019), no. 4, p. 833–853.

[BK08] V. BALAH & J. KOLLÁR — “Holonomy groups of stable vector bundles”, Publ. RIMS, Kyoto Univ. 44 (2008), no. 2, p. 183–211.

[Bar75] D. BARLET — *Espace analytique réduit des cycles analytiques complexes compacts d'un espace analytique complexe de dimension finie*, Lect. Notes in Math., vol. 482, Springer-Verlag, Berlin, 1975.

[Bea83] A. BEAUVILLE — “Variétés kähleriennes dont la première classe de Chern est nulle”, J. Differential Geom. 18 (1983), no. 4, p. 755–782 (1984).

[BDPP13] S. BOUCKSOM, J.-P. DEMAILLY, M. PÄUN & T. PETERNELL — “The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension”, J. Algebraic Geom. 22 (2013), p. 201–248.

[Buc08] N. BUCHDAHL — “Algebraic deformations of compact Kähler surfaces. II”, Math. Z. 258 (2008), no. 3, p. 493–498.
[COP10] F. CAMPANA, K. OGUISO & T. PETERNELL – “Non-algebraic hyperkähler manifolds”, *J. Differential Geom.* **85** (2010), no. 3, p. 397–424.

[Dem12] J.-P. DEMAILLY – *Analytic methods in algebraic geometry*, Surveys of Modern Math., vol. 1, International Press, Somerville, MA, 2012.

[DP04] J.-P. DEMAILLY & M. PAUN – “Numerical characterization of the Kähler cone of a compact Kähler manifold”, *Ann. of Math. (2)* **159** (2004), no. 3, p. 1247–1274.

[EGL01] G. ELLINGSRUD, L. GÖTTSCH & M. LEHN – “On the cobordism class of the Hilbert scheme of a surface”, *J. Algebraic Geom.* **10** (2001), no. 1, p. 81–100.

[Fuj79] A. FUJIKI – “Closedness of the Douady spaces of compact Kähler spaces”, *Publ. RIMS, Kyoto Univ.* **14** (1978/79), no. 1, p. 1–52.

[Fuj79] —, “Countability of the Douady space of a complex space”, *Japan. J. Math. (N.S.)* **5** (1979), no. 2, p. 431–447.

[Fuj87] —, “On the de Rham cohomology group of a compact Kähler symplectic manifold”, in *Algebraic geometry (Sendai, 1985)*, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, p. 105–165.

[GO20] F. GOUNELAS & J. C. OTTEM – “Remarks on the positivity of the cotangent bundle of a K3 surface”, *Épijournal de Géom. Alg.* **4** (2020), article no. 8 (16 pages).

[Har77] R. HARTSHORNE – *Algebraic geometry*, Graduate Texts in Math., vol. 52, Springer-Verlag, New York, 1977.

[Hör14] A. HÖRING – “Twisted cotangent sheaves and a Kobayashi-Ochiai theorem for foliations”, *Ann. Inst. Fourier (Grenoble)* **64** (2014), no. 6, p. 2465–2480.

[HP19] A. HÖRING & T. PETERNELL – “Algebraic integrability of foliations with numerically trivial canonical bundle”, *Invent. Math.* **216** (2019), no. 2, p. 395–419.

[Huy97] D. HUYBRECHTS – “Compact hyperkähler manifolds”, Habilitationsschrift, Essen, 1997.

[Huy99] —, “Compact hyper-Kähler manifolds: basic results”, *Invent. Math.* **135** (1999), no. 1, p. 63–113.

[Huy03a] —, “Erratum to [Huy99]”, *Invent. Math.* **152** (2003), no. 1, p. 209–212.

[Huy03b] —, “Finiteness results for compact hyperkähler manifolds”, *J. reine angew. Math.* **558** (2003), p. 15–22.

[Huy05] —, *Complex geometry. An introduction*, Universitext, Springer-Verlag, Berlin, 2005.

[Huy16] —, *Lectures on K3 surfaces*, Cambridge Studies in Advanced Math., vol. 158, Cambridge University Press, Cambridge, 2016.

[KV98] D. KALEDIN & M. VERBITSKY – “Partial resolutions of Hilbert type, Dynkin diagrams, and generalized Kummer varieties”, 1998, arXiv:math/9812078.

[Kob80] S. KOBAYASHI – “The first Chern class and holomorphic symmetric tensor fields”, *J. Math. Soc. Japan* **32** (1980), no. 2, p. 325–329.

[Kob87] —, *Differential geometry of complex vector bundles*, Publ. of the Math. Society of Japan, vol. 15, Princeton University Press, Princeton, NJ, 1987.

[Laz04] R. LAZARSFELD – *Positivity in algebraic geometry. II*, Ergeb. Math. Grenzgeb. (3), vol. 49, Springer-Verlag, Berlin, 2004.

[MM64] T. MATSUSAKA & D. MUMFORD – “Two fundamental theorems on deformations of polarized varieties”, *Amer. J. Math.* **86** (1964), p. 668–684.

[MR84] V. B. MEHTA & A. RAMANATHAN – “Restriction of stable sheaves and representations of the fundamental group”, *Invent. Math.* **77** (1984), no. 1, p. 163–172.

[Miy87] Y. MIYAOKA – “The Chern classes and Kodaira dimension of a minimal variety”, in *Algebraic geometry (Sendai, 1985)*, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, p. 449–476.

[Ogu08] K. OGUISO – “Bimeromorphic automorphism groups of non-projective hyperkähler manifolds—a note inspired by C. T. McMullen”, *J. Differential Geom.* **78** (2008), no. 1, p. 163–191.

[Ott15] J. C. OTTEM – “Nef cycles on some hyperkähler fourfolds”, 2015, arXiv:1505.01477.

[dR84] G. DE RHAM – *Differentiable manifolds. Forms, currents, harmonic forms*, Grundlehren Math. Wiss., vol. 266, Springer-Verlag, Berlin, 1984.

[Ver96] M. VERBITSKY – “Hyper-Kähler embeddings and holomorphic symplectic geometry. I”, *J. Algebraic Geom.* **5** (1996), no. 3, p. 401–413.
[Ver98] —, “Trianalytic subvarieties of the Hilbert scheme of points on a K3 surface”, *Geom. Funct. Anal.* **8** (1998), no. 4, p. 732–782.

[Voi02] C. VOISIN – *Théorie de Hodge et géométrie algébrique complexe*, Cours Spécialisés, vol. 10, Société Mathématique de France, Paris, 2002.

[Zha15] L. ZHANG – “Character formulas on cohomology of deformations of Hilbert schemes of K3 surfaces”, *J. London Math. Soc. (2)* **92** (2015), no. 3, p. 675–688.

Manuscript received 27th January 2021
accepted 4th August 2021

FABRIZIO ANELLA, Mathematisches Institut, Universität Bonn
Endenicher Allee 60, 53115 Bonn, Germany
*E-mail : Anella@math.uni-bonn.de*

ANDREAS HÖRING, Université Côte d'Azur, CNRS, LJAD
06108 Nice cedex 02, France
*E-mail : Andreas.Hoering@univ-cotedazur.fr*
*Url : https://math.unice.fr/~hoering/*