Related papers: On spaces of arc-smooth maps

We prove that any smooth mapping between reduced analytic spaces induces a natural pullback operation on smooth differential forms.

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

Let X be a smooth algebraic variety on which a solvable Lie group acts freely on a dense open orbit. Such varieties include generalized flag varieties, toric varieties, Bott-Samelson varieties, and many spherical varieties, as well as…

This paper provides some first steps in developing empirical process theory for functions taking values in a vector space. Our main results provide bounds on the entropy of classes of smooth functions taking values in a Hilbert space, by…

Some results in C_k-theory are obtained with the use of bornologies. We investigate under which conditions the space of the continuous real functions with the compact-open topology is a productively countably tight space, which yields some…

We show that every bounded domain $D$ in $\mathbb R^n$ with smooth $p$-convex boundary for $2\le p < n$ admits a smooth defining function $\rho$ which is $p$-plurisubharmonic on $\overline D$; if in addition $bD$ has no $p$-flat points then…

Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense…

We provide a model for an open invariant neighborhood of any orbit in a symplectic manifold endowed with a canonical proper symmetry. Our results generalize the constructions of Marle and Guillemin and Sternberg for canonical symmetries…

For a bornology $\mathcal{S}$ of subsets of a metric space $(X,d)$, we consider the following unified approaches of hyperspace convergence: convergence induced through uniform convergence of distance functionals…

Motivated by the testing condition for Radon-Brascamp-Lieb multilinear functionals established in arXiv:2201.12201, this paper is concerned with identifying local conditions on smooth maps $u(t)$ with values in the space of decomposable…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

In our paper, we construct a real-algebraic function whose Reeb (Kronrod-Reeb) graph is a graph respecting some algebraic domain: a graph for this is called Poincar\'e-Reeb graph. The Reeb graph of a smooth function is defined as a natural…

In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…

A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…

We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumption, this can happen only on topological spheres.

In this work we relate the known results about the homotopy type of classifying spaces for smooth foliations, with the homology and cohomology of the discrete group of diffeomorphisms of a smooth compact connected oriented manifold. The…

If a map has k transitivity classes of vertices that are subject to the action of the automorphism group, it is said to be k-uniform. The classification of 1-uniform maps on the torus is known. In this article, we classify 2-uniform maps on…

Let $Aut(X,\mathcal{B})$ be the group of all Borel automorphisms of a standard Borel space $(X,\mathcal{B})$. We study topological properties of $Aut(X,\mathcal{B})$ with respect to the uniform and weak topologies, $\tau$ and $p$, defined…

A smooth counterexample to the Hamiltonian Seifert conjecture for six-dimensional symplectic manifolds is found. In particular, we construct a smooth proper function on the symplectic 2n-dimensional vector space, 2n > 4, such that one of…