Borel construction

Borel construction The Borel construction is a method in Algebraic topology that forms a homotopy quotient of a topological space with a group action, assembling data from a topological group and a principal bundle to produce an object suitable for defining equivariant cohomology. It connects constructions involving classifying space, fiber bundle theory, and techniques developed in the work of Émile Borel, Jean-Pierre Serre, Henri Cartan, and later authors such as Raoul Bott, Michael Atiyah, and Isadore Singer. The construction underlies many computations in the study of Lie group actions, compact Lie group symmetry, and localization formulas used by Edward Witten and others.

Definition

Given a right action of a topological group G on a space X and a universal principal G-bundle EG → BG with contractible total space EG and classifying space BG, the Borel construction produces the orbit space EG ×_G X, obtained from the product EG × X by identifying (e·g, x) ~ (e, g·x). The resulting space EG ×_G X serves as a model for the homotopy quotient X_{hG} used in defining equivariant cohomology H*_G(X) = H*(EG ×_G X), and it relates to maps into classifying spaces and to pullbacks along maps from spaces such as CW complexes or manifolds. Constructions of EG and BG occur in the work of John Milnor, G. W. Whitehead, and in categorical frameworks developed by Saunders Mac Lane and Samuel Eilenberg.

Examples

For a trivial action of a finite group such as Symmetric group S_n on a point, EG ×_G pt ≅ BG recovers the usual classifying space and links to the study of group cohomology through spectral sequences introduced by Jean Leray and Henri Cartan. For the circle group Lie group S^1 acting on complex projective space CP^n, the Borel construction yields spaces central to computations appearing in work by Michael Atiyah and Raoul Bott on fixed-point formulas and connects with examples considered by Hermann Weyl in representation theory. For torus actions by the group T^k on a smooth manifold M, EG ×_T M underlies applications in equivariant de Rham cohomology and in the localization theorem of Berline–Vergne and Atiyah–Bott; analogous examples appear in studies by L. Jeffrey and F. Kirwan. For actions by the orthogonal group O(n) on Euclidean space R^n, one recovers universal bundles related to the Stiefel manifold and Grassmannian constructions developed by H. Hopf and Marston Morse.

Properties and functoriality

The Borel construction is functorial in both the G-space X and in maps between groups that admit compatible principal bundles, fitting into homotopy-theoretic frameworks used by Daniel Quillen in algebraic K-theory and by Michael Boardman and Rainer Vogt in homotopical algebra. It preserves fibrations when EG is chosen with appropriate model structures studied by Quillen and Vladimir Voevodsky; this behavior underlies spectral sequence techniques including the Serre spectral sequence attributed to Jean-Pierre Serre and the Leray–Serre framework used by Jean Leray. The construction respects homotopy equivalences and induces long exact sequences in cohomology when paired with coefficient systems explored by G. E. Bredon and J. P. May. For compact Lie groups, properties reflecting finite isotropy and slice theorems of G. E. Palais ensure local triviality reminiscent of principal bundle theory developed by Kurt Gödel's contemporaries in mathematics; naturality with respect to maps into classifying spaces yields transfer maps and Becker–Gottlieb transfer interpretations used by James F. Adams.

Applications

The Borel construction is fundamental to defining equivariant cohomology theories used in counting problems and invariants in areas influenced by Maxwell Garnett and modern developments of symplectic geometry by Mikhail Gromov and Dusa McDuff, where Hamiltonian Lie group actions on symplectic manifolds feed into applications of the Duistermaat–Heckman formula studied by Johannes Duistermaat and Gert Heckman. In gauge theory and index theory, it connects to the Atiyah–Singer index theorem and moduli spaces considered by Edward Witten, Simon Donaldson, and Richard Taylor. In algebraic geometry, equivariant intersection theory on schemes links the construction to computations by William Fulton and Francesco Ambrosetti (note: proper nouns only as specified), and in mathematical physics it appears in localization techniques used by Nikita Nekrasov and Albert Schwarz in path-integral formulations. The construction also informs equivariant K-theory studies by Max Karoubi and has roles in string-theoretic compactifications considered by Juan Maldacena and Cumrun Vafa.

Variations and generalizations

Variants include the homotopy colimit and bar construction models related to work by Charles Rezk and J. P. May, simplicial constructions of classifying spaces developed by Daniel Kan and André Weil, and stack-theoretic interpretations in algebraic geometry articulated by Alexander Grothendieck and Jean Giraud. Equivariant sheaf-theoretic approaches connect to concepts studied by Joseph Bernstein and Pierre Deligne; derived and motivic generalizations are pursued in frameworks of Vladimir Voevodsky and Jacob Lurie, and in higher-categorical contexts by Jacob Lurie and Mike Shulman. For noncompact or non-free actions, Borel-type constructions adapt via proper classifying spaces and Bredon-style theories developed by Gunnar Carlsson and Ian Hambleton, while stacks and groupoid quotients studied by Maxim Kontsevich and Bertrand Toën provide algebro-geometric analogues.

Category:Algebraic topology