Related papers: Delooping totalization of a multiplicative operad
Let O be a cyclic topological operad with multiplication. In the framework of the cosimplicial machinery by McClure and Smith, we prove that the totalization of the cosimplicial space associated to O has an action of an operad equivalent to…
It is known that the bimodule derived mapping spaces between two operads have a delooping in terms of the operadic mapping space. We show a relative version of that statement. The result has applications to the spaces of disc embeddings…
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible,…
We study the enumerative geometry of orbits of multidimensional toric action on projective algebraic varieties and develop a new cyclic differential-graded operad, conjecturally governing the real version of the enumerative geometry of…
In this expository paper we give an elementary, hands-on computation of the homology of the little disks operad, showing that the homology of a $d-fold loop space is a Poisson algebra. One aim is to familiarize a greater audience with…
Given a symplectic manifold $M$, we may define an operad structure on the the spaces $\op^k$ of the Lagrangian submanifolds of $(\bar{M})^k\times M$ via symplectic reduction. If $M$ is also a symplectic groupoid, then its multiplication…
We prove that if a pair of semi-cosimplicial spaces (X,Y) arise from a coloured operad then the semi-totalization sTot(Y) has the homotopy type of a relative double loop space and the pair (sTot(X),sTot(Y)) is weakly equivalent to an…
The goal of this article is to make explicit a structured complex whose homology computes the cohomology of the p-profinite completion of the n-fold loop space of a sphere of dimension d=n-m<n. This complex is defined purely algebraically,…
We study the operad of associative algebras equipped with a derivation. We show that it is determined by polynomials in several variables and substitution. Replacing polynomials by rational functions gives an operad which is isomorphic to…
The associative operad is a central structure in operad theory, defined on the linear span of the set of permutations. We build two analogs of the associative operad on the linear span of the set of packed words which turn out to be…
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture…
In this paper we show that if a cosimplicial space or spectrum $X^\bullet$ has a certain kind of combinatorial structure (we call it a $\Xi^n$-structure) then the total space of $X^\b$ has an action of a certain operad which is weakly…
We generalise the fold map for the wedge sum and use this to give a loop space decomposition of topological spaces with a high degree of symmetry. This is applied to polyhedral products to give a loop space decomposition of polyhedral…
A necessary and sufficient condition for an operator space to support a multiplication making it completely isometric and isomorphic to a unital operator algebra is proved. The condition involves only the holomorphic structure of the Banach…
The moduli space of spatial polygons is known as a symplectic manifold equipped with both K\"ahler and real polarizations. In this paper, associated to the K\"ahler and real polarizations, morphisms of operads…
Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…
Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space…
We show that if an operad is at the same time a cosimplicial object such that the respective structure maps are compatible with the operadic composition in a natural way, then one obtains a Gerstenhaber algebra structure on cohomology, and…
We construct a map of operads from an $E_2$-operad to the condensation of the operad for multiplicative hyperoperads. We deduce from it the existence of an $E_2$-action on the homotopy limit of the underlying functor of a multiplicative…
We generalize the classical operad pair theory to a new model for $E_\infty$ ring spaces, which we call ring operad theory, and establish a connection with the classical operad pair theory, allowing the classical multiplicative infinite…