Pith. sign in

REVIEW 2 major objections 2 minor 2 references

Homological Nielsen realization for the manifolds $\#_n \mathbb{CP}^2$

T0 review · 2 major / 2 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Finite isometry groups of the intersection form on sums of many CP2s almost never lift to finite diffeomorphism groups.

desk verdict The paper shows asymptotic sparsity of Nielsen-realizable subgroups for large #_n CP^2 via analytic combinatorics on O(H2), but the random model is the key unverified step. read the letter →

arxiv 2605.27537 v1 pith:52HPBGDY submitted 2026-05-26 math.GT

Ethan Pesikoff This is my paper · ORCID
classification math.GT
keywords Nielsenrealization4-manifoldsdiffeomorphismgroupsintersectionformsfinitegroupactionshomologicalanalyticcombinatoricsconnectedsums
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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).

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

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

how reviews work

0 comments
Cite this review

Pith. "Pith review of Homological Nielsen realization for the manifolds $\#_n \mathbb{CP}^2$." pith.science (2026). https://pith.science/paper/52HPBGDY

@misc{pith2026260527537,
  author       = {Pith},
  title        = {Pith review of: Homological Nielsen realization for the manifolds $\#_n \mathbbCP^2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/52HPBGDY}},
  note         = {Machine review of arXiv:2605.27537}
}
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.

Figures

Figures reproduced from arXiv: 2605.27537 by the authors.

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 that all five… view at source ↗
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. 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 subgroups of Gn ∼… view at source ↗
Figures from the paper (4 more)
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]
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…
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 construct…
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 …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  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 Pith review 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

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.