Operads and algebraic geometry.
In [8] we studied Koszulity of a family of operads depending on a natural number and on the degree of the generating operation. While we proved that, for , the operad is Koszul if and only if is even, and while it follows from [4] that is Koszul for even and arbitrary , the (non)Koszulity of for odd and remains an open problem. In this note we describe some related numerical experiments, and formulate a conjecture suggested by the results of these computations.
This is an extended version of a talk presented by the second author on the Third Mile High Conference on Nonassociative Mathematics (August 2013, Denver, CO). The purpose of this paper is twofold. First, we would like to review the technique developed in a series of papers for various classes of di-algebras and show how the same ideas work for tri-algebras. Second, we present a general approach to the definition of pre- and post-algebras which turns out to be equivalent to the construction of dendriform...