Lie models of homotopy automorphism monoids and classifying fibrations

DOI10.1016/J.AIM.2022.108359MaRDI QIDQ2136563zbMATH OpenOpenAlexFDO

Authors Mario Fuentes, Yves Félix, Aniceto Murillo

Publication date 11 May 2022

Published in Advances in Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

classifying spaces and fibrationshomotopy automorphismsLie modelsrational homotopoy theory

Mathematics Subject Classification ID

Homological methods in Lie (super)algebras (17B55) Graded Lie (super)algebras (17B70) Homotopical algebra, Quillen model categories, derivators (18N40) Rational homotopy theory (55P62) Classification of fiber spaces or bundles in algebraic topology (55R15) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

Abstract: Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations ${\displaystyle }$ X o Baut_G^*(X) o Baut_G(X),qquad X o Z o Baut_{pi}^*(X), ${\displaystyle }$ where $G$ and $pi$ denote, respectively, subgroups of the free and pointed homotopy classes of free and pointed self homotopy equivalences of $X$ which act nilpotently on $H_{\ast }(X)$ and $p{i}_{\ast }(X)$. We give algebraic models, in terms of complete differential graded Lie algebras (cdgl's), of the rational homotopy type of these fibrations. Explicitly, if $L$ is a cdgl model of $X$, there are connected sub cdgl's $De{r}^{G}L$ and $De{r}^{pi}L$ of the Lie algebra $DerL$ of derivations of $L$ such that the geometrical realization of the sequences of cdgl morphisms ${\displaystyle }$ Lstackrel{ad}{ o} Der^G L o Der^G Lwidetilde imes sL,qquad L o Lwidetilde imes Der^{pi} L o Der^{pi} L ${\displaystyle }$ have the rational homotopy type of the above classifying fibrations. Among the consequences we also describe in cdgl terms the Malcev $Q$-completion of $G$ and $pi$ together with the rational homotopy type of the classifying spaces $BG$ and $Bpi$.

Review text

A foundational result of \textit{J. D. Stasheff} [Topology 2, 239--246 (1963; Zbl 0123.39705)] asserts that the classifying space \(B \mbox{aut}(X)\) of the topological monoid \(\mbox{aut}(X)\) of self homotopy equivalences of a given finite complex \(X\) classifies fibrations with fiber \(X\) by means of a universal fibration over \(B\mbox{aut}(X)\). Furthermore, by \textit{J. P. May} [Classifying spaces and fibrations. Providence, RI: American Mathematical Society (AMS) (1975; Zbl 0321.55033)], certain submonoids of \(\mbox{aut}(X)\) produce also classifying fibrations for distinguished families of fibrations. The universal cover of \(B \mbox{aut}(X)\) has the homotopy type of the classifying space \(B \mbox{aut}_1(X)\) of the monoid of self homotopy equivalences homotopic to the identity on \(X\). Whenever \(X\) is simply connected the rational homotopy type of \(B \mbox{aut}_1(X)\) is well understood and described in terms of classical algebraic models of \(X\). However, the homotopy type of \(B \mbox{aut}(X)\) is as unmanageable, even for \(X\) simply connected, as its fundamental group \(\mathcal{E}(X)\) of homotopy classes of self homotopy equivalences. \par Nevertheless, the authors are able to describe algebraically the rational homotopy type of the classifying space of certain non-connected distinguished submonoids of \(\mbox{aut}(X)\). Furthermore, they model the corresponding universal classifying fibrations. To do so the authors strongly rely on the homotopy theory developed in the category \textbf{cdgl} of complete differential graded Lie algebras, via the category of simplicial sets \textbf{sset}, by means of the Quillen pair of adjoint functors, (global) model \(\mathbf{sset}\stackrel{\mathfrak{L}}{\to} \mathbf{cdgl}\) and realization \(\mathbf{cdgl}\stackrel{\langle \cdot \rangle}{\to} \mathbf{sset}.\) \par More precisely, given a finite nilpotent simplicial set \(X\), consider the classifying fibrations \(X\to B \mbox{aut}^\ast_G(X) \to B \mbox{aut}_G(X)\) and \(X\to Z \to B \mbox{aut}^\ast_\pi(X),\) where \(G\) and \(\pi\) denote, respectively, subgroups of the free and pointed homotopy classes of free and pointed self homotopy equivalences of \(X\) which act nilpotently on \(H_\ast(X)\) and \(\pi_\ast(X)\). The authors give algebraic models, in terms of complete differential graded Lie algebras (\textbf{cdgl's}), of the rational homotopy type of these fibrations. Among the consequences, the authors also describe in \textbf{cdgl} terms the Malcev \(\mathbb{Q}\)-completion of \(G\) and \(\pi\) together with the rational homotopy type of the classifying spaces \(BG\) and \(B\pi\).

Recommendations

• A \(\operatorname{dg}\) Lie model for relative homotopy automorphisms
• Rational homotopy type of the classifying space for fibrewise self-equivalences
• Rational models for automorphisms of fiber bundles
• The homotopy Lie algebra of classifying spaces
• Models for classifying spaces and derived deformation theory

Cites work

• \(L_{\infty }\) models of based mapping spaces
• A \(\operatorname{dg}\) Lie model for relative homotopy automorphisms
• A classification theorem for fibre spaces
• A formula for topology/deformations and its significance
• Classifying spaces and fibrations
• Descent of Deligne groupoids
• Homotopie rationelle: modèles de Chen, Quillen, Sullivan
• Homotopy limits, completions and localizations
• Homotopy of operads and Grothendieck-Teichmüller groups. Part 1: The algebraic theory and its topological background
• Homotopy theory of complete Lie algebras and Lie models of simplicial sets
• scientific article; zbMATH DE number 3505857 (Why is no real title available?)
• scientific article; zbMATH DE number 1510507 (Why is no real title available?)
• scientific article; zbMATH DE number 3214660 (Why is no real title available?)
• scientific article; zbMATH DE number 3264757 (Why is no real title available?)
• scientific article; zbMATH DE number 3051978 (Why is no real title available?)
• Infinitesimal computations in topology
• Lie algebras, coalgebras and rational homotopy theory for nilpotent spaces
• Lie models for the components of sections of a nilpotent fibration
• Lie models of simplicial sets and representability of the Quillen functor
• Lie theory for nilpotent \(L_{\infty}\)-algebras
• Localization and completion of nilpotent groups of automorphisms
• Maurer–Cartan Elements in the Lie Models of Finite Simplicial Complexes
• On G-spaces
• Rational homotopy nilpotency of self-equivalences
• Rational homotopy theory
• Rational Homotopy Theory II
• Rational homotopy theory of mapping spaces via Lie theory for \(L_\infty\)-algebras
• Rational models for automorphisms of fiber bundles
• Representing the deformation \(\infty\)-groupoid
• The Lawrence-Sullivan construction is the right model for \(I^{+}\)
• Unipotency and nilpotency in homotopy equivalences

Cited in

(10)

• A \(\operatorname{dg}\) Lie model for relative homotopy automorphisms
• Rational models for automorphisms of fiber bundles
• Rational homotopy type of the classifying space for fibrewise self-equivalences
• scientific article; zbMATH DE number 3884979 (Why is no real title available?)
• Homotopy theory of complete Lie algebras and Lie models of simplicial sets
• Realization of Lie algebras of derivations and moduli spaces of some rational homotopy types
• A survey on applications of a new approach to Quillen rational homotopy theory
• Higher structures in rational homotopy theory
• Algebraic models for classifying spaces of fibrations
• Gottlieb elements and rational homotopy types realized as classifying spaces

This page was built for publication: Lie models of homotopy automorphism monoids and classifying fibrations

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