Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.17439 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- The operad $\mathrm{FMan}$ encodes the algebraic structure on vector fields of Frobenius manifolds, in the same way as the operad $\mathrm{Lie}$ encodes the algebraic structure on vector fields of a smooth manifold. It is well known that the operad $\mathrm{Lie}$ admits an embedding in the operad $\mathrm{PreLie}$ encoding pre-Lie algebras. We prove a conjecture of Dotsenko stating that the operad $\mathrm{FMan}$ admits an embedding in the operad $\mathrm{ComPreLie}$. The operad $\mathrm{ComPreLie}$ is the operad encoding pre-Lie algebras with an additional commutative product such that right pre-Lie multiplications act as derivations. To prove this result, we first remark a link between the Greg trees and the so-called operadic twisting of $\mathrm{PreLie}$. We then give a combinatorial description of the operad $\mathrm{ComPreLie}$ \emph{à la} Chapoton-Livernet with forests of rooted hypertrees. We generalize this construction to forests of rooted Greg hypertrees, and then use operadic twisting techniques to prove the conjecture.