MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this community
What are sufficient condition on a given diffeomorphism of the sphere (say, given explicitly with formulas) that can ensure that it is conjugate to a rotation, in the group of diffeomorphism of the sphere?
Also, if I take a given rotation of some fixed angle, is there a neigbourhood of it which consists only of elements conjugate to a rotation?
I doubt there can be a simple answer to the first question. Even the analogous question regarding $S^1$ has no simple answer. According to work of Denjoy, given a homeomorphism $f : S^1 \to S^1$ with irrational rotation number, if $f$ is $C^2$ then it is conjugate to a rotation, but there are $C^1$ examples that are not conjugate to any rotation. Furthermore, according to work of Arnold (same link as above), one has little control over the smoothness of the conjugating map. Even in the nice case cited, the "rotation number" is not so easy to compute from a formula; it is more of an asymptotic invariant that describes the behavior of higher and higher iterates of $f$.
Things will only get worse in $S^2$.
EDIT: Here's an example of how it gets worse. On the circle, a diffeomorphism with rational rotation number is conjugate to a rotation.
Let's throw the book at $f : S^2 \to S^2$. Suppose $f$ has exactly two periodic points $p,q$, restricting to a homeomorphism of the annulus $A = S^2 - \lbrace p,q \rbrace$. Suppose furthermore that the restriction $f | A$ has an invariant area form. Suppose furthermore that $f | A$ has a constant rational rotation number on each point (defined on an annulus similar to the definition on a circle). So far these conditions are all necessary for $f$ to be conjugate to a finite order rotation. Can we add simple additional sufficient conditions? Well, it doesn't seem so; for instance, $f$ could be the composition of a finite order rotation by a map which twists a little tiny disc.
An irational rotation $f$ is arbitrarily distorted in $\text{Diff}^{\infty}S^2$, this was proved by Calegari and Freedman http://arxiv.org/pdf/math/0509701.pdf and in a more general setting by Militon, see http://arxiv.org/abs/1005.1765. This means that for any diverging sequence $g(n)$(diverging as slow as one wants), there is a subsequence $f^{n_i}$ and a finite set $S$ in $Diff(S^2)$ generating a group $G = <S>$ such that $\{f^{n_i}\} \in G$ for all $i$ and that $l_S(f^{n_i}) \leq g(n_i)$. ($l_S(g)$ is the word length of $g$ in the generating set $S$). To make it a little bit more clear, let's consider the following example: Let's take the translation $a: x \to x+1$ in $Diff(R)$. If we consider the subgroup $a:x \to x+1$, and $b : x \to 2x$ in $Diff(\mathbb{R})$, observe that $b^{n}ab^{-n} = a^{2^n}$, this implies that $a$ is at least exponentially distorted in $Diff(\mathbb{R})$, because we can write $a^{2^n}$ as a product of $O(n)$ elements in $a$ and $b$.
One condition that ensures that a given $f: S^2 \to S^2$ is conjugate to a rotation is that the sequence of derivatives of powers of $f$, $(Df^k)_{k \in \mathbb{z}}$, is a bounded sequence. The idea is that in that case, one can take an arbitrary riemannian metric $g$, take and averaging sequence $g_n = \frac{1}{n}\sum_{i=1}^n ({f}^n)^*g$, and observe that the bounds in derivatives imply that $g_n$ has a subsequence converging to a metric $g_{av}$ invariant by $f$. If $g_{av}$ is smooth, by the uniformization theorem, $g$ is conformally equivalent to the standard $S^2$, where $f$ is acting by rotations.
Using these two ideas, one can get a group theoretical way of characterizing any $f: S^2 \to S^2$ that is conjugate to a rotation: $f$ is conjugate to a rotation if and only if for any subsequence $(f^{n_i})_i$ of powers of $f$ there exist a subsequence $m_k$ of $n_i$ and a finite set $S$ of diffeomorphisms generating a group $G = <S>$ such that $\{f^{m_k}\} \subset G$ and $l_S(f^{m_k}) \leq k$. For more details, see the introduction of my paper http://arxiv.org/abs/1307.4447.
As rpotrie mentioned, it might be of interest to you some diffeomorphisms called "pseudorotations", that can be defined as diffeomorphisms of $S^2$ having exactly two periodic points. Birkhoff conjectured that any real analytic measure preserving pseudorotations is an actual rotation. There are many counterexamples in the $C^{\infty}$ category, in the case that the rotation angle is not diophantine, all of them as far as I know constructed by the same method. See http://www.math.psu.edu/katok_a/pub/Herman-survey-horo-corrected.pdf for a survey on this kind of constructions. There is a very positive result known as Herman's last geometric theorem in the case that $\alpha$ is diophantine. See http://www.math.jussieu.fr/~bassam/herman_ann_ens_second_revision.pdf. Using this method one can also construct diffeomoprhisms of $S^2$ that are arbitrarily distorted but not conjugate to rotations.
I guess by: $f: S^2 \to S^2$ is conjugate to a rotation in the group of diffeomorphisms you mean that there exists a rotation $R_\alpha$ and a diffeomorphism $\varphi: S^2 \to S^2$ such that $f = \varphi^{-1} \circ R_\alpha \circ \varphi$.
In that case, the second question admits a negative answer. Given such an $f$, you can first make an arbitrary small perturbation (compose with $\varphi^{-1} \circ h \circ \varphi$ where $h_\varepsilon$ is the very small diffeomorphism diffeomorphism of the sphere which is the identity in neighborhoods of the fixed points of the north and south poles and which rotates the equator by $\varepsilon$, this can be made as small as desired with small $\varepsilon$) to make the diffeomorphism to have some circles around the fixed point to have the same rotation number and change it to the image by $\varphi^{-1}$ of the equator. If you allow $\varphi$ to be a homeomophism, the answer is still negative (for example, compose the fixed point with a small homothety) I even in the volume preserving category (but this is slightly more delicate, I can amplify if you need it, but I am not sure I am answering the question you ask, so...).
The first question seems more difficult to respond. I can figure out no condition in finitely many iterates which might respond to that. On the other hand, it seems quite easy to figure out some criteria not to be conjugated that can be checked quite easily (look at the derivative at the fixed points, look for at least 3 periodic points of different period...) which of course are not enough to say it is conjugate if they fail...
ADDED TO RESPOND COMMENT:
If one looks at the neighborhood of diffeomorphisms being ``irrational pseudo-rotations'' (see these lecture notes) I think that the answer will depend on both the smoothness and some properties on the irrational numbers (being diophantine vs liouville). A positive answer for your second question could be in the lines of: Every diffeomorphism $C^r$-close (with large $r$) to a diophantine rotation which is still an irrational pseudo-rotation with the same rotation number (in particular, one must demand it to be volume preserving) is smoothly conjugated (with some loss in regularity) to the rotation. Some versions of this must have been proved by M. Herman, but I do not remember specific references, look at the lecture notes I linked which may have plenty of references. Hope it helps.
