Related papers: Formalising the $h$-principle and sphere eversion

A foliation on a manifold M can be informally thought of as a partition of M into injectively immersed submanifolds, called leaves. In this thesis we study foliations whose leaves carry some specific geometric structures. The thesis…

This is a survey paper on various results relates to the following theorem first proved by A.D. Alexandrov: \textit{Let $S$ be an analytic convex sphere-homeomorphic surface in $\mathbb R^3$ and let $k_1(\boldsymbol{x})\leqslant…

This is the first part of a trilogy where we apply the theory of virtual manifold/orbifolds developed by the first named author and Tian to study the Gromov-Witten moduli spaces. In this paper, we resolve the main analytic issue arising…

We generalize the structure theorem of Robertson and Seymour for graphs excluding a fixed graph $H$ as a minor to graphs excluding $H$ as a topological subgraph. We prove that for a fixed $H$, every graph excluding $H$ as a topological…

We provide a complete geometric solution to the problem of differentiating simplicial manifolds, extending classical Lie theory and complementing existing homotopical and formal approaches within a unifying framework. First, we establish a…

We develop a geometric approach to stable homotopy groups of spheres in the spirit of the work of Pontrjagin and Rokhlin. A new proof of the Hopf Invariant One Theorem by J.F.Adams is obtained in all dimensions except 15 and 31. To prove…

We show that a complex projective manifold X which satisfies the Gromov's h-principle is `special', and raise some questions about the reverse implication, the extension to the quasi-K\" ahler case, and the relationships of these properties…

A Delaunay cell decomposition of a surface with constant curvature gives rise to a circle pattern, consisting of the circles which are circumscribed to the facets. We treat the problem whether there exists a Delaunay cell decomposition for…

We prove a topological rigidity theorem for closed hypersurfaces of the Euclidean sphere and of an elliptic space form. It asserts that, under a lower bound hypothesis on the absolute value of the principal curvatures, the hypersurface is…

We prove sandwich theorems and a Tauberian theorem in the space of compact metric measure spaces, endowed with the Gromov-Hausdorff-Prokhorov (GHP) topology. These results hold with respect to a close relative of Gromov's Lipschitz order.…

We introduce a theoretical framework for differentiable surface evolution that allows discrete topology changes through the use of topological derivatives for variational optimization of image functionals. While prior methods for inverse…

A meromorphic quadratic differential on a compact Riemann surface defines a complex projective structure away from the poles via the Schwarzian equation. In this article we first prove the analogue of Thurston's Grafting Theorem for the…

We present a class of discretisation spaces and H(div)-conformal elements that can be built on any polytope. Bridging the flexibility of the Virtual Element spaces towards the element's shape with the divergence properties of the…

We show that a classical result of Gromov in symplectic geometry extends to the context of symplectic foliations, which we regard as a $h$-principle for (regular) Poisson geometry. Namely, we formulate a sufficient cohomological criterion…

We prove the first inverse theorem for point--sphere incidence bounds over finite fields in dimensions $d \ge 3$, showing that near-extremality forces algebraic rigidity. While sharp upper bounds have been known for over a decade, the…

We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the…

The purpose of this study is twofold. First, we revisit a shape optimization reformulation of a prototypical shape inverse problem and briefly propose a simple yet efficient numerical approach for solving the corresponding minimization…

In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…

The jiggling lemma of Thurston shows that any triangulation can be jiggled (read: subdivided and then perturbed) to be in general position with respect to a distribution. Our main result is a generalization of Thurston's lemma. It states…

Y. Eliashberg and N. Mishachev introduced the notion of wrinkled embedding to show that any tangential homotopy can be approximated by a homotopy of topological embeddings with mild singularities. This concept plays an important role in…