of n points on a K3 surface are quasi-Jacobi forms and satisfy a holomorphic anomaly
equation. We prove the conjecture in genus 0 and for at most three markings—for all Hilbert
schemes and for arbitrary curve classes. In particular, for fixed n, the reduced quantum
cohomologies of all hyperkähler varieties of K3[n]–type are determined up to finitely many
coefficients.