Finiteness conjecture for extendable mapping classes of embedded surfaces

Let FgF_g be a closed orientable surface of genus gg embedded in S4S^4. An orientation-preserving self-homeomorphism of FgF_g is extendable if it extends to a homeomorphism of the pair (S4,Fg)(S^4,F_g); its mapping class is the corresponding element of the mapping class group MCG(Fg)\operatorname{MCG}(F_g). Finiteness conjecture. There is some surface FgF_g embedded in S4S^4 such that it has finitely many mapping classes of extendable self-homeomorphisms. The preceding norm construction controls the induced homological action, but for genus greater than one it does not control the Torelli group, so finiteness at the level of the full mapping class group remains open.

Sources & referencesView supporting material

Primary source

Qiling Liu, “Knotted surfaces, Homological Norm and Extendable Subgroup”, arXiv:2511.03648 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.