View PDF HTML (experimental)

Abstract:Let $\Sigma_g^0\subset S^4$, $g\ge3$, be the standard unknotted closed oriented surface, and let $a\subset\Sigma_g^0$ be an oriented nonseparating curve. For every nontrivial knot $J\subset S^3$, let $\Sigma_{g,a,J}\subset S^4$ be the surface obtained from $\Sigma_g^0$ by ordinary untwisted rim surgery along $a$. We compute its extendable mapping-class subgroup exactly: $$ E(\Sigma_{g,a,J}) = \operatorname{Stab}_{\operatorname{Mod}(\Sigma_g)}(q_0) \cap \operatorname{Stab}_{\operatorname{Mod}(\Sigma_g)}(\Gamma_\mu(J)\cdot[a]). $$ Here $q_0$ is the Rokhlin quadratic form of the standard embedding, $[a]\in H_1(\Sigma_g;\mathbb Z)$ is the oriented rim homology class, and $\Gamma_\mu(J)\subset\{\pm1\}$ records whether a meridian-preserving diffeomorphism of the knot exterior can preserve or reverse the preferred longitude. Thus ordinary rim surgery cuts Hirose's unknotted extendable subgroup by the stabilizer of the rim homology class, with the only knot-dependent ambiguity coming from this peripheral longitude sign. We also classify the corresponding ambient pairs $(S^4,\Sigma_{g,a,J})$. Two such pairs, obtained by one ordinary rim surgery, are orientation-preservingly diffeomorphic exactly when their Rokhlin forms, rim homology classes, and meridian-longitude data of the knot exteriors agree with the corresponding sign.

Submission history

From: Weizhe Niu [view email]
[v1] Fri, 29 May 2026 14:51:05 UTC (25 KB)
[v2] Tue, 30 Jun 2026 16:46:03 UTC (31 KB)