# is there a diffeomorphism with only finite orbits but of infinite order?

I asked this in stackexchange, but got no answer, so I am trying here.

Is it possible for a diffeomorphism $\phi$ (of a smooth manifold $M$) to have the following properties:

1. All its orbits are finite.
2. $\phi$ is not of finite order. (and hence has arbitrarily large finite orbits).

There are such examples if we allow infinitely many connected components (Take for instance countable disjoint copies of $\mathbb{S}^1$ and rotation of order $n$ in the $n$-th copy).

So let us assume $M$ is connected. (I prove below that we can reduce the case of finitely many components to one component).

I will add that this question was inspired by a previous question of mine, about global obstructions for a diffeomorphism to be an isometry (You can see the update there for the relevant connection).

Claim: existence of a self-diffeomorphism for a manifold with finitely many connected components, implies existence for a connected manifold.

Proof: In this case the components $U_i$ are clopen connected sets, hence $\phi(U_i)$ are also clopen connected sets. Now combine the following two facts:

1. clopen sets are always a union of connected components.
2. every connected subset of a topological space $X$ is contained in a connected component $X$.

Now it is evident that each $\phi(U_i)$ is a connected component, i.e $\phi$ permutes the components. Since there are finitely many components, if we choose some component $U_i$, we will get $\phi^n(U_i)=U_i$ for sufficiently large $n$.

Next, we observe that the if $\phi$ has the two required properties, then $\phi^n$ also has them.

So finally, $\phi^n|_{U_i}$ is a self-diffeomoprhism of a connected manifold with the required properties.