Geomorphology of Lagrangian ridges

Abstract

We prove an "h-principle without pre-conditions" for the elimination of tangencies of a Lagrangian submanifold with respect to a Lagrangian distribution. The main result states that such tangencies can always be completely removed at the cost of allowing the Lagrangian to develop certain non-smooth points, called Lagrangian ridges, modeled on the corner $\{p=|q|\} \subset \mathbb{R}^2$ together with its products and stabilizations. This result plays an essential role in the arborealization program.