The properad of quadratic Poisson structures is Koszul
arXiv:2601.13921
Abstract
In this paper, we suggest a sufficient condition on the properadic envelope of a quadratic dioperad to be Koszul in terms of twisted associative algebras. As a particular new example, we show that the properad of quadratic Poisson structures is Koszul.
Comments are welcome, v2: minor corrections, v3: grading corrections