Algebraic structures of $F$-manifolds via pre-Lie algebras

Vladimir Dotsenko

arXiv:1706.07340·math.CT·October 15, 2020

Algebraic structures of $F$-manifolds via pre-Lie algebras

Vladimir Dotsenko

PDF

TL;DR

This paper explores the algebraic structures of $F$-manifolds by connecting the operad controlling their tangent sheaf structures to the operad of pre-Lie algebras, revealing a graded relationship.

Contribution

It establishes a link between the operad for $F$-manifold tangent sheaves and the operad of pre-Lie algebras, showing the associated graded structure is FMan.

Findings

01

The operad FMan is related to the operad PreLie via a filtration.

02

The associated graded object of PreLie by this filtration is FMan.

03

Provides a new algebraic perspective on $F$-manifolds.

Abstract

We relate the operad FMan controlling the algebraic structure on the tangent sheaf of an $F$ -manifold (weak Frobenius manifold) defined by Hertling and Manin to the operad PreLie of pre-Lie algebras: for the filtration of PreLie by powers of the ideal generated by the Lie bracket, the associated graded object is FMan.

Equations76

P_{X_{1} \circ X_{2}} (X_{3}, X_{4}) = X_{1} \circ P_{X_{2}} (X_{3}, X_{4}) + (- 1)^{∣ X_{1} ∣∣ X_{2} ∣} X_{2} \circ P_{X_{1}} (X_{3}, X_{4}),

P_{X_{1} \circ X_{2}} (X_{3}, X_{4}) = X_{1} \circ P_{X_{2}} (X_{3}, X_{4}) + (- 1)^{∣ X_{1} ∣∣ X_{2} ∣} X_{2} \circ P_{X_{1}} (X_{3}, X_{4}),

(X_{1} \cdot X_{2}) \cdot X_{3} - X_{1} \cdot (X_{2} \cdot X_{3}) = (- 1)^{∣ X_{2} ∣∣ X_{3} ∣} ((X_{1} \cdot X_{3}) \cdot X_{2} - X_{1} \cdot (X_{3} \cdot X_{2})) .

(X_{1} \cdot X_{2}) \cdot X_{3} - X_{1} \cdot (X_{2} \cdot X_{3}) = (- 1)^{∣ X_{2} ∣∣ X_{3} ∣} ((X_{1} \cdot X_{3}) \cdot X_{2} - X_{1} \cdot (X_{3} \cdot X_{2})) .

\textsl PreLie \ignorespaces \ignorespaces \ignorespaces \ignorespaces \ignorespaces \ignorespaces \ignorespaces \ignorespaces

\textsl PreLie \ignorespaces \ignorespaces \ignorespaces \ignorespaces \ignorespaces \ignorespaces \ignorespaces \ignorespaces

(a_{1} \cdot a_{2}) \cdot a_{3} - a_{1} \cdot (a_{2} \cdot a_{3}) = (a_{1} \cdot a_{3}) \cdot a_{2} - a_{1} \cdot (a_{3} \cdot a_{2}),

(a_{1} \cdot a_{2}) \cdot a_{3} - a_{1} \cdot (a_{2} \cdot a_{3}) = (a_{1} \cdot a_{3}) \cdot a_{2} - a_{1} \cdot (a_{3} \cdot a_{2}),

(a_{1} \circ a_{2}) \circ a_{3} = a_{1} \circ (a_{2} \circ a_{3}),

(a_{1} \circ a_{2}) \circ a_{3} = a_{1} \circ (a_{2} \circ a_{3}),

[[a_{1}, a_{2}], a_{3}] + [[a_{2}, a_{3}], a_{1}] + [[a_{3}, a_{1}], a_{2}] = 0,

[a_{1} \circ a_{2}, a_{3} \circ a_{4}] = [a_{1} \circ a_{2}, a_{3}] \circ a_{4} + [a_{1} \circ a_{2}, a_{4}] \circ a_{3} + a_{1} \circ [a_{2}, a_{3} \circ a_{4}] + a_{2} \circ [a_{1}, a_{3} \circ a_{4}] - (a_{1} \circ a_{3}) \circ [a_{2}, a_{4}] - (a_{2} \circ a_{3}) \circ [a_{1}, a_{4}] - (a_{2} \circ a_{4}) \circ [a_{1}, a_{3}] - (a_{1} \circ a_{4}) \circ [a_{2}, a_{3}] .

[a_{1} \circ a_{2}, a_{3} \circ a_{4}] = [a_{1} \circ a_{2}, a_{3}] \circ a_{4} + [a_{1} \circ a_{2}, a_{4}] \circ a_{3} + a_{1} \circ [a_{2}, a_{3} \circ a_{4}] + a_{2} \circ [a_{1}, a_{3} \circ a_{4}] - (a_{1} \circ a_{3}) \circ [a_{2}, a_{4}] - (a_{2} \circ a_{3}) \circ [a_{1}, a_{4}] - (a_{2} \circ a_{4}) \circ [a_{1}, a_{3}] - (a_{1} \circ a_{4}) \circ [a_{2}, a_{3}] .

gr_{F} \textsl PreLie ≅ \textsl FMan .

gr_{F} \textsl PreLie ≅ \textsl FMan .

dim \textsl FMan (n) = n^{n - 1},

dim \textsl FMan (n) = n^{n - 1},

\textsl FMan ↠ gr_{F} \textsl PreLie .

\textsl FMan ↠ gr_{F} \textsl PreLie .

(a_{1} \circ a_{2}) \circ a_{3} - a_{1} \circ (a_{2} \circ a_{3}) - a_{1} \circ [a_{2}, a_{3}] - [a_{1}, a_{2}] \circ a_{3} - 2 [a_{1}, a_{3}] \circ a_{2} + [a_{1}, a_{2} \circ a_{3}] + [a_{1} \circ a_{2}, a_{3}] + [[a_{1}, a_{3}], a_{2}] = 0,

(a_{1} \circ a_{2}) \circ a_{3} - a_{1} \circ (a_{2} \circ a_{3}) - a_{1} \circ [a_{2}, a_{3}] - [a_{1}, a_{2}] \circ a_{3} - 2 [a_{1}, a_{3}] \circ a_{2} + [a_{1}, a_{2} \circ a_{3}] + [a_{1} \circ a_{2}, a_{3}] + [[a_{1}, a_{3}], a_{2}] = 0,

- [a_{1} \circ a_{2}, a_{3}] \circ a_{4} - [a_{1} \circ a_{2}, a_{4}] \circ a_{3} + [a_{1}, a_{4}] \circ (a_{2} \circ a_{3}) + [a_{1}, a_{3}] \circ (a_{2} \circ a_{4}) - [a_{1}, a_{3} \circ a_{4}] \circ a_{2} + [a_{1} \circ a_{2}, a_{3} \circ a_{4}] + a_{1} \circ ([a_{2}, a_{3}] \circ a_{4}) + a_{1} \circ ([a_{2}, a_{4}] \circ a_{3}) - a_{1} \circ [a_{2}, a_{3} \circ a_{4}] + [[a_{1}, a_{3}], a_{2}] \circ a_{4} + [[a_{1}, a_{4}], a_{2}] \circ a_{3} + 2 [[a_{1}, a_{4}], a_{3}] \circ a_{2} + [a_{1}, [a_{2}, a_{3}]] \circ a_{4} + [a_{1}, [a_{2}, a_{4}]] \circ a_{3} + [a_{1}, a_{4}] \circ [a_{2}, a_{3}] + [a_{1}, a_{3}] \circ [a_{2}, a_{4}] + [a_{1}, [a_{3}, a_{4}]] \circ a_{2} - [[a_{1}, a_{4}], a_{2} \circ a_{3}] - [[a_{1}, a_{3}], a_{2} \circ a_{4}] - [a_{1}, [a_{2}, a_{3}] \circ a_{4}] - [a_{1}, [a_{2} a_{4}] \circ a_{3}] - 2 [[[a_{1}, a_{4}], a_{3}], a_{2}] - [[a_{1}, a_{4}], [a_{2}, a_{3}]] - [[a_{1}, a_{3}], [a_{2}, a_{4}]] - [[a_{1}, [a_{3}, a_{4}]], a_{2}] = 0.

- [a_{1} \circ a_{2}, a_{3}] \circ a_{4} - [a_{1} \circ a_{2}, a_{4}] \circ a_{3} + [a_{1}, a_{4}] \circ (a_{2} \circ a_{3}) + [a_{1}, a_{3}] \circ (a_{2} \circ a_{4}) - [a_{1}, a_{3} \circ a_{4}] \circ a_{2} + [a_{1} \circ a_{2}, a_{3} \circ a_{4}] + a_{1} \circ ([a_{2}, a_{3}] \circ a_{4}) + a_{1} \circ ([a_{2}, a_{4}] \circ a_{3}) - a_{1} \circ [a_{2}, a_{3} \circ a_{4}] + [[a_{1}, a_{3}], a_{2}] \circ a_{4} + [[a_{1}, a_{4}], a_{2}] \circ a_{3} + 2 [[a_{1}, a_{4}], a_{3}] \circ a_{2} + [a_{1}, [a_{2}, a_{3}]] \circ a_{4} + [a_{1}, [a_{2}, a_{4}]] \circ a_{3} + [a_{1}, a_{4}] \circ [a_{2}, a_{3}] + [a_{1}, a_{3}] \circ [a_{2}, a_{4}] + [a_{1}, [a_{3}, a_{4}]] \circ a_{2} - [[a_{1}, a_{4}], a_{2} \circ a_{3}] - [[a_{1}, a_{3}], a_{2} \circ a_{4}] - [a_{1}, [a_{2}, a_{3}] \circ a_{4}] - [a_{1}, [a_{2} a_{4}] \circ a_{3}] - 2 [[[a_{1}, a_{4}], a_{3}], a_{2}] - [[a_{1}, a_{4}], [a_{2}, a_{3}]] - [[a_{1}, a_{3}], [a_{2}, a_{4}]] - [[a_{1}, [a_{3}, a_{4}]], a_{2}] = 0.

- [a_{1} \circ a_{2}, a_{3}] \circ a_{4} - [a_{1} \circ a_{2}, a_{4}] \circ a_{3} + [a_{1}, a_{4}] \circ (a_{2} \circ a_{3}) + [a_{1}, a_{3}] \circ (a_{2} \circ a_{4}) - [a_{1}, a_{3} \circ a_{4}] \circ a_{2} + [a_{1} \circ a_{2}, a_{3} \circ a_{4}] + a_{1} \circ ([a_{2}, a_{3}] \circ a_{4}) + a_{1} \circ ([a_{2}, a_{4}] \circ a_{3}) - a_{1} \circ [a_{2}, a_{3} \circ a_{4}] = 0,

- [a_{1} \circ a_{2}, a_{3}] \circ a_{4} - [a_{1} \circ a_{2}, a_{4}] \circ a_{3} + [a_{1}, a_{4}] \circ (a_{2} \circ a_{3}) + [a_{1}, a_{3}] \circ (a_{2} \circ a_{4}) - [a_{1}, a_{3} \circ a_{4}] \circ a_{2} + [a_{1} \circ a_{2}, a_{3} \circ a_{4}] + a_{1} \circ ([a_{2}, a_{3}] \circ a_{4}) + a_{1} \circ ([a_{2}, a_{4}] \circ a_{3}) - a_{1} \circ [a_{2}, a_{3} \circ a_{4}] = 0,

\pazocal P ▽_{0} \pazocal Q := \pazocal P ⋁ \pazocal Q / (α (β_{1}, \dots, β_{k}) : α \in \pazocal Y, β_{i} \in \pazocal X) .

\pazocal P ▽_{0} \pazocal Q := \pazocal P ⋁ \pazocal Q / (α (β_{1}, \dots, β_{k}) : α \in \pazocal Y, β_{i} \in \pazocal X) .

\pazocal P \lor_{0} \pazocal Q := \pazocal P ⋁ \pazocal Q / (α (β, id, \dots, id) : α \in \pazocal Y, β \in \pazocal X),

\pazocal P \lor_{0} \pazocal Q := \pazocal P ⋁ \pazocal Q / (α (β, id, \dots, id) : α \in \pazocal Y, β \in \pazocal X),

\pazocal O := \pazocal P ⋁ \pazocal Q / (α (β_{1}, \dots, β_{k}) - f (α (β_{1}, \dots, β_{k})) : α \in \pazocal Y, β_{i} \in \pazocal X),

\pazocal O := \pazocal P ⋁ \pazocal Q / (α (β_{1}, \dots, β_{k}) - f (α (β_{1}, \dots, β_{k})) : α \in \pazocal Y, β_{i} \in \pazocal X),

(\pazocal P ▽_{0} \pazocal Q) (n) ↠ \pazocal O (n) .

(\pazocal P ▽_{0} \pazocal Q) (n) ↠ \pazocal O (n) .

\pazocal O := \pazocal P ⋁ \pazocal Q / (α (β_{1}, \dots, β_{k}) - f (α (β_{1}, \dots, β_{k})) : α \in \pazocal Y, β_{i} \in \pazocal X),

\pazocal O := \pazocal P ⋁ \pazocal Q / (α (β_{1}, \dots, β_{k}) - f (α (β_{1}, \dots, β_{k})) : α \in \pazocal Y, β_{i} \in \pazocal X),

(\pazocal P ▽_{0} \pazocal Q) (n) ≅ \pazocal O (n) .

(\pazocal P ▽_{0} \pazocal Q) (n) ≅ \pazocal O (n) .

s^{- 1} \overline{\pazocal Q^{!‘}} \oplus s^{- 1} \overline{\pazocal P^{!‘}} \oplus (\overline{\pazocal Q^{!‘}} \circ (s^{- 1} \overline{\pazocal P^{!‘}}))

s^{- 1} \overline{\pazocal Q^{!‘}} \oplus s^{- 1} \overline{\pazocal P^{!‘}} \oplus (\overline{\pazocal Q^{!‘}} \circ (s^{- 1} \overline{\pazocal P^{!‘}}))

(\pazocal T (s^{- 1} \overline{\pazocal Q^{!‘}} \oplus s^{- 1} \overline{\pazocal P^{!‘}} \oplus (\overline{\pazocal Q^{!‘}} \circ (s^{- 1} \overline{\pazocal P^{!‘}}))), d)

(\pazocal T (s^{- 1} \overline{\pazocal Q^{!‘}} \oplus s^{- 1} \overline{\pazocal P^{!‘}} \oplus (\overline{\pazocal Q^{!‘}} \circ (s^{- 1} \overline{\pazocal P^{!‘}}))), d)

(\pazocal T (s^{- 1} \overline{\pazocal Q^{!‘}} \oplus s^{- 1} \overline{\pazocal P^{!‘}} \oplus (\overline{\pazocal Q^{!‘}} \circ (s^{- 1} \overline{\pazocal P^{!‘}}))), d) .

(\pazocal T (s^{- 1} \overline{\pazocal Q^{!‘}} \oplus s^{- 1} \overline{\pazocal P^{!‘}} \oplus (\overline{\pazocal Q^{!‘}} \circ (s^{- 1} \overline{\pazocal P^{!‘}}))), d) .

\pazocal T (\pazocal X \oplus s^{- 1} \overline{\pazocal Q^{!‘}} \oplus (\overline{\pazocal Q^{!‘}} \circ \pazocal X)) / (\pazocal R),

\pazocal T (\pazocal X \oplus s^{- 1} \overline{\pazocal Q^{!‘}} \oplus (\overline{\pazocal Q^{!‘}} \circ \pazocal X)) / (\pazocal R),

\pazocal T (\pazocal X \oplus s^{- 1} \overline{\pazocal Q^{!‘}}) / (\pazocal R \oplus (s^{- 1} \overline{\pazocal Q^{!‘}} \circ \pazocal X)),

\pazocal T (\pazocal X \oplus s^{- 1} \overline{\pazocal Q^{!‘}}) / (\pazocal R \oplus (s^{- 1} \overline{\pazocal Q^{!‘}} \circ \pazocal X)),

f_{\textsl Com ▽_{0} \textsl Lie} (t) = n \geq 1 \sum \frac{dim ( \textsl Com ▽ _{0} \textsl Lie ) ( n )}{n !} t^{n} = n \geq 1 \sum \frac{dim \textsl PreLie ( n )}{n !} t^{n} = f_{\textsl PreLie} (t) .

f_{\textsl Com ▽_{0} \textsl Lie} (t) = n \geq 1 \sum \frac{dim ( \textsl Com ▽ _{0} \textsl Lie ) ( n )}{n !} t^{n} = n \geq 1 \sum \frac{dim \textsl PreLie ( n )}{n !} t^{n} = f_{\textsl PreLie} (t) .

f_{\textsl PreLie} (t) = t exp (f_{\textsl PreLie} (t)),

f_{\textsl PreLie} (t) = t exp (f_{\textsl PreLie} (t)),

s^{- 1} \overline{\textsl Com^{!‘}} \oplus s^{- 1} \overline{\textsl Lie^{!‘}} \oplus (\overline{\textsl Lie^{!‘}} \circ (s^{- 1} \overline{\textsl Com^{!‘}})) .

s^{- 1} \overline{\textsl Com^{!‘}} \oplus s^{- 1} \overline{\textsl Lie^{!‘}} \oplus (\overline{\textsl Lie^{!‘}} \circ (s^{- 1} \overline{\textsl Com^{!‘}})) .

f_{\overline{\textsl Com^{!‘}}} (t) = - (- lo g (1 + t) + t) = lo g (1 + t) - t and f_{\overline{\textsl Lie^{!‘}}} (t) = - (exp (- t) - 1 + t) = 1 - t - exp (- t),

f_{\overline{\textsl Com^{!‘}}} (t) = - (- lo g (1 + t) + t) = lo g (1 + t) - t and f_{\overline{\textsl Lie^{!‘}}} (t) = - (exp (- t) - 1 + t) = 1 - t - exp (- t),

f_{s^{- 1} \overline{\textsl Lie^{!‘}}} (t) = exp (- t) - 1 + t, f_{s^{- 1} \overline{\textsl Com^{!‘}}} (t) = - lo g (1 + t) + t,

f_{s^{- 1} \overline{\textsl Lie^{!‘}}} (t) = exp (- t) - 1 + t, f_{s^{- 1} \overline{\textsl Com^{!‘}}} (t) = - lo g (1 + t) + t,

f_{\overline{\textsl Lie^{!‘}} \circ (s^{- 1} \overline{\textsl Com^{!‘}})} (t) = 1 + lo g (1 + t) - t - exp (lo g (1 + t) - t) = 1 + lo g (1 + t) - t - (1 + t) exp (- t),

f_{s^{- 1} \overline{\textsl Com^{!‘}}} (t) + f_{s^{- 1} \overline{\textsl Lie^{!‘}}} (t) + f_{\overline{\textsl Lie^{!‘}} \circ (s^{- 1} \overline{\textsl Com^{!‘}})} (t) = - lo g (1 + t) + t + exp (- t) - 1 + t + 1 + lo g (1 + t) - t - (1 + t) exp (- t) = exp (- t) + t - (1 + t) exp (- t) = t - t exp (- t) .

f_{s^{- 1} \overline{\textsl Com^{!‘}}} (t) + f_{s^{- 1} \overline{\textsl Lie^{!‘}}} (t) + f_{\overline{\textsl Lie^{!‘}} \circ (s^{- 1} \overline{\textsl Com^{!‘}})} (t) = - lo g (1 + t) + t + exp (- t) - 1 + t + 1 + lo g (1 + t) - t - (1 + t) exp (- t) = exp (- t) + t - (1 + t) exp (- t) = t - t exp (- t) .

Peer Reviews

No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.

Videos

No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.

Full text

Algebraic structures of $F$ -manifolds via pre-Lie algebras

Vladimir Dotsenko

School of Mathematics, Trinity College, Dublin 2, Ireland, and Departamento de Matemáticas, CINVESTAV-IPN, Av. Instituto Politécnico Nacional 2508, Col. San Pedro Zacatenco, México, D.F., CP 07360, Mexico

[email protected]

To Yuri Ivanovich Manin,

with my deepest respect and admiration

Abstract.

We relate the operad $\operatorname{\textsl{FMan}}$ controlling the algebraic structure on the tangent sheaf of an $F$ -manifold (weak Frobenius manifold) defined by Hertling and Manin to the operad $\operatorname{\textsl{PreLie}}$ of pre-Lie algebras: for the filtration of $\operatorname{\textsl{PreLie}}$ by powers of the ideal generated by the Lie bracket, the associated graded object is $\operatorname{\textsl{FMan}}$ .

2010 Mathematics Subject Classification:

18D50 (Primary), 18G55, 53D45, 68Q42 (Secondary)

Introduction

The notion of an $F$ -manifold (weak Frobenius manifold) was introduced by Hertling and Manin [8] as a relaxation of the notion of a Frobenius manifold. By definition, an $F$ -manifold is a pair $(M,-\circ-)$ consisting of a smooth supermanifold $M$ and a smooth bilinear commutative associative product $-\circ-$ on the tangent sheaf $TM$ satisfying the condition

[TABLE]

where $P_{X_{1}}(X_{2},X_{3})=[X_{1},X_{2}\circ X_{3}]-[X_{1},X_{2}]\circ X_{3}-(-1)^{|X_{1}||X_{2}|}X_{2}\circ[X_{1},X_{3}]$ measures to what extent the product $-\circ-$ and the usual Lie bracket of vector fields fail the Poisson algebra axioms. Any Frobenius manifold is an $F$ -manifold; any $F$ -manifold for which the product $-\circ-$ is semisimple can be made into a Frobenius manifold [8]. A very deep operadic result on $F$ -manifolds was established by Merkulov [18]: any homotopy Gerstenhaber algebra gives rise to an $F$ -manifold (in fact to a much richer structure including higher operations). However, a very fundamental problem of a reasonable description of the operad $\operatorname{\textsl{FMan}}$ encoding “ $F$ -manifold algebras”, that is algebras with an associative commutative product and a Lie bracket satisfying the Hertling–Manin condition, has never been addressed. On the one hand, it is not surprising, since the Hertling–Manin condition is a cubic relation, and as such the operad $\operatorname{\textsl{FMan}}$ is completely outside the scope of applicability of traditional methods of the operad theory like the Koszul duality theory, so there are no readily available methods to study it, as remarked by Manin in [12, Sec. 3.3, Remark] where the question of studying the operad $\operatorname{\textsl{FMan}}$ is emphasised. On the other hand, this algebraic structure appears as fundamental as the one controlled by the Poisson operad, and its satisfactory algebraic description is highly desirable.

In this paper, we give a very direct description of the operad $\operatorname{\textsl{FMan}}$ . Quite surprisingly, this operad turns out to be intimately related to one of the most famous operads appearing in the literature, the operad $\operatorname{\textsl{PreLie}}$ of pre-Lie algebras [4] that controls bilinear products $-\cdot-$ on a graded vector space $V$ satisfying the condition

[TABLE]

This condition implies that the bracket $[X_{1},X_{2}]=X_{1}\cdot X_{2}-(-1)^{|X_{1}||X_{2}|}X_{2}\cdot X_{1}$ satisfies the Jacobi identity. The slogan promoted by this note is “ $F$ -manifold algebras are the same to pre-Lie algebras as Poisson algebras to associative algebras.” (The word “algebras” is used in that slogan four times to emphasize that we consider algebraic properties of the structure on the tangent sheaf of an $F$ -manifold, and ignore the geometry of the arguments, the vector fields.)

In fact, there exists a commutative diagram of operads

[TABLE]

where the vertical arrows are isomorphisms on the level of $\mathbb{S}$ -modules (but not on the level of operads). Note that in contrast with the operad $\operatorname{\textsl{FMan}}$ the defining relations of the operad $\operatorname{\textsl{PreLie}}$ are quadratic, and the symmetrised pre-Lie product $X_{1}\circ X_{2}=X_{1}\cdot X_{2}+(-1)^{|X_{1}||X_{2}|}X_{2}\cdot X_{1}$ does not satisfy any identities at all, as established in [2]. Our approach substantially relies on shuffle operads and rewriting methods for operads. We introduce and use two new general notions: an almost composite product and an almost distributive law.

Acknowledgements

I am indebted to Yuri Ivanovich Manin for inspiring conversations about $F$ -manifolds. Thanks are also due to Sergei Merkulov and Bruno Vallette for useful comments on a draft version of this paper.

Conventions

This is a short note, and we do not intend to overload it with excessive recollections. For relevant information on symmetric operads and Koszul duality, we refer the reader to the monograph [14], and for information on shuffle operads, Gröbner bases and rewriting systems to the monograph [3].

All operads in this paper are defined over a field $\mathbbold{k}$ of characteristic zero. We assume all operads reduced ( $\pazocal{P}(0)=0$ ) and connected ( $\pazocal{P}(1)=\mathbbold{k}$ ). The (co)augmentation (co)ideal of an (co)operad $\pazocal{P}$ is denoted $\overline{\pazocal{P}}$ . The Koszul dual of a quadratic operad $\pazocal{P}$ is denoted $\pazocal{P}^{\scriptstyle\text{\rm!`}}$ . When writing down elements of operads, we use arguments $a_{1}$ , …, $a_{n}$ as placeholders, and capital Latin letters $X_{1}$ , …, $X_{n}$ as arguments (belonging to actual graded vector spaces on which operads act). Thus, the pre-Lie identity in the operadic form is

[TABLE]

and the signs in (1) arise from applying this to a decomposable tensor $X_{1}\otimes X_{2}\otimes X_{3}$ and using the standard Koszul sign rule.

The Lie filtration and $F$ -manifold algebras

We begin with making the statements from the introduction completely clear. Let us begin with a precise operadic definition of the protagonist of this paper.

Definition 1.

The operad $\operatorname{\textsl{FMan}}$ of $F$ -manifold algebras is generated by a symmetric binary operation $-\circ-$ and a skew-symmetric binary operation $[-,-]$ satisfying the associativity relation and the Jacobi identity

[TABLE]

and related to each other by the Hertling–Manin relation

[TABLE]

Our next step is to define the filtration of the pre-Lie operad which we shall need.

Definition 2.

The Lie filtration $F^{\bullet}\operatorname{\textsl{PreLie}}$ of the operad of pre-Lie algebras is defined as the filtration by powers of the ideal generated by the Lie bracket $[-,-]$ . In other words, $F^{k}\operatorname{\textsl{PreLie}}$ is the span of tree tensors in which at least $k$ vertices are labelled with $[-,-]$ .

Now everything is prepared for our main result to be stated.

Theorem 3.

The operad $\operatorname{\textsl{FMan}}$ is the associated graded object for the Lie filtration: we have an operad isomorphism

[TABLE]

In particular,

[TABLE]

and the $S_{n}$ -module $\operatorname{\textsl{FMan}}(n)$ is isomorphic to the module of rooted trees on $\{1,\ldots,n\}$ .

Note that the same filtration can be defined for the operad $\operatorname{\textsl{Ass}}$ of associative algebras. In that case, it is well known [11, 16] that $\operatorname{gr}_{F}\operatorname{\textsl{Ass}}\cong\operatorname{\textsl{Poisson}}$ . To prove it, one may first note that a direct computation demonstrates that relations of $\operatorname{\textsl{Poisson}}$ hold in $\operatorname{gr}_{F}\operatorname{\textsl{Ass}}$ , which leads to a surjective map between these operads. Establishing that this map is an isomorphism can then be done by proving that this operads are of the same size, which requires some extra work. It turns out that a similar strategy, albeit more involved in the “extra work” part, is available in our case. We shall make the first step and establish a lower bound on the operad $\operatorname{\textsl{FMan}}$ (a posteriori, this bound will turn out to be sharp), and then develop a general formalism of almost composite products and almost distributive laws needed to complete the proof (note that in the case of the Poisson operad, we are dealing with actual composite products and distributive laws, so the parallelism of proofs is very apparent).

Lemma 4.

We have a surjection of operads

[TABLE]

Proof.

Recall that the symmetrised pre-Lie product $-\circ-$ and the bracket $[-,-]$ in the operad $\operatorname{\textsl{PreLie}}$ satisfy the following relation:

[TABLE]

see [3, Example 5.6.4.1]. Considering it as a relation in a shuffle operad and computing its S-polynomial with itself, one arrives at a relation

[TABLE]

Let us consider the images of both of these relations in $\operatorname{gr}_{F}\operatorname{\textsl{PreLie}}$ . The first one is a combination of terms where the bracket is used [math], $1$ , and $2$ times. In the associated graded object, this relation becomes the associativity of the product $-\circ-$ . The second one is a combination of terms where the bracket is used $1$ , $2$ , and $3$ times. In the associated graded object, this relation becomes

[TABLE]

which, modulo associativity, is equivalent to the Hertling–Manin condition. It remains to notice that by a standard polarisation argument [16], the operations $-\circ-$ and $[-,-]$ generate the operad $\operatorname{\textsl{PreLie}}$ , so the operad $\operatorname{gr}_{F}\operatorname{\textsl{PreLie}}$ is generated by their cosets, and hence it is a homomorphic image of the operad $\operatorname{\textsl{FMan}}$ . ∎

Almost composite products and almost distributive laws

In the case of the operad of Poisson algebras, the relation between $-\circ-$ and $[-,-]$ is a rewriting rule allowing to get rid of all occurrences of products inside brackets, showing that there is a surjective map onto the Poisson operad from the composite product $\operatorname{\textsl{Com}}\circ\operatorname{\textsl{Lie}}$ . In the case of $F$ -manifold algebras, one can mimic this approach. For that, we introduce and study a new general operadic construction.

Definition 5.

Suppose that $\pazocal{P}=\pazocal{T}(\pazocal{X})/(\pazocal{R})$ and $\pazocal{Q}=\pazocal{T}(\pazocal{Y})/(\pazocal{S})$ are two operads. The almost composite product of $\pazocal{P}$ and $\pazocal{Q}$ , denoted $\pazocal{P}\triangledown_{0}\pazocal{Q}$ , is defined as

[TABLE]

Remark 6.

The usual composite product $\pazocal{P}\circ\pazocal{Q}$ of the underlying $\mathbb{S}$ -modules of $\pazocal{P}$ and $\pazocal{Q}$ is the underlying $\mathbb{S}$ -module of the operad

[TABLE]

whose relations are known as the trivial distributive law between $\pazocal{P}$ and $\pazocal{Q}$ , see [14, Sec. 8.6.4], which explains our terminology. Note that unlike the trivial distributive laws, almost composite products are not defined by quadratic relations, unless $\pazocal{Q}$ is generated by unary operations. This takes these operads outside the scope of commonly used methods of operad theory.

We shall now establish two general results about almost composite products, which are analogous to corresponding results about trivial distributive laws. First, we shall show that the almost composite product of two operads $\pazocal{P}$ and $\pazocal{Q}$ is an upper bound on a certain class of quotients of $\pazocal{P}\bigvee\pazocal{Q}$ , in the same way as the trivial distributive law is an upper bound for general rewriting rules used to define distributive laws between operads [14, 15].

Proposition 7.

Let $\pazocal{P}=\pazocal{T}(\pazocal{X})/(\pazocal{R})$ and $\pazocal{Q}=\pazocal{T}(\pazocal{Y})/(\pazocal{S})$ be two operads, and let $\pazocal{O}$ be an operad of the form

[TABLE]

where $f\colon\pazocal{Y}\circ\pazocal{X}\to\pazocal{P}\bigvee\pazocal{Q}$ is a linear map whose image is contained in the right ideal generated by $\pazocal{X}$ . Then for each $n\geq 1$ , there is a surjection of vector spaces

[TABLE]

Proof.

Let us view the shuffle operads associated to $\pazocal{P}\triangledown_{0}\pazocal{Q}$ and $\pazocal{O}$ as quotients of the free shuffle operad generated by $\pazocal{X}\oplus\pazocal{Y}$ . We fix some admissible order $\prec_{0}$ of shuffle tree monomials.

We first note that from the algorithm of computing the reduced Gröbner basis for a given operad, it is clear that the reduced Gröbner basis for the operad $\pazocal{P}\triangledown_{0}\pazocal{Q}$ consists of linear combinations of monomials where vertices labelled by elements of $\pazocal{Y}$ are “closer to the leaves”, that is there is no vertex labelled by an element from $\pazocal{Y}$ has a child labelled by an element of $\pazocal{X}$ .

Let us now examine the operad $\pazocal{O}$ . The situation with this operad is more complicated: generally, there is no choice of an admissible order for which $\alpha(\beta_{1},\ldots,\beta_{k})$ is the leading term of $\alpha(\beta_{1},\ldots,\beta_{k})-f(\alpha(\beta_{1},\ldots,\beta_{k}))$ . For that reason, we need to invoke a rewriting system argument. Let us define the following order on shuffle tree monomials: $T\prec T^{\prime}$ if

$n(T)>n(T^{\prime})$ , where $n(T)$ is the number of pairs of internal vertices $(v,v^{\prime})$ of $T$ , where $v$ is on the way from the root of $T$ to $v^{\prime}$ , the label of $v$ is from $\pazocal{X}$ , and the label of $v^{\prime}$ is from $\pazocal{Y}$ ;

-

$n(T)=n(T^{\prime})$ , and $T\prec_{0}T^{\prime}$ .

This order is not a monomial order. However, it is a total order, so it certainly allows to convert relations into rewriting rules (so every set of relations gives rise to a rewriting system), and it is a well-order (so every rewriting system is convergent). Note that for the operad $\pazocal{P}\triangledown_{0}\pazocal{Q}$ only tree monomials $T$ with $n(T)=0$ appear in the process of Knuth–Bendix completion of the corresponding rewriting system [9], so the direction of all relations is dictated by $\prec_{0}$ , and the result of the completion is the reduced Gröbner basis.

Let us now apply the Knuth–Bendix completion procedure to relations of the operad $\pazocal{O}$ . It is clear than when we consider the critical pairs coming from the mixed $\pazocal{P}$ - $\pazocal{Q}$ -relations and the $\pazocal{Q}$ -relations, the computation mimics the one we performed for the operad $\pazocal{P}\triangledown_{0}\pazocal{Q}$ , adding some extra terms for which the parameter $n(T)$ is higher; thus these terms are smaller with respect to the order $\prec$ . This means that whenever the Knuth–Bendix procedure produced a new rewriting rule for $\pazocal{P}\triangledown_{0}\pazocal{Q}$ , it produces a new rewriting rule for $\pazocal{O}$ , and the left hand side of that rule is the same. (In principle, completely new rewriting rules may arise here: if a critical pair does not produce a new rewriting rule for $\pazocal{P}\triangledown_{0}\pazocal{Q}$ , it still may produce one for $\pazocal{O}$ .) By contrast, the critical pairs coming from the mixed $\pazocal{P}$ - $\pazocal{Q}$ -relations and the $\pazocal{P}$ -relations contribute nothing in the case of the operad $\pazocal{P}\triangledown_{0}\pazocal{Q}$ , but may result in new Gröbner basis elements for $\pazocal{O}$ .

We observe that the left hands sides of the rewriting rule set of normal forms for the component $\pazocal{O}$ include all the left hand sides of the rewriting rule set of normal forms for the component $\pazocal{P}\bigvee\pazocal{Q}$ , so the set of normal forms for the operad $\pazocal{O}$ is a subset of the set of the normal forms for $(\pazocal{P}\triangledown_{0}\pazocal{Q})(n)$ , which proves our claim. ∎

The analogy with distributive laws mentioned above suggests the following definition.

Definition 8.

Let $\pazocal{P}=\pazocal{T}(\pazocal{X})/(\pazocal{R})$ and $\pazocal{Q}=\pazocal{T}(\pazocal{Y})/(\pazocal{S})$ be two operads, and let $\pazocal{O}$ be an operad of the form

[TABLE]

where $f\colon\pazocal{Y}\circ\pazocal{X}\to\pazocal{P}\bigvee\pazocal{Q}$ is a linear map whose image is contained in the right ideal generated by $\pazocal{X}$ . The map $f$ is said to be an almost distributive law between $\pazocal{P}$ and $\pazocal{Q}$ if for each $n$ we have an isomorphism of $\mathbb{S}$ -modules

[TABLE]

Let us now determine the minimal model of the almost composite product of two Koszul operads. This result is inspired by both the computation of the minimal model of the trivial distributive law between two Koszul operads [14, Prop. 8.6.3] and the approach to infinity-morphisms of strong homotopy algebras using “homotopy Koszul operads” [19].

Proposition 9.

Let $\pazocal{P}=\pazocal{T}(\pazocal{X})/(\pazocal{R})$ and $\pazocal{Q}=\pazocal{T}(\pazocal{Y})/(\pazocal{S})$ be two Koszul operads. Consider the endomorphism $d$ of the free operad $\pazocal{T}(s^{-1}\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\oplus\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\oplus s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}})$ defined on the generators as follows:

on the first group of generators, $d(s^{-1}\lambda)=d_{\Omega(\pazocal{Q}^{\scriptstyle\text{\rm!`}})}(s^{-1}\lambda)$ ,

-

on the second group of generators, $d(\lambda)=s^{-1}\lambda-(\operatorname{id}\otimes s)d_{\Omega(\pazocal{Q}^{\scriptstyle\text{\rm!`}})}(s^{-1}\lambda)$ ,

-

on the third group of generators, $d(s^{-1}\mu)=d_{\Omega(\pazocal{P}^{\scriptstyle\text{\rm!`}})}(s^{-1}\mu)$ .

Then $d^{2}=0$ . Moreover, the suboperad of $\pazocal{T}(s^{-1}\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\oplus\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\oplus s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}})$ generated by

[TABLE]

is a free operad and a $d$ -invariant subspace, and the quasi-free operad

[TABLE]

is a minimal model of the operad $\pazocal{P}\triangledown_{0}\pazocal{Q}$ .

Proof.

A direct inspection confirms that $d^{2}=0$ (note that this is only needed to check on the second group of generators, as on the two other groups it follows from the fact that the cobar complex of a cooperad is a chain complex). It is also immediate to check that the suboperad $s^{-1}\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\oplus s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}}\oplus(\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\circ(s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}}))$ is $d$ -invariant; once again, it is clear that for the generators of the first and the second group, their images under $d$ are made of elements of the same kind, so only the generators of $\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\circ(s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}})$ need to be inspected. Also, this suboperad is free, since every element can be uniquely represented as a composite of generators; for that, it is useful to note that $\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}$ (without $s^{-1}$ ) only appears in the third group of generators.

Let us compute the homology of the operad

[TABLE]

For that, we introduce a weight grading on this operad defined by assigning weight [math] to generators from $s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}}$ , and weight $1$ to generators from both $s^{-1}\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}$ and $\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\circ(s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}})$ . Note that the contributions of $d_{\Omega(\pazocal{P}^{\scriptstyle\text{\rm!`}})}$ to $d$ (those appear in the images under $d$ of generators from $s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}}$ and $\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\circ(s^{-1}\overline{\pazocal{P}^{\scriptstyle\text{\rm!`}}})$ ) do not change weight, and all other contributions to $d$ increase weight by at least one. Thus, we are dealing with a filtered chain complex, and we may consider the corresponding spectral sequence. The differential of the first page of that spectral sequence kills all the higher homotopies for $\pazocal{P}$ ; thus, homology of that differential is identified with the operad

[TABLE]

with the obvious differential derived from $d$ . To compute the homology of that differential, we introduce another filtration defined by assigning weight [math] to generators from $\pazocal{X}$ , and weight $1$ to generators from both $s^{-1}\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}$ and $\overline{\pazocal{Q}^{\scriptstyle\text{\rm!`}}}\circ\pazocal{X}$ . Note that for each generator, the contribution of the map $\lambda\mapsto s^{-1}\lambda$ does not change weight, and the contributions of $d_{\Omega(\pazocal{Q}^{\scriptstyle\text{\rm!`}})}$ increase the weight by at least one. The differential of the first page of the spectral sequence of this new filtered complex has the homology

[TABLE]

with the differential $(0,d_{\Omega(\pazocal{Q}^{\scriptstyle\text{\rm!`}})})$ . The homology of that differential is manifestly the operad $\pazocal{P}\triangledown_{0}\pazocal{Q}$ , and there is no room for further differentials. ∎

Main result

Proof of Theorem 3.

Let us first establish that $\dim(\operatorname{\textsl{Com}}\triangledown_{0}\operatorname{\textsl{Lie}})(n)=\dim\operatorname{\textsl{PreLie}}(n)$ for all $n\geq 1$ , or in other words

[TABLE]

It is well known that the right hand side is a solution to the functional equation

[TABLE]

which follows either from the rooted trees construction of the operad $\operatorname{\textsl{PreLie}}$ as in [4], or from the Koszul duality theory. Thus, it is sufficient to establish that the left hand side is a solution to the same functional equation. By Proposition 9, the minimal model of $\operatorname{\textsl{Com}}\triangledown_{0}\operatorname{\textsl{Lie}}$ is generated by

[TABLE]

The generating functions of the Euler characteristics of the corresponding operads are, respectively,

[TABLE]

so we have

[TABLE]

and

[TABLE]

Finally, it is known [17] that for a minimal model $(\pazocal{T}(\pazocal{E}),d)$ of any operad $\pazocal{P}$ , the series $t-f_{\pazocal{E}}(t)$ is the compositional inverse of the series $f_{\pazocal{P}}(t)$ , so $t\exp(-t)$ is the compositional inverse of $f_{\operatorname{\textsl{Com}}\triangledown_{0}\operatorname{\textsl{Lie}}}(t)$ , and

[TABLE]

which is the same as the functional equation (3), as required.

The result we just proved, together with Propositions 4 and 7, means that we have a a diagram of finite-dimensional vector spaces

[TABLE]

where the first and the last term are of the same dimension, and all maps are isomorphisms and surjections, hence all maps must be isomorphisms. In particular, the maps $\operatorname{\textsl{FMan}}(n)\twoheadrightarrow\operatorname{gr}_{F}\operatorname{\textsl{PreLie}}(n)$ arise from a map of operads, so they assemble into an operad isomorphism. The claims about the dimension and the $S_{n}$ -action follow since they are known to hold for the operad $\operatorname{\textsl{PreLie}}$ [4], and our filtration is equivariant. ∎

Concluding remarks

Strong homotopy $F$ -manifold algebras

Our proof of the main result implies that the operad $\operatorname{\textsl{FMan}}$ is obtained from operads $\pazocal{P}$ and $\pazocal{Q}$ by an almost distributive law. Using a perturbation argument similar to that in [5], one can establish the following result.

Proposition 10.

Suppose that $\pazocal{O}$ is an operad obtained from Koszul operads $\pazocal{P}$ and $\pazocal{Q}$ by an almost distributive law, and suppose further that $\pazocal{O}$ has finite-dimensional components. The shuffle operad $\pazocal{O}$ admits a minimal resolution with generators

[TABLE]

Let us give a sketch of a proof. The only serious change in comparison to [5] is replacing Gröbner bases with rewriting systems, similar to how methods of Kobayashi [10] extend those of Anick [1].

The first step, analogous to [5, Th. 2.2], which constructs a resolution for any shuffle operad with monomial relations, goes through unchanged. The second step, analogous to [5, Th. 4.1], amounts to a perturbation argument which allows one to incorporate lower terms of relations; this argument goes through for rewriting systems without any problem, since in fact it only requires knowing the leading term of each relations for computations, and the well-order property for termination of those computations. Since $\pazocal{O}$ is obtained from $\pazocal{P}$ and $\pazocal{Q}$ by an almost distributive law, the proof of Proposition 7 (under our assumption on finite-dimensionality of components of the operad $\pazocal{O}$ ) shows that the operads $\pazocal{P}\triangledown_{0}\pazocal{Q}$ and $\pazocal{O}$ may be presented by rewriting systems with the same sets of left-hand sides, and hence the same associated monomial shuffle operad.

By examining the perturbation argument in [5, Th. 4.1] together with the proof of Proposition 7, one sees that the differentials induced on the spaces of indecomposable elements of thus obtained resolutions of the operads $\pazocal{P}\triangledown_{0}\pazocal{Q}$ and $\pazocal{O}$ have the same homology. Transferring the homotopy cooperad structure from the space of indecomposable elements to homology [6], and recalling Proposition 9, one obtains the claimed result.

Thus, the minimal model of the operad $\operatorname{\textsl{FMan}}$ has generators

[TABLE]

That result is notable in the context of Merkulov’s work [18], where the notion of an $F_{\infty}$ -manifold is suggested. The operad controlling $F_{\infty}$ -manifolds in the sense of [18] is not cofibrant, since the Jacobi identity for the Lie bracket is suppose to hold strictly, not just up to homotopy (this is an inevitable consequence of thinking of the operation $[-,-]$ as of the bracket of vector fields even when some structures are relaxed up to homotopy).

Our computation confirms that a cofibrant replacement of $\operatorname{\textsl{FMan}}$ given by the minimal model is of the “right shape”; its lowest level with respect to the hierarchy of $L_{\infty}$ -operations recovers the definition from [18]. This agreement of two results is particularly remarkable in the view of the fact that, unlike Merkulov, we only consider $F$ -manifold algebras, and ignore the underlying geometry.

$F$ -manifold algebras and pre-Lie commutative algebras

As a final remark, let us note that there is another peculiar way of constructing $F$ -manifold algebras from algebras over operads that are a priori unrelated to geometry. Recall the following definition [7, 13].

Definition 11.

The operad of pre-Lie commutative algebras is generated by a symmetric binary operation $-\circ-$ and a binary operation $-\cdot-$ without any symmetry satisfying the following relations:

[TABLE]

It turns out that every pre-Lie commutative algebra has a canonical structure of an $F$ -manifold algebra.

Proposition 12.

In any pre-Lie commutative algebra, the product $\circ$ and the bracket $[a_{1},a_{2}]=a_{1}\cdot a_{2}-a_{2}\cdot a_{1}$ satisfy the $F$ -manifold algebra identities.

Proof.

Associativity and the Jacobi identity are obvious, so we just need to verify the Hertling–Manin condition. Note that in a pre-Lie commutative algebra, we have

[TABLE]

From this, the Hertling–Manin condition is quite easy to see:

[TABLE]

as required. ∎

We conjecture that this construction embeds the operad $\operatorname{\textsl{FMan}}$ into the operad of pre-Lie commutative algebras, which may lead to further ways of studying it.

Bibliography19

The reference list from the paper itself. Each links out to its DOI / PubMed record.

1[1] David J. Anick, On the homology of associative algebras , Trans. Amer. Math. Soc. 296 (1986), no. 2, 641–659.
2[2] Nantel Bergeron and Jean-Louis Loday, The symmetric operation in a free pre-Lie algebra is magmatic , Proc. Amer. Math. Soc. 139 (2011), no. 5, 1585–1597.
3[3] Murray Bremner and Vladimir Dotsenko, Algebraic operads: an algorithmic companion , CRC Press, 2016, xvii+365 pp.
4[4] Frédéric Chapoton and Muriel Livernet, Pre-Lie algebras and the rooted trees operad , Int. Math. Res. Notices 8 (2001), 395–408.
5[5] Vladimir Dotsenko and Anton Khoroshkin, Quillen homology for operads via Gröbner bases , Documenta Math. 18 (2013), 707–747.
6[6] Gabriel Drummond-Cole and Bruno Vallette, The minimal model for the Batalin–Vilkovisky operad , Selecta Math., 19 (2013), no. 1, 1–47.
7[7] Loïc Foissy, The Hopf algebra of Fliess operators and its dual pre-Lie algebra , Comm. in Algebra 43 (2015), no. 10, 4528–4552.
8[8] Claus Hertling and Yu. I. Manin, Weak Frobenius manifolds , Int. Math. Res. Notices 6 (1999), 277–286.

TL;DR

Contribution

Findings

Abstract

Peer Reviews

Videos

Algebraic structures of FFF-manifolds via pre-Lie algebras

Abstract.

2010 Mathematics Subject Classification:

Introduction

Acknowledgements

Conventions

The Lie filtration and FFF-manifold algebras

Definition 1**.**

Definition 2**.**

Theorem 3**.**

Lemma 4**.**

Proof.

Almost composite products and almost distributive laws

Definition 5**.**

Remark 6**.**

Proposition 7**.**

Proof.

Definition 8**.**

Proposition 9**.**

Proof.

Main result

Proof of Theorem 3.

Concluding remarks

Strong homotopy FFF-manifold algebras

Proposition 10**.**

FFF-manifold algebras and pre-Lie commutative algebras

Definition 11**.**

Proposition 12**.**

Proof.

Algebraic structures of $F$ -manifolds via pre-Lie algebras

The Lie filtration and $F$ -manifold algebras

Definition 1.

Definition 2.

Theorem 3.

Lemma 4.

Definition 5.

Remark 6.

Proposition 7.

Definition 8.

Proposition 9.

Strong homotopy $F$ -manifold algebras

Proposition 10.

$F$ -manifold algebras and pre-Lie commutative algebras

Definition 11.

Proposition 12.