Related papers: E-infinity Cell Models for Free and Based Loop Spa…
By using homotopy transfer techniques in the context of rational homotopy theory, we show that if $C$ is a coalgebra model of a space $X$, then the $A_\infty$-coalgebra structure in $H_*(X;\mathbb{Q})\cong H_*(C)$ induced by the higher…
We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…
We study extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras,…
We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more…
In this paper, we introduce a new class of structured spaces which is locally modeled by Costello's L-infinity spaces. This provides an alternative approach to study the derived geometric structures in the algebraic, analytic, or smooth…
The aim of this paper is to construct an $E_\infty$-operad inducing an $E_\infty$-coalgebra structure on chain complexes with coefficients in $\mathbb{Z}$, which is an alternative description to the $E_\infty$-coalgebra by the Barrat-Eccles…
This paper describes a consequence of the more general results of a previous paper which is of independent interest. We construct a functor from the category of dendroidal sets, which models the theory of infinity-operads, into the category…
The goal of this work is to study the ideals of the Goldman Lie algebra $S$. To do so, we construct an algebra homomorphism from $S$ to a simpler algebraic structure, and focus on finding ideals of this new structure instead. The structure…
We give a set of foundations for cellular $E_k$-algebras which are especially convenient for applications to homological stability. We provide conceptual and computational tools in this setting, such as filtrations, a homology theory for…
We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for $\mathbb{E}_\infty$ ring spectra. In…
We develop a simple theory of Andr\'e-Quillen cohomology for commutative differential graded algebras over a field of characteristic zero. We then relate it to the homotopy groups of function spaces and spaces of homotopy self-equivalences…
In this paper, we investigate the existence of free involutions on some Wall manifolds and we compute the mod 2 cohomology algebra of the correspondent orbit space.
The total homology of the loop space of the configuration space of ordered distinct n points in R^m has a structure of a Hopf algebra defined by the 4-term relations if m>2. We describe a relation of between the cohomology of this loop…
Given a fiber bundle, we construct a differential graded Lie algebra model for the classifying space of the monoid of homotopy equivalences of the base covered by a fiberwise isomorphism of the total space.
This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.
Let $R=\Bbbk[x_1,\..., x_n]$ and $M=R^s/I$ a multigraded squarefree module. We discuss the construction of cochain complexes associated to $M$ and we show how to interpret homological invariants of $M$ in terms of topological computations.…
The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…
We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces…