Welcome to MathOverflow

Question

13

2

I have a question in mind for some time. That is, does there exist a smooth circle action on a closed manifold $M^{4n}$ ($n\geq 2$) with exactly three fixed points? Remarks:(1) For n=1, the examples are obvious (standard linear circle action on $CP^2$). (2) If a manifold admits a circle action with 3 fixed points, then the signature of this manifold is 1, so the dimension of this manifold is necessarily divisible by 4.

edited Nov 8 2011 at 11:43

Gerry Myerson
15.7k●1●47●87

asked Nov 7 2011 at 6:49

Ping
280●2●10

1

Is this known for $Z_p$ actions with prime $p$? I can show using rather elementary tools that a $Z_p$ action can not have exactly one fixed point (I'm sure this must be very well-known) but I don't know about 3. Another obvious observation is that an $S^1$-action like this can not be semi-free for $n\ge 2$. – Vitali Kapovitch Nov 7 2011 at 19:23

Thanks very much for your remark. In fact, any circle or Z_P action on a manifold cannot have exactly one fixed point, which is quite well-known. If they have two fixed points, then the representations on the tangent spaces are isomorphic and this case have examples in each dimension (rotation on S^{2n}). So the next case should be with three fixed points. As far as I know, there are known examples in dimensions other than 4. It can also be shown that if a manifold admits a semi-free circle action with isolated fixed points, then the number of this action must be even (Bott residue formula). – Ping Nov 7 2011 at 23:57

Sorry "there are known examples in dimensions other than 4" should be "there are no known examples in dimensions other than 4" – Ping Nov 7 2011 at 23:58

In fact, I showed in mathjournals.org/mrl/2011-018-003/… that if a manifold admits a semi-free circle action with isolated fixed points, then the manifolds bound, i.e., the Pontrjagin numbers and Stiefiel-Whitney numbers of the manifold vanish (Theorem 1.6). – Ping Nov 8 2011 at 0:04

Thanks, this is a nice theorem. I had something much easier in mind - if the action of $S^1$ is semi-free and the number of fixed points is odd then you can get rid of them in pairs by cutting out little disks around them and gluing together the boundary $S^{4n−1}$'s preserving the $S^1$ action (this is possible since the action is semi-free). In the end you'll end up with a semifree $S^1$ action on some manifold with a single isolated fixed point. the manifold you get might be non-orientable but that doesn't matter when you look at the semi-free $Z_2$ action. – Vitali Kapovitch Nov 8 2011 at 4:40

show 5 more comments

Ryan Budney · Answer 1 · 2011-11-08 07:52:15Z UTC

I think the answer to your question is yes, but perhaps you meant to ask a slightly different question than the precise one you pose.

For example, take the model of $\mathbb RP^{2n}$ where you view it as the unit ball in $\mathbb C^n$ modulo the antipodal map on the boundary.

So the action of $S^1$ on $\mathbb C^n$ factors to an action on $\mathbb RP^{2n}$, and it has precisely one fixed point.

Take the disjoint union of three of these $S^1$ spaces. By design, this has three fixed points.

Perhaps you wanted the manifold to be connected? So do an equivariant surgery, pairwise along a free orbit, drilling out $D^{2n-1} \times \{0,1\} \times S^1$ and gluing in an $S^{2n-2} \times [0,1] \times S^1$. Do this twice, and now you have a connected $S^1$-manifold with precisely three fixed points.

So my first guess is that you would prefer the manifold to be orientable?

Does there exist smooth circle action on manifolds M^{4n} with exactly three fixed points such that n\neq 1

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.