Related papers: Differentiable mappings between spaces of sections
Extension dimension is characterized in terms of $\omega$-maps. We apply this result to prove that extension dimension is preserved by refinable maps between metrizable spaces. It is also shown that refinable maps preserve some…
In this paper, we introduce restricted products for families of locally convex spaces and formulate criteria ensuring that mappings into such products are continuous or smooth. As a special case, can define restricted products of weighted…
A geometric version of the Poincar\'e Lemma is established for the topological vector space of differential chains. In particular, every differential k-cycle with compact support in a contractible open subset U of a smooth n-manifold M is…
In this paper we provide extensions of the $\lambda$-Lemma (also known as Inclination Lemma) for piecewise smooth vector fields and maps. In order to achieve our main result, we investigate the regularity of time-T-maps of piecewise smooth…
A notion of differentiability is being proposed for maps between Wasserstein spaces of order 2 of smooth, connected and complete Riemannian manifolds. Due to the nature of the tangent space construction on Wasserstein spaces, we only give a…
We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the…
We prove the Derived Mapping Space Lemma, which generalizes the central theorem of Cisinski's work on calculus of fractions for $\infty$-categories, and allows us to provide a unified framework for analyzing mapping spaces in localizations…
In this article we investigate a monoid of smooth mappings on the space of arrows of a Lie groupoid and its group of units. The group of units turns out to be an infinite-dimensional Lie group which is regular in the sense of Milnor.…
We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed.…
It is well-known that the classical Schwarz lemma yields an explicit comparison of two Hermitian metrics with uniform constant negative curvature bounds through holomorphic maps between complex manifolds. In this paper, we establish Schwarz…
Let M be an arbitrary Riemannian homogeneous space, and let Omega be a space of tilings of M, with finite local complexity (relative to some symmetry group Gamma) and closed in the natural topology. Then Omega is the inverse limit of a…
We shall prove that a moduli space of flat irreducible Lie algebroid connections over a compact manifold has locally a natural structure of a smooth differentiable space. This is a generalization of some well known results for the moduli…
A new proof of Oka's lemma is given for smoothly bounded, pseudoconvex domains $D\subset\mathbb{C}^n$. The method of proof is then also applied to other convexity-like hypotheses on the boundary of $D$.
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…
Given a vector bundle $E$ of rank $r$ and degree $d$ on a curve $C$ of genus $g$, one can associate to $E$ in a natural way several other vector bundles. For example, one can take wedge powers of $E$. If $E$ is generated by global sections,…
We introduce Omega functions that generalize Euler Gamma functions and study the functional difference equation they satisfy. Under a natural exponential growth condition, the vector space of meromorphic solutions of the functional equation…
Over a smooth complex projective curve $C$ of genus $g$ let $\M (n,d)$ be the moduli space of semistable bundles of rank $n$ and degree $d$ on $C$, and $\SM (n,L)$, the moduli space of those bundles whose determinant is isomorphic to a…
Let $A$ be a finite-dimensional local commutative algebra over $R$, $\dim_RA=n$. In this work we consider compact manifolds over $A$, and prove that the real part of an $A$-differentiable function is constant. Also we find estimates for the…
We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is continuously reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures…