The distributive-law conjecture for Hopf operads generated by primitive nilpotent elements

Let P\mathcal{P} be a Hopf operad generated by primitive nilpotent elements, and let Q\mathcal{Q} be the suboperad they generate, assumed to be Koszul. Write Comm\mathsf{Comm} for the commutative operad. Distributive-law conjecture. There exists a distributive law

λ:QCommCommQ\lambda:\mathcal{Q}\circ\mathsf{Comm}\to\mathsf{Comm}\circ\mathcal{Q}

that implies an isomorphism of symmetric collections

PCommQ.\mathcal{P}\simeq\mathsf{Comm}\circ\mathcal{Q}.

This predicts that the symmetric collection underlying such a Hopf operad is obtained by composing the commutative operad with the Koszul suboperad generated by its primitive nilpotent generators. The supplied text gives no information about whether the claim has been proved or disproved.

Sources & referencesView supporting material

Primary source

Anton Khoroshkin, “Quadratic Algebras arising from Hopf operads generated by a single element”, arXiv:1907.05573 (2019).

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.