Related papers: Differentiable mappings between spaces of sections

Consider an o-minimal structure on the real field. Let $M$ be a definable $C^r$ manifold, where $r$ is a nonnegative integer. We first demonstrate an equivalence of the category of definable $C^r$ vector bundles over $M$ with the category…

We analyse the scalar curvature of the vector multiplet moduli space $\mathcal{M}^{\rm VM}_X$ of type IIA string theory compactified on a Calabi--Yau manifold $X$. While the volume of $\mathcal{M}^{\rm VM}_X$ is known to be finite, cases…

In this paper we develop two types of tools to deal with differentiability properties of vectors in continuous representations $\pi \: G \to \GL(V)$ of an infinite dimensional Lie group $G$ on a locally convex space $V$. The first class of…

Definable continuous injective maps defined on definable open sets into the Euclidean spaces of the same dimension are open maps in definably complete locally o-minimal expansions of ordered groups.

We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…

Let $\Gamma$ be a group acting on a scheme $X$ and on a Lie superalgebra $\mathfrak{g}$, both defined over an algebraically closed field of characteristic zero $\Bbbk$. The corresponding equivariant map superalgebra $M(\mathfrak{g},…

We prove that the path space of a differentiable manifold is diffeomorphic to a Fr\'echet space, endowing the path space with a linear structure. Furthermore, the base point preserving mapping space consisting of maps from a cube to a…

Given partitions $\alpha$, $\beta$, $\gamma$, the short exact sequences $0\to N_\alpha \to N_\beta \to N_\gamma \to 0$ of nilpotent linear operators of Jordan types $\alpha$, $\beta$, $\gamma$, respectively, define a constructible subset…

We propose global surjectivity theorems of differentiable maps based on second order conditions. Using the homotopy continuation method, we demonstrate that, for a $C^2$ differentiable map from a Hilbert space to a finite-dimensional…

With a view towards applications in the theory of infinite-dimensional representations of finite-dimensional Lie supergroups, we introduce a new category of supermanifolds. In this category, supermanifolds of `maps' and `fields' (fibre…

By using totally isotropic subspaces in an orthogonal space Omega^{+}(2i,2), several infinite families of packings of 2^k-dimensional subspaces of real 2^i-dimensional space are constructed, some of which are shown to be optimal packings. A…

For compact regions Omega in R^3 with generic smooth boundary B, we consider geometric properties of Omega which lie midway between their topology and geometry and can be summarized by the term "geometric complexity". The "geometric…

We prove uniform boundedness statements for semistable pure sheaves on projective manifolds. For example, we prove that the set of isomorphism classes of pure sheaves of dimension 2 that are slope semistable with respect to ample classes…

We develop a theory for stable maps to curves with divisible ramification. For a fixed integer $r>0$, we show that the condition of every ramification locus being divisible by $r$ is equivalent to the existence of an $r$th root of a…

We construct all orthogonal separating coordinates in constant curvature spaces of arbitrary signature. Further, we construct explicit transformation between orthogonal separating and flat or generalised flat coordinates, as well as…

We show that any continuous $\mathbf{C}$-linear Lie algebra splitting of the symbol map from the Atiyah algebra of a vector bundle on a complex manifold is given by a differential operator of order at most the rank of the bundle plus one.…

We show that, for a constant-degree algebraic curve $\gamma$ in $\mathbb{R}^D$, every set of $n$ points on $\gamma$ spans at least $\Omega(n^{4/3})$ distinct distances, unless $\gamma$ is an {\it algebraic helix} (see Definition 1.1). This…

There is an equivalence relation on the set of smooth maps of a manifold into the stable unitary group, defined using a Chern-Simons type form, whose equivalence classes form an abelian group under ordinary block sum of matrices. This…

Let $\mathcal{O}_K$ be the ring of integers of an algebraic number field $K$ embedded into $\mathbb{C}$. Let $X$ be a subset of the Euclidean space $\mathbb{R}^d$, and $D(X)$ be the set of the squared distances of two distinct points in…

On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex…