the enumerative geometry of curves on k3 surfaces is governed by modular forms. i will discuss a parallel connection between the enumerative geometry of hyper-kaehler varieties and jacobi forms. the case of genus 1 curves is particularly interested and leads to the igusa cusp form conjecture. in the last part i will explain recent work with junliang shen and aaron pixton which yields a proof of this conjecture.