Lagrangian planes in hyperk\"ahler varieties of $K3^{[n]}$-type

Abstract

Jieao Song recently conjectured a formula for the class of a Lagrangian plane on a hyperk\"ahler variety of $K3^{[n]}$-type in terms of the class of a line on it. We give a proof of this conjecture if the line class is primitive.