Categorical Saito theory, II: Landau-Ginzburg orbifolds

TL;DR

This paper develops a $G$-equivariant version of Saito's primitive form theory using matrix factorizations, linking it to FJRW theory and mirror symmetry, with explicit verifications for specific Landau-Ginzburg models.

Contribution

It constructs a canonical categorical primitive form for $G$-equivariant matrix factorizations and relates it to FJRW theory and mirror symmetry conjectures.

Findings

Established existence of a $G$-equivariant primitive form.

Verified conjectural equivalence with FJRW theory in specific cases.

Proved comparison of B-model VSHS for the Quintic family.

Abstract

Let $W\in \mathbb{C}[x_1,\cdots,x_N]$ be an invertible polynomial with an isolated singularity at origin, and let $G\subset {{\sf SL}}_N\cap (\mathbb{C}^*)^N$ be a finite diagonal and special linear symmetry group of $W$. In this paper, we use the category ${{\sf MF}}_G(W)$ of $G$-equivariant matrix factorizations and its associated VSHS to construct a $G$-equivariant version of Saito's theory of primitive forms. We prove there exists a canonical categorical primitive form of ${{\sf MF}}_G(W)$ characterized by $G_W^{{\sf max}}$-equivariance. Conjecturally, this $G$-equivariant Saito theory is equivalent to the genus zero part of the FJRW theory under LG/LG mirror symmetry. In the marginal deformation direction, we verify this for the FJRW theory of $\big(\frac{1}{5}(x_1^5+\cdots+x_5^5),\mathbb{Z}/5\mathbb{Z}\big)$ with its mirror dual B-model Landau-Ginzburg orbifold $\big(\frac{1}{5}(x_1^5+\cdots+x_5^5), (\mathbb{Z}/5\mathbb{Z})^4\big)$. In the case of the Quintic family $\mathcal{W}=\frac{1}{5}(x_1^5+\cdots+x_5^5)-\psi x_1x_2x_3x_4x_5$, we also prove a comparison result of B-model VSHS's conjectured by Ganatra-Perutz-Sheridan.