17
Stack Exchange
votes

On manifolds which do not admit (smooth) actions of finite groups

Posted on 11/3/2016
UQ ID:229
Science
MathOverflow
Original

Question : Assume a smooth manifold does not admit any effective smooth group actions of finite groups , does it follow that also admits no continuous effective group actions of finite groups ?

Manifolds which do not admit actions of finite groups are interesting because if is compact and we choose a Riemannian metric on , then is a compact Lie group by Steenrod-Myers and must be trivial, because otherwise it contains a non-trivial finite group acting on .

For this nice property, it is enough to consider only smooth actions.

However, there are some interesting articles which construct manifolds which do not admit any continuous actions of finite groups. And so I'm wondering if its enough to eliminate smooth actions if the manifold is smooth to get a manifold of this type.

Keywords & Tags
at.algebraic-topology
differential-topology
smooth-manifolds
group-actions
Model Answers (9)
Submitted answers from various AI models
Unsolved
No reviews yet

K2-Think

Pending UQ Validation
Needs Human Verification
MBZUAI-IFM
Qwen2.5-32B
Sep 18, 2025, 01:50 PM

The question asks whether a smooth manifold ( M ) that admits no effective smooth actions by non-trivial finite groups must also admit no effective continuous actions by non-trivial finite groups.

To address this, we need to consider the distinction between smooth and continuous group actions. A smooth action requires each group element to act as a smooth diffeomorphism, while a continuous act...

0 model reviews
0 human reviews
No reviews yet

GPT-5

UQ Validated
Needs Human Verification
OpenAI
Sep 2, 2025, 06:56 AM

No in general (in dimensions ≥ 3).

There are plenty of continuous (topological) finite group actions on smooth manifolds that are not topologically conjugate to smooth actions. The classical source of such examples are wild actions, whose fixed point sets are wildly embedded and hence cannot occur for smooth actions (where fixed point sets are smoothly embedded submanifolds).

Concrete mechanism:...

0 model reviews
0 human reviews
No reviews yet

Claude Opus 4

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

This is an excellent question about the relationship between smooth and continuous group actions on manifolds. The answer is no - there exist smooth manifolds that admit continuous but not smooth effective actions by finite groups.

Counterexamples

The key insight is that there are topological actions that cannot be smoothed. Here are the main examples:

1. Bing-Borsuk Examples

Some of...

0 model reviews
0 human reviews
No reviews yet

o3 Pro

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

No.

For dimensions ≥ 3 one can find smooth manifolds that

(a) do not admit any non-trivial smooth action of a finite group, but
(b) do carry an effective continuous action of a finite group.

Below is an explicit construction. (After the construction we explain why the phenomenon cannot occur in dimension 1 or 2.)


  1. A man...
0 model reviews
0 human reviews
No reviews yet

DeepSeek R1

Failed UQ Validation
Needs Human Verification
DeepSeek
deepseek-ai/DeepSeek-R1
Aug 1, 2025, 12:00 AM
<think> The question is about smooth manifolds that do not admit any effective smooth actions of finite groups except the trivial group. The question asks whether such a manifold also admits no continuous effective actions of finite groups. In other words, if there are no smooth finite group actions, does that imply there are no continuous ones either?

First, recall that an effective action means...

0 model reviews
0 human reviews
No reviews yet

Claude 3.7 Sonnet

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

On Manifolds and Finite Group Actions

This is an interesting question at the intersection of differential topology and transformation groups. Let me analyze whether a smooth manifold that doesn't admit smooth actions of finite groups necessarily doesn't admit continuous actions either.

Key Considerations

The relationship between smooth and continuous group actions is subtle. While every sm...

0 model reviews
0 human reviews
No reviews yet

o3

UQ Validated
Failed Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

No – beginning in dimension 3 the two conditions are independent.
There are smooth manifolds which have

 • no non–trivial smooth (i.e. ) actions of finite groups, but
 • do admit non–trivial continuous actions of finite groups.

Consequently the absence of smooth actions does ​not​ imply the absence of continuous actions.

----------------------------------------------------------...

0 model reviews
0 human reviews
No reviews yet

o4 mini

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

Here is a brief summary of what is known and why, in general, “no smooth finite–G–action” does not force “no continuous finite–G–action.” In fact one really needs to rule out topological actions, because there are plenty of “wild’’ finite‐group actions on smooth manifolds which are not conjugate to any smooth action.

  1. The naive “metric‐averaging’’ argument fails to produce a smooth i...
0 model reviews
0 human reviews
No reviews yet

Gemini 2.5 Pro

Failed UQ Validation
Needs Human Verification
Google
Aug 1, 2025, 12:00 AM

Excellent question. This gets to the heart of a classic and powerful result in the theory of transformation groups.

The answer to your question is yes. For a smooth manifold , the following two statements are equivalent:

  1. admits no effective smooth action by any non-trivial finite group.
  2. admits no effective continuous action by any non-trivial finite group.

Clearly...

0 model reviews
0 human reviews
Submit Your Model's Answer
Your submission will be validated by our LLM validator and then by human experts

You need to be logged in to submit an answer