**Fact:** For any (continuous) $S^1$-action on the closed unit disk $\mathbb{D}^n$, there is a fixed point $x\_0\in\mathbb{D}^n$.  

I have thought of a possible argument that re-proves this, but am not sure how to complete it:


Let $U\_p\subset S^1$ be the subgroup of $p^\text{th}$-roots of unity ($p$ prime). An $S^1$-action on a compact contractible space $X$ will induce a $U\_p$-action on $X$. Smith Theory then implies that $X^{U\_p}$ is nonempty, i.e. there is a fixed point $x\_p\in X$ under $U\_p$, for any given prime $p$. *Now here is where I want to say:* Taking $p$ sufficiently large, we find a fixed point $x\_\infty$ under $S^1$. (The intuition is that $\lim\_{p\to\infty}U\_p\approx S^1$, and denseness will be sufficient by continuity of the action.)


1) **Is it possible to fill this gap, i.e. can this 'proof' make sense?** Not sure how to make sense of this limit/sequence of $U\_p$'s, and whether the fixed points hop back and forth forever.


2) **Is such a sequence $\lbrace x\_p\rbrace\_{p=\text{prime}}$ Cauchy? Or, does there exist a prime $p\_0$ where $x\_p=x\_{p\_0}$ for all primes $p>p\_0$?**



Fixed point of $S^1$-action using roots of unity
You might have a look at Chapter VI of Borel's "Seminar on transformation groups". This is the chapter on "Isotropy groups of toral actions" by E. E. Floyd.


In particular Theorem VI.1.2 seems to be saying that the fixed point sets eventually stabilize. (I can give more details if you don't have the reference to hand.)


**Added later**: If you are prepared to assume that your $S^1$-action is locally smooth, then the proof that the fixed-point sets eventually stabilize is a little easier, and contains most of the ideas of the general case. A reference is Section IV.1 of Bredon's book "Introduction to compact transformation groups".


To get around the boundary problem, I suggest the following approach. The pair $(D^n,\partial D^n)=(D,\partial D)$ is of course a mod $p$ cohomology $n$-disk, so Smith theory tells you that $(D^{U\_p},\partial D^{U\_p})$ is a mod $p$ cohomology $r$-disk for some $0\le r\le n$. This implies in particular that $D^{U\_p} \neq\partial D^{U\_p}$, and so there is a $U\_p$-fixed-point *in the interior* of the disk.


Now note that any group action on a disk must preserve the boundary and the interior. So by restriction you have an $S^1$-action on $\operatorname{int} D \approx \mathbb{R}^n$, which by the above argument has $U\_p$-fixed-points for all primes $p$. Now you can apply Theorem IV.1.4 in Bredon to conclude that there is an $S^1$-fixed-point. 


