On a geometric property of the torsion object of a high order connection (Q1896724)

Let \(D\) be a linear connection of an \(n\)-manifold \(M\) and \(T^h TM\) the horizontal distribution determined by \(D\) and considered as a submanifold and sub-bundle of \(TTM\). If \(f: TTM\to TTM\) is the canonical involutive diffeomorphism \((x^i, u^i, v^i, w^i)\to (x^i, v^i, u^i, w^i)\), then the torsion form of the connection \(D\) vanishes iff the submanifold \(T^h TM\) is invariant with respect to \(f\). In the present paper the author gives a natural and nice generalization of this property for the case of an infinitesimal connection in the principal \(k\)-frame bundle \(L^k M\) over an \(n\)-manifold \(M\).