Abstract Hodge decomposition and minimal models for cyclic algebras (Q839593): Difference between revisions

This paper is a continuation of the work of the authors [J. Lond. Math. Soc., II. Ser. 81, No.~2, 317--337 (2010; Zbl 1232.18010)]. \textit{T. V. Kadeishvili} [Soobshch. Acad. Nauk Gruzin SSR 108, 249--252 (1982; Zbl 0535.55005)] showed the existence of minimal models for \(A_\infty\) algebras. Explicit formulae were found for their structure maps by \textit{M. Kontsevich} and \textit{Y. Soibelman} [Math. Phys. Stud. 21, 255--307 (2000; Zbl 0972.18005)], \textit{M. Markl} [Supplemento ai Rendiconti del Circolo Matematico di Palermo. Serie II 79, 139--151 (2006; Zbl 1112.18007)] and \textit{S. A. Merkulov} [Int. Math. Res. Not. 1999, No.~3, 153--164 (1999; Zbl 0995.32013)], using summations over trees. The current authors [loc. cit.] gave a new operadic approach, including \(C_\infty\) and \(L_\infty\) algebras, explaining conceptually the occurrence of tree sum formulae. This included as a special case the theory of minimal models for homotopy algebras equipped with non-degenerate bilinear forms, the summations over trees being similar to Feynman graphs. This paper extends the theory to homotopy algebras with a (not necessarily non-degenerate) bilinear form, via the addition of further algebraic data. For an arbitrary differential graded vector space \(V\) with symmetric bilinear form compatible with \(d\), an abstract Hodge decomposition (also known as ``splitting homotopy'' or ``strong deformation retract data'') is a pair of maps \(s,t:V\rightarrow{}V\) for which \(s^2=0\), \(t^2=t\), \(st=ts=0\), \(dt=td\), \(sd+ds=1-t\), \(\langle{}sx,y\rangle=(-1)^{|x|}\langle{}x,sy\rangle\), and \(\langle{}tx,y\rangle=\langle{}x,ty\rangle\). This notion is built on the standard Hodge decomposition on smooth oriented compact manifolds, which in fact gives only an almost Hodge decomposition (the weakened assumption is that \(ds+sd+t\) is invertible rather than identical to \(1\)), where \(s=d^*\) and \(t\) is an orthogonal projection onto harmonic forms. An abstract Hodge decomposition is said to be harmonious if \(dt=0\). Suppose \(\mathcal{O}\) is an admissible cyclic operad and \(bv{\mathcal{O}}\) is its canonical cofibrant resolution (double cobar-construction). The main theorem of the paper states that if \(V\) is a cyclic \(\mathcal{O}\) algebra with a symmetric (not necessarily no-degenerate) bilinear form and abstract Hodge decomposition, then {\parindent6.5mm \begin{itemize}\item[(1)] the \(bv{\mathcal{O}}\)-algebra structure on \(t(V)\) makes it a cyclic \(bv{\mathcal{O}}\)-algebra, while the induced cyclic \(bv{\mathcal{O}}\)-algebra structure on the homology \(H(V)\) induced by any two harmonious Hodge decompositions, are cyclically homotopy equivalent; \item[(2)] in the case where \(\mathcal{O}\) is the cobar-construction of an anticyclic operad, the ``Merkulov-type formulae'' for structure maps from the previous paper gives a minimal model for \(V\) as a cyclic \(\mathcal{O}\)-algebra, and that the induced cyclic \(\mathcal{O}\)-algebra structure on \(H(V)\) from any two harmonious Hodge decompositions are cyclically homotopically equivalent. \end{itemize}}