Related papers: Real analyticity of composition is shy
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…
We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no…
We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real…
We show that a function $f : X \to \mathbb R$ defined on a closed uniformly polynomially cuspidal set $X$ in $\mathbb R^n$ is real analytic if and only if $f$ is smooth and all its composites with germs of polynomial curves in $X$ are real…
Let $M$ be a compact, real analytic manifold and $G$ be the Lie group of all real-analytic diffeomorphisms of $M$, which is modelled on the space ${\mathfrak g}$ of real-analytic vector fields on $M$. We study flows of time-dependent…
This note constructs a compact, real-analytic, riemannian 4-manifold ({\Sigma}, g) with the properties that: (1) its geodesic flow is completely integrable with smooth but not real-analytic integrals; (2) {\Sigma} is diffeomorphic to $T^2…
Let M be a connected real-analytic hypersurface in two dimensional complex space, $\mathbb C^2$, containing a connected complex hypersurface E, and let f be a smooth CR mapping sending M into another real-analytic hypersurface M' in…
Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of…
In \cite{Boed}, C.-F. B\"odigheimer constructed a finite cell-complex $\mf{Par}_{g,n,m}$ and a bijective map $\cH: \mf{Dip}_{g,n,m} \to \mf{Par}_{g,n,m}$ (the Hilbert-uniformization) from the moduli space of dipole functions on Riemann…
We study Lie group structures on groups of the form C^\infty(M,K)}, where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra…
In a previous article, analytic 1-submanifolds had been classified w.r.t. their symmetry under a given regular and separately analytic Lie group action on an analytic manifold. It was shown that such an analytic 1-submanifold is either free…
On $T \times G$, where $T$ is a compact real-analytic manifold and $G$ is a compact Lie group, we consider differential operators $P$ which are invariant by left translations on $G$ and are elliptic in $T$. Under a mild technical condition,…
We adapt the "royal road" method used to simplify automatic analyticity theorems in noncommutative function theory to several complex variables. We show that certain families of functions must be real analytic if they have certain nice…
Diffeomorphism groups $G$ of manifolds $M$ on locally $\bf F$-convex spaces over non-Archimedean fields $\bf F$ are investigated. It is shown that their structure has many differences with the diffeomorphism groups of real and complex…
Given a smooth free action of a compact connected Lie group $G$ on a smooth compact manifold $M$, we show that the space of $G$-invariant Riemannian metrics on $M$ whose automorphism group is precisely $G$ is open dense in the space of all…
We show that a finitely generated group of analytic diffeomorphisms that is expanding and locally discrete in the analytic category is analytically conjugate to a uniform lattice of a finite covering of the group of projective maps of the…
We consider continuous semigroups of analytic functions $\{\Phi_t\}_{t\geq0}$ in the so-called Gordon-Hedenmalm class $\mathcal{G}$, that is, the family of analytic functions $\Phi:\mathbb C_+\to \mathbb C_+$ giving rise to bounded…
In our previous work, we have constructed explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds. This paper presents its variant. Our result is new in obtaining…
In this paper we study the Lie theoretic properties of a class of topological groups which carry a Banach manifold structure but whose multiplication is not smooth. If $G$ and $N$ are Banach-Lie groups and $\pi : G \to \mathrm{Aut}(N)$ is a…
We consider a smooth CR mapping $f$ from a real-analytic generic submanifold $M$ in $\bC^N$ into $\bC^N$. For $M$ of finite type and essentially finite at a point $p\in M$, and $f$ formally finite at $p$, we give a necessary and sufficient…