Every smooth p-adic Lie group admits a compatible analytic structure

We show that every finite-dimensional p-adic Lie group of class C^k admits a C^k-compatible analytic Lie group structure.Comment: LaTeX, 37 page

Differentiable mappings between spaces of sections

In this work, various versions of the so-called Omega-Lemma are provided, which ensure differentiability properties of pushforwrds between spaces of C^r-sections (or compactly supported C^r-sections) in vector bundles over finite-dimensional base manifolds whose fibres are (possibly infinite-dimensional) locally convex spaces. Applications are given, including the proof of continuity for some natural module multiplications on spaces of sections and the construction of certain infinite-dimensional Lie groups of Lie group-valued maps.Comment: 31 pages, LaTeX. Up to minor updates, this is an unpublished manuscript from 2001/200

Conveniently Hoelder homomorphisms are smooth in the convenient sense

We show that every 'conveniently Hoelder' homomorphism between Lie groups in the sense of convenient differential calculus is smooth (in the convenient sense). In particular, every Lip^0 homomorphism is smooth.Comment: 25 pages, LaTeX; v2: minor improvements, typos correcte