61 citations · 171 across the 11 of their papers we have counts for
12 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…
On the contact mapping class group of Legendrian circle bundles
Emmanuel Giroux, Patrick Massot
In this paper, we determine the group of contact transformations modulo contact isotopies for Legendrian circle bundles over closed surfaces of nonpositive Euler characteristic. Th…
Examples of non-trivial contact mapping classes in all dimensions
Patrick Massot, Klaus Niederkrüger
We give examples of contactomorphisms in every dimension that are smoothly isotopic to the identity but that are not contact isotopic to the identity. In fact, we prove the stronge…
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…
Quantitative Darboux theorems in contact geometry
John B. Etnyre, Rafal Komendarczyk, Patrick Massot
This paper begins the study of relations between Riemannian geometry and contact topology in any dimension and continues this study in dimension 3. Specifically we provide a lower…
Weak and strong fillability of higher dimensional contact manifolds
Patrick Massot, Klaus Niederkrüger, Chris Wendl
For contact manifolds in dimension three, the notions of weak and strong symplectic fillability and tightness are all known to be inequivalent. We extend these facts to higher dime…
Infinitely many universally tight torsion free contact structures with vanishing Ozsváth-Szabó contact invariants
Patrick Massot
Ozsvath-Szabo contact invariants are a powerful way to prove tightness of contact structures but they are known to vanish in the presence of Giroux torsion. In this paper we constr…
Tightness in contact metric 3-manifolds
John B. Etnyre, Rafal Komendarczyk, Patrick Massot
This paper begins the study of relations between Riemannian geometry and global properties of contact structures on 3-manifolds. In particular we prove an analog of the sphere theo…
Geodesible contact structures on 3--manifolds
Patrick Massot
In this paper, we study and almost completely classify contact structures on closed 3--manifolds which are totally geodesic for some Riemannian metric. Due to previously known resu…