On O'Grady's generalized Franchetta conjecture for genus 11 K3 surfaces

O’Grady’s generalized Franchetta conjecture asks whether any codimension two cycle on the universal polarized K3 surface restricts to a multiple of the Beauville–Voisin class on a given K3 surface. We apply Mukai’s program for genus 11 curves and K3 surfaces, together with a result on the tautological generation of the second Chow group of the moduli space of curves, to give an affirmative answer to this conjecture in genus 11.