Related papers: A tale of three homotopies
For every simplicial complex K there exists a vertex-transitive simplicial complex homotopy equivalent to a wedge of copies of K with some copies of the circle. It follows that every simplicial complex can occur as a homotopy wedge summand…
We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…
We study in this article the concepts of algebra up to homotopy for a structure defined by two operations $ \pt $ and $[, ]$. Having determined the structure of $ G_\infty $ algebras and $ P_\infty $ algebras, we generalize this…
In this paper we propose a reduction scheme for polydifferential operators phrased in terms of $L_\infty$-morphisms. The desired reduction $L_\infty$-morphism has been obtained by applying an explicit version of the homotopy transfer…
Transfer maps and projection formulas are undoubtedly one of the key tools in the development and computation of (co)homology theories. In this note we develop an unified treatment of transfer maps and projection formulas in the…
Given an algebraic theory $\ct$, a homotopy $\ct$-algebra is a simplicial set where all equations from $\ct$ hold up to homotopy. All homotopy $\ct$-algebras form a homotopy variety. We give a characterization of homotopy varieties…
Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold `up to homotopy' in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis…
In this paper, we study the homotopy theory of post-Lie algebras. Guided by Koszul duality theory, we consider the graded Lie algebra of coderivations of the cofree conilpotent graded cocommutative cotrialgebra generated by $V$. We show…
In this article we introduce the notion of \emph{multi-Koszul algebra} for the case of a nonnegatively graded connected algebra with a finite number of generators of degree 1 and with a finite number of relations, as a generalization of the…
Using the framework for multiplicative parametrized homotopy theory introduced in joint work with C. Schlichtkrull, we produce a multiplicative comparison between the homotopical and operator algebraic constructions of twisted K-theory,…
This is a survey. The main subject of this survey is the homotopical or homological nature of certain structures which appear in classical problems about groups, Lie rings and group rings. It is well known that the (generalized) dimension…
We develop a theory of minimal models for algebras over an operad defined over a commutative ring, not necessarily a field, extending and supplementing the work of Sagave in the associative case.
We study the Andr\'e-Quillen cohomology with coefficients of an algebra over an operad. Using resolutions of algebras coming from Koszul duality theory, we make this cohomology theory explicit and we give a Lie theoretic interpretation. For…
We introduce a generalization of the notion of a Koszul algebra, which includes graded algebras with relations in different degrees, and we establish some of the basic properties of these algebras. This class is closed under twists, twisted…
This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on…
We introduce the notion of a dioperad to describe certain operations with multiple inputs and multiple outputs. The framework of Koszul duality for operads is generalized to dioperads. We show that the Lie bialgebra dioperad is Koszul.
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for…
We prove that the algebra of closed differential forms in an (algebraic, formal, or analytic) disk with logarithmic singularities along several coordinate hyperplanes is (both nontopologically and topologically) Koszul. The connection with…
With a particular focus on explicit computations and applications of the Koszul homology and Betti numbers of monomial ideals, the main goals of this thesis are the following: Analyze the Koszul homology of monomial ideals and apply it to…
We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…