pith. sign in

arxiv: 2605.27537 · v1 · pith:52HPBGDYnew · submitted 2026-05-26 · 🧮 math.GT

Homological Nielsen realization for the manifolds \#_n mathbb{CP}²

Ethan Pesikoff This is my paper

Pith reviewed 2026-06-29 14:17 UTC · model grok-4.3

classification 🧮 math.GT
keywords Nielsen realization4-manifoldsdiffeomorphism groupsintersection formsfinite group actionshomological actionsanalytic combinatoricsconnected sums
0
0 comments X

The pith

Finite isometry groups of the intersection form on sums of many CP2s almost never lift to finite diffeomorphism groups.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The homological Nielsen realization problem asks which finite groups of isometries of H2 that preserve the intersection form on a simply-connected 4-manifold can be realized by a finite group of orientation-preserving diffeomorphisms. For the manifolds Mn formed by taking the connected sum of n copies of CP2, every individual isometry of the form is realized by some diffeomorphism, but the paper establishes that this fails to hold for finite groups in a strong asymptotic sense. Using equivariant connected sums, fixed-point obstructions, surface group actions, and analytic combinatorics, it proves that as n grows, the proportion of realizable subgroups inside O(H2(Mn;Z)) tends to zero, and likewise for random odd-order elements. A sympathetic reader cares because the result separates the algebraic symmetry of the homology lattice from the geometric symmetry that can actually be realized by smooth maps.

Core claim

Even though every isometry of H2(Mn;Z) is induced by some orientation-preserving diffeomorphism of Mn, Nielsen realization is sparse: as n o∞, a random subgroup of O(H2(Mn;Z)) is asymptotically almost never realizable in Diff+(Mn); the same is true for random odd order elements of O(H2(Mn;Z)). Positive realization results hold in certain cases while obstructions from fixed-point theory and finite group actions on surfaces apply in others.

What carries the argument

Asymptotic density of non-realizable subgroups inside O(H2(Mn;Z)) under a natural probabilistic model on the orthogonal group of the standard positive-definite form, combined with equivariant connected-sum constructions and fixed-point obstructions.

If this is right

  • Certain finite subgroups of O(H2(Mn;Z)) are still realizable by diffeomorphisms for every n.
  • Obstructions coming from fixed-point theory and actions on surfaces rule out realization for many groups when n is large.
  • The same sparsity conclusion applies separately to random odd-order elements.
  • The full isometry group O(H2(Mn;Z)) is realized by (possibly infinite-order) diffeomorphisms for every n.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The finite part of the diffeomorphism group of Mn becomes negligible compared with the algebraic isometry group as n increases.
  • Similar density arguments may apply to other families of 4-manifolds whose intersection forms admit large orthogonal groups.
  • The result highlights a gap between homological actions that exist algebraically and those that can be realized geometrically by finite-order maps.

Load-bearing premise

The probabilistic model that defines a random subgroup of O(H2(Mn;Z)) and the analytic combinatorics that compute its density of non-realizable groups accurately capture the geometric question of which groups admit diffeomorphism realizations.

What would settle it

An explicit construction, for arbitrarily large n, of a positive-density family of finite subgroups of O(H2(Mn;Z)) that each lift to a finite subgroup of Diff+(Mn).

Figures

Figures reproduced from arXiv: 2605.27537 by Ethan Pesikoff.

Figure 1
Figure 1. Figure 1: Trivial vs Hinge connect sum [X : Y : Z], and define the following self-diffeomorphisms. fX :[X : Y : Z] 7→ [−X : Y : Z] fY :[X : Y : Z] 7→ [X : −Y : Z] fZ :[X : Y : Z] 7→ [X : Y : −Z] J :[X : Y : Z] 7→ [X : Y : Z] J ′ :[X : Y : Z] 7→ [X˜ : Y˜ : Z˜] where X˜ denotes reflection of X about the imaginary axis (which is then conjugate to conjugation by multiplication by i). Define Y˜ and Z˜ similarly. Note tha… view at source ↗
Figure 2
Figure 2. Figure 2: Construction 2 Construction 3. Extend the ideas of Construction 2 from a local to global model, as follows. A copy of CP2 , endowed with some projective coordinates [X : Y : Z], comes equipped with three 9 [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: An example of Construction 3, with its adjacency graph to the right. The graph does not depend on whether connect sums are trivial or hinged Example 1. The group G3 ∼= (Z/2Z) 3 is realizable in Diff+ (M3). To see this, consider a chain of three CP2 s, with both connect sums hinged. Then the group ⟨fX, fY , J⟩ on any given copy induces precisely a realization of G3 in Diff+ (M3). Example 2. Call two subgrou… view at source ↗
Figure 4
Figure 4. Figure 4: Realization in rank 2, as in the proof of the first part of Theorem [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: A standard-linear action on M8 Finally, we state a (rephrased version of) a main result of Hambleton–Tanase [HT04]. Theorem 3.5 (cf [Theorem A; HT04]). Let G ∼= Z/mZ act faithfully by diffeomorphisms on Mn, for m, n > 0 and m odd. Let F ix(G) ⊆ Mn be its fixed set, and let ρG : H2(Mn; Z) → H2(Mn; Z) be its permutation action on homology. Then there exists a standard-linear action of H ∼= Z/mZ on Mn with F … view at source ↗
Figure 6
Figure 6. Figure 6: Corollary 4.3, when ϵ = +1: in a local model swap two copies of CP2 by rotation on an axis Construction 6. We show how to realize all elements of O(HM3 ) of the form   0 ±1 0 ±1 0 0 0 0 ±1   (1) for all combinations of signs. The key to a simple geometric construction is to adjust our local model of connect sum. In pre￾vious constructions, we modeled connect sum by directly gluing a copy of S 3 in each… view at source ↗
Figure 7
Figure 7. Figure 7: Construction 6 F2 gives the parity of the number of (−1)s on each cycle. Then by Theorem 2.1, Construction 5, and the standard-linear actions of Section 3.1, it suffices to show that the matrix   0 −1 0 0 0 −1 −1 0 0   is realizable. To do this, consider S 4 ⊆ R 5 equipped with a standard basis e1, . . . , e5, and with three marked points p1, p2, p3 ∈ S 4 placed in an equilateral triangle in the e1, e2… view at source ↗
read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies the homological Nielsen realization problem for the 4-manifolds M_n = #_n CP^2. It claims that every isometry of the intersection form is realized by some (not necessarily finite-order) diffeomorphism, yet finite subgroups of O(H_2(M_n;Z)) ≅ ℤ_2 ≀ S_n and random odd-order elements are asymptotically almost never realizable by orientation-preserving diffeomorphisms as n → ∞. Positive realization results are given in special cases, while obstructions arise from equivariant connected sums, fixed-point theory, and Hambleton–Tanase conditions; the sparsity statements rely on a probabilistic model on the orthogonal group together with analytic combinatorics.

Significance. If the central sparsity claim holds under a geometrically meaningful probability measure, the result quantifies how exceptional finite diffeomorphism actions are among homological isometries for these simply-connected positive-definite 4-manifolds. The explicit combination of equivariant geometric constructions with analytic combinatorics to obtain asymptotic densities is a methodological strength, as are the positive realization theorems that delineate the boundary between realizable and non-realizable cases.

major comments (2)
  1. [abstract and the section introducing the probabilistic model] The definition of the probability measure on subgroups (or on odd-order elements) of O(H_2(M_n;Z)) is load-bearing for the asymptotic claim in the abstract. The manuscript must specify this measure (uniform over subgroups of bounded order, via random generators, or generating-function enumeration) and verify that the analytic combinatorics correctly extract the density of subgroups violating the fixed-point or equivariant connected-sum obstructions; without an explicit statement of the measure and independence hypotheses used in the counting, it is unclear whether the model aligns with subgroups that could arise from actual Diff^+(M_n) actions.
  2. [analytic combinatorics section] The passage from the combinatorial density of non-realizable groups to the geometric statement requires that the chosen obstructions (Hambleton–Tanase conditions, fixed-point constraints) are sufficiently independent under the random model. If the paper’s analytic combinatorics section assumes independence that fails for the wreath-product structure of O(H_2(M_n;Z)), the limit probability may not tend to 1.
minor comments (2)
  1. [introduction] Notation for the wreath product ℤ_2 ≀ S_n and for the random model should be introduced with a short self-contained paragraph before the main theorems.
  2. [positive results section] The positive realization results would benefit from an explicit table or list of the finite groups for which realization is proved, cross-referenced to the obstruction criteria.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points that require greater explicitness. We address each major comment below and will revise the manuscript accordingly to clarify the probabilistic model and the handling of dependencies in the wreath product.

read point-by-point responses

  1. Referee: [abstract and the section introducing the probabilistic model] The definition of the probability measure on subgroups (or on odd-order elements) of O(H_2(M_n;Z)) is load-bearing for the asymptotic claim in the abstract. The manuscript must specify this measure (uniform over subgroups of bounded order, via random generators, or generating-function enumeration) and verify that the analytic combinatorics correctly extract the density of subgroups violating the fixed-point or equivariant connected-sum obstructions; without an explicit statement of the measure and independence hypotheses used in the counting, it is unclear whether the model aligns with subgroups that could arise from actual Diff^+(M_n) actions.

    Authors: The model is the asymptotic density (as n→∞) of subgroups or odd-order elements in the wreath product ℤ_2 ≀ S_n that violate at least one obstruction, obtained via generating-function enumeration of the group elements and their cycle structures. We agree that the current text does not state this with sufficient precision in the abstract and introductory section. We will add an explicit definition of the measure (uniform over elements of bounded odd order, or over subgroups via their generators counted by the cycle index of the wreath product) together with a short verification that the obstructions are counted correctly under this enumeration. This revision will also note that the model is chosen precisely because it is the natural one compatible with the group structure of O(H_2(M_n;ℤ)). revision: yes

  2. Referee: [analytic combinatorics section] The passage from the combinatorial density of non-realizable groups to the geometric statement requires that the chosen obstructions (Hambleton–Tanase conditions, fixed-point constraints) are sufficiently independent under the random model. If the paper’s analytic combinatorics section assumes independence that fails for the wreath-product structure of O(H_2(M_n;Z)), the limit probability may not tend to 1.

    Authors: The analytic combinatorics section employs the cycle-index generating functions of the full wreath product rather than assuming statistical independence of the ℤ_2 and S_n factors. The fixed-point and Hambleton–Tanase obstructions factor according to the sign vector and the permutation cycle type; the exponential generating functions already incorporate the dependencies that arise from the semidirect product. Consequently the probability that a random element (or subgroup) simultaneously satisfies all realizability conditions tends to zero. We will insert a short remark in the analytic combinatorics section spelling out this wreath-product enumeration and confirming that the limit remains 1. Should the referee see a concrete dependence that our generating functions overlook, we would be grateful for the clarification. revision: yes

Circularity Check

0 steps flagged

No circularity: sparsity result derived from explicit probabilistic model and external obstructions

full rationale

The central claim establishes asymptotic non-realizability of random subgroups and odd-order elements in O(H2(Mn;Z)) via analytic combinatorics applied to an explicitly defined probability measure on subgroups of ℤ2 ≀ Sn, combined with fixed-point and equivariant obstructions drawn from the external reference Hambleton–Tanase. No step equates a derived quantity to a fitted input by construction, renames a known result, or loads the argument on a self-citation whose content is unverified; the derivation chain remains independent of the target sparsity statement.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, axioms, or invented entities used in the proofs.

pith-pipeline@v0.9.1-grok · 5749 in / 1140 out tokens · 38294 ms · 2026-06-29T14:17:39.322872+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    On the mapping class groups of simply-connected smooth 4-manifolds

    [BA25] R. ˙Inanc Baykur and Mihail Arabadji. “Nielsen realization in dimension four and pro- jective twists”. In:Adv. Math.463.110112 (2025). [Bar] David Baraglia. “On the Mapping Class Groups of Simply-Connected Smooth 4- Manifolds”. To appear in Algebraic Topology and Geometry, arXiv:2310.18819. [BK23] David Baraglia and Hokuto Konno. “A note on the Nie...

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  2. [2]

    The topology of 4-manifolds

    [Fre82] Michael H. Freedman. “The topology of 4-manifolds”. In:J. Diff. Geom.17.3 (1982), pp. 357–453. [Gab+] David Gabai et al. “Pseudo-isotopies of simply connected 4-manifolds”. arXiv:2311.11196. [HL95] Ian Hambleton and Ronnie Lee. “Smooth group actions on definite 4-manifolds and moduli spaces”. In:Duke Math. J.78 (1995), pp. 715–732. [HT04] Ian Hamb...

    work page arXiv 1982