Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.27537 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913165559726080 |
|---|---|
| author | Pesikoff, Ethan |
| author_facet | Pesikoff, Ethan |
| contents | Given a smooth, oriented, simply-connected $4$-manifold $M$, the homological Nielsen realization problem asks: when does a finite group of isometries $G\leq O(H_2(M;\mathbb{Z}))$ preserving the intersection form lift isomorphically to a finite group of orientation-preserving diffeomorphisms? We study this question for the smooth, positive-definite 4-manifolds $M_n:=\#_n\mathbb{CP}^2$. Even though every isometry of $H_2(M_n;\mathbb{Z})$ is induced by some orientation-preserving diffeomorphism, not necessarily of finite order, we show that Nielsen realization is sparse: as $n\to\infty$, a random subgroup of $O(H_2(M_n;\mathbb{Z}))$ is asymptotically almost never realizable in $\mathrm{Diff}^+(M_n)$; the same is true for random odd order elements of $O(H_2(M_n;\mathbb{Z}))$. We present both positive realization results in certain cases and a range of obstructions to realization in other cases. The proofs combine equivariant connected-sum constructions, fixed-point theory for group actions on 4-manifolds, finite group actions on surfaces, analytic combinatorics, and previous work of Hambleton--Tanase. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_27537 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Homological Nielsen realization for the manifolds $\#_n \mathbb{CP}^2$ Pesikoff, Ethan Geometric Topology Given a smooth, oriented, simply-connected $4$-manifold $M$, the homological Nielsen realization problem asks: when does a finite group of isometries $G\leq O(H_2(M;\mathbb{Z}))$ preserving the intersection form lift isomorphically to a finite group of orientation-preserving diffeomorphisms? We study this question for the smooth, positive-definite 4-manifolds $M_n:=\#_n\mathbb{CP}^2$. Even though every isometry of $H_2(M_n;\mathbb{Z})$ is induced by some orientation-preserving diffeomorphism, not necessarily of finite order, we show that Nielsen realization is sparse: as $n\to\infty$, a random subgroup of $O(H_2(M_n;\mathbb{Z}))$ is asymptotically almost never realizable in $\mathrm{Diff}^+(M_n)$; the same is true for random odd order elements of $O(H_2(M_n;\mathbb{Z}))$. We present both positive realization results in certain cases and a range of obstructions to realization in other cases. The proofs combine equivariant connected-sum constructions, fixed-point theory for group actions on 4-manifolds, finite group actions on surfaces, analytic combinatorics, and previous work of Hambleton--Tanase. |
| title | Homological Nielsen realization for the manifolds $\#_n \mathbb{CP}^2$ |
| topic | Geometric Topology |
| url | https://arxiv.org/abs/2605.27537 |