Canonical-bundle conjecture for the divisibility-one fixed locus
Let (X,λ)(X,\lambda)(X,λ) be a polarized irreducible holomorphic symplectic manifold of K3[n]\mathrm{K3}^{[n]}K3[n]-type with qX(λ)=2q_X(\lambda)=2qX(λ)=2 and div(λ)=1\operatorname{div}(\lambda)=1div(λ)=1. Let…