Moser stability for volume forms on noncompact fiber bundles (Q2414132)

An old result of \textit{J. Moser} [Trans. Am. Math. Soc. 120, 286--294 (1965; Zbl 0141.19407)] states that on a compact, connected manifold, two volume forms (non-vanishing forms of top degree) can be transformed into one another by a diffeomorphism if and only if they have the same total volume. This result has been extended to non-compact manifolds by \textit{R. E. Greene} and \textit{K. Shiohama} [Trans. Am. Math. Soc. 255, 403--414 (1979; Zbl 0418.58002)]. More recently, an extension to \emph{families} of volume forms has been given by the authors. Suppose \(M\) is an oriented manifold with two smooth families of volume forms \(\{\omega_b\}_{b\in B}\) and \(\{\tau_b\}_{b\in B}\), parametrized by a compact manifold \(B\), such that, \(\forall~b\in B\), \[ \int_M \omega_b =\int_M\tau_b\,. \] In [\textit{Á. Pelayo} and \textit{X. Tang}, J. Symplectic Geom. 17, No. 5, 1427--1446 (2019; Zbl 1430.58002)] they find sufficient conditions for the existence of a parametrized family of diffeomorphisms \(\{\varphi_b\colon M\to M\}_{b\in B}\) such that \(\varphi_b^*\omega_b=\tau_b\). The paper under review takes a further step in the generalization of the Green-Shiohama result. The authors introduce two classes of fiber bundles, called \emph{filled} and \emph{exhausted} bundles, to which vector bundles belong; a bundle \(\pi\colon M\to B\) is exhausted if there is an exhaustion \(f\colon M\to \mathbb{R}\) which is compactible with the fiber. They also introduce the notion of \emph{fiber \(k\)-forms}, families \(\{\omega_b\}_{b\in B}\) of \(k\)-forms such that \(\omega_b\) is an honest form of \(\pi^{-1}(b)\) and such that there exists \(\omega\in\Omega^k(M)\) with \(\omega_b=\imath_b^*\omega\), \(\imath_b\) being the inclusion of the fiber (this is reminiscent of Thurston's construction of symplectic fibrations). The main result of this paper, Theorem 1.2, is a sufficient conditions for two fiber volume forms on a connected, exhausted bundle with oriented, non-compact fiber, to be isomorphic via a fiber-preserving diffeomorphism. This condition is similar in spirit to Moser's one: the two forms must have the same \emph{fiber integral}.