[Paper Review] Symmetry groups of non-simply-connected four-manifolds

Michael P. McCooey|arXiv (Cornell University)|Jul 25, 2007

Geometric and Algebraic Topology10 references3 citations

TL;DR

This paper establishes that for closed, connected, orientable four-manifolds with nontrivial free abelian H₁, non-zero Euler characteristic, and b₂ ≠ 0,2, any finite group of 2-rank ≤1 acting homologically trivially, effectively, and locally linearly must be cyclic. The proof uses equivariant cohomology, localization theorems, and analysis of the first cohomology of the singular set to rule out non-abelian groups like C₂×C₂, metacyclic, and quaternion groups via cohomological obstructions and fixed-point constraints.

ABSTRACT

Let $M$ be a closed, connected, orientable topological four-manifold with $H_1(M)$ nontrivial and free abelian, $b_2(M) e 0, 2$, and $χ(M) e 0$. We show that if $G$ is a finite group of 2-rank $\le 1$ which admits a homologically trivial, locally linear, effective action on $M$, then $G$ must be cyclic. With additional assumptions to ensure orientability of some components of the singular set (e.g. if $G$ acts by symplectic symmetries, or preserving a spin structure), we also rule out $C_2 imes C_2$ actions. The proofs use equivariant cohomology, localization, and a careful study of the first cohomology groups of the (potential) singular set.

Motivation & Objective

• To classify finite symmetry groups acting homologically trivially, effectively, and locally linearly on non-simply-connected four-manifolds with specific topological constraints.
• To extend prior results on simply-connected 4-manifolds to the more general case where H₁(M) is nontrivial and free abelian.
• To rule out non-cyclic finite groups—especially non-abelian ones like C₂×C₂, metacyclic, and quaternion groups—under the given topological and group-theoretic conditions.
• To develop cohomological tools to analyze the structure of the singular set and its fixed-point components under group actions.

Proposed method

• Uses Borel equivariant cohomology and the Leray-Serre spectral sequence for the Borel construction M_G = M ×_G EG to analyze group actions.
• Applies the Localization Theorem to relate equivariant cohomology of M to that of the singular set Σ, especially in high degrees.
• Analyzes the action of cyclic subgroups on H¹(M) and H¹(Σ) to detect obstructions to non-cyclic group actions.
• Employs the Lefschetz Fixed-Point Theorem and trace formulas to constrain the Euler characteristic of fixed-point sets.
• Studies the spectral sequence for C_p-actions and uses Maschke’s theorem to deduce triviality of group actions on cohomology modules.
• Uses dimension counts and intersection properties of fixed-point components across multiple cyclic subgroups to rule out global actions by non-abelian groups.

Experimental results

Research questions

• RQ1 Under what conditions can a finite group of 2-rank ≤1 act effectively, homologically trivially, and locally linearly on a non-simply-connected four-manifold?
• RQ2 Can non-abelian groups such as C₂×C₂, metacyclic groups, or Q₈ act on four-manifolds with H₁(M) free abelian and χ(M)≠0, b₂(M)≠0,2?
• RQ3 How does the first cohomology of the singular set constrain the possible group actions in the presence of nontrivial H₁(M)?
• RQ4 What role does the collapse or non-collapse of the Borel spectral sequence play in obstructing non-cyclic group actions?
• RQ5 Can the localization theorem and cohomological methods detect global obstructions to group actions when fixed-point components intersect nontrivially?

Key findings

• Any finite group G of 2-rank ≤1 acting homologically trivially, effectively, and locally linearly on a closed, connected, orientable four-manifold M with H₁(M) free abelian, b₂(M)≠0,2, and χ(M)≠0 must be cyclic.
• The group C₂×C₂ cannot act under the same conditions, as the induced action on the homology of a 2-dimensional fixed-point component would reverse orientation, contradicting homological triviality.
• Metacyclic groups of the form C_p ⋊ C_{q^n} with n>1 are ruled out via cohomological analysis of the spectral sequence and triviality of the action on H¹(M^{C_p};ℤ_p).
• The quaternion group Q₈ cannot act effectively and homologically trivially on such manifolds, as the intersection of fixed-point components across its three C₄ subgroups forces a global fixed surface, which Q₈ cannot act on faithfully.
• The analysis shows that the first cohomology of the singular set imposes strong rigidity, especially when combined with the localization theorem and spectral sequence behavior.
• The results extend to cases where torsion in H₁(M) is coprime to group orders, indicating broader applicability beyond the torsion-free case.