arXiv subjects
Publications and source records attributed to Mario Fuentes.
We prove that the unit of the Quillen pair ${\mathfrak{L}}\colon {\bf sset}\rightleftarrows {\bf cdgl}\colon {\langle\,\cdot\,\rangle}$ given by the model and realization functor is, up to homotopy, the Bousfield-Kan ${\mathbb{Q}}$-completion.
In an arbitrary complete differential graded Lie algebra, we construct a group operation $\bullet$ on $L_1$ such that the differential of the product of two elements is the Baker-Campbell-Hausdorff product of their differentials, i.e., $d(x\bullet y)=dx\ast dy$. We study some properties of this new structure and some applications, especially in homotopy theory, where this operation can be used to construct a Lie model for the 4-simplex. In particular, this solves, in dimension 4, a problem proposed by Lawrence and Sullivan.
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.
We prove that for any reduced differential graded Lie algebra L, the classical Quillen geometrical realization $\langle L\rangle_Q$ is homotopy equivalent to the realization $\langle L\rangle= Hom_{\bf cdgl}(\mathfrak{L}_\bullet, L)$ constructed via the cosimplicial free complete differential graded Lie algebra $\mathfrak{L}_\bullet$. As the latter is a deformation retract of the Deligne-Getzler-Hinich realization MC${}_\bullet(L)$ we deduce that, up to homotopy, there is only one realization functor for complete differential graded Lie algebras. Immediate consequences include an elementary proof of the Baues-Lemaire conjecture and the description of the Quillen realization as a representable functor.
We construct Lie algebras of derivations (and identify their geometrical realization) whose Maurer-Cartan sets provide moduli spaces describing the classes of homotopy types of rational spaces sharing either the same homotopy Lie algebra, homology or cohomology.
Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations $$ X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_{\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_*(X)$ and $\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 $L$ is a cdgl model of $X$, there are connected sub cdgl's $Der^G L$ and $Der^{\pi} L$ of the Lie algebra $Der L$ of derivations of $L$ such that the geometrical realization of the sequences of cdgl morphisms $$ 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 $Q$-completion of $G$ and $\pi$ together with the rational homotopy type of the classifying spaces $BG $ and $B\pi$.
We define $\mathcal{H}$-fibration sequences as fibrations where the holonomy action of the fundamental group of the base on the fiber lies in a given subgroup $\mathcal{H}$ of $\mathcal{E}(F)$, where $\mathcal{E}(F)$ is the homotopy automorphism group of the fiber. Furthermore, we classify these $\mathcal{H}$-fibration sequences via a universal $\mathcal{H}$-fibration sequence.
Computation of the K- and KO-theory for the classifying G-spaces for proper actions of certain infinite discrete groups G via a special version of the equivariant Atiyah- Hirzebruch spectral sequence.