A followup on non-homogeneous spaces. - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T22:39:04Z http://mathoverflow.net/feeds/question/89542 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/89542/a-followup-on-non-homogeneous-spaces A followup on non-homogeneous spaces. Igor Rivin 2012-02-26T02:07:23Z 2012-02-26T05:42:27Z <p><a href="http://mathoverflow.net/questions/89345/example-of-a-manifold-which-is-not-a-homogeneous-space-of-any-lie-group" rel="nofollow">This question</a> asks for an example of a manifold which is not a homogeneous space of any Lie Group, and many examples are given in the answers. However: is there a an example known with a metric of positive sectional curvature (this, apparently, is a question asked by Marcel Berger many years ago, so was open then, but I have no idea of its current status...)?</p> http://mathoverflow.net/questions/89542/a-followup-on-non-homogeneous-spaces/89550#89550 Answer by Vitali Kapovitch for A followup on non-homogeneous spaces. Vitali Kapovitch 2012-02-26T04:14:29Z 2012-02-26T04:35:04Z <p>Yes, <a href="http://www.springerlink.com/content/n068604337723788/" rel="nofollow">Eschenburg constructed an infinite family of simply connected 7-dimensional examples</a> and proved that many of them are not homotopy equivalent to homogeneous spaces. His examples are biquotients however. In fact the only known examples of closed positively curved manifolds are biquotients or spaces of cohomogeneity one and above dimension 13 only homogeneous examples (and space forms) are known.</p> http://mathoverflow.net/questions/89542/a-followup-on-non-homogeneous-spaces/89551#89551 Answer by Ryan Budney for A followup on non-homogeneous spaces. Ryan Budney 2012-02-26T04:16:13Z 2012-02-26T04:25:37Z <p>At least for compact groups, I think your question was answered by <a href="http://arxiv.org/abs/0805.0812" rel="nofollow">Peterson and Wilhelm</a> where they showed the Gromoll-Meyer sphere has a metric of positive sectional curvature. </p> <p>That, when combined with Wu-Chung Hsiang's work from the 60's says that exotic spheres are not homogeneous spaces. I'm not sure which is the best reference but Wu-Chung has a few on similar topics, for example, his paper "On Compact Subgroups of Diffeomorphism Groups of Kervaire Spheres" Annals 1967 mentions that compact subgroups of Diff of an exotic sphere has dimension bounded above by $m^2/8 + 1$, where $m$ is the dimension of the sphere. </p> http://mathoverflow.net/questions/89542/a-followup-on-non-homogeneous-spaces/89555#89555 Answer by Yves Cornulier for A followup on non-homogeneous spaces. Yves Cornulier 2012-02-26T05:42:27Z 2012-02-26T05:42:27Z <p>Yes, some quotients of the 3-sphere are examples. Namely, view $S^3$ as the group of quaternions of unit one. Consider two finite subgroups $F_1,F_2$ of $S^3$, with $F_1$ not abelian, and $F_2$ cyclic of odd prime order $p$ not dividing the order of $F_1$. So $F_1\times F_2$ acts freely on the sphere by $(g,h)\cdot z=gzh^{-1}$. I claim that the quotient $X=F_1\backslash S^3/F_2$ is not homeomorphic to a homogeneous space of any connected Lie group $G$.</p> <p>Assume the contrary. First, by a result of Montgomery (Proc AMS 1950), any maximal compact subgroup of $G$ acts transitively (it's a general fact, using only that $X$ has finite fundamental group). So we can assume that $G$ is compact. Then a result of Montgomery-Samelson (Annals 1943) tells us that some simple $S$ subgroup acts transitively. (The result concerns actions on spheres, and is applied by considering the action of a finite covering of $G$ on $S^3$.) The isometry group of a 3-dimensional Riemannian manifold is at most 6-dimensional, and the only simple compact Lie group of dimension at most 6 is $SO(3)$ (and its universal covering). Thus $X=S^3/F$ for some finite subgroup $F$ of $S^3$, isomorphic to $F_1\times F_2$. But in $S^3$, the centralizer of any nontrivial element of odd order is abelian. This is a contradiction.</p> <p>These examples are not simply connected, of course. It seems that the other answers deal with the much more delicate simply connected case. </p>