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

The first part of this article intends to present the role played by Thom in diffusing Smale's ideas about immersion theory, at a time (1957) where some famous mathematicians were doubtful about them: it is clearly impossible to make the…

The h-principle is a powerful tool for obtaining solutions to partial differential inequalities and partial differential equations. Gromov discovered the h-principle for the general partial differential relations to generalize the results…

In 1969 M. Gromov in his PhD thesis greatly generalized Smale-Hirsch-Phillips immersion-submersion theory by proving what is now called the h-principle for invariant open differential relations over open manifolds. Gromov extracted the…

In this paper we introduce the notion of the realifications of an arbitrary \emph{partial holomorphic relation}. Our main result states that if any realification of an open partial holomorphic relation over a Stein manifold satisfies a…

This paper investigates the relationship between the solvability of first-order differential equations and the topology of the underlying domain through the lens of de\,Rham cohomology. We analyze the conditions under which a closed 1-form…

This paper uses convex integration to develop a new, general method for proving relative $h$-principles for closed, stable, exterior forms on manifolds. This method is applied to prove the relative $h$-principle for 4 classes of closed…

We introduce orthogonal ring patterns in the 2-sphere and in the hyperbolic plane, consisting of pairs of concentric circles, which generalize circle patterns. We show that their radii are described by a discrete integrable system. This is…

The Kervaire Invariant 1 Problem until recently was an open problem in algebraic topology. Hill-Hopkins-Ravenel theorem clams a negative solution of the problem for all dimensions $n=2^l-2$, $l \ge 8$. We prove the statement of…

We introduce the notion of locally consistent system of half-spaces for a real hyperplane arrangement. We embed a sphere in the complexified complement by shifting the real unit sphere into the imaginary direction indicated by the…

Wrinkling techniques, introduced by Eliashberg and Mishachev, are typically used to prove h-principles of the form: ``formal solutions of a partial differential relation $\mathcal{R}$ can be deformed to singular/wrinkled solutions''. What a…

We introduce a natural geometric framework for the study of logarithmically divergent integrals on manifolds with corners and algebraic varieties, using the techniques of logarithmic geometry. Key to the construction is a new notion of…

This is the first of a series of papers on the $L^2$-theory for formally integrable structures. It is devoted to constructing a resolution of the solution sheaf for a class of overdetermined systems introduced by L. H{\"o}rmander. A…

The holonomic approximation lemma of Eliashberg and Mishachev is a powerful tool in the philosophy of the $h-$principle. By carefully keeping track of the quantitative geometry behind the holonomic approximation process, we establish…

Motivated by Felix Klein's notion that geometry is governed by its group of symmetry transformations, Charles Ehresmann initiated the study of geometric structures on topological spaces locally modeled on a homogeneous space of a Lie group.…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

This paper uses convex integration with avoidance and transversality arguments to prove the relative $h$-principle for closed $\mathrm{SL}(3;\mathbb{R})^2$ 3-forms on oriented 6-manifolds. As corollaries, it is proven that if an oriented…

Let $A$ be a differential graded algebra with cohomology ring $H^*A$. A graded module over $H^*A$ is called \emph{realisable} if it is (up to direct summands) of the form $H^*M$ for some differential graded $A$-module $M$. Benson, Krause…

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 propose a general quantum Hamiltonian formalism of a renormalization group (RG) flow with an emphasis on generalized symmetry by interpreting the elementary relationship between homomorphism, quotient ring, and projection. In our…

We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented…