Sullivan minimal models of classifying spaces for non-formal spaces of small rank
type: Item
instance of: scholarly article
title: Sullivan minimal models of classifying spaces for non-formal spaces of small rank
zbMATH Open document ID: 1329.55011
author: Hirokazu Nishinobu
author: Toshihiro Yamaguchi
published in: Topology and its Applications
publication date: 2015-11-16T00:00:00Z
full work available at URL: https://arxiv.org/abs/1504.07002
review text: A simply-connected CW complex \(X\) is called an elliptic space if the rational homotopy and cohomology of \(X\) are of finite dimension. Moreover, an elliptic space is said to be an \(F_0\)-space if \(\dim \pi_{odd}(X)\otimes {\mathbb Q} =\dim \pi_{even}(X)\otimes {\mathbb Q}\) and \(H^{odd}(X; {\mathbb Q})=0\). Let \(B\text{aut}_1(X)\) be the classifying space of the identity component of self-homotopy equivalences of a space \(X\). This article considers the problem of when the rational cohomology \(H^*(B\text{aut}_1(X); {\mathbb Q})\) is a finitely generated polynomial algebra for an elliptic space \(X\). The problem is closely related to Halperin's conjecture [\textit{S. Halperin}, Trans. Am. Math. Soc. 230, 173--199 (1977; Zbl 0364.55014)] which states that the Leray-Serre spectral sequences of all fibrations with \(F_0\)-spaces as the fibers collapse at the \(E_2\)-term. A main theorem (Theorem 1.10) describes equivalence conditions for \(H^*(B\text{aut}_1(X\times S^3); {\mathbb Q})\) to be a finitely generated polynomial algebra when \(X\) is elliptic. One of the conditions is that \(X\) is \textit{pure} and the rational homotopy of \(X\) concentrates in degrees \(2\) and \(3\). Another main theorem (Theorem 1.13) gives a necessary and sufficient condition for \(H^*(B\text{aut}_1(X); {\mathbb Q})\) not to be a polynomial algebra provided \(\dim \pi_{even}(X)\otimes {\mathbb Q} = 2\) and \(\dim \pi_{odd}(X)\otimes {\mathbb Q} = 3\). Tools for proving theorems are the Lie model for \(B\text{aut}_1(X)\) due to Quillen and the Cartan-Eilenberg-Chevalley construction, which converts the Lie algebra into a Sullivan model for the classifying space. The latter half of the paper determines explicitly minimal models for the classifying spaces \(B\text{aut}_1X\) and \(B\text{aut}_1(X\times S^n)\) for elliptic spaces \(X\) with \(\dim \pi_*(X)\otimes {\mathbb Q} = \dim \pi_{\text{odd}}(X)\otimes {\mathbb Q} = 3\). Moreover, one has a minimal model for \(B\text{aut}_1(SU…
reviewed by: Katsuhiko Kuribayashi
Mathematics Subject Classification ID: 55P62
Mathematics Subject Classification ID: 55R15
zbMATH DE Number: 6509451
zbMATH Keywords: rational homotopy theory
zbMATH Keywords: Sullivan (minimal) model
zbMATH Keywords: classifying space for fibration
zbMATH Keywords: formal
zbMATH Keywords: coformal
zbMATH Keywords: elliptic space
zbMATH Keywords: \(F_0\)-space
zbMATH Keywords: pure space
zbMATH Keywords: two stage space
zbMATH Keywords: derivation
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2963286824
arXiv ID: 1504.07002
cites work: Non-formal homogeneous spaces
cites work: Obstructions to nonnegative curvature and rational homotopy theory
cites work: Real homotopy theory of Kähler manifolds
cites work: Principal quasifibrations and fibre homotopy equivalence of bundles
cites work: Q4505020
cites work: The rational homotopy type of the space of self-equivalences of a fibration
cites work: The homotopy Lie algebra of classifying spaces
cites work: Q4150360
cites work: Finiteness in the Minimal Models of Sullivan
cites work: Q4086427
cites work: Q3062331
cites work: Models for classifying spaces and derived deformation theory
cites work: Realizing spaces as classifying spaces
cites work: Q3697897
cites work: Rational homotopical models and uniqueness
cites work: Rational universal fibrations and flag manifolds
cites work: On characteristics classes for spherical fibre spaces
cites work: Rational homotopy theory
cites work: Rational fibrations, homogeneous spaces with positive Euler characteristics and Jacobians
cites work: Rational type of classifying spaces for fibrations
cites work: The rational homotopy Lie algebra of classifying spaces for formal two-stage spaces
cites work: Q5522742
cites work: A classification theorem for fibre spaces
cites work: Infinitesimal computations in topology
cites work: Homotopie rationelle: modèles de Chen, Quillen, Sullivan
cites work: WHEN IS THE CLASSIFYING SPACE FOR ELLIPTIC FIBRATIONS RANK ONE?
DOI: 10.1016/J.TOPOL.2015.10.003
Recommended article: Q3971307
Recommended article: On minimal coverings of the space of classifications
Recommended article: The Sullivan conjecture on maps from classifying spaces
Recommended article: Q4523415
Recommended article: Extended simplicial rational Nomizu's theorem and Sullivan's minimal models for non-nilpotent groups
Recommended article: Q3694275
Recommended article: Q3147686
Recommended article: Minimal invariant spaces in formal topology
Recommended article: Minimal models of loop spaces and suspensions
Recommended article: On a DGL-map between derivations of Sullivan minimal models
description: scientific article