skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: 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
PAR ID:
10293242
Author(s) / Creator(s):
;
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
  1. Abstract 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}$$. 
    more » « less
  2. 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
  3. A homology class [Formula: see text] of a complex flag variety [Formula: see text] is called a line degree if the moduli space [Formula: see text] of 0-pointed stable maps to X of degree d is also a flag variety [Formula: see text]. We prove a quantum equals classical formula stating that any n-pointed (equivariant, [Formula: see text]-theoretic, genus zero) Gromov–Witten invariant of line degree on X is equal to a classical intersection number computed on the flag variety [Formula: see text]. We also prove an n-pointed analogue of the Peterson comparison formula stating that these invariants coincide with Gromov–Witten invariants of the variety of complete flags [Formula: see text]. Our formulas make it straightforward to compute the big quantum [Formula: see text]-theory ring [Formula: see text] modulo the ideal [Formula: see text] generated by degrees d larger than line degrees. 
    more » « less
  4. 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
  5. 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