Displaying similar documents to “Convergence of power series along vector fields and their commutators; a Cartan-Kähler type theorem”

Relations among analytic functions. I

Edward Bierstone, P. D. Milman (1987)

Annales de l'institut Fourier

Similarity:

Neither real analytic sets nor the images of real or complex analytic mappings are, in general, coherent. Let Φ : X → Y be a morphism of real analytic spaces, and let Ψ : 𝒢 → ℱ be a homomorphism of coherent modules over the induced ring homomorphism Φ * : 𝒪 Y → 𝒪 X . We conjecture that, despite the failure of coherence, certain natural discrete invariants of the modules of formal relations ℛ a = Ker Ψ ^ a , a ∈ X , are upper semi-continuous in the analytic Zariski topology of X . We prove semicontinuity in many cases (e.g. in the algebraic...

The Lie group of real analytic diffeomorphisms is not real analytic

Rafael Dahmen, Alexander Schmeding (2015)

Studia Mathematica

Similarity:

We construct an infinite-dimensional real analytic manifold structure on the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is defined to be real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known, the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. We prove that this group is regular in the sense...