Vertical flows and a general currential homotopy formula (Q2806001)

The main result of this impressive work isNEWLINENEWLINETheorem 1.1. Let \(\pi : P\rightarrow B\) be a fiber bundle of oriented manifolds with compact fiber and \(X:P\rightarrow VP\) be a vector field satisfying some technical conditions. Let \(\omega \in \Omega ^k(P)\) be a smooth form and let \(\varphi _0: B\rightarrow P\) be a section transversal to all the stable bundles \(S(F)\) of \(X\). Assume, moreover, that each fiber bundle \(U(F)\rightarrow F\) is orientable. Then, the following equality of locally flat currents on \(B\) holds: NEWLINE\[NEWLINE\lim _{t\rightarrow \infty }\varphi _t^{\ast }\omega =\sum _{codim S(F)\leq k}Res^u_F(\omega )[\varphi _0^{-1}(S(F))],NEWLINE\]NEWLINE where \(\varphi _t\) is the section \(\varphi _0\) flown to time \(t\) and \(Res^u_F\) is a certain residue along \(\varphi _0^{-1}(S(F))\). Moreover, there exist currents on \(B\) with \(L^1_{loc}\)-coefficients \(\mathcal{T}_{\infty }(\omega )\) and \(\mathcal{T}_{\infty }(d\omega )\) such that NEWLINE\[NEWLINE\lim _{t\rightarrow \infty }\varphi _t^{\ast }\omega -\varphi _0^{\ast }\omega =(-1)^{|\omega |}d[\mathcal{T}_{\infty }(\omega )]+\mathcal{T}_{\infty }(d\omega ).NEWLINE\]NEWLINE This limit holds in the topology of locally flat currents.