SEMI-INFINITE FORMS AND TOPOLOGICAL VERTEX OPERATOR ALGEBRAS (Q4513340)

\textit{B. H. Lian} and \textit{G. J. Zuckerman} showed that the cohomology of a (strong) topological chiral algebra has a natural structure of a Batalin-Vilkovisky structure [Commun. Math. Phys 154, 613-646 (1993; Zbl 0780.17029)]. Moreover, they conjectured that there must be a certain homotopy Gerstenhaber algebra structure on a topological chiral algebra. In this paper, semi-infinite forms on moduli spaces of genus-zero Riemann surfaces with punctures and local coordinates are introduced. A partial operad of semi-infinite forms has been constructed. Based on these results, the authors construct topological vertex partial operads of type \(k<0\) and strong topological vertex partial operads of type \(k<0\). It is proved that the category of (locally-)grading restricted (strong) topological vertex operator algebras of type \(k<0\) and the category of (weakly) meromorphic \(\mathbb{Z}\times \mathbb{Z}\)-graded algebras over the strong topological vertex partial operads of type \(k\) are equivalent. As an application, Lian-Zukerman's conjecture has been proved.