We introduce a categorical analogue of Saito’s notion of primitive forms. For the category $\textsf{MF}(\frac{1}{n+1}x^{n+1})$ of matrix factorizations of $\frac{1}{n+1}x^{n+1}$, we prove that there exists a unique, up to non-zero constant, categorical primitive form. The corresponding genus zero categorical Gromov–Witten invariants of $\textsf{MF}(\frac{1}{n+1}x^{n+1})$ are shown to match with the invariants defined through unfolding of singularities of $\frac{1}{n+1}x^{n+1}$.
Computing a categorical Gromov–Witten invariant
We compute the $g=1$ , $n=1$ B-model Gromov–Witten invariant of an elliptic curve $E$ directly from the derived category $\mathsf{D}_{\mathsf{coh}}^{b}(E)$ . More precisely, we carry out the computation of the categorical Gromov–Witten invariant defined by Costello using as target a cyclic $\mathscr{A}_{\infty }$ model of $\mathsf{D}_{\mathsf{coh}}^{b}(E)$ described by Polishchuk. This is the first non-trivial computation of a positive-genus categorical Gromov–Witten invariant, and the result agrees with the prediction of mirror symmetry: it matches the classical (non-categorical) Gromov–Witten invariants of a symplectic 2-torus computed by Dijkgraaf.
more »
« less
- Award ID(s):
- 1811925
- NSF-PAR ID:
- 10293242
- Date Published:
- Journal Name:
- Compositio Mathematica
- Volume:
- 156
- Issue:
- 7
- ISSN:
- 0010-437X
- Page Range / eLocation ID:
- 1275 to 1309
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract -
Abstract This paper studies the structure and stability of boundaries in noncollapsed $${{\,\mathrm{RCD}\,}}(K,N)$$ RCD ( K , N ) spaces, that is, metric-measure spaces $$(X,{\mathsf {d}},{\mathscr {H}}^N)$$ ( X , d , H N ) with Ricci curvature bounded below. Our main structural result is that the boundary $$\partial X$$ ∂ X is homeomorphic to a manifold away from a set of codimension 2, and is $$N-1$$ N - 1 rectifiable. Along the way, we show effective measure bounds on the boundary and its tubular neighborhoods. These results are new even for Gromov–Hausdorff limits $$(M_i^N,{\mathsf {d}}_{g_i},p_i) \rightarrow (X,{\mathsf {d}},p)$$ ( M i N , d g i , p i ) → ( X , d , p ) of smooth manifolds with boundary, and require new techniques beyond those needed to prove the analogous statements for the regular set, in particular when it comes to the manifold structure of the boundary $$\partial X$$ ∂ X . The key local result is an $$\varepsilon $$ ε -regularity theorem, which tells us that if a ball $$B_{2}(p)\subset X$$ B 2 ( p ) ⊂ X is sufficiently close to a half space $$B_{2}(0)\subset {\mathbb {R}}^N_+$$ B 2 ( 0 ) ⊂ R + N in the Gromov–Hausdorff sense, then $$B_1(p)$$ B 1 ( p ) is biHölder to an open set of $${\mathbb {R}}^N_+$$ R + N . In particular, $$\partial X$$ ∂ X is itself homeomorphic to $$B_1(0^{N-1})$$ B 1 ( 0 N - 1 ) near $$B_1(p)$$ B 1 ( p ) . Further, the boundary $$\partial X$$ ∂ X is $$N-1$$ N - 1 rectifiable and the boundary measure "Equation missing" is Ahlfors regular on $$B_1(p)$$ B 1 ( p ) with volume close to the Euclidean volume. Our second collection of results involve the stability of the boundary with respect to noncollapsed mGH convergence $$X_i\rightarrow X$$ X i → X . Specifically, we show a boundary volume convergence which tells us that the $$N-1$$ N - 1 Hausdorff measures on the boundaries converge "Equation missing" to the limit Hausdorff measure on $$\partial X$$ ∂ X . We will see that a consequence of this is that if the $$X_i$$ X i are boundary free then so is X .more » « less
-
We prove a splitting formula that reconstructs the logarithmic Gromov–Witten invariants of simple normal crossing varieties from the punctured Gromov–Witten invariants of their irreducible components, under the assumption of the gluing strata being toric varieties. The formula is based on the punctured Gromov–Witten theory developed by Abramovich, Chen, Gross, and Siebert.more » « less
-
In a previous paper (Farajzadeh-Tehrani in Geom Topol 26:989–1075, 2022), for any logarithmic symplectic pair (X, D) of a symplectic manifold X and a simple normal crossings symplectic divisor D, we introduced the notion of log pseudo-holomorphic curve and proved a compactness theorem for the moduli spaces of stable log curves. In this paper, we introduce a natural Fredholm setup for studying the deformation theory of log (and relative) curves. As a result, we obtain a logarithmic analog of the space of Ruan–Tian perturbations for these moduli spaces. For a generic compatible pair of an almost complex structure and a log perturbation term, we prove that the subspace of simple maps in each stratum is cut transversely. Such perturbations enable a geometric construction of Gromov–Witten type invariants for certain semi-positive pairs (X, D) in arbitrary genera. In future works, we will use local perturbations and a gluing theorem to construct log Gromov–Witten invariants of arbitrary such pair (X, D).more » « less
-
Abstract Basepoint free cycles on the moduli space $\overline{\operatorname{M}}_{0,n}$ of stable $n$-pointed rational curves, defined using Gromov–Witten invariants of smooth projective homogeneous spaces are introduced and studied. Intersection formulas to find classes are given. Gromov–Witten divisors for projective space are shown equivalent to conformal blocks divisors for type A at level 1.