Smooth extensions and spaces of smooth and holomorphic mappings (Q855126)

This note presents a possible definition of smooth (resp. complex) manifolds with corners modeled on locally convex spaces. The definition extends naturally the finite-dimensional case. Being given a compact (resp. complex) manifold \(M\) with corners and a smooth (resp. complex) Lie group \(K\), the space of smooth (resp. holomorphic) mappings from \(M\) to \(K\) is then shown to be a smooth (resp. complex) Lie group. The proof is largely based on former work by \textit{H. Glöckner} [J. Funct. Anal. 194, No. 2, 347--409 (2002; Zbl 1022.22021)].