Source author record

Yves Félix

Yves Félix appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT

Catalog footprint

What is connected

7works

1topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Enriched Differential Lie Algebras in Topology

This paper introduces a new category, Edgl, of enriched differential graded Lie algebras (edgl), directly related to the topology of all connected CW complexes and simplicial sets. It is equipped with a homotopy theory analogous to that developed by Sullivan for commutative differential graded algebras. Each connected space has a unique minimal edgl model, and an algebraic process connects this to the minimal Sullivan model. Minimal edgl models naturally represent cofibrations and, in particular cell attachments, and the interplay between edgl and Sullivan models permits the extension to all path connected spaces of results previously established only for simply connected spaces. This, in particular, provides applications and interesting examples of the classical Sullivan rationalization $X\to X_{\mathbb Q}$ of a path connected space.

preprint2022arXiv

Lie models of homotopy automorphism monoids and classifying fibrations

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_π^*(X), $$ where $G$ and $π$ 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 $π_*(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^π 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^π L\to Der^π 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 $π$ together with the rational homotopy type of the classifying spaces $BG $ and $Bπ$.

preprint2021arXiv

Spatial realization of a Lie algebra and Bar construction of a group

We prove that the spatial realization of a rational complete Lie algebra $L$, concentrated in degree 0, is isomorphic to the simplicial bar construction on the group, obtained from the Baker-Campbell-Hausdorff product on $L$.

preprint2017arXiv

Lie models of simplicial sets and representability of the Quillen functor

Extending the model of the interval, we explicitly define for each $n\ge 0$ a free complete differential graded Lie algebra $\mathfrak{L}_n$ generated by the simplices of $Δ^n$, with desuspended degrees, in which the vertices are Maurer-Cartan elements and the differential extends the simplicial chain complex of the standard $n$-simplex. The family $\{\mathfrak{L}_\bullet\}_{n\ge 0}$ is endowed with a cosimplicial differential graded Lie algebra structure which we use to construct a pair of adjoint functors between the categories of simplicial sets and complete differential graded Lie algebras given by $\langle L\rangle_\bullet=\text{ DGL} (\mathfrak{L}_\bullet,L)$ and $ \mathfrak{L}(K)=\varinjlim_K\mathfrak{L}_{\bullet} $. This new tools let us extend Quillen rational homotopy theory approach to any simplicial set $K$ whose path components are non necessarily simply connected. We prove that $\mathfrak{L} (K)$ contains a model of each component of $K$. When $K$ is a $1$-connected finite simplicial complex, the Quillen model of $K$ can be extracted from $\mathfrak{L} (K)$. When $K$ is connected then, for a perturbed differential $\partial_a$, $H_0(\mathfrak{L} (K),\partial_a)$ is the Malcev Lie completion of $π_1(K)$. Analogous results are obtained for the realization $\langle L\rangle$ of any complete $\text{DGL}$.

preprint2014arXiv

The homotopy fixed point set of Lie group actions on elliptic spaces

Let $G$ be a compact connected Lie group, or more generally a path connected topological group of the homotopy type of a finite CW-complex, and let $X$ be a rational nilpotent $G$-space. In this paper we analyze the homotopy type of the homotopy fixed point set $X^{hG}$, and the natural injection $k\colon X^G\hookrightarrow X^{hG}$. We show that if $X$ is elliptic, that is, it has finite dimensional rational homotopy and cohomology, then each path component of $X^{hG}$ is also elliptic. We also give an explicit algebraic model of the inclusion $k$ based on which we can prove, for instance, that for $G$ a torus, $π_*(k)$ is injective in rational homotopy but, often, far from being a rational homotopy equivalence.

preprint2012arXiv

$L_infty$ rational homotopy of mapping spaces

In this paper we describe explicit $L_\infty$ algebras modeling the rational homotopy type of any component of the spaces $\map(X,Y)$ and $\map^*(X,Y)$ of free and pointed maps between the finite nilpotent CW-complex $X$ and the finite type nilpotent CW-complex $Y$. When $X$ is of finite type, non necessarily finite, we also show that the algebraic covers of these $L_\infty$ algebras model the universal covers of the corresponding mapping spaces.

preprint2005arXiv

Exponential growth of Lie algebras of finite global dimension

Let $X$ be a finite simply connected CW complex of dimension $n$. The loop space homology $H\_*(ΩX;\mathbb Q)$ is the universal enveloping algebra of a graded Lie algebra $L\_X$ isomorphic with $ pi\_{*-1} (X)\otimes \mathbb Q$. Let $Q\_X \subset L\_X$ be a minimal generating subspace, and set $α= \limsup\_i \frac{\log{\scriptsize rk} π\_i(X)}{i}$. Theorem: If ${dim} L\_X = \infty$ and $\limsup ({dim} (Q\_X)\_k)^{1/k} < \limsup ({dim} (L\_X)\_k)^{1/k}$ then $$\sum\_{i=1}^{n-1} {rk} π\_{k+i}(X) = e^{(α+ ε\_k)k} \hspace{1cm} {where} ε\_k \to 0 {as} k\to \infty.$$ In particular $\displaystyle\sum\_{i=1}^{n-1} {rk} π\_{k+i}(X)$ grows exponentially in $k$.