Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(M, g)$ be a Riemannian manifold, and let $G$ be a group acting freely and properly on $M$. From differential geometry we know that the quotient set $M/G$, i.e., the set of the orbits, is a differential manifold and the quotient map $\pi:M \to M/G$ is a submersion.

My question is the following: there is a natural/general way for transferring the metric $g$ to $M/G$, in the two cases: (i) G acts isometrically or (ii) not.

share|cite|improve this question
up vote 7 down vote accepted

If the action is by isometries then yes. If $p\in M$ then $\pi_*$ gives an isomorphism of $(T_p(G\cdot p))^\perp\subset T_p M$ with $T_{\pi(p)}(M/G)$, so $T_{\pi(p)}(M/G)$ gets from $(T_p(G\cdot p))^\perp\subset T_p M$ an inner product, and the inner product doesn't change if we replace $p$ by $g\cdot p$ (for any $g\in G$).

If $G$ doesn't act by isometries then the answer depends on what you consider natural. If e.g. $G$ is compact, we can do the above-described procedure to get an inner product $(,)_p$ on $T_{\pi(p)}(M/G)$, which now depends on the choice of $p$, and then average $(,)_p$ using the Haar measure on $G$ (i.e. define $ (u,v)=\int_G (u,v)_{g\cdot p}dg$ ).

share|cite|improve this answer
    
Good, thank you – BGA May 7 '11 at 21:31
    
Do you know in which reference I can find the above proof?. Thanks in advance. – Juan Alvarado Jun 14 at 15:47

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.