Related papers: On spaces of arc-smooth maps

In [S. Basu, A. Gabrielov, N. Vorobjov, Semi-monotone sets. arXiv:1004.5047v2 (2011)] we defined semi-monotone sets, as open bounded sets, definable in an o-minimal structure over the reals, and having connected intersections with all…

We show that the $\bar{\partial}$-problem is globally regular on a domain in $\mathbb{C}^n$, which is the $n$-fold symmetric product of a smoothly bounded planar domain. Remmert-Stein type theorems are proved for proper holomorphic maps…

Let $\Omega_1,\Omega_2$ be two disjoint open sets in $\mathbf C^n$ whose boundaries share a smooth real hypersurface $M$ as relatively open subsets. Assume that $\Omega_i$ is equipped with a complex structure $J^i$ which is smooth up to…

First of all, we focused soft {\beta}-open sets and soft {\beta}-closed sets over the soft topological space and investigated some properties of them. Secondly, we defined the concepts soft {\beta}-continuity, soft {\beta}-irresolute and…

Round fold maps are smooth maps on closed manifolds which are locally represented as the product maps of Morse functions and identity maps on open disks and whose singularity is realized as concentrically embedded spheres. The author…

In this paper, we define a soft somewhat open set using the soft interior operator. We study main properties the class of soft somewhat open sets that is contained in the class soft somewhere dense sets. Then, we introduce the classes of…

In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…

As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…

For certain families of compact subsets of the plane, the isomorphism class of the algebra of absolutely continuous functions on a set is completely determined by the homeomorphism class of the set. This is analogous to the…

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

In a previous work we proved the uniqueness and functoriality of primary unfoldings on simple Thom-Mather spaces, which is a functor to the category of smooth manifolds. In this article we extend these results for any stratified Thom-Mather…

Let $M$ be a compact surface and $P$ be either $\mathbb{R}$ or $S^1$. For a smooth map $f:M\to P$ and a closed subset $V\subset M$, denote by $\mathcal{S}(f,V)$ the group of diffeomorphisms $h$ of $M$ preserving $f$, i.e. satisfying the…

We first provide an approach to the recent conjecture of Bierstone-Milman-Pawlucki on Whitney's old problem on smooth extendability of functions defined on a closed subset of a Euclidean space, using higher order paratangent bundle they…

It is proved that isomorphisms between algebras of smooth functions on Hausdorff smooth manifolds are implemented by diffeomorphisms. It is not required that manifolds are second countable nor paracompact. This solves a problem stated by A.…

Let $M$ be a compact orientable surface equipped with a volume form $\omega$, $P$ be either $\mathbb{R}$ or $S^1$, $f:M\to P$ be a $C^{\infty}$ Morse map, and $H$ be the Hamiltonian vector field of $f$ with respect to $\omega$. Let also…

In this paper we prove that an isometry between orbit spaces of two proper isometric actions is smooth if it preserves the codimension of the orbits or if the orbit spaces have no boundary. In other words, we generalize Myers-Steenrod's…

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth…

We establish the exponential law for suitably topologies on spaces of vector-valued smooth functions on topological groups, where smoothness is defined by using differentiability along continuous one-parameter subgroups. As an application,…

We consider the space of functions almost in $L_p$ and endow it with the topology of asymptotic $L_p$-convergence. This yields a completely metrizable topological vector space which, on finite measure spaces, coincides with the space of…

In this paper we provide a characterization of smooth algebraic varieties endowed with a faithful algebraic torus action in terms of a combinatorial description given by Altmann and Hausen. Our main result is that such a variety X is smooth…