Actions on Sⁿ with quotient Sⁿ - MathOverflow

Actions on Sⁿ with quotient Sⁿ

2012-07-25T12:41:25Z

What is known about isometric actions on $\mathbb S^n$ such that the quotient space is homeomorphic to $\mathbb S^n$?

Comments.

I am mostly interested in (maybe trivial) properties of such actions for large $n$. Say, it is true that any such action is generated by rotations around $\mathbb S^{n-2}$'s; what else?
I see that the orientation preserving part of Coxeter's group has this property.
Now I see that there are other examples for $\mathbb S^3$, thanks to Lee Mosher. It seems that taking joints you get such examples in higher dimensions.

Answer by Lee Mosher for Actions on Sⁿ with quotient Sⁿ

2012-07-25T13:19:36Z

Your question translates into the language of orbifolds as saying: what is known about spherical $n$-orbifolds with underlying space homeomorphic to $S^n$?

In $S^2$, the examples you give are all there are.

Orbifolds with the geometry of $S^3$ were enumerated by William Dunbar in his thesis. His published paper MR1118824 contains the enumeration of the 21 oriented $S^3$-orbifolds which do not have a circle fibration over a 2-orbifold. The equivalence relation here is up to orientation preserving isometry; if you allow orientation reversing isometry then the list is cut down somewhat. Each of the 21 has underlying space homeomorphic to $S^3$. At the end of Dunbar's paper you will see that exactly 8 of the 21 are orientable double covers of Coxeter group quotients, with the corresponding Dynkin diagrams listed out explicitly. That leaves 13 examples as you ask for in $S^3$.

Answer by Dmitri for Actions on Sⁿ with quotient Sⁿ

2012-07-29T10:52:00Z

In the following article of M.A.Mikhailova (М.А. Михайлова)

Изв. АН СССР. Сер. матем., 48:1 (1984)

О ФАКТОРПРОСТРАНСТВЕ ПО ДЕЙСТВИЮ КОНЕЧНОЙ ГРУППЫ, ПОРОЖДЕННОЙ ПСЕВДООТРАЖЕНИЯМИ.

http://www.mathnet.ru/links/33220b8c84645bec685e85bf17d65994/im1420.pdf

it is proven:

Theorem. The quotient $\mathbb R^n/G$ by a linear action of a finite group $G$ is homeomorphic to $\mathbb R^n$ if and only if $G$ is generated by pseudo-reflections (i.e, rotations of $\mathbb R^n$ that fix a subspace of codimension 2).

The proof relies on a complete classification of finite groups generated by pseudo-reflections (there is a reference to this classification at the end of the article)

(there should be of course an English translation of this article, but I can not find it now).