Bump-functions on certain infinite dimensional manifolds (Q5932661)

The following property holds for finite dimensional and Banach manifolds: for \(U\) an open subset of a manifold \(X\), if \( f: U \rightarrow N \) is a differentiable mapping for \(N\) a vector space, then there exists a global differentiable mapping \(\widetilde f : X \rightarrow N, \) locally equal to \(f\). The property is a consequence of the existence of differentiable bump-functions. In this paper, the above property is proved for \(A\)-manifolds, where \(A\) is a commutative complete locally \(m\)-convex \(C^*\)-algebra with unit. Let \(P(A)\) be the category of projectively finitely generated \(A\)-modules. An \(A\)-manifold modeled on \(H\) in \(P(A)\) is a topological space \(X\) endowed with a maximal atlas of \(M\)-valuated charts whose transition functions are \(A\)-diffeomorphisms. First, it is proved that the models \(H\) in \(P(A)\) admit differentiable \(A\)-valued bump-functions. The construction of these functions is then extended to \(A\)-manifolds. Using the bump-functions one proves the property mentioned above for \(A\)-manifolds.