Motivated by observations in physics, mirror symmetry is the concept that certain manifolds come in pairs $X$ and $Y$ such that the complex geometry on $X$ mirrors the symplectic geometry on $Y$. It allows one to deduce symplectic information about $Y$ from known complex properties of $X$. Strominger-Yau-Zaslow arXiv:hep-th/9606040 described how such pairs arise geometrically as torus fibrations with the same base and related fibers, known as SYZ mirror symmetry. Kontsevich arXiv:alg-geom/9411018 conjectured that a complex invariant on $X$ (the bounded derived category of coherent sheaves) should be equivalent to a symplectic invariant of $Y$ (the Fukaya category, see references in article abstract). This is known as homological mirror symmetry. In this project, we first use the construction of "generalized SYZ mirrors" for hypersurfaces in toric varieties following Abouzaid-Auroux-Katzarkov arXiv:1205.0053v4, in order to obtain $X$ and $Y$ as manifolds. The complex manifold is the genus 2 curve $Σ_2$ (so of general type $c_1<0$) as a hypersurface in its Jacobian torus. Its generalized SYZ mirror is a Landau-Ginzburg model $(Y,v_0)$ equipped with a holomorphic function $v_0:Y \to \mathbb{C}$ which we put the structure of a symplectic fibration on. We then describe an embedding of a full subcategory of $D^bCoh(Σ_2)$ into a cohomological Fukaya-Seidel category of $Y$ as a symplectic fibration. While our fibration is one of the first nonexact, non-Lefschetz fibrations to be equipped with a Fukaya category, the main geometric idea in defining it is the same as in Seidel's construction for Fukaya categories of Lefschetz fibrations and in Abouzaid-Seidel.
Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. We prove a version of this conjecture in the simplest example, relating the Fukaya category of a genus two curve to the category of Landau-Ginzburg branes on a certain singular rational surface.
The main result of the present paper concerns finiteness properties of Floer theoretic invariants on affine log Calabi-Yau varieties $X$. Namely, we show that: (a) the degree zero symplectic cohomology $SH^0(X)$ is finitely generated and is a filtered deformation of a certain algebra defined combinatorially in terms of a compactifying divisor $\mathbf{D}.$ (b) For any Lagrangian branes $L_0, L_1$, the wrapped Floer groups $WF^*(L_0,L_1)$ are finitely generated modules over $SH^0(X).$ We then describe applications of this result to mirror symmetry, the first of which is an ``automatic generatio…
We derive a closed formula for the generating function of genus two Gromov-Witten invariants of quintic 3-folds and verify the corresponding mirror symmetry conjecture of Bershadsky, Cecotti, Ooguri and Vafa.
Gross, Hacking, and Keel have constructed mirrors of log Calabi-Yau surfaces in terms of counts of rational curves. Using $q$-deformed scattering diagrams defined in terms of higher genus log Gromov-Witten invariants, we construct deformation quantizations of these mirrors and we produce canonical bases of the corresponding noncommutative algebras of functions.
For a stopped Liouville manifold arising from a Liouville sector, we construct a symplectic analogue of the formal neighborhood of the stop on the level of Fukaya categories. This geometric construction is performed via Floer-theoretic methods by allowing wrappings in the negative direction. On the other hand, inspired by homological mirror symmetry for pairs, where the mirror is the formal neighborhood of a divisor in an ambient projective variety, there is a different approach by taking a `categorical formal completion' introduced by Efimov. Our main results establishes equivalence of these …
In this paper we compute certain two-point integrals over a moduli space of stable maps into projective space. Computation of one-point analogues of these integrals constitutes a proof of mirror symmetry for genus-zero one-point Gromov-Witten invariants of projective hypersurfaces. The integrals computed in this paper constitute a significant portion in the proof of mirror symmetry for genus-one GW-invariants completed in a separate paper. These integrals also provide explicit mirror formulas for genus-zero two-point GW-invariants of projective hypersurfaces. The approach described in this pap…
In the first part of this paper, we obtain mirror formulas for twisted genus 0 two-point Gromov-Witten (GW) invariants of projective spaces and for the genus 0 two-point GW-invariants of Fano and Calabi-Yau complete intersections. This extends previous results for projective hypersurfaces, following the same approach, but we also completely describe the structure coefficients in both cases and obtain relations between these coefficients that are vital to the applications to mirror symmetry in the rest of this paper. In the second and third parts of this paper, we confirm Walcher's mirror symme…
We establish a $\mathbb{Z}[[t_1,\ldots, t_n]]$-linear derived equivalence between the relative Fukaya category of the 2-torus with $n$ distinct marked points and the derived category of perfect complexes on the $n$-Tate curve. Specialising to $t_1= \ldots =t_n=0$ gives a $\mathbb{Z}$-linear derived equivalence between the Fukaya category of the $n$-punctured torus and the derived category of perfect complexes on the standard (Néron) $n$-gon. We prove that this equivalence extends to a $\mathbb{Z}$-linear derived equivalence between the wrapped Fukaya category of the $n$-punctured torus and the…
We study categorical primitive forms for Calabi--Yau $A_\infty$ categories with semi-simple Hochschild cohomology. We classify these primitive forms in terms of certain grading operators on the Hochschild homology. We use this result to prove that, if the Fukaya category ${\sf Fuk}(M)$ of a symplectic manifold $M$ has semi-simple Hochschild cohomology, then its genus zero Gromov--Witten invariants may be recovered from the $A_\infty$-category ${\sf Fuk}(M)$ together with the closed-open map. An immediate corollary of this is that in the semi-simple case, homological mirror symmetry implies enu…
We state a wall-crossing formula for the virtual classes of epsilon-stable quasimaps to GIT quotients and prove it for complete intersections in projective space, with no positivity restrictions on their first Chern class. As a consequence, the wall-crossing formula relating the genus g descendant Gromov-Witten potential and the genus g epsilon-quasimap descendant potential is established. For the quintic threefold, our results may be interpreted as giving a rigorous and geometric interpretation of the holomorphic limit of the BCOV B-model partition function of the mirror family.
In this paper we consider the oscillatory integrals on Lefschetz thimbles in the Landau-Ginzburg model as the mirror of a toric Fano manifold. We show these thimbles represent the same relative homology classes as the characteristic cycles of the corresponding constructible sheaves under the equivalence of \cite{GPS18-2}. Then the oscillatory integrals on such thimbles are the same as the integrals on the characteristic cycles and relate to genus $0$ Gromov-Witten descendant potential for $X$, and this leads to a proof of Gamma II conjecture for toric Fano manifolds.
In this paper we outline a setup for Homological Mirror Symmetry for manifolds of general type. Both Physics and Categorical perspectives are considered.
This work establishes a subtle connection between mirror symmetry for Calabi-Yau threefolds and that of curves of higher genus. The linking structure is what we call a perverse curve. We show how to obtain such from Calabi-Yau threefolds in the Batyrev mirror construction and prove that their Hodge diamonds are related by the mirror duality.
This paper constructs and studies the Rabinowitz (wrapped) Fukaya category, a categorical invariant of exact cylindrical Lagrangians in a Liouville manifold whose cohomological morphisms, ``Rabinowitz wrapped Floer homology groups" measure the failure of wrapped Floer cohomology to satisfy Poincare duality (and in particular vanish for any pair with at least one compact Lagrangian). Our main result, answering a conjecture of Abouzaid, relates the Rabinowitz and usual wrapped Fukaya category by way of a general construction introduced by Efimov, the categorical formal punctured neighborhood of …
Let X_n be a cycle of n projective lines, and T_n a symplectic torus with n punctures. In this paper we review results appeared in arXiv:1103.2462 and in arXiv:1109.6615, which establish a version of homological mirror symmetry relating X_n and T_n, and define on D^b(Coh(X_n)) an action of the pure mapping class group of T_n.
We describe the structure of mirror formulas for genus 0 Gromov-Witten invariants of projective complete intersections with any number of marked points and provide an explicit algorithm for obtaining the relevant structure coefficients. The structural description alone suffices for some qualitative applications, such as vanishing results and the bounds on the growth of these invariants predicted by R. Pandharipande.
We prove homological mirror symmetry for the universal centralizer $J_G$ (a.k.a the Toda space), associated to any complex reductive Lie group $G$. The A-side is a partially wrapped Fukaya category on $J_G$, and the B-side is the category of coherent sheaves on the categorical quotient of a dual maximal torus by the Weyl group action (with some modification if the center of $G$ is not connected).
The Fukaya category of a Weinstein manifold is an intricate symplectic invariant of high interest in mirror symmetry and geometric representation theory. This paper informally sketches how, in analogy with Morse homology, the Fukaya category might result from gluing together Fukaya categories of Weinstein cells. This can be formalized by a recollement pattern for Lagrangian branes parallel to that for constructible sheaves. Assuming this structure, we exhibit the Fukaya category as the global sections of a sheaf on the conic topology of the Weinstein manifold. This can be viewed as a symplecti…
Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror partners to such schobers, determined by diagrams of Fukaya categories with stops, for examples in dimensions 2 and 3. Interpreting these schobers as supported on loci in mirror moduli spaces, we prove homological mirror symmetry equivalences between them. Our construction uses the coherent-constructible correspondence and a recent result of Ganatra-Pardon-Shende t…
We consider Takahashi's categorical interpretation of the Berglund-Hubsch mirror symmetry conjecture for invertible polynomials in the case of chain polynomials. Our strategy is based on a stronger claim that the relevant categories satisfy a recursion of directed $A_{\infty}$-categories, which may be of independent interest. We give a full proof of this claim on the B-side. On the A-side we give a detailed sketch of an argument, which falls short of a full proof because of certain missing foundational results in Fukaya-Seidel categories, most notably a generation statement.
In this paper, we introduce the interested reader to homological mirror symmetry. After recalling a little background knowledge, we tackle the simplest cases of homological mirror symmetry: curves of genus zero and one. We close by outlining the current state of the field and mentioning what homo- logical mirror symmetry has to say about other aspects of mirror symmetry.
For the resolved conifold with one outer D-brane in arbitrary framing, we present some results for the open string partition functions obtained by some operator manipulations. We prove some conjectures by Aganagic-Vafa and Aganagic-Klemm-Vafa that relates such invariants to the mirror curve of the resolved conifold. This establishes local mirror symmetry for the resolved confolds for holomorphic disc invariants. We also verify an integrality conjecture of such invariants by Ooguri-Vafa in this case and present closed formulas for some Ooguri-Vafa type invariants in genus 0 and arbitrary genera…
In this paper, we establish equivariant mirror symmetry for the weighted projective line. This extends the results by B. Fang, C.C. Liu and Z. Zong, where the projective line was considered [{\it Geometry \& Topology} 24:2049-2092, 2017]. More precisely, we prove the equivalence of the $R$-matrices for A-model and B-model at large radius limit, and establish isomorphism for $R$-matrices for general radius. We further demonstrate that the graph sum of higher genus cases are the same for both models, hence establish equivariant mirror symmetry for the weighted projective line.
We use the quilt formalism of Mau-Wehrheim-Woodward to give a sufficient condition for a finite collection of Lagrangian submanifolds to split-generate the Fukaya category, and deduce homological mirror symmetry for the standard 4-torus. As an application, we study Lagrangian genus two surfaces of Maslov class zero, deriving numerical restrictions on the intersections of such a surface with linear Lagrangian 2-tori in in the 4-torus.
For a toric Calabi-Yau (CY) orbifold $\mathcal{X}$ whose underlying toric variety is semi-projective, we construct and study a non-toric Lagrangian torus fibration on $\mathcal{X}$, which we call the Gross fibration. We apply the Strominger-Yau-Zaslow (SYZ) recipe to the Gross fibration of $\mathcal{X}$ to construct its mirror with the instanton corrections coming from genus 0 open orbifold Gromov-Witten (GW) invariants, which are virtual counts of holomorphic orbi-disks in $\mathcal{X}$ bounded by fibers of the Gross fibration. We explicitly evaluate all these invariants by first proving an o…
We prove homological mirror symmetry for the universal centralizer $J_G$ (a.k.a Toda space), associated to any complex semisimple Lie group $G$. The A-side is a partially wrapped Fukaya category on $J_G$, and the B-side is the category of coherent sheaves on the categorical quotient of a dual maximal torus by the Weyl group action (with some modification if $G$ has a nontrivial center). This is the first and the main part of a two-part series, dealing with $G$ of adjoint type. The general case will be proved in the forthcoming second part [Jin2].
We prove that the inverse of a mirror map for a toric Calabi-Yau manifold of the form $K_Y$, where $Y$ is a compact toric Fano manifold, can be expressed in terms of generating functions of genus 0 open Gromov-Witten invariants defined by Fukaya-Oh-Ohta-Ono \cite{FOOO10}. Such a relation between mirror maps and disk counting invariants was first conjectured by Gross and Siebert \cite[Conjecture 0.2 and Remark 5.1]{GS11} as part of their program, and was later formulated in terms of Fukaya-Oh-Ohta-Ono's invariants in the toric Calabi-Yau case in \cite[Conjecture 1.1]{CLL12}.
We show that the Gromov-Witten theory of Calabi-Yau hypersurfaces matches, in genus zero and after an analytic continuation, the quantum singularity theory (FJRW theory) recently introduced by Fan, Jarvis and Ruan following ideas of Witten. Moreover, on both sides, we highlight two remarkable integral local systems arising from the common formalism of Gamma-integral structures applied to the derived category of the hypersurface {W=0} and to the category of graded matrix factorizations of W. In this setup, we prove that the analytic continuation matches Orlov equivalence between the two above c…
In this paper we will describe an approach to mirror symmetry for appropriate 1-dimensional DM stacks of arithmetic genus $g \leq 1$, called tcnc curves, which was developed by the author with Treumann and Zaslow in arXiv:1103.2462 . This involves introducing a conjectural sheaf-theoretic model for the Fukaya category of punctured Riemann surfaces. As an application, we will investigate derived equivalences of tcnc curves, and generalize classic results of Mukai on dual abelian varieties (Mukai 1981).
It follows from the work of Burban and Drozd arXiv:0905.1231 that for nodal curves $C$, the derived category of modules over the Auslander order $\mathcal{A}_C$ provides a categorical (smooth and proper) resolution of the category of perfect complexes $\mathrm{Perf}(C)$. On the A-side, it follows from the work of Haiden-Katzarkov-Kontsevich arXiv:1409.8611 that for punctured surfaces $X$ with stops $Λ$ at their boundary, the partially wrapped Fukaya category $\mathcal{W}(X,Λ)$ provides a categorical (smooth and proper) resolution of the compact Fukaya category $\mathcal{F}(X)$. Inspired by thi…
For an appropriate choice of a $\mathbb{Z}$-grading structure, we prove that the wrapped Fukaya category of the symmetric square of a $(k+3)$-punctured sphere, i.e. the Weinstein manifold given as the complement of $(k+3)$ generic lines in $\mathbb{C}P^2$ is quasi-equivalent to the derived category of coherent sheaves on a singular surface $\mathcal{Z}_{2,k}$ constructed as the boundary of a toric Landau-Ginzburg model $(\mathcal{X}_{2,k}, \mathbf{w}_{2,k})$. We do this by first constructing a quasi-equivalence between certain categorical resolutions of both sides and then localising. We also …
For the Fermat Calabi-Yau threefold and the theory of stability conditions [Bri07], there have been two mathematical aims given by physical reasoning. One is that we should define stability conditions by central charges of quintic periods [Hos04,Kon12,KonSoi13], which extend the Gamma class [KKP,Iri09,Iri11]. The other is that for well-motivated stability conditions on a derived Fukaya-type category, each stable object should be a Lagrangian [ThoYau]. We answer affirmatively to these aims with the simplest homological mirror symmetry (HMS for short) of the Fermat Calabi-Yau threefold [Oka09,Fu…
Using Auroux's description of Fukaya categories of symmetric products of punctured surfaces, we compute the partially wrapped Fukaya category of the complement of $k+1$ generic hyperplanes in $\mathbb{CP}^n$, for $k \geq n$, with respect to certain stops in terms of the endomorphism algebra of a generating set of objects. The stops are chosen so that the resulting algebra is formal. In the case of the complement of $(n+2)$-generic hyperplanes in $\mathbb{C}P^n$ ($n$-dimensional pair-of-pants), we show that our partial wrapped Fukaya category is equivalent to a certain categorical resolution of…
