Examples of manifolds with effective circle actions?

Question

I would like to know examples of smooth compact connected manifolds, on which there exists an effective smooth circle action preserving a positive smooth volume, besides the simple example: $[0,1]^d \times \mathbb{S}^1$. Is there a classification of these manifolds?

Answer 1

As already pointed out, whenever you have a compact group $G$ acting on a manifold $M$, this action can be made isometric by constructing a metric on $M$ via a standard averaging process. In particular, if you have a (effective) circle action on $M$, you can find a metric $g$ on $M$ such that this action is isometric. In other words, the isometry group of $(M,g)$ contains a circle. This should provide you with plenty of examples: intuitively, a manifold that carries a circle action is one that has (at least) a "circle" worth of symmetries.

For example, take $M$ to be any rotationally symmetric surface in $\mathbb R^3$, e.g., a round sphere $S^2$ or a torus $S^1\times S^1$. Then $M$, by definition, has an isometric (effective) circle action. Moreover, these are the only (orientable) manifolds of dimension $2$ with an effective circle action. This follows from the fact that if we have a torus action on $M$, then the Euler characteristic of $M$ is $\chi(M)=\chi(M^T)$, where $M^T$ is the fixed point set of the torus. Since $M^T$ is a totally geodesic submanifold of $M$, it can be a circle or a finite collection of points. Thus, $\chi(M)\geq 0$, which means $M$ is homeomorphic to $S^2$, $\mathbb RP^2$, $S^1\times S^1$ or the Klein bottle $K^2$, according to orientability and $\chi(M)=2,1,0$, respectively. This is the classification you ask for in dimension equal to $2$.

Classifying compact connected manifolds of any dimension with a circle action and nothing else seems rather too general. More interesting problems are, for example, classifying manifolds with an isometric circle action that also have, e.g., some curvature condition. For example, if $\dim M=4$ and $M$ has a metric of positive curvature that has an isometric circle action, then Hsiang-Kleiner proved that $M$ must be homeomorphic to $S^4$ or $\mathbb C P^2$.

---

It might be worth pointing out a few non-examples as well; that is, manifolds that do not admit any effective $S^1$-actions (besides surfaces of genus $\geq 2$). It was proved by Borel that a closed aspherical manifold with centerless fundamental group does not admit nontrivial actions by a circle (hence any compact connected Lie group). Moreover, Atiyah and Hirzebruch showed that a closed spin manifold with non-vanishing $\hat A$-genus does not admit non-trivial circle actions.

Answer 2

The $3$-manifolds with effective $S^1$-actions are called Seifert manifolds and are completely classified. Essentially, all of them can be obtained from a circle bundle over a surface by removing tubular neighborhoods of several fibers and gluing them back in a clever way. For details you can check P. Orlik's book Seifert manifolds, Lecture Notes in Math. Springer Verlag, 1972.

The classification in higher dimensions is more complicated and I don't know if it is complete. For certain $S^1$ actions (called hamiltonian) on $4$-manifolds there is a wealth of results; see e.g. Y. Karshon's paper Periodic Hamiltonian flows on four dimensional manifolds, Mem. Amer. Math. Soc. 672 (1999) (see short version here.)

Answer 3

Assuming you mean: An action of the group $\mathbb R/\mathbb Z$ without stabilizer:

If you look at the quotient of the manifold $M$ by the action, you get a manifold $N$ with a circle bundle $M$. Circle bundles are classified by their Chern class, which is an element of $H^2(N,\mathbb Z)$ coming from the exact sequence $H^1(\mathbb Z) \to H^1(\mathbb R) \to H^1(\mathbb R/\mathbb Z) \to H^2(\mathbb Z)$.

To find a volume preserved by the circle action, take any volume and average it with its pullbacks along the circle action.

So the classification is any smooth compact connected manifold $N$ plus an element of $H^2(N,\mathbb Z)$.

Answer 4

In the answer of Will, one can exchange manifold $N$ to an orbifold with singularities modeled on $\mathbb R^{n-1}/\mathbb Z_k$ and $\mathbb R^{n}/\mathbb S^1$. Then his answer works for effective action. You can get a lot of examples this way, but I do not think you can call it a "classification".

On the other hand assume you have a manifold $M$ and want to know if it admits an effective $\mathbb S^1$-action. In this case Will's answer is useless and as far as I know no good answer is known.

If there is an action on $M$ then

• There are some restrictions on $\pi_1(M)$; for example compact hyperbolic manifolds do not admit smooth $\mathbb S^1$-actions;
• If $M$ is simply connected and spin then $\hat A(M)$ has to vanish.

I do not know any other restriction.

Answer 5

This is more of a comment than an answer. Any simplectic manifold with an effective circle action preserving the form is an example. So any smooth projective toric variety is an example of a manifold with an effective circle action preserving a volume form.

Edit: I forgot to say what the volume is: it's the top power of the symplectic form.