De Rham decomposition of netted manifolds (Q1290401)

Let \(M\) be a Riemannian manifold and \(TM\) its tangent bundle manifold. Let \(TM= \bigoplus^k_{i=1} E_i\) be a splitting \({\mathcal E}=(E_i)_{i=1,\dots,k}\) of subbundles. The family \({\mathcal E}\) is called a net and the pair \((M,{\mathcal E})\) a netted manifold, if all subbundles \(E_i\) are integrable. In consequence of these definitions several theorems are formulated by the authors. Here, we quote the following: Theorem. Let \(M\) and \(N\) be manifolds which are equipped with torsion-free linear connections \(\nabla^M\) and \(\nabla^N\) and with nets \({\mathcal E}= (E_i)_{i= 1,\dots,k}\) and \({\mathcal F}= (F_i)_{i=1,\dots, k}\), respectively. We suppose that \({\mathcal E}\) is \(\nabla M\) parallel and \({\mathcal F}\) is \(\nabla^N\) parallel (the definition is given), and that the netted manifold \((M,{\mathcal E})\) is connected and globally decomposable. Then, a \(C^\infty\)-map \(f: M\to N\) is a net morphism with respect to \({\mathcal E}\) and \({\mathcal F}\), if and only if it satisfies the condition that the complementary subbundles \(E^\perp_i\) \((i= 1,\dots, k)\) are integrable with respect to the given connection and nets.