MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this community
I have been influenced by this question with many beautiful answers.
Are there any useful practical criteria to say positively that a real connected paracompact smooth manifold $X$ is homogeneous?
I can think of something silly like existence of a finite dimensional Lie algebra of vector fields spanning $T_aX$ at each $a\in X$ but I don't see any practical way of constructing such subalgebra besides giving a homogeneous structure:-)
Is Eberlein's theorem relevant to your question? If $M$ is a compact Riemannian manifold of nonpositive section curvature, Eberlein's theorem MR0674166 characterizes when $M$ is a Riemannian symmetric space of noncompact type.
And if that is of interest, there is a more recent and more powerful version due to Farb and Weinberger, MR2456886.
as mentioned in various comments there are many geometric conditions of various type that imply homogeneity (or local homogeneity). Constant curvature, parallel curvature tensor, almost flat metric, quarter-pinched curvature, nonnegative bisectional curvature and so on. But in purely topological terms the best you can hope for is necessary conditions of the kind mentioned in the question you linked. Necessary and sufficient conditions are pretty much impossible because topological recognition problems are hard.
For example, if you look at compact 2-connected homogeneous spaces (or even biquotients) then there are only finitely many of them in every dimension since nonabelian simple Lie groups have only finitely many irreducible representations in every dimension. so in principle the recognition problem for such manifolds ought to be straightforward: just check that that $\pi_1(M)=\pi_2(M)=0$ and compare $M$ to a finite list. However, that last step is actually quite tricky. Surgery theory sort of tells us how to do it but the method is hardly practical.
To give a specific example from my own experience. When classifying biquotients with singly generated rational cohomology rings I and Wolfgang Ziller had to deal with one specific biquotient $M^{11}=G_2//SU(3)$ given by a representation $\rho:SU(3)\to G_2\times G_2$ where the representation on the left has index 2 and on the right has index 3. We were able to show that $M^{11}$ is almost diffeomorphic to the unit tangent bundle $T^1S^6$ which is the homogeneous space $SO(7)/SO(5)$. this means that they differ at most by a connected sum with an exotic sphere. but we couldn't decide if they are actually diffeomorphic. to do that one needs to compute the Eells-Kuiper invariant of $M$ which would couldn't do as that requires writing $M$ as a boundary.
Not really an answer, but too long to be a comment.
I have thought about this question before, without much progress. It seems difficult. Even just to recognize if a manifold has the structure of a Lie group seems to be a difficult problem. And a manifold can be a Lie group in different ways.
For instance, the exponential map from the Lie algebra $\mathfrak{n}$ of strictly upper triangular $n \times n$ matrices is a diffeomorphism with the group $N$ of unipotent upper triangular matrices, so $N$ has its natural Lie group structure as well as the abelian Lie group structure obtained by transporting the addition from $\mathfrak{n}$ through the exponential map.
Thinking about it algebraically, asking for a manifold to be a Lie group is the same as asking for its function algebra to be a Hopf algebra (with some topology, perhaps), and the responses to this question seem to indicate that it is not very easy to recognize a Hopf algebra from the algebra structure alone.
If you want a homogeneous space rather than a Lie group, you are then asking for the function algebra to be a (right or left) coideal subalgebra of a Hopf algebra. That seems even more difficult than looking for a Hopf algebra structure. And again, there can be no canonical construction because the same manifold can be a homogeneous space of different Lie groups: for example, $S^2$ is a homogeneous space of $SU(2)$, $SL(2,\mathbb{C})$, $O(3)$, and $SO(3)$.
So I am pessimistic about there being a nice characterization, or even about the existence of simply stated sufficient conditions. But I'll be watching this thread and hoping that somebody comes up with something!
Edit: Oh yeah! I forgot to mention something. Thinking further about the problem of identifying a Lie group, given only the manifold structure: the multiplication map on a Lie group $G$ turns the cohomology ring of $G$ into a graded Hopf algebra. I don't know the details, but my understanding is that (perhaps with some assumption on the cohomology groups being finitely generated free modules over the coefficient ring?) that if the cohomology ring of a manifold has the structure of a graded Hopf algebra, then the manifold is an $H$-space, i.e. it has a multiplication and a unit map, but it is not necessarily associative. For instance $S^7$ is an $H$-space, but not a Lie group. So cohomology gets you a certain distance, but not all the way.
