Related papers: An Additivity Theorem for the Interchange of E_n S…

This paper discusses the question of how to recognize whether an operad is E_n (ie. equivalent to the little n-cubes operad). A construction is given which produces many new examples of E_n operads. This construction is developed in the…

Given smooth manifolds $M$ and $N$, manifold calculus studies the space of embeddings $\operatorname{Emb}(M,N)$ via the "embedding tower", which is constructed using the homotopy theory of presheaves on $M$. The same theory allows us to…

We study homotopy-coherent commutative multiplicative structures on equivariant spaces and spectra. We define N-infinity operads, equivariant generalizations of E-infinity operads. Algebras in equivariant spectra over an N-infinity operad…

The goal of this paper is to prove a Koszul duality result for E_n-operads in differential graded modules over a ring. The case of an E_1-operad, which is equivalent to the associative operad, is classical. For n>1, the homology of an…

We study cobordisms of a class of topological operads called ``manifold operads''. These operads are generalizations of the Fulton-MacPherson operad: an operad built from configurations of points in Euclidean space. Cobordism of manifold…

We show that the Koszul dual of an E_n-operad in spectra is O(n)-equivariantly equivalent to its n-fold desuspension. To this purpose we introduce a new O(n)-operad of Euclidean spaces R_n, the barycentric operad, that is fibred over…

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 first author proved in a previous paper that the n-fold bar construction for commutative algebras can be generalized to E_n-algebras, and that one can calculate E_n-homology with trivial coefficients via this iterated bar construction.…

We construct an operad $\mathrm{Phyl}$ whose operations are the edge-labelled trees used in phylogenetics. This operad is the coproduct of $\mathrm{Com}$, the operad for commutative semigroups, and $[0,\infty)$, the operad with unary…

For a manifold N embedded inside euclidean space R^{n+1}, we produce a coloured operad that acts on the space of maps from N to M, where M is a compact, oriented, smooth manifold. For N the unit sphere, we indicate how this gives…

We show that the topological Hochschild homology THH(R of an E_n-ring spectrum R is an E_{n-1}-ring spectrum. The proof is based on the fact that the tensor product of the operad Ass for monoid structures and the the little n-cubes operad…

Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the…

We define and study a lift of the Boardman-Vogt tensor product of operads to bimodules over operads.

The spaces of configurations of non-$k$-overlapping discs have been studied as a bimodule over the little discs operad. In fact, the spaces form a filtered operad. We define and study the induced structure on the homology.

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 paper investigates mapping spaces between enriched operads and relates these spaces to those between operadic bimodules via convenient fiber sequences. The main statements hold for simplicial operads, operads enriched in simplicial…

Let $D$ and $E$ be subspaces of the tensor product of the $m$ and $n$ dimensional complex spaces, with codimensions $k$ and \ell$, respectively. We show that if $k+\ell<m+n-2$ then there must exist a product vector in $D$ whose partial…

We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…

We show that a certain class of categorical operads give rise to $E_n$-operads after geometric realization. The main arguments are purely combinatorial and avoid the technical topological assumptions otherwise found in the literature.

We develop the theory of subproduct systems over the monoid $\mathbb{N}\times \mathbb{N}$, and the non-self-adjoint operator algebras associated with them. These are double sequences of Hilbert spaces $\{X(m,n)\}_{m,n=0}^\infty$ equipped…