Homological Nielsen realization for the manifolds $\#_n \mathbb{CP}^2$
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |