Skip to main content
2 of 2
added 1073 characters in body
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198

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.

Mark Grant
  • 35.9k
  • 8
  • 95
  • 198