Surgery Theory

Surgery Theory
Name	Surgery theory
Field	Topology
Introduced	1960s

Surgery Theory is a collection of techniques in geometric topology for modifying manifolds by cutting and pasting operations to study their classification, structure, and invariants. Developed primarily in the mid-20th century, the subject connects manifold classification problems with algebraic invariants arising from quadratic forms, homotopy theory, and cobordism. Major contributors and institutions shaped its evolution through interactions with high-dimensional manifold theory, stable homotopy, and algebraic K-theory.

History and development

Surgery methods emerged in the 1950s–1970s through work at institutions such as Princeton University, University of Cambridge, University of Chicago, Massachusetts Institute of Technology, and Vrije Universiteit Amsterdam, with key figures including William Browder, C. T. C. Wall, John Milnor, Sergei Novikov, Dennis Sullivan, Andrew Ranicki, and Browder–Novikov collaborations. Early breakthroughs tied to classification problems for differentiable and topological manifolds followed results like the h-cobordism theorem, applications of the s-cobordism theorem, and advances in understanding exotic spheres from the work of Milnor and Michel Kervaire in connection with the Pontrjagin classes and Kervaire invariant problem. Institutional programs at Institute for Advanced Study and conferences such as gatherings at Bonn and Chicago propagated techniques into interactions with algebraic K-theory, stable homotopy groups of spheres, and the formulation of L-groups by Armand Borel-style collaborators and C. T. C. Wall's foundational monographs.

Fundamentals and definitions

The core operation is removing an embedded sphere with trivial normal bundle and gluing back a complementary disk bundle, formulated using embeddings and normal bundles studied by authors like Hirsch and Pontryagin; related notions use cobordism classes from René Thom-influenced theory. Central definitions include normal maps, degree-one maps between manifolds, and structure sets characterized relative to homotopy equivalences inspired by Browder and Sullivan frameworks. Formal invariants arise from intersection forms on middle-dimensional homology, signature invariants tied to Hirzebruch signature theorem, and surgery obstructions landing in algebraically defined L-groups introduced by C. T. C. Wall and refined by Andrew Ranicki.

Classification and applications in topology

Surgery techniques classify simply-connected smooth and topological manifolds in dimensions ≥5, resolving classification up to homeomorphism or diffeomorphism in settings influenced by the h-cobordism theorem and exotic sphere results of Milnor and Kervaire–Milnor. Applications include classification of high-dimensional manifolds arising in work related to Bott periodicity, investigations of manifold structures on homotopy spheres, and results about aspherical manifolds influenced by conjectures like the Novikov conjecture and consequences for group actions studied via input from Gromov and Mikhail Gromov-inspired large-scale geometry. Surgery has been applied to knot and link complements through connections with Alexander duality and to the study of manifold bundles over bases found in research by William Thurston-inspired topology groups and by analysts investigating index theory related to the Atiyah–Singer index theorem.

L-theory and algebraic framework

The obstruction groups for surgery are L-groups, algebraic objects encoding quadratic forms over group rings developed by C. T. C. Wall and formalized in the algebraic surgery framework of Andrew Ranicki. L-theory connects with algebraic K-theory via assembly maps appearing in conjectures such as the Farrell–Jones conjecture and with controlled topology approaches used by Pedersen and Weinberger. Computations of L-groups for finite groups and infinite discrete groups rely on input from representation theory studied at institutions like IHÉS and classification results for group rings explored by researchers including Swan and Bass.

Key theorems and techniques

Fundamental results include the h-cobordism theorem, the s-cobordism theorem, Browder-Novikov-Sullivan-Wall surgery exact sequence, and the classification theorems for high-dimensional manifolds by Browder and Wall. Techniques involve performing elementary surgeries in complementary dimensions, analyzing normal invariants and surgery obstructions in L-groups, using spectral sequences from Serre or Adams-type machinery inspired by J. Frank Adams for homotopy computations, and employing controlled topology methods from Quinn and Weinberger. The interplay with index theory uses the Atiyah–Singer index theorem and signature formulas of Hirzebruch to relate analytic invariants to algebraic obstructions.

Examples and computations

Classic computations include classification of exotic spheres by Kervaire–Milnor, determination of structure sets for complex projective spaces using signature and intersection form data related to Hirzebruch, and surgery obstructions for lens spaces and spherical space forms building on results about finite groups by Reidemeister and Franz. Explicit L-group computations for cyclic and dihedral groups appear in work by Wall and Swan, while controlled-surgery calculations for nonpositively curved manifolds use input from Farrell and Jones. Concrete examples in dimensions 4 and 5 highlight limitations and special phenomena, with notable contributions addressing the 4-dimensional setting from researchers at Princeton, University of Cambridge, and University of California, Berkeley involving interactions with gauge theory pioneered by Simon Donaldson and Michael Freedman.

Category:Topology