Order-one differential-algebraicity conjecture for binary-generated Koszul symmetric operads

Let P\mathcal{P} be a Koszul symmetric operad generated by one element in arity 22, and let fPf_{\mathcal{P}} denote its Hilbert series. Being differential algebraic of order 11 means that a differential-algebraic relation involves only fPf_{\mathcal{P}} and its first derivative fPf_{\mathcal{P}}'.

Order-one differential-algebraicity conjecture. The Hilbert series of P\mathcal{P} is differential algebraic of order 11 over Z[t]\mathbb{Z}[t].

Equivalently, fPf_{\mathcal{P}} and fPf_{\mathcal{P}}' are algebraically dependent over Z[t]\mathbb{Z}[t]. The conjecture is motivated by the known examples of Koszul symmetric operads generated by one binary operation, whose Hilbert series satisfy differential-algebraic identities of order 11; its general status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Paul Laubie, “On Hilbert series of Koszul operads and a classification result for set-operads”, arXiv:2509.14419 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.