Manifolds of maps in Riemannian foliations (Q1972299): Difference between revisions

Let \((M',F')\), \((M,F)\) be foliated manifolds, and \(C_F^\infty (M',M)\) the space of smooth maps which send leaves into leaves. We consider LF-spaces, i.e. inductive limits of Fréchet spaces. The aim of this paper is to show that \(C_F^\infty (M',M)\) admits a structure of an infinite-dimensional manifold modeled on LF-spaces. Using the notion of adapted local addition, the authors give an explicit atlas for \(C_F^\infty (M',M)\). Theorem: Let \((M',F')\), \((M,F)\) be foliated manifolds, and suppose that \(F\) admits an adapted local addition. Then the space \(C_F^\infty (M',M)\) of maps sending leaves into leaves admits a manifold structure, modeled on LF-spaces. As a particular case, the group \(\operatorname {Diff} (M,F)\) of foliation preserving diffeomorphisms of a Riemannian foliation will inherit a manifold structure modeled on the Lie algebra of foliated vector fields with compact support.