11
$\begingroup$

Suppose that $X$ be an oriented, closed four-manifold. Suppose that $Y$ is an oriented, closed three-manifold smoothly embedded in $X$. Suppose also that $f:X \to X$ is a diffeomorphism that fixes $Y$ setwise: that is, $f(Y)=Y$. Finally, we suppose that that $f$ is topologically isotopic to the identity map.

Does this imply, perhaps after some further smooth isotopy, that $f$ is the identity on $Y$: that is, fixes $Y$ pointwise?

If it helps, we can also assume that $X$ is simply connected.

One thing in dimension four that requires care is that the existence of a topological isotopy may not imply that there is a smooth isotopy. Danny Ruberman proved the existence of such examples.

Another thing: if $\mathrm{Diff}^+(Y)$ is connected, then the above question has a positive answer. (For example $S^3$.)

$\endgroup$
1
  • 1
    $\begingroup$ I deleted my answer because I misunderstood the question. The poster is willing to allow $Y$ to move (smoothly!) in order to "trivialise" the action of $f$ on $Y$. $\endgroup$
    – Sam Nead
    Commented Mar 15, 2022 at 18:39

0

You must log in to answer this question.