1 citations · 1 across the 2 of their papers we have counts for
5 papers
Formalising the -principle and sphere eversion
Patrick Massot, Floris van Doorn, Oliver Nash
In differential topology and geometry, the h-principle is a property enjoyed by certain construction problems. Roughly speaking, it states that the only obstructions to the existen…
Holonomic approximation through convex integration
Patrick Massot, Mélanie Theillière
Convex integration and the holonomic approximation theorem are two well-known pillars of flexibility in differential topology and geometry. They may each seem to have their own fla…
Formalising perfectoid spaces
Kevin Buzzard, Johan Commelin, Patrick Massot
Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012. We formalised enough definitions and theorems in topology, algebra and geome…
Contactomorphism groups and Legendrian flexibility
Sylvain Courte, Patrick Massot
We explain a connection between the algebraic and geometric properties of groups of contact transformations, open book decompositions, and flexible Legendrian embeddings. The main…
Topological methods in 3-dimensional contact geometry
Patrick Massot
These notes provide an introduction to Giroux's theory of convex surfaces in contact 3-manifolds and its simplest applications. They put a special emphasis on pictures and discussi…