Skip to main content
Post Undeleted by Jason DeVito - on hiatus
added 334 characters in body
Source Link

The only if direction fails. That is, there are $K$-equivariant vector bundles which are not homogeneous. For example, the Mobius band has the form $O(2)\times_{O(1)} \mathbb{R}$, and is not Riemannian homogeneous as you mention.

On the other hand, it seems the if direction is true. In fact, I think I can prove that, in fact, $M$ must be diffeomorphic to the trivial bundle over a compact homogeneous space, at least if $M$ is connected.

Let $G$ denote the identity component of the isometry group (which still acts transitively). Fix a point $p\in M$ and let $G_p$ denote the isotropy group. Then $G_p$ is compact. This follows because the action is proper (see, e.g, this paper), and then $G_p\times \{p\}\subseteq G\times M$ is the inverse image of the compact set $\{(p,p)\}\subseteq M\times M$ under the map $G\times M\rightarrow M\times M$ given by $(g,m)\mapsto(gm,m)$. Moreover, because the action is proper, we have a diffeomorphism $M\cong G/G_p$.

Writing $K$$H$ for the maximal compact subgroup of $G$, we therefore have (up to conjugacy) inclusions $G_p\subseteq K\subseteq G$$G_p\subseteq H\subseteq G$. From this, one can form the homogeneous fibrationfiber bundle $K/G_p\rightarrow G/G_p\rightarrow G/K$$H/G_p\rightarrow G/G_p\rightarrow G/H$.

Now, $G/K$$G/H$ is diffeomorphic to Euclidean space, which is contractible. Thus, this fibrationbundle is trivial, so $M\cong G/G_p \cong K/G_p\times G/K$ as a manifold$G/G_p$ is diffeomorphic to $(H/G_p)\times (G/H)$.

I think I can prove that, in fact, $M$ must be diffeomorphic to the trivial bundle over a compact homogeneous space, at least if $M$ is connected.

Let $G$ denote the isometry group. Fix a point $p\in M$ and let $G_p$ denote the isotropy group. Then $G_p$ is compact. This follows because the action is proper (see, e.g, this paper), and then $G_p\times \{p\}\subseteq G\times M$ is the inverse image of the compact set $\{(p,p)\}\subseteq M\times M$ under the map $G\times M\rightarrow M\times M$ given by $(g,m)\mapsto(gm,m)$. Moreover, because the action is proper, we have a diffeomorphism $M\cong G/G_p$.

Writing $K$ for the maximal compact subgroup of $G$, we therefore have (up to conjugacy) inclusions $G_p\subseteq K\subseteq G$. From this, one can form the homogeneous fibration $K/G_p\rightarrow G/G_p\rightarrow G/K$.

Now, $G/K$ is diffeomorphic to Euclidean space, which is contractible. Thus, this fibration is trivial, so $M\cong G/G_p \cong K/G_p\times G/K$ as a manifold.

The only if direction fails. That is, there are $K$-equivariant vector bundles which are not homogeneous. For example, the Mobius band has the form $O(2)\times_{O(1)} \mathbb{R}$, and is not Riemannian homogeneous as you mention.

On the other hand, it seems the if direction is true. In fact, I think I can prove that $M$ must be diffeomorphic to the trivial bundle over a compact homogeneous space, at least if $M$ is connected.

Let $G$ denote the identity component of the isometry group (which still acts transitively). Fix a point $p\in M$ and let $G_p$ denote the isotropy group. Then $G_p$ is compact. This follows because the action is proper (see, e.g, this paper), and then $G_p\times \{p\}\subseteq G\times M$ is the inverse image of the compact set $\{(p,p)\}\subseteq M\times M$ under the map $G\times M\rightarrow M\times M$ given by $(g,m)\mapsto(gm,m)$. Moreover, because the action is proper, we have a diffeomorphism $M\cong G/G_p$.

Writing $H$ for the maximal compact subgroup of $G$, we therefore have (up to conjugacy) inclusions $G_p\subseteq H\subseteq G$. From this, one can form the fiber bundle $H/G_p\rightarrow G/G_p\rightarrow G/H$.

Now, $G/H$ is diffeomorphic to Euclidean space, which is contractible. Thus, this bundle is trivial, so $G/G_p$ is diffeomorphic to $(H/G_p)\times (G/H)$.

Post Deleted by Jason DeVito - on hiatus
Source Link

I think I can prove that, in fact, $M$ must be diffeomorphic to the trivial bundle over a compact homogeneous space, at least if $M$ is connected.

Let $G$ denote the isometry group. Fix a point $p\in M$ and let $G_p$ denote the isotropy group. Then $G_p$ is compact. This follows because the action is proper (see, e.g, this paper), and then $G_p\times \{p\}\subseteq G\times M$ is the inverse image of the compact set $\{(p,p)\}\subseteq M\times M$ under the map $G\times M\rightarrow M\times M$ given by $(g,m)\mapsto(gm,m)$. Moreover, because the action is proper, we have a diffeomorphism $M\cong G/G_p$.

Writing $K$ for the maximal compact subgroup of $G$, we therefore have (up to conjugacy) inclusions $G_p\subseteq K\subseteq G$. From this, one can form the homogeneous fibration $K/G_p\rightarrow G/G_p\rightarrow G/K$.

Now, $G/K$ is diffeomorphic to Euclidean space, which is contractible. Thus, this fibration is trivial, so $M\cong G/G_p \cong K/G_p\times G/K$ as a manifold.