Categorical Saito theory, I: A comparison result

Categorical Saito theory, II: Landau-Ginzburg orbifolds

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 equivale…

Categorical primitive forms and Gromov-Witten invariants of $A_n$ singularities

We introduce a categorical analogue of Saito's notion of primitive forms. Let $W$ denote the potential $\frac{1}{n+1} x^{n+1}$. For the category $MF(W)$ of matrix factorizations of $W$ we prove that there exists a unique, up to non-zero constant, categorical primitive form. The corresponding genus zero categorical Gromov-Witten invariants of $MF(W)$ are shown to match with the invariants defined through unfolding of singularities of $W$.

On derived categories of differential complexes

This paper is devoted to the comparison of different localized categories of differential complexes. The first result is that the canonical functor from the category of complexes of differential operators of order one (defined by Herrera and Lieberman) to the category of differential complexes (of any order, defined by M. Saito), both localized with respect to a suitable notion of quasi-isomorphism, is an equivalence of categories. Then we prove a similar result for a filtered version of the previous categories (defined respectively by Du Bois and M.Saito), localized with respect to graded-qua…

Algebraic Connections vs. Algebraic {$\cD$}-modules: inverse and direct images

In the dictionary between the language of (algebraic integrable) connections and that of (algebraic) $\cD$-modules, to compare the definitions of inverse images for connections and $\cD$-modules is easy. But the comparison between direct images for connections (the classical construction of the Gauss-Manin connection for smooth morphisms) and for $\cD$-modules, although known to specialists, has been explicitly proved only recently in a paper of Dimca, Maaref, Sabbah and Saito in 2000, where the authors' main technical tool was M. Saito's equivalence between the derived category of $\cD$-modul…

具有循环商奇点的log del Pezzo曲面的范畴亏格

Categorical genus for log del Pezzo surfaces with cyclic quotient singularities

本文计算具有循环商奇点的log del Pezzo曲面的典范栈的范畴亏格，通过Serre对偶和惯性Riemann–Roch得到闭式公式，并证明其与Tveiten可变亏格及toric退化下的Laurent多项式纤维亏格一致。

Motivic Realizations of Singularity Categories and Vanishing Cycles

In this paper we establish a precise comparison between vanishing cycles and the singularity category of Landau-Ginzburg models over a complete discrete valuation ring. By using noncommutative motives, we first construct a motivic $\ell$-adic realization functor for dg-categories. Our main result, then asserts that, given a Landau-Ginzburg model over a complete discrete valuation ring with potential induced by a uniformizer, the $\ell$-adic realization of its singularity category is given by the inertia-invariant part of vanishing cohomology. We also prove a functorial and $\infty$-categorical…