Complete lifting of double-linear semi-basic tangent valued forms to Weil like functors on double vector bundles

Abstract

Let $F$ be a product preserving gauge bundle functor on double vector bundles. We introduce the complete lifting $\mathcal{F}\varphi:FK\to \wedge^p T^*FM\otimes TFK$ of a double-linear semi-basic tangent valued $p$-form $\varphi:K\to \wedge^p T^*M\otimes TK$ on a double vector bundle $K$ with base $M$. We prove that this complete lifting preserves the Frolicher-Nijenhuis bracket. We apply the results obtained to double-linear connections.