The Deligne groupoid of the Lawrence-Sullivan interval
In this paper we completely describe the Deligne groupoid of the Lawrence-Sullivan interval as two parallel rational lines.
math.AT↗
arXiv subjects
Yves Félix
Publications and source records attributed to Yves Félix.
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.
math.AT↗
$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.
math.AT↗
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$.
math.AT↗
Loop homology algebra of a closed manifold
The loop homology of a closed orientable manifold $M$ of dimension $d$ is the ordinary homology of the free loop space $M^{S^1}$ with degrees shifted by $d$, i.e. $\mathbb H_*(M^{S^1}) = H_{*+d}(M^{S^1})$. Chas and Sullivan have defined a loop product on $\mathbb H_*(M^{S^1})$ and an intersection morphism $I : \mathbb H_*(M^{S^1}) \to H_*(ΩM)$. The algebra $\mathbb H_*(M^{S^1})$ is commutative and $I$ is a morphism of algebras. In this paper we produce a model that computes the algebra $\mathbb H_*(M^{S^1})$ and the morphism $I$. We show that the kernel of $I$ is nilpotent and that the image is contained in the center of $H_*(ΩM)$, which is in general quite small.
math.AT↗
Massey products and configuration spaces
The purpose of this paper is to compare two spectral sequences converging to the cohomology of a configuration space. The collapsing of these spectral sequences is established, in some cases, using Massey products.
math.AT↗
Duality in Gerstenhaber algebras
Let $C$ be a differential graded coalgebra, $ \barΩC$ the Adams cobar construction and $C^\vee$ the dual algebra. We prove that for a large class of coalgebras $C$ there is a natural isomorphism of Gerstenhaber algebras between the Hochschild cohomologies $HH^\ast (C^\vee, C ^\vee)$ and $HH^\ast (\barΩC ; \barΩC)$. This result permits to describe a Hodge decomposition of the loop space homology of a closed oriented manifold, in the sense of Chas-Sullivan, when the field of coefficients is of characteristic zero.
math.AT↗