Plus-construction (algebraic topology)
Generated by GPT-5-miniExpansion Funnel Raw 67 → Dedup 0 → NER 0 → Enqueued 0
| Plus-construction (algebraic topology) | |
|---|---|
| Name | Plus-construction |
| Field | Algebraic topology |
| Introduced | 1960s |
| Introduced by | Daniel Quillen |
| Related | Homology, Fundamental group, Perfect group, Algebraic K-theory |
Plus-construction (algebraic topology) is a process in algebraic topology that modifies a connected CW-complex while preserving integral homology and killing a prescribed perfect subgroup of the fundamental group. The construction was introduced in work of Daniel Quillen and features in the development of Algebraic K-theory, interacting with objects and institutions such as the Institute for Advanced Study, the University of Oxford, the Massachusetts Institute of Technology, Princeton University, and projects associated with the National Science Foundation. It plays a role alongside theories connected to Henri Poincaré, Elie Cartan, John Milnor, Raoul Bott, and Jean-Pierre Serre.
Definition and statement
Given a connected CW-complex X and a normal subgroup N of π1(X) that is perfect (equal to its own commutator subgroup), the plus-construction produces a space X+ together with a map i: X → X+ such that i induces an isomorphism on integral homology H*(−; Z) and the induced map on π1 identifies π1(X+)/i*(π1(X)) ≅ π1(X)/N, with N killed in π1(X+). The existence and uniqueness (up to homotopy) of X+ are established by arguments that trace back to constructions used by John Milnor, G. W. Whitehead, and formalized by Daniel Quillen in his work on K-theory. The statement is commonly formulated in texts by Allen Hatcher, J. Peter May, Graeme Segal, and in seminars at Harvard University and Cambridge University.
Construction and properties
The construction attaches 2-cells and 3-cells to X to kill N in π1 while controlling homology; this technique echoes methods from Henri Poincaré and Eduard Čech and uses obstruction-theoretic inputs familiar to practitioners associated with École Normale Supérieure and Institut des Hautes Études Scientifiques. One first chooses loops representing generators of N and attaches 2-cells to kill those loops, then attaches 3-cells to restore homology. The result X+ satisfies: i*: H*(X; Z) → H*(X+; Z) is an isomorphism, the induced map on higher homotopy groups often behaves predictably under finiteness conditions studied by Serre classes and scholars at École Polytechnique, and X+ is unique up to homotopy equivalence by arguments related to CW approximation and results used by Milnor and Whitehead in classification problems. The plus-construction preserves finite-type properties studied in the literature of Lefschetz and Alexander Grothendieck.
Examples
Classical examples include application to classifying spaces: for a discrete group G with perfect commutator subgroup [G,G] perfect, BG+ yields a space with π1(BG+) ≅ G/[G,G] and unchanged homology, an idea used in the work of Daniel Quillen and applied in contexts at Stanford University and University of Chicago. For the infinite general linear group GL(R) over a ring R, the plus-construction GL(R)+ applied to BGL(R) produces spaces whose homotopy groups compute algebraic K-groups K_n(R), as developed by Quillen and elaborated by researchers at University of California, Berkeley and Massachusetts Institute of Technology. Other examples arise when X is a manifold M and N is the perfect subgroup of π1(M) generated by embedded surfaces, with constructions illuminated by studies at Princeton University and Institute for Advanced Study.
Homological and homotopical consequences
Because X → X+ induces an isomorphism on integral homology, spectral sequences such as the Serre spectral sequence and homology theories represented by spectra considered at Bell Labs and Bellairs Research Institute remain applicable after plus-construction. The effect on higher homotopy groups can be subtle: when N is perfect and X is sufficiently nice (e.g., nilpotent or of finite type), Postnikov towers and nilpotent localization techniques studied by Serre, J. H. C. Whitehead, and H. Cartan control the change in πn for n ≥ 2. Plus-construction interacts with universal coefficient theorems and Steenrod operations developed by Norman Steenrod and Edwin Spanier, and it respects generalized homology theories represented by spectra arising in programs at Max Planck Institute and Sackler Institute.
Relationship with localization and completion
Plus-construction is related but distinct from localization and completion procedures such as Bousfield localization, p-completion in the sense of J. P. Serre and Dennis Sullivan, and the localization techniques developed by A. K. Bousfield and E. Dror Farjoun. While localization often inverts maps or primes in homotopy or homology, the plus-construction specifically kills a perfect subgroup of π1 while preserving integral homology; comparisons are drawn in treatments by Bousfield at University of Illinois and Farjoun at Hebrew University. Completion procedures used in the work of Sullivan and Quillen on rational homotopy theory provide complementary tools, with influences traced through seminars at Institut des Hautes Études Scientifiques and conferences organized by European Mathematical Society.
Applications in algebraic K-theory and manifold topology
The foundational application of the plus-construction is in Algebraic K-theory: Quillen showed that K_n(R) ≅ π_n(BGL(R)+) for n ≥ 1, a result that underpins modern computations and conjectures pursued at Institute for Advanced Study, Microsoft Research, Clay Mathematics Institute, and among researchers such as Friedlander, Suslin, and Weibel. In manifold topology, plus-construction techniques enter surgery theory, classification results related to C. T. C. Wall and Andrew Ranicki, and constructions of high-dimensional manifolds influenced by work at Princeton University and Imperial College London. Further interactions connect to assembly maps in the Novikov conjecture community, to assembly phenomena studied by teams at Max Planck Institute for Mathematics and Centre national de la recherche scientifique, and to computations in controlled topology undertaken at University of Toronto and McGill University.