Related papers: The diagonal of the operahedra
This paper introduces a new method to solve the problem of the approximation of the diagonal for face-coherent families of polytopes. We recover the classical cases of the simplices and the cubes and we solve it for the associahedra, also…
We provide a systematic enumerative and combinatorial study of geometric cellular diagonals on the permutahedra. In the first part of the paper, we study the combinatorics of certain hyperplane arrangements obtained as the union of $\ell$…
We define a cellular approximation for the diagonal of the Forcey--Loday realizations of the multiplihedra, and endow them with a compatible topological cellular operadic bimodule structure over the Loday realizations of the associahedra.…
The paper is devoted to explaining the operadic meaning of freehedra, a family of polytopes originally defined to study free loop spaces. We introduce the notion of operadic pairs and algebras over them. Cellular chains on Stasheff…
There are basically two interesting breeds of $E_2$ operads, those that detect loop spaces and those that solve Deligne's conjecture. The former deformation retract to Milgram's space obtained by gluing together permutahedra at their faces.…
This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads,…
It has been a long-standing challenge to find a geometric object underlying the cosmological wavefunction for Tr($\phi^3$) theory, generalizing associahedra and surfacehedra for scattering amplitudes. In this note we describe a new class of…
In this survey article we discuss certain homotopy coherent enhancements of the coalgebra structure on cellular chains defined by an approximation to the diagonal. Over the rational numbers, $C_\infty$-coalgebra structures control the…
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…
This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher…
Nestohedra are a family of convex polytopes that includes permutohedra, associahedra, and graph associahedra. In this paper, we study an extension of such polytopes, called extended nestohedra. We show that these objects are indeed the…
We define several differential graded operads, some of them being related to families of polytopes : simplices and permutohedra. We also obtain a presentation by generators and relations of the operad K on associahedra introduced in a…
We provide a general definition of higher homotopy operations, encompassing most known cases, including higher Massey and Whitehead products, and long Toda brackets. These operations are defined in terms of the W-construction of Boardman…
We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian…
For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul…
Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode…
We construct a topological cellular operad such that the algebras over its cellular chains are the homotopy unital A-infinity algebras of Fukaya-Oh-Ohta-Ono.
We investigate a family of polytopes introduced by E.M.\ Feichtner, A.\ Postnikov and B.\ Sturmfels, which were named nestohedra. The vertices of these polytopes may intuitively be understood as constructions of hypergraphs. Limit cases in…
This work addresses the homotopical analysis of enveloping operads in a general cofibrantly generated symmetric monoidal model category. We show the potential of this analysis by obtaining, in a uniform way, several central results…
Given a nonsymmetric operad $\mathcal{O}$, we first construct two new nonsymmetric operads $\mathcal{O}^{\mathrm{comp}}$ and $\mathcal{O}^{\mathrm{Dend}}$. These operads are respectively useful to study compatible and split Loday-algebras.…