[Math] A question about the rotation number of homeomorphisms of the circle

algebraic-topologydynamical systemsrotations

Let $f: S^1 \rightarrow S^1$ be an orientation-preserving homeomorphism of the circle and let $F: \mathbb{R} \rightarrow \mathbb{R}$ be any lift of $f$. Usually one defines the rotation number $\rho(x,F)$ of $F$ for a point $x \in \mathbb{R}$ as the limit
$$
\rho(x,F) = \lim_{n \mapsto \infty} \frac{F^n(x) – x}{n}.
$$
This limit exists always and is independent of the point $x$. Hence we can just write $\rho(F)$. It makes sense to me that the rotation number respects the composition of homeomorphisms, i.e.
$$
\rho(G \circ F) = \rho(G) + \rho(F),
$$
but I seem to be unable to prove it. Is it true at all? Any hints on how to prove it?

Best Answer

It is not true.

Let the universal covering map $\mathbb{R} \to S^1$ be $t \mapsto e^{2 \pi i t}$.

Let $f : S^1 \to S^1$ fix $1+0i$, and let $f$ act on $S^1 - \{1+0i\}$ by moving each point a little bit in the counterclockwise direction. Lift $f$ to $F$ so that it fixes each integer $n$ and displaces every other point a little bit to the right.

Let $g : S^1 \to S^1$ fix $-1+0i$ and let $g$ act on $S^1 - \{-1+0i\}$ by moving each point a little bit in the counterclockwise direction. Lift $g$ to $G$ so that it fixes each half integer $n+\frac{1}{2}$ and displaces every other point a little bit to the right.

Then $F \circ G$ displaces each point to the right by an amount bounded away from zero and so $\rho(F \circ G) > 0$. But $\rho(F) + \rho(G) = 0 + 0 = 0$.

Related Question