Related papers: Novikov operad is not Koszul
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 construct free Novikov base in terms of Young diagrams. We show that codimensions…
An algebra with identities $[a,b]c=2a(bc)-2b(ac), a[b,c]=2(ab)c-2(ac)b$ is called weak Leibniz. We show that weak Leibniz operad is self-dual and is not Koszul. We establish that polarization of any weak Leibniz algebra is transposed…
Algebras with identity $(a\star b)\star (c\star d) -(a\star d)\star(c\star b)$ $=(a,b,c)\star d-(a,d,c)\star b$ are studied. Novikov algebras under Jordan multiplication and Leibniz dual algebras satisfy this identity. If algebra with such…
This article considers the structure and properties of $\delta$-Novikov algebras, a generalization of Novikov algebras characterized by a scalar parameter $\delta$. It looks like $\delta$-Novikov algebras have a richer structure than…
We prove that a variety of Novikov algebras has a distributive lattice of subvarieties if and only if the lattice of its subvarieties defined by identities of degree three is distributive, thus answering, in the case of Novikov algebras, a…
Using computer calculations, we prove the statement in the title.
Define a $\mathcal V^{(d)}$-algebra as an associative algebra with a symmetric and invariant co-inner product of degree $d$. Here, we consider $\mathcal V^{(d)}$ as a dioperad which includes operations with zero inputs. We show that the…
The paper is devoted to graded algebras having a single homogeneous relation. Using Gerasimov's theorem, a criterion to be N-Koszul is given, providing new examples. An alternative proof of Gerasimov's theorem for N=2 is given. Some related…
In our earlier work we studied Koszulity of a family of operads depending on a natural number n and on the degree d of the generating operation. While we proved that, for n < 8, this operad is Koszul if and only if d is even, and while it…
A quadratic Novikov algebra is a Novikov algebra $(A, \circ)$ with a symmetric and nondegenerate bilinear form $B(\cdot,\cdot)$ satisfying $B(a\circ b, c)=-B(b, a\circ c+c\circ a)$ for all $a$, $b$, $c\in A$. This notion appeared in the…
The notion of $\delta$-Novikov algebras was introduced recently as a generalization of Novikov and bicommutative algebras. It looks like $\delta$-Novikov algebras have a richer structure than Novikov algebras. So, unlike Novikov algebras,…
We present a study of quadratic operads for n-ary algebras and their dual for n odd. We will focus on the ternary case (i.e n=3). The aim is to underline the problem of computing the dual operad and the fact that this last is in general…
We introduce the notion of a dioperad to describe certain operations with multiple inputs and multiple outputs. The framework of Koszul duality for operads is generalized to dioperads. We show that the Lie bialgebra dioperad is Koszul.
The Yoneda algebra of a Koszul algebra or a D-Koszul algebra is Koszul. K_2 algebras are a natural generalization of Koszul algebras, and one would hope that the Yoneda algebra of a K_2 algebra would be another K_2 algebra. We show that…
In this paper, we consider Perm algebra with the derivation $d$. The algebra itself is equipped with the new operation $a\succ b = d(a) b$. We construct a linear basis of the free Novikov dialgebra in terms of new operations. Also, we prove…
The class of Novikov algebras is a popular object of study among classical nonassociative algebras. The generic example of a Novikov algebra may be obtained from a differential associative and commutative algebra. We consider a more general…
For a non-associative algebra $A$ with a derivation $d$, its derived algebra $A^{(d)}$ is the same space equipped with new operations $a\succ b = d(a)b$, $a\prec b = ad(b)$, $a,b\in A$. Given a variety ${\rm Var}$ of algebras, its derived…
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…
Suppose $A$ is a not necessarily associative algebra with a derivation $d$. Then $A$ may be considered as a system with two binary operations $\succ $ and $\prec $ defined by $x\succ y = d(x)y$, $x\prec y = xd(y)$, $x,y\in A$. Suppose $A$…
We consider nonsymmetric operads with two binary operations satisfying relations in arity 3; hence these operads are quadratic, and so we can investigate Koszul duality. We first consider operations which are nonassociative (not necessarily…