Related papers: A Diagonal on the Associahedra

We construct an explicit diagonal \Delta_P on the permutahedra P. Related diagonals on the multiplihedra J and the associahedra K are induced by Tonks' projection P --> K and its factorization through J. We introduce the notion of a…

Our aim is to construct a functorial tensor product of $A_\infty$-algebras or, equivalently, an explicit diagonal for the operad of cellular chains, over the integers, of the Stasheff associahedron. These construction were in fact already…

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 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 primary goal of this article is to set up a general theory of coherent cellular approximations of the diagonal for families of polytopes by developing the method introduced by N. Masuda, A. Tonks, H. Thomas and B. Vallette. We apply…

We construct an A-infinity structure on the tensor product of two A-infinity algebras by using the simplicial decomposition of the Stasheff polytope. The key point is the construction of an operad AA-infinity based on the simplicial…

In this paper we give a short, direct proof, using only properties of the Haagerup tensor product, that if an operator algebra A possesses a diagonal in the Haagerup tensor product of A with itself, then A must be isomorphic to a finite…

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.

Let P be a quadratic operad. We determine an associated operad ~P such that for any P-algebra A and any ~P-algebra B then the tensor product $A \otimes B$ is a P-algebra.

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…

We prove that the formula for the diagonal approximation $\Delta_{K}$ on J. Stasheff's $n$-dimensional associahedron $K_{n+2}$ derived by the current authors in 2004 agrees with the "magical formula" for the diagonal approximation…

Extending work of Saneblidze-Umble and others, we use diagonals for the associahedron and multiplihedron to define tensor products of A-infinity algebras, modules, algebra homomorphisms, and module morphisms, as well as to define a bimodule…

We set up a general framework for enriching a subcategory of the category of noncommutative sets over a category C using products of the objects of a non-\Sigma operad P in \C. By viewing the simplicial category as a subcategory of the…

Let ${\cal A}_{0}(*)$ denote the direct sum of a certain set of UHF algebras and let ${\cal A}(*)\equiv {\bf C}\oplus {\cal A}_{0}(*)$. We introduce a non-cocommutative comultiplication $\Delta_{\phi}$ on ${\cal A}(*)$, and give an example…

Starting from an arbitrary endomorphism $\alpha$ of a unital C*-algebra $A$ we construct a bigger C*-algebra $B$ and extend $\alpha$ onto $B$ in such a way that the extended endomorphism $\alpha$ has a unital kernel and a hereditary range,…

Starting from an arbitrary endomorphism \delta of a unital C*-algebra A we construct a crossed product. It is shown that the natural construction depends not only on the C*-dynamical system (A,\delta) but also on the choice of an ideal J…

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 construct a generalization of the Day convolution tensor product of presheaves that works for certain double $\infty$-categories. Using this construction, we obtain an $\infty$-categorical version of the well-known description of…

We define the notion of a 2-operad relative to an operad, and prove that the 2-associahedra form a 2-operad relative to the associahedra. Using this structure, we define the notions of an $(A_\infty,2)$-category and $(A_\infty,2)$-algebra…

Given a partial action \alpha of a group G on an associative algebra A we consider the crossed product A x_\alpha G. Using the algebras of multipliers of ideals of A we prove that A x_\alpha G is associative, provided that all ideals of A…