English

Lie models of homotopy automorphism monoids and classifying fibrations

Algebraic Topology 2022-03-15 v2

Abstract

Given XX a finite nilpotent simplicial set, consider the classifying fibrations XBautG(X)BautG(X),XZBautπ(X), X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_{\pi}^*(X), where GG and π\pi denote, respectively, subgroups of the free and pointed homotopy classes of free and pointed self homotopy equivalences of XX which act nilpotently on H(X)H_*(X) and π(X)\pi_*(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 LL is a cdgl model of XX, there are connected sub cdgl's DerGLDer^G L and DerπLDer^{\pi} L of the Lie algebra DerLDer L of derivations of LL such that the geometrical realization of the sequences of cdgl morphisms LadDerGLDerGL×~sL,LL×~DerπLDerπL L\stackrel{ad}{\to} Der^G L\to Der^G L\widetilde\times sL,\qquad L\to L\widetilde\times Der^{\pi} L\to Der^{\pi} L have the rational homotopy type of the above classifying fibrations. Among the consequences we also describe in cdgl terms the Malcev QQ-completion of GG and π\pi together with the rational homotopy type of the classifying spaces BGBG and BπB\pi.

Keywords

Cite

@article{arxiv.2103.06543,
  title  = {Lie models of homotopy automorphism monoids and classifying fibrations},
  author = {Yves Félix and Mario Fuentes and Aniceto Murillo},
  journal= {arXiv preprint arXiv:2103.06543},
  year   = {2022}
}

Comments

Substantial changes have been made with respect to the first version. To appear in Adv. in Math