Sp(2) / U(1) and a positive curvature problem

From MaRDI portal
Publication:745031



Abstract: A compact Riemannian homogeneous space G/H, with a bi--invariant orthogonal decomposition mathfrakg=mathfrakh+mathfrakm is called positively curved for commuting pairs, if the sectional curvature vanishes for any tangent plane in TeH(G/H) spanned by a linearly independent commuting pair in mathfrakm. In this paper,we will prove that on the coset space mathrmSp(2)/mathrmU(1), in which mathrmU(1) corresponds to a short root, admits positively curved metrics for commuting pairs. B. Wilking recently proved that this mathrmSp(2)/mathrmU(1) can not be positively curved in the general sense. This is the first example to distinguish the set of compact coset spaces admitting positively curved metrics, and that for metrics positively curved only for commuting pairs.


A compact Riemannian homogeneous space \(G/H\), with a bi-invariant orthogonal decomposition \(\mathfrak{g}=\mathfrak{h}+\mathfrak{m}\) is called positively curved for commuting pairs, if the sectional curvature vanishes for any tangent plane in \(T_{eH}(G/H)\) spanned by a linearly independent commuting pair in \(\mathfrak{m}\). The authors prove that the coset space \(\mathrm{Sp}(2) / \mathrm{U}(1)\), in which \(\mathrm U(1)\) corresponds to a short root, admits positively curved metrics for commuting pairs. This coset space was in the list of \textit{L. Bérard Bergery}'s classification of odd-dimensional positively curved Riemannian homogeneous spaces [J. Math. Pures Appl. (9) 55, 47--68 (1976; Zbl 0289.53037)], but B. Wilking recently proved that \(\mathrm{Sp}(2) / \mathrm{U}(1)\) cannot be positively curved in the general sense. His unpublished result and his proof are given in Theorem 5.1 of the present paper. Therefore, this is the first example distinguishing the set of compact coset spaces admitting positively curved metrics, from that for metrics positively curved only for commuting pairs.











This page was built for publication: \(\mathrm{Sp}(2) / \mathrm{U}(1)\) and a positive curvature problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q745031)