1
$\begingroup$

Let $\Phi:G\times M\ni(g,m)\mapsto\Phi_g(m)\in M$ be a smooth left action of a Lie group $G$ on a manifold $M$, and let us denote by $\Psi:G\times T^\ast M\ni(g,\alpha)\mapsto(T^\ast\Phi_g)\alpha\in T^\ast M$ its cotangent lifting.

It's easy to see that $\Phi$ is free (resp. proper) if and only if $\Psi$ is free (resp. proper).
So if $\Phi$ is free and proper then both the orbit spaces $M/G$ and $(T^\ast M)/G$ get a uniquely determined smooth manifold struscture such that the respective projection maps are submersions.

I was wondering if there exists some kind of relation between the smooth manifolds $T^\ast(M/G)$ and $(T^\ast M)/G$.

Until now I have realized the existence of a diffeomorphism between $T^\ast(M/G)$ and $J/G$, where $J$ is the $G$-invariant vector sub-bundle of $\tau_M^\ast:T^\ast M\to M$ which is the annihilator of the involutive distribution on $M$ generated by its fundamental vector fields w.r.t. the action $\Phi$ of $G$ on $M$.

  • 0
    If you considered the tangent bundle, I could imagine there being an isomorphism between $T(M/G)$ and $TM/TG$. Maybe through this you can say something about the dual side of the story.2011-10-30

1 Answers 1

1

Your last paragraph desribes symplectic reduction. Your J is the zero set of the canonical momentum map $\mu:T^*M\rightarrow \mathfrak{g}^*$ associated to the canonical lift of the action of $G$ on $M$ to $T^*M.$ One then has a canonical symplectomorphism $T^*(M/G)\cong \mu^{-1}(0)/G=:T^*M//G.$ Notice that $T^*M/G$ is a vector bundle over $\mu^{-1}(0)/G$ with fiber $\mathfrak{g}$. In particular both have the same homotopy type.

  • 0
    Well, I don't know. I usually think about the most trivial example, namely $M=Q\times G$ with trivial $G-$action on $Q$. There everything should be clear. In the general case I think a vector bundle structure can be given by chosing a metric on $M$ and using $TM/TG\cong M/G$ as well as $TG/G\cong\mathfrak{g}.$ I don't think that the vector bundle structure $T^*M/G\rightarrow T^*M//G$ is somehow inherently symplectic though...2011-10-30