Smooth projective Calabi-Yau complete intersections and algorithms for their Frobenius manifolds and higher residue pairings

TL;DR

This paper develops explicit algorithms to construct Frobenius manifold structures and higher residue pairings on the cohomology of Calabi-Yau complete intersections, unifying different approaches via weak primitive forms.

Contribution

It introduces a notion of weak primitive form and provides an explicit Gr"obner basis algorithm, connecting Barannikov-Kontsevich and Saito's methods for Frobenius manifolds.

Findings

Explicit algorithms for Frobenius structures on Calabi-Yau varieties.

Introduction of weak primitive forms linked to Maurer-Cartan solutions.

Unification of different Frobenius manifold constructions.

Abstract

The goal of this article is to provide an explicit algorithmic construction of formal $F$-manifold structures, formal Frobenius manifold structures, and higher residue pairings on the primitive middle-dimensional cohomology $\mathbb{H}$ of a smooth projective Calabi-Yau complete intersection variety $X$ defined by homogeneous polynomials $G_1(\underline x), \dots, G_k(\underline x)$. Our main method is to analyze a certain dGBV (differential Gerstenhaber-Batalin-Vilkovisky) algebra $\mathcal{A}$ obtained from the twisted de Rham complex which computes $\mathbb{H}$. More explicitly, we introduce a notion of \textit{a weak primitive form} associated to a solution of the Maurer-Cartan equation of $\mathcal{A}$ and the Gauss-Manin connection, which is a weakened version of Saito's primitive form (\cite{Saito}). In addition, we provide an explicit algorithm for a weak primitive form based on the Gr\"obner basis in order to achieve our goal. Our approach through the weak primitive form can be viewed as a unifying link (based on Witten's gauged linear sigma model, \cite{W93}) between the Barannikov-Kontsevich's approach to Frobenius manifolds via dGBV algebras (non-linear topological sigma model, \cite{BK}) and Saito's approach to Frobenius manifolds via primitive forms and higher residue pairings (Landau-Ginzburg model, \cite{ST}).