Title: The Fano of lines and the Kuznetsov component of cubic fourfolds

Abstract: A smooth cubic fourfold gives rise to two kinds of hyperkähler fourfolds: one is classical --the variety of lines on the cubic; and the other is "non-commutative" --arising from the symmetric square of the Kuznetsov component. Galkin conjectured that these two objects should be derived equivalent. In this talk, I’ll explain a proof of this conjecture, which uses matrix factorizations and a wall-crossing derived equivalence for a particular 12-dimensional flop. This is joint work with Ed Segal.