# A survey of 4-manifolds through the eyes of surgery

@article{Kirby1998ASO, title={A survey of 4-manifolds through the eyes of surgery}, author={R. Kirby and L. Taylor}, journal={arXiv: Geometric Topology}, year={1998} }

Surgery theory is a method for constructing manifolds satisfying a given collection of homotopy conditions. It is usually combined with the s{cobordism theorem which constructs homeomorphisms or diieomorphisms between two similar looking manifolds. Building on work of Sullivan, Wall applied these two techniques to the problem of computing structure sets. While this is not the only use of surgery theory, it is the aspect on which we will concentrate in this survey. In dimension 4, there are two… Expand

#### 34 Citations

Four-manifolds, geometries and knots

- Mathematics
- 2002

The goal of this book is to characterize algebraically the closed 4-manifolds that fibre nontrivially or admit geometries in the sense of Thurston, or which are obtained by surgery on 2-knots, and to… Expand

On surgery for 4-manifolds and splitting of 5-manifolds

- Mathematics
- 2007

Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. This technical result allows an… Expand

CASSON-TYPE INVARIANTS IN DIMENSION FOUR

- Mathematics
- 2005

This article surveys our ongoing project about the relationship between invariants extending the classical Rohlin invariant of homology spheres and those coming from 4–dimensional (Yang-Mills) gauge… Expand

The Borel/Novikov conjectures and stable diffeomorphisms of 4-manifolds

- Mathematics
- 2004

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are… Expand

Homology surgery and invariants of 3-manifolds.

- Mathematics
- 2001

We introduce a homology surgery problem in dimension 3 which has the property that the vanishing of its algebraic obstruction leads to a canonical class of \pi-algebraically-split links in… Expand

On smoothable surgery for 4-manifolds

- Mathematics
- 2007

Under certain homological hypotheses on a compact 4‐manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of… Expand

On smoothable surgery for 4 – manifolds Q

- 2008

Under certain homological hypotheses on a compact 4–manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of… Expand

Homotopy invariance of 4-manifold decompositions: Connected sums

- Mathematics
- 2012

Abstract Given any homotopy equivalence f : M → X 1 # ⋯ # X n of closed orientable 4-manifolds, where each fundamental group π 1 ( X i ) satisfies Freedmanʼs Null Disc Lemma, we show that M is… Expand

The topological surgery sequence for connected sums of small 4-manifolds

- Mathematics
- 2009

We establish the topological s-cobordism surgery sequence for any closed oriented 4-manifold X homotopy equivalent to a connected sum X1# · · ·#Xn such that each topological 4-manifold Xi has… Expand

A survey of group actions on 4-manifolds

- Mathematics
- 2009

Over 50 years of work on group actions on $4$-manifolds, from the 1960's to the present, from knotted fixed point sets to Seiberg-Witten invariants, is surveyed. Locally linear actions are… Expand

#### References

SHOWING 1-10 OF 99 REFERENCES

Surgery and duality

- Mathematics
- 1999

Surgery, as developed by Browder, Kervaire, Milnor, Novikov, Sullivan, Wall and others is a method for comparing homotopy types of topological spaces with difieomorphism or homeomorphism types of… Expand

Knots, links, and 4-manifolds

- Mathematics
- 1996

In this paper we investigate the relationship between isotopy classes of knots and links in S and the dieomorphism types of homeomorphic smooth 4-manifolds. As a corollary of this initial… Expand

The topology of four-dimensional manifolds

- Mathematics
- 1982

0. Introduction Manifold topology enjoyed a golden age in the late 1950's and 1960's. Of the mysteries still remaining after that period of great success the most compelling seemed to lie in… Expand

On the homotopy theory of simply connected four manifolds

- Mathematics
- 1990

THIS PAPER is concerned with the homotopy theory of l-connected 4-manifolds. Our principal results are explicit characterizations and computations of the groups HE(X), HE + (X), HE,(X) and n4( X)… Expand

On 4-dimensional $s$-cobordisms

- Mathematics
- 1985

The idea that topological problems can be converted into questions of algebra and homotopy theory underlies much of modern higher-dimensional topology of manifolds. The s-cobordism theorem, also… Expand

Isotopy of 4-manifolds

- Mathematics
- 1986

The principal result of this paper is that the group of homeomorphisms mod isotopy (the "homeotopy" group) of a closed simply-connected 4-manifold is equal to the automorphism group of the quadratic… Expand

Some new four-manifolds

- Mathematics
- 1976

The quotient space Q = X'/Z, of the involution is a smooth manifold of the (simple) homotopy type of real projective 4-space P', but not diffeomorphic or even piecewise linear (PL) homeomorphic to… Expand

Three dimensional manifolds, Kleinian groups and hyperbolic geometry

- Mathematics
- 1982

1. A conjectural picture of 3-manifolds. A major thrust of mathematics in the late 19th century, in which Poincare had a large role, was the uniformization theory for Riemann surfaces: that every… Expand

TORSION IN H-SPACES

- Mathematics
- 1961

A topological space with a continuous multiplication with unit is called an H-space. The topological properties of these spaces have been investigated by many authors, in particular the homology and… Expand

Topology of 4-manifolds

- Mathematics
- 1990

One of the great achievements of contemporary mathematics is the new understanding of four dimensions. Michael Freedman and Frank Quinn have been the principals in the geometric and topological… Expand