Global models of Riemannian metrics (Q1122157)

Giving certain Riemannian metrics on the manifolds \(S^{n-1}\times S^ 1\) and \(S^ n\) (n\(\geq 2)\), which have the property to determine these manifolds, up to diffeomorphisms, the authors prove the following theorem: Let \(M_ n\) be a compact connected n-dimensional Hausdorff manifold, having a Riemannian metric m that admits the global expression \[ m=\sum_{i=1,...,n-1;j=2,...,n;i<j}(f_ i df_ j-f_ j df_ i)^ 2+\sum^{n}_{k=1}[f_ k(f dg-g df)-2fg df_ k]^ 2 \] where \(f_ 1,f_ 2,...,f_ n,f,g\) are global \(C^{\infty}\)-functions. Let \(H=\{p\in M_ n| \quad f_ i(p)=0,\quad i=1,...,n\}.\) Then (a) \(H=\emptyset\) implies that \(M_ n\) is diffeomorphic to \(S^{n-1}\times S^ 1\); (b) \(H\neq \emptyset\) implies that \(M_ n\) is diffeomorphic to the sphere \(S^ n\).