Existence of isometric immersions into nilpotent Lie groups (Q2429477)

Let \(N\) be a two-step nilpotent Lie group with Lie algebra \(\mathfrak{n}\), \(\mathfrak{z}\) be the center of \(\mathfrak n\), \(\dim(\mathfrak{z})=n'\), and \(\dim(N)=n+n'\). Fix a left-invariant metric \(<\cdot,\cdot>\) in \(N\). The center \(\mathfrak{z}\) is spanned by \(n'\) orthonormal left-invariant Killing vector fields \(E_{n+k},\;k=1,\ldots,n'\). Let \(J_k,\;k=1,\ldots,n'\) be the corresponding skew-symmetric tensors and extend \(E_{n+k}\) to a left-invariant orthonormal frame \(\{E_k\}_{k=1}^{n+n'}\) in \(N\). The authors prove that the curvature tensor in \(N\) with respect to an arbitrary frame \(\{e_a\}\) can be computed in terms of the tensors \(J_k\) and the projections \(<E_{n+k},e_a>\). The curvature form is given by a tensor \(Q\) also defined in Section 2. In particular, when the frame is adapted to an isometric immersion, the Gauss, Godazzi and Ricci equations are written in terms of the first and second fundamental forms, the normal and tangential projections of \(E_{n+1},\ldots,E_{n+n'}\) and their covariant derivatives. In sections 4 and 5 the authors provide some sufficient conditions for immersing isometrically a simply connected Riemannian manifold \(M\) on \(N\) with prescribed second fundamental form, by considering a real Riemannian vector bundle \(\mathcal{E}\) over \(M\) with rank \(n+n'-m\), and transferring therein the correspoding objects related to a new orthoromal frame \(\{\hat{E}_a\}_{a=1}^{n+n'}\).