Homologically Trivial Group Actions on 4-Manifolds

Allan L. Edmonds

DOI: https://doi.org/10.48550/arXiv.math/9809055

1998-09-10

Abstract:It is proved that an arbitrary finite group acting locally linearly, homologically trivially, and pseudofreely on a closed, simply connected 4-manifold must in fact be cyclic and act semifreely, provided the second betti number of the manifold is at least three.

Geometric Topology

What problem does this paper attempt to address?

Finite group actions on 4-manifolds and equivariant bundles

Nima Anvari,Ian Hambleton

2023-07-19

Abstract:Given a 4-manifold with a homologically trivial and locally-linear cyclic group action, we obtain necessary and sufficient conditions for the existence of equivariant bundles. The conditions are derived from the twisted signature formula and are in the form of congruence relations between the fixed point data and the isotropy representations.

Geometric Topology,Algebraic Topology
Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

Daniel Kasprowski,Mark Powell,Benjamin Ruppik

2024-06-06

Abstract:We show that for an oriented 4-dimensional Poincaré complex with finite fundamental group, whose 2-Sylow subgroup is abelian with at most 2 generators, the homotopy type is determined by its quadratic 2-type.

Geometric Topology,Algebraic Topology
3-Manifolds Which Admit Finite Group Actions

SC WANG

DOI: https://doi.org/10.2307/2154214

IF: 1.3529

1993-01-01

Transactions of the American Mathematical Society

Abstract:We prove several results which support the following conjectures: ( 1 ) (1) Any smooth action of a finite group on a geometric 3 3 -manifold can be conjugated to preserve the geometric structure. ( 2 ) (2) Every irreducible closed 3 3 -manifold M M with infinite π 1 ( M ) {\pi _1}(M) is finitely covered by a Haken 3 3 -manifold.
Compact Lie Group Actions on Compact Manifolds of Nonpositive Curvature

Xu Bin

2003-01-01

Abstract:Let G be a homotopically trivial and effective compact Lie group action on a compact manifold N of nonpositive curvature. Under certain assumptions on N we prove that if G has dimension equal to rank of Center π1(N), then G must be connected. Furthermore, if on N there exists a point having negative definite Ricci tensor, then we show that G is the trivial group.
G-corks & Heegaard Floer Homology

Biji Wong

DOI: https://doi.org/10.48550/arXiv.1609.04857

2016-09-16

Abstract:Recently Auckly-Kim-Melvin-Ruberman showed that for any finite subgroup G of SO(4) there exists a contractible 4-manifold with an effective G-action on its boundary so that the twists associated to the non-trivial elements of G do not extend to diffeomorphisms of the entire manifold. We use a Heegaard Floer theoretic argument originating in work of Akbulut-Karakurt to give a different proof of this phenomenon.

Geometric Topology
The homology of moduli spaces of 4-manifolds may be infinitely generated

Hokuto Konno

2024-10-14

Abstract:For a simply-connected closed manifold $X$ of $\dim X \neq 4$, the mapping class group $\pi_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there exist simply-connected closed smooth 4-manifolds whose mapping class groups are not finitely generated. More generally, for each $k>0$, we prove that there are simply-connected closed smooth 4-manifolds $X$ for which $H_k(B\mathrm{Diff}(X);\mathbb{Z})$ are not finitely generated. The infinitely generated subgroup of $H_k(B\mathrm{Diff}(X);\mathbb{Z})$ which we detect are topologically trivial, and unstable under the connected sum of $S^2 \times S^2$. The proof uses characteristic classes obtained from Seiberg-Witten theory.

Geometric Topology,Algebraic Topology,Differential Geometry
Equivariant cohomological rigidity for four-dimensional Hamiltonian $\mathbf{S^1}$-manifolds

Tara S. Holm,Liat Kessler,Susan Tolman

2024-12-19

Abstract:For manifolds equipped with group actions, we have the following natural question: To what extent does the equivariant cohomology determine the equivariant diffeotype? We resolve this question for Hamiltonian circle actions on compact, connected symplectic four-manifolds. They are equivariantly diffeomorphic if and only if their equivariant cohomology rings are isomorphic as algebras over the equivariant cohomology of a point. In fact, we prove a stronger claim: each isomorphism between their equivariant cohomology rings is induced by an equivariant diffeomorphism.

Symplectic Geometry,Differential Geometry
Some Remarks on Circle Action on Manifolds

Ping Li,Kefeng Liu

DOI: https://doi.org/10.4310/mrl.2011.v18.n3.a5

2011-01-01

Mathematical Research Letters

Abstract:This paper contains several results concerning circle action on almost-complex and smooth manifolds. More precisely, we show that, for an almost-complex manifold $M^{2mn}$(resp. a smooth manifold $N^{4mn}$), if there exists a partition $\lambda=(\lambda_{1},...,\lambda_{u})$ of weight $m$ such that the Chern number $(c_{\lambda_{1}}... c_{\lambda_{u}})^{n}[M]$ (resp. Pontrjagin number $(p_{\lambda_{1}}... p_{\lambda_{u}})^{n}[N]$) is nonzero, then \emph{any} circle action on $M^{2mn}$ (resp. $N^{4mn}$) has at least $n+1$ fixed points. When an even-dimensional smooth manifold $N^{2n}$ admits a semi-free action with isolated fixed points, we show that $N^{2n}$ bounds, which generalizes a well-known fact in the free case. We also provide a topological obstruction, in terms of the first Chern class, to the existence of semi-free circle action with \emph{nonempty} isolated fixed points on almost-complex manifolds. The main ingredients of our proofs are Bott's residue formula and rigidity theorem.
Smooth structures on four-manifolds with finite cyclic fundamental groups

R. Inanc Baykur,Andras I. Stipsicz,Zoltan Szabo

2024-06-13

Abstract:For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely many distinct smooth structures up to diffeomorphism. Moreover, we construct infinite families of non-complex irreducible fake projective planes with diverse fundamental groups.

Geometric Topology,Differential Geometry
On finite symmetries of simply connected four-manifolds

Ioana Suvaina

DOI: https://doi.org/10.48550/arXiv.1607.02776

2016-08-19

Abstract:For most positive integer pairs $(a,b)$, the topological space $#a{\mathbb C \mathbb P}^2#b{\bar{\mathbb C \mathbb P^2}}$ is shown to admit infinitely many inequivalent smooth structures which dissolve upon performing a single connected sum with $S^2\times S^2$. This is then used to construct infinitely many non-equivalent smooth free actions of suitable finite groups on the connected sum $#a{\mathbb C \mathbb P}^2#b{\bar{\mathbb C \mathbb P^2}}$. We then investigate the behavior of the sign of the Yamabe invariant for the resulting finite covers, and observe that these constructions provide many new counter-examples to the $4$-dimensional Rosenberg Conjecture.

Differential Geometry
Homomorphisms to 3-manifold groups

Daniel Groves,Michael Hull,Hao Liang

2024-07-12

Abstract:We prove foundational results about the set of homomorphisms from a finitely generated group to the collection of all fundamental groups of compact 3-manifolds and answer questions of Reid-Wang-Zhou and Agol-Liu.

Geometric Topology,Group Theory
Exotic definite four-manifolds with non-cyclic fundamental group

Robert Harris,Patrick Naylor,B. Doug Park

2024-06-11

Abstract:We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.

Geometric Topology
Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary

Ian Montague

2023-12-30

Abstract:Given a spin rational homology sphere $Y$ equipped with a $\mathbb{Z}/m$-action preserving the spin structure, we use the Seiberg--Witten equations to define equivariant refinements of the invariant $\kappa(Y)$ from \cite{Man14}, which take the form of a finite subset of elements in a lattice constructed from the representation ring of a twisted product of $\text{Pin}(2)$ and $\mathbb{Z}/m$. The main theorems consist of equivariant relative 10/8-ths type inequalities for spin equivariant cobordisms between rational homology spheres. We provide applications to knot concordance, give obstructions to extending cyclic group actions to spin fillings, and via taking branched covers we obtain genus bounds for knots in punctured 4-manifolds. In some cases, these bounds are strong enough to determine the relative genus for a large class of knots within certain homology classes in $\mathbb{C} P^{2}\#\mathbb{C} P^{2}$, $S^{2}\times S^{2}\# S^{2}\times S^{2}$, $\mathbb{C} P^{2}\# S^{2}\times S^{2}$, and homotopy $K3$ surfaces.

Geometric Topology,Algebraic Topology
On the automorphism groups of hyperbolic manifolds

Ryan Budney,David Gabai

2023-03-09

Abstract:Let Diff(N) and Homeo(N) denote the smooth and topological group of automorphisms respectively that fix the boundary of the n-manifold N, pointwise. We show that the (n-4)-th homotopy group of Homeo(S^1 \times D^{n-1}) is not finitely-generated for n >= 4 and in particular the topological mapping-class group of S^1\times D^3 is infinitely generated. We apply this to show that the smooth and topological automorphism groups of finite-volume hyperbolic n-manifolds (when n >= 4) do not have the homotopy-type of finite CW-complexes, results previously known for n >= 11 by Farrell and Jones. In particular, we show that if N is a closed hyperbolic n-manifold, and if Diff_0(N) represents the subgroup of diffeomorphisms that are homotopic to the identity, then the (n-4)-th homotopy group of Diff_0(N) is infinitely generated and hence if n=4, then \pi_0\Diff_0(N) is infinitely generated with similar results holding topologically.

Geometric Topology
Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

Tara Holm,Liat Kessler

2024-09-20

Abstract:For Hamiltonian circle actions on compact, connected, four-dimensional manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This description depends on combinatorial data encoded in the decorated graph of the manifold. We then give an explicit combinatorial description of all weak algebra isomorphisms. We use this description to prove that the even parts of the equivariant cohomology algebras are weakly isomorphic and the odd groups have the same ranks if and only if the labeled graphs obtained from the decorated graphs by forgetting the height and area labels are isomorphic. As a consequence, we give an example of an isomorphism of equivariant cohomology algebras that cannot be induced by an equivariant diffeomorphism of manifolds preserving a compatible almost complex structure. We also provide a soft proof that there are finitely many maximal Hamiltonian circle actions on a fixed compact, connected, four-dimensional symplectic manifold.

Symplectic Geometry
$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

Anthony Conway,Lisa Piccirillo,Mark Powell

2024-08-20

Abstract:We classify topological $4$-manifolds with boundary and fundamental group $\mathbb{Z}$, under some assumptions on the boundary. We apply this to classify surfaces in simply-connected $4$-manifolds with $S^3$ boundary, where the fundamental group of the surface complement is $\mathbb{Z}$. We then compare these homeomorphism classifications with the smooth setting. For manifolds, we show that every Hermitian form over $\mathbb{Z}[t^{\pm 1}]$ arises as the equivariant intersection form of a pair of exotic smooth 4-manifolds with boundary and fundamental group $\mathbb{Z}$. For surfaces we have a similar result, and in particular we show that every $2$-handlebody with $S^3$ boundary contains a pair of exotic discs.

Geometric Topology
Symmetric Group Actions on Homotopy S 2 × S 2

Ximin Liu,Hongxia Li

DOI: https://doi.org/10.1007/s00605-007-0514-0

2007-01-01

Abstract:Let X be a closed smooth 4-manifold which is homotopy equivalent to S 2 × S 2. In this paper we use Seiberg-Witten theory to prove that if X admits a spin symmetric group S 4 action of even type with b 2 + (X/S 4) = b 2 + (X), then as an element of R (S 4), Ind S4 D X = k 1 (1 − θ) + k 2(ψ1 − ψ2) for some integers k 1 and k 2, where 1, θ, ψ1, ψ2 are irreducible characters of S 4 of degree 1, 1, 3, and 3 respectively.
COMPACT LIE GROUP ACTIONS ON CLOSED MANIFOLDS OF NON-POSITIVE CURVATURE

B Xu

DOI: https://doi.org/10.1142/s0129167x06003369

2006-01-01

International Journal of Mathematics

Abstract:Borel proved that, if a finite group F acts effectively and continuously on a closed aspherical manifold M with centerless fundamental group pi(1)(M), then a natural homomorphism psi from F to the outer automorphism group Out pi(1) (M) of pi(1)(M), called the associated abstract kernel, is a monomorphism. In this paper, we investigate to what extent Borel's theorem holds for a compact Lie group G acting effectively and smoothly on a particular orientable aspherical manifold N admitting a Riemannian metric go of non-positive curvature in case that pi(1)(N) has a non-trivial center. It turns out that if G attains the maximal dimension equal to the rank of Center pi(1)(N) and the metric g(o) is real analytic, then any element of G defining a diffemorphism homotopic to the identity of N must be contained in the identity component G(o) of G. Moreover, if the inner automorphism group of pi(1)(N) is torsion free, then the associated abstract kernel psi : G/G(o) --> Out pi(1) (N) is a monomorphism. The same result holds for the non-orientable N's under certain technical assumptions. Our result is an application of a theorem by Schoen-Yau [12] on harmonic mappings.
Periodic symplectic and Hamiltonian diffeomorphisms on irrational ruled surfaces

Nicholas Lindsay,Weiyi Zhang

2024-11-28

Abstract:We study the extension of homologically trivial symplectic or Hamiltonian cyclic actions to Hamiltonian circle actions on irrational ruled symplectic $4$-manifolds. On one hand, we construct symplectic involutions on minimal irrational ruled $4$-manifolds that cannot extend to a symplectic circle action even with a possibly different symplectic form. Higher dimensional examples are also constructed. On the other hand, for homologically trivial symplectic cyclic actions of any other order, we show that such an extension always exists. We also classify finite groups of symplecticmorphisms that acts trivially on the first homology group, and prove the non-extendability of the Klein $4$-group action to the three dimensional rotation group action motivated by the classification of finite groups of symplectomorphisms.

Symplectic Geometry,Geometric Topology
Homological representations of low genus mapping class groups

Trent Lucas

2024-03-14

Abstract:Given a finite group $G$ acting on a surface $S$, the centralizer of G in the mapping class group $\textrm{Mod}(S)$ has a natural representation given by its action on the homology $H_1(S; \mathbb{Q})$. We consider the question of whether this representation has arithmetic image. Several authors have given positive and negative answers to this question. We give a complete answer when S has genus at most 3.

Geometric Topology,Group Theory,Representation Theory

Homologically Trivial Group Actions on 4-Manifolds

Finite group actions on 4-manifolds and equivariant bundles

Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

3-Manifolds Which Admit Finite Group Actions

Compact Lie Group Actions on Compact Manifolds of Nonpositive Curvature

G-corks & Heegaard Floer Homology

The homology of moduli spaces of 4-manifolds may be infinitely generated

Equivariant cohomological rigidity for four-dimensional Hamiltonian $\mathbf{S^1}$-manifolds

Some Remarks on Circle Action on Manifolds

Smooth structures on four-manifolds with finite cyclic fundamental groups

On finite symmetries of simply connected four-manifolds

Homomorphisms to 3-manifold groups

Exotic definite four-manifolds with non-cyclic fundamental group

Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary

On the automorphism groups of hyperbolic manifolds

Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

Symmetric Group Actions on Homotopy S 2 × S 2

COMPACT LIE GROUP ACTIONS ON CLOSED MANIFOLDS OF NON-POSITIVE CURVATURE

Periodic symplectic and Hamiltonian diffeomorphisms on irrational ruled surfaces

Homological representations of low genus mapping class groups