Surfaces in 4-manifolds and extendible mapping classes

TL;DR

This paper investigates the properties of surfaces embedded in 4-manifolds and the extendibility of their mapping classes, revealing limitations on flexibility and providing new generators for the group of extendible classes.

Contribution

It introduces the concept of flexible embeddings, shows their non-existence in certain 4-manifolds, and provides a new, smaller generating set for the group of extendible mapping classes.

Findings

Most surfaces do not admit flexible embeddings in certain 4-manifolds.

No simple open book decomposition of S^5 with a spin page has all 3D open books admitting embeddings.

A new generating set of size 3g for the group of extendible mapping classes in S^4.

Abstract

We study smooth proper embeddings of compact orientable surfaces in compact orientable $4$-manifolds and elements in the mapping class group of that surface which are induced by diffeomorphisms of the ambient $4$-manifolds. We call such mapping classes extendible. An embedding for which all mapping classes are extendible is called flexible. We show that for most of the surfaces there exists no flexible embedding in a $4$-manifold with homology type of a $4$-ball or of a $4$-sphere. As an application of our method, we address a question of Etnyre and Lekili and show that there exists no simple open book decomposition of $S^5$ with a spin page where all $3$-dimensional open books admit open book embeddings. We also provide many constructions and criteria for extendible and non-extendible mapping classes, and discuss a connection between extendibility and sliceness of links in a homology $4$-ball with $S^3$ boundary. Finally, we give a new generating set of the group of extendible mapping classes for the trivial embedding of a closed genus $g$ surface in $S^4$, consisting of $3g$ generators. This improves a previous result of Hirose giving a generating set of size $6g-1$.