Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.
share|improve this question
2  
Your $S^n$'s didn't come out well; I put them into TeX. –  Lee Mosher Jul 25 '12 at 13:24
2  
I prefer this way, it visible on the question list. –  Anton Petrunin Jul 25 '12 at 13:43
    
It's probably browser dependent. On my browser it looks the same in the question list as on the actual page, which is to say, indecipherable, like a little box with six binary digits. –  Lee Mosher Jul 25 '12 at 13:55
    
That's why, as you'll see, I reverted it briefly, I thought it might look better in the question list. But it didn't. –  Lee Mosher Jul 25 '12 at 13:56
    
I just learned that this question is very close to conjecture on p.9 of Lectures on orbifolds and reflection groups by Michael W. Davis, math.osu.edu/~davis.12/papers/lectures%20on%20orbifolds.pdf –  Anton Petrunin Jul 30 '12 at 12:20
add comment

3 Answers

up vote 5 down vote accepted

I think I have completely answered the question in the following form:

Theorem. For a finite subgroup $\Gamma < O(n)$ the quotient space $S^{n-1}/\Gamma$ is homeomorphic to $S^{n-1}$ if and only if $\Gamma$ has the form \begin{eqnarray*} \Gamma = \Gamma_{ps} \times P_1 \times \ldots \times P_k \end{eqnarray*} for a pseudoreflection group $\Gamma_{ps}$ and Poincaré groups $P_i<SO(4)$, $i=1,\ldots,k$, such that the factors act in pairwise orthogonal spaces and such that $n>5$ if $k=1$.

cf. http://arxiv.org/abs/1307.4875.

Here, a pseudoreflection group is understood in the sense of Mikhailova and a Poincaré $P$ group comes from the binary icosahedral group in $SU(2)$, i.e. $S^3/P$ is Poincaré's homology sphere.

share|improve this answer
add comment

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$.

share|improve this answer
    
PDF download link for Dunbar's Transactions paper: ams.org/journals/tran/1994-341-01/S0002-9947-1994-1118824-6/… –  Joseph O'Rourke Jul 25 '12 at 18:12
add comment

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).

share|improve this answer
    
She probably wanted to say "PL-homeomorphic" otherwise cone over double suspension over Poincare sphere would be a counterexample. –  Anton Petrunin Jul 29 '12 at 14:45
1  
The article is available at iopscience.iop.org/0025-5726/24/1 for real money. I was able to get a copy through the proxy server of my university library. –  Lee Mosher Jul 29 '12 at 19:26
add comment

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.