Related papers: The Convenient Setting for non-Quasianalytic Denjo…
A "Chen space" is a set X equipped with a collection of "plots" - maps from convex sets to X - satisfying three simple axioms. While an individual Chen space can be much worse than a smooth manifold, the category of all Chen spaces is much…
The equivalence of the Kohn finite ideal type and the D'Angelo finite type with the subellipticity of the $\bar\partial$-Neumann problem is extended to pseudoconvex domains in $C^n$ whose defining function is in a Denjoy-Carleman…
We study holomorphic self-maps of non-ordered n-point configuration spaces C^n(X), where X is either affine or projective complex line. The complex Lie group Aut(X) acts diagonally on C^n(X). We prove that for n>4 every endomorphism F of…
There are several notions of a smooth map from a convex set to a cartesian space. Some of these notions coincide, but not all of them do. We construct a real-valued function on a convex subset of the plane that does not extend to a smooth…
Given smooth manifolds $M_1,\ldots, M_n$ (which may have a boundary or corners), a smooth manifold $N$ modeled on locally convex spaces and $\alpha\in({\mathbb N}_0\cup\{\infty\})^n$, we consider the set $C^\alpha(M_1\times\cdots\times…
In the first part of this work, we consider a polynomial $ \phi(x,y)=y^d+a_1(x)y^{d-1}+...+a_d(x) $ whose coefficients $ a_j $ belong to a Denjoy-Carleman quasianalytic local ring $ \mathcal{E}_1(M) $. Assuming that $ \mathcal{E}_1(M) $ is…
Let $M$ and $N$ be smooth manifolds, with $M$ closed and connected. If the $C^r$--diffeomorphism group of $M$ is elementarily equivalent to the $C^s$--diffeomorphism group of $N$ for some $r,s\in[1,\infty)\cup\{0,\infty\}$, then $r=s$ and…
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…
We give an example of a non-noetherian quasi-analytic ring constructed using a quasi-analytic Denjoy-Carleman class. If we denote by $ \mathcal{D}_n$ the ring of those $ C^\infty$ quasianalytic function germs at $0\in \mathbb{R}^n$ which…
For two types of moderate growth representations of $(\mathbb{R}^d,+)$ on sequentially complete locally convex Hausdorff spaces (including F-representations [J. Funct. Anal. 262 (2012), 667-681], we introduce Denjoy-Carleman classes of…
We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some…
Let $V$ be a real finite dimensional representation of a compact Lie group $G$. It is well-known that the algebra $\mathbb R[V]^G$ of $G$-invariant polynomials on $V$ is finitely generated, say by $\sigma_1,...,\sigma_p$. Schwarz proved…
In this paper we present another notion of a smooth manifold with corners and relate it to the commonly used concept in the literature. Afterwards we introduce complex manifolds with corners and show that if $M$ is a compact (respectively…
We prove that for many degrees in a stable range the homotopy groups of the moduli space of metrics of positive scalar curvature on S^n and on other manifolds are non-trivial. This is achieved by further developing and then applying a…
Given a $C^\infty$ real manifold $X$ and $\mathcal{C}^m_X$ its sheaf of $m$-times differentiable real-valued functions, we prove that the sheaf $\mathcal{D}^{m, r}_X$ of differential operators of order $\leq m$ with coefficient functions of…
We consider a closed odd-dimensional oriented manifold $M$ together with an acyclic flat hermitean vector bundle $\cF$. We form the trivial fibre bundle with fibre $M$ over the manifold of all Riemannian metrics on $M$. It has a natural…
It is a celebrated result of Mather that the group of $C^k$--diffeomorphisms of an $n$--manifold is simple, provided that a mild isotopy condition is satisfied, with the possible exception of $k=n+1$. The purpose of this article is mostly…
Suppose M is a non-compact connected n-manifold without boundary, DD(M) is the group of C^\infty-diffeomorphisms of M endowed with the Whitney C^\infty-topology and DD_0(M) is the identity connected component of DD(M), which is an open…
For a compact convex subset K with non-empty interior in a finite-dimensional vector space, let G be the group of all smooth diffeomorphisms of K which fix the boundary of K pointwise. We show that G is a C^0-regular infinite-dimensional…
In a series of publications we developed "differential geometry" on discrete sets based on concepts of noncommutative geometry. In particular, it turned out that first order differential calculi (over the algebra of functions) on a discrete…