Related papers: The Operad Quad is Koszul

We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra $Ext_A(k,k)$. We apply this general construction to define the Koszul dual of a category…

We investigate certain complexes that are associated to an operad $\mathscr{O}$ in $k$-vector spaces, where $k$ is a field of characteristic $0$. This exploits the study of modules over the $k$-linearization of the upward walled Brauer…

Shuffle operads were introduced to forget the symmetric group actions on symmetric operads while preserving all possible operadic compositions. Rewriting methods were then applied to symmetric operads via shuffle operads: in particular, a…

We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We approach this using the theory of modular operads by introducing a new…

We introduce a simplicial object $(\{ \Dy^m\}_{m\geq 0}, {\mathbb F}_i, {\mathbb S}_j)$ in the category of non-symmetric algebraic operads, satisfying that $\Dy^0$ is the operad of associative algebras and $\Dy^1$ is J.-L. Loday\rq s operad…

In earlier work of three of the authors of the present paper, a supercommutative quadratic algebra was associated to each symmetric quiver, and a new proof of positivity of motivic Donaldson-Thomas invariants of symmetric quivers was given…

Si Li and author suggested in that, in some cases, the AdS/CFT correspondence can be formulated in terms of the algebraic operation of Koszul duality. In this paper this suggestion is checked explicitly for $M2$ branes in an…

We show that the sets of $d$-dimensional Latin hypercubes over a non-empty set $X$, with $d$ running over the positive integers, determine an operad which is isomorphic to a sub-operad of the endomorphism operad of $X$. We generalise this…

We prove that the category of graded finitely generated representations of the the cyclotomic quiver Schur algebra is a Koszul category.

Given a simply connected space $X$, there are several, a priori different, algebraic groups whose groups of $\mathbb Q$-points are isomorphic to the group of homotopy classes of homotopy automorphisms of the rationalization of $X$. We will…

We show that modular operads are equivalent to modules over a certain simple properad which we call the Brauer properad. Furthermore, we show that, in this setting, the Feynman transform corresponds to the cobar construction for modules of…

We prove that the operad of mock partially associative $n$-ary algebras is not Koszul, as conjectured by the second and the third author in 2009, and utilise the Zeilberger's algorithm for hypergeometric summation to demonstrate that…

A dendriform algebra is an associative algebra whose product splits into two binary operations and the associativity splits into three new identities. These algebras arise naturally from some combinatorial objects and through Rota-Baxter…

This paper investigates Rota-Baxter associative algebras of of arbitrary weights, that is, associative algebras endowed with Rota-Baxter operators of arbitrary weights from an operadic viewpoint. Denote by $\RB$ the operad of Rota-Baxter…

We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the…

We unravel the algebraic structure which controls the various ways of computing the word ((xy)(zt)) and its siblings. We show that it gives rise to a new type of operads, that we call permutads. It turns out that this notion is equivalent…

A derived operation is a bilinear operation on a commutative associative algebra $A$ defined intrinsically out of its product and several derivations of the product. We show that operators of left (or right) multiplications of a derived…

We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that…

We introduce higher-order Massey products for algebras over algebraic operads. This extends the work of Fernando Muro on secondary ones. We study their basic properties and behavior with respect to morphisms of algebras and operads and give…

The classical Hochschild--Kostant--Rosenberg (HKR) theorem computes the Hochschild homology and cohomology of smooth commutative algebras. In this paper, we generalise this result to other kinds of algebraic structures. Our main insight is…