English

Mapping classes fixing an isotropic homology class of minimal genus $0$ in rational $4$-manifolds

Geometric Topology 2025-09-24 v1

Abstract

For any N1N \geq 1, let MNM_N denote the rational 44-manifold CP2#NCP2\mathbb{CP}^2 \# N \overline{\mathbb{CP}^2}. In this paper we study the stabilizer Stab(w)\text{Stab}(w) of a primitive, isotropic class wH2(MN;Z)w\in H_2(M_N; \mathbb Z) of minimal genus 00 under the natural action of the topological mapping class group Mod(MN)\text{Mod}(M_N) on H2(MN;Z)H_2(M_N; \mathbb Z). Although most elements of Stab(w)\text{Stab}(w) cannot be represented by homeomorphisms that preserve any Lefschetz fibration MNΣM_N \to \Sigma, we show that any element of Stab(w)\text{Stab}(w) can be represented by a diffeomorphism that almost preserves a holomorphic, genus-00 Lefschetz fibration pr:MNCP1\text{pr}: M_N \to \mathbb{CP}^1 whose generic fibers represent the homology class ww. We also answer the Nielsen realization problem for a certain maximal torsion-free, abelian subgroup Λw\Lambda_w of Mod(MN)\text{Mod}(M_N) by finding a lift of Λw\Lambda_w to Diff+(MN)Homeo+(MN)\text{Diff}^+(M_N) \leq \text{Homeo}^+(M_N) under the quotient map q:Homeo+(MN)Mod(MN)q: \text{Homeo}^+(M_N)\to \text{Mod}(M_N) which can be made to almost preserve pr:MNCP1\text{pr}: M_N \to \mathbb{CP}^1. All results of this paper also hold for every primitive, isotropic class wH2(MN;Z)w \in H_2(M_N; \mathbb Z) if N8N \leq 8 because any such class has minimal genus 00.

Keywords

Cite

@article{arxiv.2303.02789,
  title  = {Mapping classes fixing an isotropic homology class of minimal genus $0$ in rational $4$-manifolds},
  author = {Seraphina Eun Bi Lee},
  journal= {arXiv preprint arXiv:2303.02789},
  year   = {2025}
}