arXiv++ Combinatorics

Motivated by the recent development of noncommutative Novikov algebras and multi-Novikov algebras from the study of regularity structures of stochastic PDEs, this paper gives a general approach to study various multi-Novikov algebras and multi-differential algebras, with close connection with Poisson algebras. The construction of S. Gelfand of Novikov algebras from differential commutative algebras is generalized to this context. Free noncommuting multi-Novikov algebras are constructed from typed decorated rooted trees and from noncommuting multi-differential polynomials with populated conditions.

In the theory of species, differential as well as integral operators are known to arise in a natural way. In this paper, we shall prove that they precisely fit together in the algebraic framework of integro-differential rings, which are themselves an abstraction of classical calculus (incorporating its Fundamental Theorem). The results comprise (set) species as well as linear species. Localization of (set) species leads to the more general structure of modified integro-differential rings, previously employed in the algebraic treatment of Volterra integral equations. Furthermore, the ring homomorphism from species to power series via taking generating series is shown to be a (modified) integro-differential ring homomorphism. As an application, a topology and further algebraic operations are imported to virtual species from the general theory of integro-differential rings.

Various compatibility conditions among replicated copies of operations in a given algebraic structure have appeared in broad contexts in recent years. Taking an uniform approach, this paper gives an operadic study of compatibility conditions for nonsymmetric operads with unary and binary operations, and homogeneous quadratic and cubic relations. This generalizes the previous studies for binary quadratic operads. We consider three compatibility conditions, namely the linear compatibility, matching compatibility and total compatibility, with increasingly strict restraints among the replicated copies. The linear compatibility is in Koszul dual to the total compatibility, while the matching compatibility is self dual. Further, each compatibility can be expressed in terms of either one or both of the two Manin square products.