The classical obstacle problem consists of finding the equilibrium position of an elastic membrane whose boundary is held fixed and which is constrained to lie above a given obstacle. By classical results of Caffarelli, the free boundary is smooth outside a set of singular points. Explicit examples show that the singular set could be, in general, as large as the regular set. In a recent paper with Ros-Oton and Serra we show that, generically, the singular set has codimension 3 inside the free boundary, solving a conjecture of Schaeffer in dimension n≤4. The aim of this talk is to give an overview of these results.

This video was produced by the Hausdorff Center for Mathematics, and was part of the conference Panorama of Mathematics II.