On the geometry of the space of smooth fibrations (Q2269472)

The authors study geometrical properties of the space Fib\((M,B)\) of all smooth (locally trivial) fibrations \({\pi}: M\to B\), with \(M\) and \(B\) smooth finite-dimensional manifolds, or, equivalently, the space of all smooth surjective submersions from \(M\) to \(B\). If \(M\) is a closed manifold, the latter space is known to be an open subset of the Fréchet manifold of all smooth maps \(C^{\infty}(M,B)\); proved e.g. by \textit{R. S. Hamilton} in his comprehensive study of the inverse function theorem of Nash and Moser [Bull. Am. Math. Soc., New Ser. 7, 65--222 (1982; Zbl 0499.58003)]. In the first main result it is proved that any connected component of \({\pi}: M\to B\) is the base space of a smooth Fréchet principal bundle with the identity component of the group of diffeomorphisms of \(M\) as total space. In a second main result it is proved that the full space \({\pi}: M\to B\) is the total space of a smooth Fréchet principal bundle with the group of diffeomorphisms of \(B\) as structure group. The authors announce that the study in the present paper is part of a larger project dealing with the study of the space of Lagrangian fibrations of symplectic manifolds, to derive applications to the theory of Hamiltonian completely integrable systems.