Skip to main content
MathOverflow

Return to Question

replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

Let $G$ be a Lie group acting smoothly and freely on a smooth manifold $M$. Suppose that the quotient space $M/G$ is a topological manifold. Do we have $$\dim(M/G)=\dim M-\dim G?$$

Notes: This question was posted herehere on MSE. If $G$ acts properly, then of course the answer is yes. More generally, Daniel Robert-Nicoud observed herehere that the answer is also yes if there is a smooth structure on $M/G$ for which the projection $M\to M/G$ is a smooth submersion.

Let $G$ be a Lie group acting smoothly and freely on a smooth manifold $M$. Suppose that the quotient space $M/G$ is a topological manifold. Do we have $$\dim(M/G)=\dim M-\dim G?$$

Notes: This question was posted here on MSE. If $G$ acts properly, then of course the answer is yes. More generally, Daniel Robert-Nicoud observed here that the answer is also yes if there is a smooth structure on $M/G$ for which the projection $M\to M/G$ is a smooth submersion.

Let $G$ be a Lie group acting smoothly and freely on a smooth manifold $M$. Suppose that the quotient space $M/G$ is a topological manifold. Do we have $$\dim(M/G)=\dim M-\dim G?$$

Notes: This question was posted here on MSE. If $G$ acts properly, then of course the answer is yes. More generally, Daniel Robert-Nicoud observed here that the answer is also yes if there is a smooth structure on $M/G$ for which the projection $M\to M/G$ is a smooth submersion.

Source Link
SHP
SHP
  • 779
  • 4
  • 10

What is the dimension of $M/G$ if it is a manifold and $G$ acts freely and smoothly?

Let $G$ be a Lie group acting smoothly and freely on a smooth manifold $M$. Suppose that the quotient space $M/G$ is a topological manifold. Do we have $$\dim(M/G)=\dim M-\dim G?$$

Notes: This question was posted here on MSE. If $G$ acts properly, then of course the answer is yes. More generally, Daniel Robert-Nicoud observed here that the answer is also yes if there is a smooth structure on $M/G$ for which the projection $M\to M/G$ is a smooth submersion.