Categorical models for equivariant classifying spaces

DOI10.2140/AGT.2017.17.2565MaRDI QIDQ2409799zbMATH OpenOpenAlexFDO

Authors Mona Merling, Bertrand J. Guillou, J. P. May

Publication date 16 October 2017

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.5178

zbMATH Keywords

equivariant bundlesequivariant classifying spaces

Mathematics Subject Classification ID

Relations between equivariant and nonequivariant homotopy theory in algebraic topology (55P92) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Equivariant fiber spaces and bundles in algebraic topology (55R91)

Abstract: Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory.

Review text

The classifying space \(BG\) of a topological group \(G\) allows one to construct a bijection between isomorphism classes of vector bundles over a space \(X\) and homotopy classes of maps from \(X\) to \(BG\). Let \(\Pi\) be another topological group, with \(G\) acting on \(\Pi\) and let \(\Pi \rtimes G\) be the semi-direct product. A principal \((G,\Pi_G)\)-bundle \(p : E \to B\) is a \(\Pi \ltimes G\)-equivariant map where the action on \(B\) is via the quotient to \(G\) and forgetting \(\Pi\)-actions gives a principal \(\Pi\)-bundle. There is an analogous result classifying principal \((G,\Pi_G)\)-bundles over a \(G\)-space \(X\) in terms of \(G\)-homotopy classes of maps from \(X\) to an equivariant classifying space. This paper gives categorical constructions of these spaces. Specifically, if \(G\) is discrete and \(\Pi\) is either discrete or compact Lie, this paper gives a universal principal \((G,\Pi_G)\)-bundle in terms of classifying spaces of certain simple categories. The authors then investigate and identify the \(G\)-fixed points of the domain of that universal bundle. Finally, in the case where \(G\) is finite, some equivalent constructions are given with an eye to applications to equivariant loop spaces and equivariant algebraic \(K\)-theory. This very readable paper is a valuable introduction to the theory of equivariant classifying spaces.

Recommendations

• Equivariant principal bundles and their classifying spaces
• A looping-delooping adjunction for topological spaces
• scientific article; zbMATH DE number 4203271
• Equivariant complete Segal spaces
• scientific article; zbMATH DE number 806582

Cites work

• Classifying spaces and fibrations
• Classifying spaces and spectral sequences
• Equivariant algebraic \(K\)-theory of \(G\)-rings
• Equivariant bundles
• Equivariant bundles with abelian structural group
• Faserbündel mit Gruppenoperation
• Group actions on posets
• Group-graded rings and modules
• scientific article; zbMATH DE number 42273 (Why is no real title available?)
• scientific article; zbMATH DE number 206022 (Why is no real title available?)
• Induction theorems for equivariant K-theory and J-theory
• Infinite loop G-spaces associated to monoidal G-graded categories
• Subgroups of semidirect products
• The homotopy limit problem
• Universal Equivariant Bundles

Cited in

(28)

• The Milgram-Steenrod construction of classifying spaces for topological groups
• Model structures on the category of ex-spaces
• Enriched model categories in equivariant contexts
• A looping-delooping adjunction for topological spaces
• Combinatorial N_ operads
• Cardinal-indexed classifying spaces for families of subgroups of any topological group
• Involutions of Azumaya algebras
• Excision in equivariant fibred \(G\)-theory
• \(K\)-theory of Hermitian Mackey functors, real traces, and assembly
• Equivariant iterated loop space theory and permutative \(G\)-categories
• Real topological Hochschild homology
• scientific article; zbMATH DE number 4203271 (Why is no real title available?)
• Equivariant Eilenberg-MacLane spaces of type 1.
• LETTER TO THE EDITOR
• Universal Equivariant Bundles
• Equivariant algebraic \(K\)-theory of \(G\)-rings
• The genuine operadic nerve
• scientific article; zbMATH DE number 222488 (Why is no real title available?)
• Equivariant complete Segal spaces
• Mapping spaces in quasi-categories
• Models of \(G\)-spectra as presheaves of spectra
• Classifying spaces for 1-truncated compact Lie groups
• Normed symmetric monoidal categories
• Equivariant infinite loop space theory: the space level story
• Equivariant Banach-bundle germs
• Equivariant principal bundles and their classifying spaces
• Equivariant bundles over a single orbit type
• Enriched categories and models for spaces of evolving states

This page was built for publication: Categorical models for equivariant classifying spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409799)