MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

I want to know to what extent is the group action determined by its fixed point data and orbit data, i.e. if $G$ acts on $M$ in two ways with the same fixed point set and orbit space, on what occasions it is true that the two ways are equivalent (i.e.the two actions are conjugate in $Homeo(M)$)?

share|cite|improve this question
What category is M in? – Qiaochu Yuan Apr 29 '10 at 15:03
I think we can consider the problem in topological category or differential category – sara Apr 29 '10 at 22:54

First, you might want to identify actions that are not conjugated in $\mathrm{Homeo}(M)$. For example, let $\mathbb{Z}\times\mathbb{Z}$ act on $M$ in the following two ways: the first factor acts by a map $f:M\to M$ and the second acts trivially, or the converse. Then the actions are the same only up to an automorphism of the group.

Second, it is not clear to me what you mean by "the same orbit space". Rational rotations of the circle all have homeomorphic orbit spaces, but of course they are not conjugate in any way.

I guess that even in favorable cases, you need the (conjugacy class of the) stabilizer of each orbit to identify the action.

Last, a remark that is not directly linked to your question, but that I like to advertise: there exist (infinite families) of analytic group actions on analytic manifolds that are topologically but not $C^1$ conjugate.

share|cite|improve this answer

In Quillen worked some equivalent categories:
Proposition1 :
If $\mathcal{C}$ is any small category, in which every morphism is invertible, and $G:= C$ (as groupoid) then (for example) the category of $G$-actions is equivalent to the category of covering spaces of the geometric realization of $\mathcal{C}$.

The proof of the proposition is, except for some covering-spaces-arguments, not too difficult. Furthermore, maybe the occurring functors might lead you on the right track.

share|cite|improve this answer

Your Answer


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.