Realizing spaces as classifying spaces

DOI10.1090/PROC/13022MaRDI QIDQ2809218zbMATH OpenOpenAlexFDO

Authors Samuel Bruce Smith, Gregory Lupton

Publication date 27 May 2016

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

classifying space for fibrationsderivationsfinite \(H\)-spaceminimal modelrational homotopy type

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10) Rational homotopy theory (55P62) Classification of fiber spaces or bundles in algebraic topology (55R15)

Abstract: Which spaces occur as a classifying space for fibrations with a given fibre? We address this question in the context of rational homotopy theory. We construct an infinite family of finite complexes realized (up to rational homotopy) as classifying spaces. We also give several non-realization results, including the following: the rational homotopy types of $mathbbC{P}^2$ and $S^4$ are not realized as the classifying space of any simply connected, rational space with finite-dimensional homotopy groups.

Review text

Let \(X\) be a 1-connected CW complex of finite type. The space \(B_{\text{aut\,}X}\) is the base of the universal fibration with fixed fibre \(X\). The authors give partial answers to the following open question: Which simply connected rational homotopy type occurs as \(B_{\text{aut\,}X}\)? They prove:NEWLINENEWLINE a) There exists \(X\) of \(\pi\)-finite type such that the following spaces occur as \(B_{\text{aut\,}X}\):NEWLINENEWLINE (1) \(K(\mathbb{Q},2n+ 1)\times K(\mathbb{Q}, 4n+ 1)\), for \(n\geq 1\) and \(n\) odd,NEWLINENEWLINE (2) \(K(\mathbb{Q}, r)\times K(\mathbb{Q},r+ 4n+ 1)\), for \(r\geq 2\) and \(n\geq 1\).NEWLINENEWLINE b) There exists no \(X\) of \(\pi\)-finite type such that the spaces \(S^2\) and \(\mathbb{C} P^2\) occur as \(B_{\text{aut\,}X}\).

Recommendations

• Spaces realized and non-realized as Dold-Lashof classifying spaces
• Rational type of classifying spaces for fibrations
• The universal fibration with fibre X in rational homotopy theory
• scientific article; zbMATH DE number 4044749
• Fiber-homotopy self-equivalences and a classification of fibrations in rational homotopy

Cites work

• \(p\)-universal spaces and rational homotopy types
• A classification theorem for fibre spaces
• A modified Dold-Lashof construction that does classify \(H\)-principal fibrations
• Classifying spaces and fibrations
• Halbexakte Homotopiefunktoren
• Homotopie rationelle: modèles de Chen, Quillen, Sullivan
• scientific article; zbMATH DE number 1510507 (Why is no real title available?)
• scientific article; zbMATH DE number 3352501 (Why is no real title available?)
• Infinitesimal computations in topology
• LS-category of classifying spaces
• LS-category of classifying spaces. II
• Lusternik-Schnirelmann category of classifying spaces
• Principal quasifibrations and fibre homotopy equivalence of bundles
• Products and Lusternik-Schnirelmann category of classifying spaces
• Rational type of classifying spaces for fibrations
• Rational universal fibrations and flag manifolds
• Rationalized evaluation subgroups of a map. I: Sullivan models, derivations and \(G\)-sequences
• The rational homotopy type of the space of self-equivalences of a fibration
• Unique factorization of rational homotopy types
• WHEN IS THE CLASSIFYING SPACE FOR ELLIPTIC FIBRATIONS RANK ONE?

Cited in

(14)

• A criterion of \(SNT(X) = \{[X]\}\) for hyperformal spaces
• On a DGL-map between derivations of Sullivan minimal models
• Spaces realized and non-realized as Dold-Lashof classifying spaces
• What does the classifying space of a category classify?
• scientific article; zbMATH DE number 4044749 (Why is no real title available?)
• Rational cohomologies of classifying spaces for homogeneous spaces of small rank
• WHEN IS THE CLASSIFYING SPACE FOR ELLIPTIC FIBRATIONS RANK ONE?
• An example of non-coformal classifying space with rational \(H(2)\)-structure
• Weight decompositions on algebraic models for mapping spaces and homotopy automorphisms
• Some notes on spaces realized as classifying spaces
• Mysterious triality and the exceptional symmetry of loop spaces
• Gottlieb elements and rational homotopy types realized as classifying spaces
• The universal fibration with fibre X in rational homotopy theory
• Sullivan minimal models of classifying spaces for non-formal spaces of small rank

This page was built for publication: Realizing spaces as classifying spaces

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