Holonomic Approximation through Convex Integration

Convex integration and the holonomic approximation theorem are two well-known pillars of flexibility in differential topology and geometry. They each seem to have their own flavor and scope. The goal of this talk is to bring new perspective on this topic. We will explain how to prove the holonomic approximation theorem for first order jets using convex integration. More precisely we first prove that this theorem can easily be reduced to proving flexibility of some specific relation. Then we prove this relation is open and ample, hence its flexibility follows from off-the-shelf convex integration. These results were obtained in a joint work with Patrick Massot.