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

We classify the topological terms (in a sense to be made precise) that may appear in a non-linear sigma model based on maps from an arbitrary worldvolume manifold to a homogeneous space $G/H$ (where $G$ is an arbitrary Lie group and $H…

The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least $C^2$-smooth…

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 flavor and scope. The goal of this paper is to bring some new…

We prove a theorem on the existence of global surfaces of section with prescribed spanning orbits and homology class. This result is a modification and a refinement of a result due to Fried, recast in terms of invariant measures instead of…

We introduce a homothetic extension of classical Weyl integrable geometry by generalizing the usual linear gauge transformations to affine homothetic transformations centered at a distinguished harmonic, scale-invariant form $\alpha_d$.…

We show that for an arbitrarily given closed Riemannian manifold $M$ admitting a point $p \in M$ with a single cut point, every closed Riemannian manifold $N$ admitting a point $q \in N$ with a single cut point is diffeomorphic to $M$ if…

The classification of solutions to semilinear partial differential equations, as well as the classification of critical points of the corresponding functionals, have wide applications in the study of partial differential equations and…

This is a 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 three previous papers, we introduce the notion of formal manifolds and study…

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present the formalization of…

The purpose of this article is to give an interpretation of real projective structures and associated cohomology classes in terms of connections, sections, etc. satisfying elliptic partial differential equations in the spirit of Hodge…

Finding appropriate notions of discrete holomorphic maps and, more generally, conformal immersions of discrete Riemann surfaces into 3-space is an important problem of discrete differential geometry and computer visualization. We propose an…

The Hessian Topology is a subject having interesting relations with several areas, for instance, differential geometry, implicit differential equations, analysis and singularity theory. In this article we study the problem of realization of…

In this paper we introduce the notion of a formal complex contact structure on an odd dimensional complex manifold. Our main result is that every formal complex contact structure on a Stein manifold $X$ is homotopic to a holomorphic contact…

The ring $\text{Diff}_{\mathbf{h}}(n)$ of $\mathbf{h}$-deformed differential operators appears in the theory of reduction algebras. In this thesis, we construct the rings of generalized differential operators on the $\mathbf{h}$-deformed…

We investigate the formal principle for holomorphic line bundles on neighborhoods of an analytic subset of a complex manifold mainly in the case where it can be realized as an open subset of a compact K\"ahler manifold. Our approach…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

We present a new formalism to solve the kinematical constraints due to Weyl invariance for CFTs in curved backgrounds and/or non-trivial states, and we apply it to thermal CFTs and to CFTs on squashed spheres. The ambient space formalism is…

This paper presents a novel approach to the construction of the lowest order $H(\mathrm{curl})$ and $H(\mathrm{div})$ exponentially-fitted finite element spaces ${\mathcal{S}_{1^-}^{k}}~(k=1,2)$ on 3D simplicial mesh for corresponding…

In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…

We present a new meshless method for scalar diffusion equations which is motivated by their compatible discretizations on primal-dual grids. Unlike the latter though, our approach is truly meshless because it only requires the graph of…