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

Despite the considerable interest in new dependent type theories, simple type theory (which dates from 1940) is sufficient to formalise serious topics in mathematics. This point is seen by examining formal proofs of a theorem about…

We prove a generalized isoperimetric inequality for a domain diffeomorphic to a sphere that replaces filling volume with $k$-dilation. Suppose $U$ is an open set in $\mathbb{R}^n$ diffeomorphic to a Euclidean $n$-ball. We show that in…

The celebrated problem of a non-homogeneous sphere rolling over a horizontal plane was proved to be integrable and was reduced to quadratures by Chaplygin. Applying the formalism of variational integrators (discrete Lagrangian systems) with…

In 1986, Zamolodchikov conjectured an exponential structure for the semi-classical limit of conformal blocks on a sphere. This paper provides a rigorous proof of the analog of Zamolodchikov conjecture for Liouville conformal blocks on a…

Since the 1970s, it has been known that any open connected manifold of dimension 2, 4 or 6 admits a complex analytic structure whenever its tangent bundle admits a complex linear structure. For half a century, this has been conjectured to…

The mod p cohomology of a space comes with an action of the Steenrod Algebra. L. Schwartz [A propos de la conjecture de non realisation due a N. Kuhn, Invent. Math. 134, No 1, (1998) 211--227] proved a conjecture due to N. Kuhn [On…

We introduce an extended Sobolev scale on a smooth compact manifold with boundary. The scale is formed by inner-product H\"ormander spaces for which an RO-varying radial function serves as a regularity index. These spaces do not depend on a…

In the previous paper [25], Stolarsky's invariance principle, known for point distributions on the Euclidean spheres [27], has been extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane.…

The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…

In this paper we revisit the topological twisted sigma model with H-flux. We explicitly expand and then twist the worldsheet Lagrangian for bi-Hermitian geometry. we show that the resulting action consists of a BRST exact term and pullback…

The Oka principle is a heuristic in complex geometry which states that, for a wide class of complex-analytic problems concerning Stein spaces, any obstruction to finding a holomorphic solution is purely topological. A classical theorem of…

We develop an abstract theory of flows of geometric $H$-structures, i.e., flows of tensor fields defining $H$-reductions of the frame bundle, for a closed and connected subgroup $H\subset SO(n)$, on any connected and oriented $n$-manifold…

Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…

Diffeological spaces are natural generalizations of smooth manifolds, introduced by J.M.~Souriau and his mathematical group in the 1980's. Diffeological vector spaces (especially fine diffeological vector spaces) were first used by P.…

This article develops a unified and intrinsic framework for the theory of Sobolev spaces on vector bundles over Riemannian manifolds. The analytical core of our approach is an explicit higher-order geometric integration by parts formula,…

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…

There is a canonical identification, due to the author, of a convex real projective structure on an orientable surface of genus g and a pair consisting of a conformal structure together with a holomorphic cubic differential on the surface.…

In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…

This paper develops a mathematical framework for interpreting observations of solar inertial waves in an idealized setting. Under the assumption of purely toroidal linear waves on the sphere, the stream function of the flow satisfies a…

In the early 1960s, Brown and Mazur proved the general Jordan-Schoenflies theorem. This fundamental theorem states: If we embed an $(n-1)$ sphere $S^{(n-1)}$ locally flatly in an $n$ sphere $S^{n}$, then it decomposes $S^{n}$ into two…