Prime exceptional divisors on holomorphic symplectic varieties and monodromy reflections (Q2376821): Difference between revisions

A divisor \(E\) on an irreducible holomorphic symplectic manifold \(X\) is called a \textit{prime exceptional divisor} if E is reduced and irreducible of negative Beauville-Bogomolov degree. The author proves that the reflection \(R_{[E]}: H^2(X, \mathbb Q) \rightarrow H^2(X, \mathbb Q)\) associated to such a divisor is a monodromy operator, in particular, it is an integral isometry. Moreover, \([E]\) is either a primitive class or twice a primitive class. Let \(X\) be of \(K3^{[n]}\) type, i.e., it is deformation equivalent to the Hilbert scheme of \(n\) points on a \(K3\) surface. Assume \(X\) is projective. Let \(e \in H^2(X, \mathbb Z)\) be a primitive class of negative Beauville-Bogomolov degree such that some integer multiple of \(e\) is in the class of an irreducible divisor. Then its Beauville-Bogomolov degree is either \(-2\) or \(2-2n\). If it is \(2-2n\), then the class \((e, \cdot) \in H^2(X, \mathbb Z)^\ast\) is divisible by \(n-1\). The author proves this result using the previous theorem and the classification of monodromy-reflective line bundles on \(X\). He also determines the set of classes of exceptional divisors on \(X\) of \(K3^{[n]}\) type. A divisor \(D\) on a projective irreducible holomorphic symplectic manifold \(X\) is called \textit{movable} if the base locus of the linear system \(|D|\) has codimension at least \(2\) in \(X\). Using the results above, the author describes the closure of the movable cone.