Dimensions of orbit spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T23:33:03Z http://mathoverflow.net/feeds/question/54071 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54071/dimensions-of-orbit-spaces Dimensions of orbit spaces Mark Grant 2011-02-02T06:49:38Z 2011-02-02T22:18:54Z <p>Let $G$ be a compact Lie group acting effectively on a compact, Hausdorff topological space $X$. I am looking for results of the type </p> <p><em>If $X$ is a ... and the action is ... then $\dim(X/G)\leq \dim(X)-\dim(G)$</em>.</p> <p>Here $\dim$ denotes the <a href="http://en.wikipedia.org/wiki/Lebesgue_covering_dimension" rel="nofollow">covering dimension</a>.</p> <p>For example, $X$ is a smooth manifold and $G$ acts smoothly and almost-freely (all isotropy groups finite).</p> <p>Can anyone point me to a more general theorem of this type?</p> http://mathoverflow.net/questions/54071/dimensions-of-orbit-spaces/54131#54131 Answer by Mark Grant for Dimensions of orbit spaces Mark Grant 2011-02-02T20:23:56Z 2011-02-02T20:23:56Z <p>I'm loathe to answer my own question, but...</p> <p>Theorem IV.3.8 of Bredon's book <a href="http://books.google.co.uk/books?id=qXEl_AIeSBUC&amp;printsec=frontcover&amp;dq=introduction+to+compact+transformation+groups&amp;source=bl&amp;ots=w_Rpcfjv_F&amp;sig=C8MiAvvNNsAwgf7Ki3VUixSe3Zk&amp;hl=en&amp;ei=nrtJTeviGsWYhQew9NjoDg&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CBYQ6AEwAA#v=onepage&amp;q&amp;f=false" rel="nofollow"><em>Introduction to compact transformation groups</em></a> (which sadly is on the page google books decided not to include!) seems satisfying.</p> <p>Let $G$ be a compact Lie group acting locally smoothly on the manifold $M$, such that $M/G$ is connected. If $P$ is a principal orbit (an orbit of maximum dimension) then</p> <p>$$\dim(M/G)=\dim(M)-\dim(P).$$</p> http://mathoverflow.net/questions/54071/dimensions-of-orbit-spaces/54141#54141 Answer by Patrick I-Z for Dimensions of orbit spaces Patrick I-Z 2011-02-02T22:18:54Z 2011-02-02T22:18:54Z <p>There is a finer approach to the dimension of the quotient when the action of $G$ on $M$ doesn't define a fibration, but has singular orbits. You'll find it <a href="http://math.huji.ac.il/~piz/Site/The%20Articles/901975D4-8B5B-4EB2-A2CC-1B7B0CA08B49.html" rel="nofollow">here</a>. Of course for the principal orbit you have your formula, but on singular orbits it gives something else. I didn't give a general formula (I should do it however) but I treated the examples $\Delta_n = {\bf R}^n/{\rm SO}(n)$. Topologically, for any $n$ these quotients are homeomorphic to the half line $[0,\infty[$, but not diffeologically, and if we have well (according to your formula) ${\rm dim}_x(\Delta_n) = 1$ for $x \neq 0$, we have however ${\rm dim}_0(\Delta_n) = n$; which proves by the way, that for 2 different quotients, if they are homeomorphic, they are not diffeomorphic. I'm not sure it will help you very much, because it seems that you are interested only in the principal orbits, but your question was too tempting to not underline this construction.</p>