The eigenvalues of the Sinyukov mapping for geodesically equivalent metrics are globally ordered (Q2387858): Difference between revisions

Let \(g\) and \(\overline{g}\) be two \(C^{2}\)-smooth Riemannian metrics on an \(n\)-dimensional manifold \(M^{n}\), \(n \geq 2\). We recall that the metrics \(g\) and \(\overline{g}\) are said to be geodesically equivalent if all their geodesics, considered as nonparametrized curves, coincide. Let \(G : TM^{n} \rightarrow TM^{n}\) be the fiberwise linear mapping defined by \(G_{k}{}_{j} = g^{ks}\overline{g}_{sj}\), where \(g^{ks}\) and \(\overline{g}_{sj}\) are the local components of the tensors \(g^{-1}\) and \(\overline{g}\), respectively. The eigenvalues of \(G\) at \(x \in M^{n}\) are called the common eigenvalues of \(g\) and \(\overline{g}\). Let \(\rho_{1}(x), \rho_{2}(x), \dots , \rho_{n}(x)\) be the set of eigenvalues of \(G\) at \(x \in M^{n}\), taken in decreasing order: \(\rho_{1}(x) \geq \rho_{2}(x) \geq \dots \geq \rho_{n}(x)\). The Sinyukov mapping for \(g\) and \(\overline{g}\) is the fiberwise linear mapping \(B : TM^{n} \rightarrow TM^{n}\) defined by \(B_{k}{}_{\;j} = \left(\frac{det(\overline{g})}{det(g)}\right)^{\frac {1}{n+1}}\overline{g}^{ks}g_{sj}\), where \(\overline{g}^{ks}\) are the local components of the tensor \(\overline{g}^{-1}\). Let \(\lambda_{1}(x), \lambda_{2}(x), \dots , \lambda_{n}(x)\) be the set of the eigenvalues of \(B\) at \(x \in M^{n}\), taken in decreasing order: \(\lambda_{1}(x) \leq \lambda_{2}(x) \leq \dots \leq \lambda_{n}(x)\). It is proved: Let \(g\) and \(\overline{g}\) be two geodesically equivalent metrics on \(M^{n}\). Let \(M^{n}\) be connected and geodesically complete with respect to \(g\). Then: (i) for any \(x,y \in M^{n}\) and any \(i \in \{ 1,2, \dots , n-1 \}\), \(\lambda_{i}(x) \leq \lambda_{i+1}(y)\). Moreover, the inequality \(\lambda_{i}(x) < \lambda_{i+1}(x)\) for the point \(x \in M^{n}\) implies that the inequality \(\lambda_{i}(z) < \lambda_{i+1}(z)\) is valid for almost all points \(z \in M^{n}\). (ii) if for some points \(x,y \in M^{n}\), for a real number \(\lambda\) and for an integer \(i \in \{ 1,2, \dots , n-1 \}\), we have \(\lambda_{i}(x) = \lambda_{i+1}(y) = \lambda\), then there is a point \(z \in M^{n}\) such that \(\lambda_{i}(z) = \lambda_{i+1}(z) = \lambda\). An other theorem proved in the paper is the following: Let \(g\) and \(\overline{g}\) be two geodesically equivalent metrics on a connected closed manifold \(M^{n}\). Moreover, let all eigenvalues of \(G\) be pairwise distinct at each point of \(M^{n}\). Then \(M^{n}\) can be covered by a torus \(T^{n}\).