Related papers: Koszuality of the $\mathcal V^{(d)}$ dioperad
The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute…
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,…
In this paper, we show that for a Koszul $n$-homogeneous algebra $\Lambda$, the quadratic dual of certain twisted trivial extension is the $(n+1)$-preprojective algebra of its quadratic dual, that is, $ (\Delta_{\nu}\Lambda)^{!,op}…
Let \(\Lambda\) be a finite-dimensional Koszul algebra with Koszul dual \(\Lambda^!\). We establish derived Koszul dualities at the level of bounded derived categories, both in the graded setting \(\mathsf{D}^{b}(\Lambda\textup{-gmod})\)…
We present a unifying framework for the key concepts and results of higher Koszul duality theory for N-homogeneous algebras: the Koszul complex, the candidate for the space of syzygies, and the higher operations on the Yoneda algebra. We…
We study diverse parametrized versions of the operad of associative algebra, where the parameter are taken in an associative semigroup $\Omega$ (generalization of matching or family associative algebras) or in its cartesian square…
We study the operad $n\text{-}Lie_d$, whose algebras are graded $n$-Lie algebras with degree $d$ $n$-arity operations, which were introduced in Nambu mechanics and later studied in the algebraic setting with Filippov. We compute the Koszul…
This paper studies the operad of linearly compatible di-algebras, denoted by $As^{2}$, which is a nonsymmetric operad encoding the algebras with two binary operations that satisfy individual and sum associativity conditions. We also prove…
Let $\mathbb R^{m|n}$ be the usual super space. It is known that the algebraic functions on $\mathbb R^{m|n}$ is a Koszul algebra, whose Koszul dual algebra, however, is not the set of functions on $\mathbb R^{n|m}$, due to the…
In previous works, the author described an associative algebra whose $A_\infty$-module categories encode the Heegaard Floer Dehn surgery formulas. In this article, we describe the Koszul dual of this algebra. We construct dualizing…
In this paper we describe operads encoding two different kinds of compatibility of algebraic structures. We show that there exist decompositions of these in terms of black and white products and we prove that they are Koszul for a large…
Prestacks are algebro-geometric objects whose defining relations are far from quadratic. Indeed, they are cubic and quartic, and moreover inhomogeneous. Similarly, a morphism of $P$-algebras for a (nonsymmetric) Koszul operad $P$ has…
A Pre-Lie algebra is a vector space L endowed with a bilinear product * : L \times L to L satisfying the relation (x*y)*z-x*(y*z)= (x*z)*y-x*(z*y), for all x,y,z in L. We give an explicit combinatorial description in terms of rooted trees…
An algebra with identities $a\circ(b\circ c-c\circ b)=(a\circ b)\circ c-(a\circ c)\circ b$ and $a\circ(b\circ c)=b\circ(a\circ c)$ is called Novikov. We show that Novikov operad is not Koszul.
The purpose of this paper is to show how Positselski's relative nonhomogeneous Koszul duality theory applies when studying the linear category underlying the PROP associated to a (non-augmented) operad of a certain form, in particular…
This paper gives a systematic study of matching dialgebras corresponding to the operad $As^{(2)}$ in \cite{Zi} as the only Koszul self dual operad there other than the operads of associative algebras and Poisson algebras. The close…
We prove that a connected commutator (or NC) complete associative algebra can be recovered in the derived setting from its abelianization together with its natural induced structure. Specifically, we prove an equivalence between connected…
We study a pair of dual operads which arise in the study of moduli spaces of pointed genus 0 curves (this duality is similar to that between commutative and Lie algebras). These operads are both quadratic, and even Koszul, and arise in the…
The purpose of this paper is to prove the koszulity of the operad ${\mathcal Quad}$, governing quadri-algebras. That ${\mathcal Quad}$ is Koszul was conjectured by Aguiar and Loday. The operad ${\mathcal Dend}$, governing dendriform…
Cassidy, Phan and Shelton associate to any regular cell complex X a quadratic K-algebra R(X). They give a combinatorial solution to the question of when this algebra is Koszul. The algebra R(X) is a combinatorial invariant but not a…