Surgery theory

Surgery theory
Name	Surgery theory
Field	Algebraic topology; Geometric topology
Introduced	1960s
Notable	William Browder, C.T.C. Wall, John Milnor, Andrew Ranicki, Dennis Sullivan

Surgery theory is a framework in algebraic topology and geometric topology for modifying high-dimensional manifolds by cutting and pasting along embedded spheres to study their classification and structure. It connects with algebraic invariants from K-theory, L-theory, and homotopy theory to decide when manifold structures exist or are unique on a given homotopy type. Developed in the 1960s and 1970s, it underpins major classification results and rigidity theorems in topology.

Overview

Surgery theory provides a procedure to alter the topology of a manifold by removing an embedded copy of S^k × D^{n-k} and replacing it with D^{k+1} × S^{n-k-1}, guided by obstruction groups such as L-groups from C. T. C. Wall's algebraic theory of forms, and influenced by computations in K-theory and the work of John Milnor, William Browder, and Stephen Smale. The theory interfaces with results by Michael Freedman on four-manifolds, with rigidity conjectures like the Borel conjecture and with computational tools developed by Andreas A. Ranicki and Dennis Sullivan.

Historical Development

Origins trace to ideas in the work of Smale, whose h-cobordism theorem and proof of the generalized Poincaré conjecture in high dimensions motivated systematic cutting-and-pasting operations. C. T. C. Wall and William Browder formulated algebraic surgery obstructions using L-theory and quadratic forms, while John Milnor's discoveries of exotic spheres provided concrete classification problems. Later developments include contributions by Michael Atiyah and Isadore M. Singer via index theory connections, and algorithmic perspectives from André Haefliger and Jean-Pierre Serre in homotopy computations.

Foundations and Key Concepts

Central notions include manifolds, cobordism, h-cobordism, and normal maps between manifolds coupled with stable normal bundles classified by maps to BO and BTop. Fundamental invariants arise from surgery obstruction groups L_n(π_1(X)) calculated using the fundamental group of a space like K(π,1) and algebraic input from group rings and quadratic forms. The process requires control of homotopy equivalences and uses tools from homology theory, cohomology theory, and spectral sequences such as the Atiyah–Hirzebruch spectral sequence in computations.

Classification of Manifolds via Surgery

Surgery classifies manifolds within a homotopy type by analyzing normal invariants and obstruction groups: one first constructs a degree-one normal map from a candidate manifold to a reference space (often a Poincaré complex or Eilenberg–MacLane space), then applies successive surgeries to kill homotopy groups until reaching a homotopy equivalence if obstructions in L-groups vanish. This framework achieves classification results for smooth, PL, and topological manifolds in dimensions ≥5, yielding classification theorems with key inputs from h-cobordism theorem, the work of Kirby–Siebenmann on PL versus topological structures, and calculations by Browder and Wall.

Techniques and Theorems

Core technical results include the h-cobordism theorem (proved by Stephen Smale), the s-cobordism theorem with Whitehead torsion from J. H. C. Whitehead, and the surgery exact sequence formulated by C. T. C. Wall and expanded by André Ranicki. Other pivotal theorems relate to classification of exotic spheres via Milnor and Kervaire–Milnor invariants, the Novikov conjecture and its relation to assembly maps in L-theory investigated by Boris Novikov and Alain Connes, and the Browder–Novikov–Wall obstruction framework. Computational techniques draw on spectral sequence methods, trace maps studied by Daniel Quillen, and index-theoretic input from Atiyah–Singer index theorem.

Applications and Examples

Surgery theory explains existence and uniqueness of manifold structures in classical examples such as exotic 7-spheres discovered by John Milnor and classified by Michel Kervaire and Milnor, classification of high-dimensional lens spaces related to Reidemeister torsion and Whitehead torsion, and rigidity results for aspherical manifolds connected to the Borel conjecture. It underlies constructions in the topology of complex projective space and real projective space, influences classification of manifolds with prescribed fundamental group such as free groups, abelian groups, and more exotic discrete groups, and provides techniques used in geometric applications by Mikhail Gromov and Grigori Perelman's context for lower-dimensional theory contrasts.

Related Areas and Extensions

Surgery theory interacts with K-theory (notably algebraic K-theory of group rings by Daniel Quillen and Hyman Bass), L-theory and assembly maps studied by Ferry, Pedersen, and Ranicki, and with controlled topology approaches by Frank Quinn and Sylvain Cappell. Extensions include stratified surgery for singular spaces developed by Mark Goresky and Robert MacPherson, equivariant surgery involving groups such as SO(n) and O(n), and applications to manifold topology in four dimensions influenced by Michael Freedman and Simon Donaldson. The field continues to connect to current research in topological rigidity, operator algebras via C^*]-algebras and the Baum–Connes conjecture studied by Paul Baum and Alain Connes.

Category:Topology