No label defined (Q4036976)

[For the entire collection see Zbl 0755.00014.] Let \((M,g_ M)\) and \((N,g_ N)\) be two smooth Riemannian manifolds of finite dimension. We consider a smooth map \(f:(M,g_ M)\to(N,g_ N)\). Let \(T_ xf:T_ xM\to T_ yN\) denote the tangent map at \(x\in M\) and \(y=f(x)\in N\). Then \(T_ xM\) and \(T_ yN\) split orthogonally (with respect to \(g_ M(x)\) and \(g_ N(y)\), respectively). Therefore we have \(T_ xM=\text{ker}\) \(T_ xf\oplus(\text{ker} T_ xf)^ \perp=V_ x\oplus H_ x\) and \(T_ yN\)=range \(T_ xf\oplus\) (range \(T_ xf)^ \perp\), where \(V_ x\) denotes the vertical subspace of \(T_ xM\) and \(H_ x\) the horizontal subspace of \(T_ xM\). Then we have \(T_ xf:V_ x\oplus H_ x\to\text{range} T_ xf\oplus(\text{range} T_ xf)^ \perp\). Restricting the domain and range of \(T_ xf\) to \(H_ x\) and range \(T_ xf=T_ xf(T_ xM)=T_ xf(H_ x)\subseteq T_ yN\), respectively, induces a linear isomorphism, which we denote by \((T_ xf)^ h=T_ xf/H_ x:H_ x\to\text{range} T_ xf\) and which we refer to as the horizontal restriction of \(T_ xf:T_ xM\to T_ yN\). The aim of this paper is to construct the horizontal restriction of the derivative of several maps. A smooth map \(f:(M,g_ M)\to(N,g_ N)\) between smooth finite dimensional Riemannian manifolds \((M,g_ M)\) and \((N,g_ N)\) is Riemannian at \(x\) if the horizontal restriction \((T_ xf)^ h:H_ x\to\text{range} T_ xf\) is a linear isometry. The map is Riemannian if \(f\) is Riemannian at each \(x\in M\). The aim of the present paper is to study Riemannian maps between two Riemannian manifolds.