Rational homotopy type of relative universal fibrations (2311.14132v1)

Abstract: For any group $G$ of self homotopy equivalences of the finite nilpotent complex $X$, acting nilpotently on its homology, and for any nilpotent subcomplex $A$, we prove that the universal fibration $$ X \longrightarrow B(*,{\rm aut}^{A}_G(X),X)\longrightarrow B{\rm aut}^{A}_G(X), $$ which classifies $A$-fibrations for which the image of the $A$-holonomy action lies in $G$, has a Lie model of the form $$ L\longrightarrow L\widetilde\times {\cal D}er^ML\longrightarrow{\cal D}er^ML $$ in which: $M\hookrightarrow L$ is a Lie model of $A\hookrightarrow X$ and ${\cal D}er^ML$ is a connected complete differential graded Lie algebra of derivations of $L$ which vanish on $M$. The rational homotopy type of extended relative mapping fibrations is also similarly characterized.