Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2005.00274

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

Daniel Kasprowski·Mark Powell·Benjamin Ruppik
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

math.GTmath.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Daniel Kasprowski, Mark Powell, Benjamin Ruppik. 2024-06-06. Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups. https://doi.org/10.1017/s0305004124000227

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Loops in surfaces, chord diagrams, interlace graphs: operad factorisations and generating grammars

A filoop is a generic immersion of a circle in a closed oriented surface, whose complement is a disjoint union of discs, considered up to orientation preserving diffeomorphisms. It gives rise to a chord diagram C which has an interlace graph G, called a chordiagraph. For a graph G with even degrees, we compute a quantity mg(G) which yields, for every chord diagram $C$ with interlace graph G, the minimal genus of filoops with chord diagram C. If mg(G)=0 then C admits exactly two framings of genus 0, corresponding to spheriloops. After recalling the Cunningham factorisation of connected graphs, we describe a canonical factorisation of filoops into spheric sums followed by toric sums, for which the genus is additive. This is analogous to the factorisation of compact connected 3-manifolds along spheres and tori. We describe unambiguous context-sensitive grammars generating the set of all graphs and with mg(G)=0 and deduce stability properties with respect to spheric and toric factorisations. Similar results hold for chordiagraphs with mg(G) = 0 and their corresponding spheriloops.

math.GT↗
arXiv2026

Taut polynomials from finite quotients of fibered hyperbolic 3-manifold groups

We prove that, whenever the monodromy maps are fully-punctured, the finite quotients of a fibered hyperbolic $3$-manifold group detect the taut polynomials of the fibered faces of the Thurston norm ball, as well as the Teichmüller polynomials of suitable Dehn fillings. Toward this, we develop a general framework for the profinite invariance of twisted multivariable Alexander polynomials, which is of independent interest; we also prove that being fully-punctured and preserving transverse orientations are profinite properties of the monodromy maps. As an application, we identify specific one-cusped hyperbolic $3$-manifolds \blue{whose fundamental groups} are profinitely rigid among $3$-manifold groups, by a strategy using normalized dilatations and the veering census; notably, the taut polynomials distinguish a pair of mapping tori sharing the fiber and the dilatation.

math.GT↗
arXiv2026

Torus knots as loop-edges in three-sphere triangulations

We present a procedure that, given a pair of coprime integers, produces a one-vertex triangulation of the three-sphere containing the corresponding torus knot as an edge. The construction is canonical, and produces a three-sphere triangulation from a pair of minimal layered triangulations of the solid torus. The size of the triangulation is, in the worst case, linear, but can be as small as logarithmic in the crossing number of the knot, motivating this triangulation size as an organising principle for knots, alternative to the crossing number.

math.GT↗