Contact analogs of Gray's identity for \(NC_{10}\)-manifolds (Q1669937)

If \(\Sigma=(\varphi,\xi,\eta)\) is a structure, where \(\varphi\) is an endomorphism, \(\xi\) is a vector field, and \(\eta\) is a \(1\)-form, satisfying \(\varphi^2=-\text{id}+\eta\otimes\xi\), \(\varphi(\xi)=0\), \(g(X,\xi)=\eta(X)\), and \(g(\varphi X,\varphi Y)=g(X,Y)-\eta(X)\eta(Y)\) on a Riemannian manifold \((M,g)\), then \((M,g,\varphi,\xi,\eta)\) is called an almost contact metric manifold. \(M\) is said to be almost cosymplectic if the forms \(\eta\) and \(\Phi\), defined as \(\Phi(X,Y)=g(X,\varphi Y)\), are closed. If \(M\) is almost cosymplectic and normal, that is its Nijenhuis tensor \(N_\varphi\) vanishes, then \(M\) is called cosymplectic. If \(\Sigma\) satisfies \[ \nabla_X\varphi Y+\nabla_Y\varphi X=\xi\nabla_X\eta\varphi Y+\xi\nabla_Y\eta\varphi X +\left(\eta(X)\nabla_{\varphi Y}+\eta(Y)\nabla_{\varphi X}\right)\xi, \] then \(M\) is called an \(NC_{10}\)-manifold. In this paper the authors consider contact analogues of Gray identities on the Riemann-Christoffel tensor for almost contact metric manifolds class \(NC_{10}\), which are: \(\mathrm{CR}_1: g(R(\varphi X,\varphi Y)\varphi Z,\varphi W)=g(R(\varphi^2 X,\varphi^2 Y)\varphi Z,\varphi W)\), \(\mathrm{CR}_2: g(R(\varphi X,\varphi Y)\varphi Z,\varphi W)=g(R(\varphi^2 X,\varphi^2 Y)\varphi Z,\varphi W)+g(R(\varphi^2 X,\varphi Y)\varphi^2 Z,\varphi W)+g(R(\varphi^2 X,\varphi Y)\varphi Z,\varphi^2 W)\), \(g(R(\varphi X,\varphi Y)\varphi Z,\varphi W)=g(R(\varphi^2 X,\varphi^2 Y)\varphi^2 Z,\varphi^2 W)\). If the identity \(\mathrm{CR}_i\), \(i=1,2,3\), on the Riemann-Christoffel tensor is satisfied for an \(NC_{10}\)-manifold \(M\), then \(M\) is is said to be an \(NC_{10}\)-manifold of class \(\mathrm{CR}_i\). The authors prove that an \(NC_{10}\)-manifold \(M\) is always of class \(\mathrm{CR}_3\). Also, they show that \(NC_{10}\)-manifold \(M\) is of class \(\mathrm{CR}_1\) if and only if \(M\) is cosymplectic or \(M\) is locally equivalent to the product of a Kähler manifold and \(\mathbb R\).