In 2002, Fukaya [19] proposed a remarkable explanation of mirror symmetry detailing the Strominger–Yau–Zaslow (SYZ) conjecture [47] by introducing two correspondences: one between the theory of pseudo-holomorphic curves on a Calabi–Yau manifold $\check {X}$ and the multivalued Morse theory on the base $\check {B}$ of an SYZ fibration $\check {p}\colon \check {X}\to \check {B}$, and the other between deformation theory of the mirror X and the same multivalued Morse theory on $\check {B}$. In this paper, we prove a reformulation of the main conjecture in Fukaya’s second correspondence, where multivalued Morse theory on the base $\check {B}$ is replaced by tropical geometry on the Legendre dual B. In the proof, we apply techniques of asymptotic analysis developed in [7, 9] to tropicalize the pre-dgBV algebra which governs smoothing of a maximally degenerate Calabi–Yau log variety introduced in [8]. Then a comparison between this tropicalized algebra with the dgBV algebra associated to the deformation theory of the semiflat part $X_{\mathrm {sf}} \subset X$ allows us to extract consistent scattering diagrams from appropriate Maurer–Cartan solutions.

We use deformations and mutations of scattering diagrams to show that a scattering diagram with initial functions $f_1=(1+tx)^\mu $ and $f_2=(1+ty)^\nu $ has a dense region. This answers a question asked by Gross and Pandharipande [‘Quivers, curves, and the tropical vertex’, Port. Math. 67(2) (2010), 211–259] which had been proved only for the case $\mu =\nu $.

We construct families of non-toric ${\mathbb {Q}}$-factorial terminal Fano (${\mathbb {Q}}$-Fano) threefolds of codimension $\geq 20$ corresponding to 54 mutation classes of rigid maximally mutable Laurent polynomials. From the point of view of mirror symmetry, they are the highest codimension (non-toric) ${\mathbb {Q}}$-Fano varieties for which we can currently establish the Fano/Landau–Ginzburg correspondence. We construct 46 additional ${\mathbb {Q}}$-Fano threefolds with codimensions of new examples ranging between 19 and 5. Some of these varieties are presented as toric complete intersections, and others as Pfaffian varieties.

We give a mathematically precise statement of the SYZ conjecture between mirror space pairs and prove it for any toric Calabi-Yau manifold with the Gross Lagrangian fibration. To date, it is the first time we realize the SYZ proposal with singular fibers beyond the topological level. The dual singular fibration is explicitly written and proved to be compatible with the family Floer mirror construction. Moreover, we discover that the Maurer-Cartan set of a singular Lagrangian is only a strict subset of the corresponding dual singular fiber. This responds negatively to the previous expectation and leads to new perspectives of SYZ singularities. As extra evidence, we also check some computations for a well-known folklore conjecture for the Landau-Ginzburg model.

Mirror symmetry for a semistable degeneration of a Calabi–Yau manifold was first investigated by Doran–Harder–Thompson when the degenerate fiber is a union of two quasi-Fano manifolds. They proposed a topological construction of a mirror Calabi–Yau by gluing of two Landau–Ginzburg models that are mirror to those Fano manifolds. We extend this construction to a general type semistable degeneration where the dual boundary complex of the degenerate fiber is the standard N-simplex. Since each component in the degenerate fiber comes with the simple normal crossing anticanonical divisor, one needs the notion of a hybrid Landau–Ginzburg model – a multipotential analogue of classical Landau–Ginzburg models. We show that these hybrid Landau–Ginzburg models can be glued to be a topological mirror candidate for the nearby Calabi–Yau, which also exhibits the structure of a Calabi–Yau fibration over $\mathbb P^N$. Furthermore, it is predicted that the perverse Leray filtration associated to this fibration is mirror to the monodromy weight filtration on the degeneration side [12]. We explain how this can be deduced from the original mirror P=W conjecture [18].

Let $X$ denote the ‘conifold smoothing’, the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$ or, equivalently, the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the ‘conifold resolution’, by which we mean the complement of a smooth divisor in $\mathcal {O}(-1) \oplus \mathcal {O}(-1) \to \mathbb {P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite-rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional ‘affine $A_1$-case’). Our results build on work of Chan, Pomerleano and Ueda and Toda, and both theorems make essential use of working on the ‘other side’ of the mirror.

We systematically study the moduli stacks of Higgs bundles, spectral curves, and Norm maps on Deligne–Mumford curves. As an application, under some mild conditions, we prove the Strominger–Yau–Zaslow duality for the moduli spaces of Higgs bundles over a hyperbolic stacky curve.

We prove an equality, predicted in the physical literature, between the Jeffrey–Kirwan residues of certain explicit meromorphic forms attached to a quiver without loops or oriented cycles and its Donaldson–Thomas type invariants.

In the special case of complete bipartite quivers we also show independently, using scattering diagrams and theta functions, that the same Jeffrey–Kirwan residues are determined by the the Gross–Hacking–Keel mirror family to a log Calabi–Yau surface.

For certain quasismooth Calabi–Yau hypersurfaces in weighted projective space, the Berglund-Hübsch-Krawitz (BHK) mirror symmetry construction gives a concrete description of the mirror. We prove that the minimal log discrepancy of the quotient of such a hypersurface by its toric automorphism group is closely related to the weights and degree of the BHK mirror. As an application, we exhibit klt Calabi–Yau varieties with the smallest known minimal log discrepancy. We conjecture that these examples are optimal in every dimension.

Gross and Siebert developed a program for constructing in arbitrary dimension a mirror family to a log Calabi–Yau pair (X, D), consisting of a smooth projective variety X with a normal-crossing anti-canonical divisor D in X. In this paper, we provide an algorithm to practically compute explicit equations of the mirror family in the case when X is obtained as a blow-up of a toric variety along hypersurfaces in its toric boundary, and D is the strict transform of the toric boundary. The main ingredient is the heart of the canonical wall structure associated to such pairs (X, D), which is constructed purely combinatorially, following our previous work with Mark Gross. In the case when we blow up a single hypersurface we show that our results agree with previous results computed symplectically by Aroux–Abouzaid–Katzarkov. In the situation when the locus of blow-up is formed by more than a single hypersurface, due to infinitely many walls interacting, writing the equations becomes significantly more challenging. We provide the first examples of explicit equations for mirror families in such situations.

We propose a conjectural semiorthogonal decomposition for the derived category of the moduli space of stable rank 2 bundles with fixed determinant of odd degree, independently formulated by Narasimhan. We discuss some evidence for and furthermore propose semiorthogonal decompositions with additional structure.

We also discuss two other decompositions. One is a decomposition of this moduli space in the Grothendieck ring of varieties, which relates to various known motivic decompositions. The other is the critical value decomposition of a candidate mirror Landau–Ginzburg model given by graph potentials, which in turn is related under mirror symmetry to Muñoz’s decomposition of quantum cohomology. This corresponds to an orthogonal decomposition of the Fukaya category. We discuss how decompositions on different levels (derived category of coherent sheaves, Grothendieck ring of varieties, Fukaya category, quantum cohomology, critical sets of graph potentials) are related and support each other.

The most fundamental example of mirror symmetry compares the Fermat hypersurfaces in $\mathbb {P}^n$ and $\mathbb {P}^n/G$ , where G is a finite group that acts on $\mathbb {P}^n$ and preserves the Fermat hypersurface. We generalize this to hypersurfaces in Grassmannians, where the picture is richer and more complex. There is a finite group G that acts on the Grassmannian $\operatorname {{\mathrm {Gr}}}(n,r)$ and preserves an appropriate Calabi–Yau hypersurface. We establish how mirror symmetry, toric degenerations, blow-ups and variation of GIT relate the Calabi–Yau hypersurfaces inside $\operatorname {{\mathrm {Gr}}}(n,r)$ and $\operatorname {{\mathrm {Gr}}}(n,r)/G$ . This allows us to describe a compactification of the Eguchi–Hori–Xiong mirror to the Grassmannian, inside a blow-up of the quotient of the Grassmannian by G.

The mathematical physicists Bershadsky–Cecotti–Ooguri–Vafa (BCOV) proposed, in a seminal article from 1994, a conjecture extending genus zero mirror symmetry to higher genera. With a view towards a refined formulation of the Grothendieck–Riemann–Roch theorem, we offer a mathematical description of the BCOV conjecture at genus one. As an application of the arithmetic Riemann–Roch theorem of Gillet–Soulé and our previous results on the BCOV invariant, we establish this conjecture for Calabi–Yau hypersurfaces in projective spaces. Our contribution takes place on the B-side, and together with the work of Zinger on the A-side, it provides the first complete examples of the mirror symmetry program in higher dimensions. The case of quintic threefolds was studied by Fang–Lu–Yoshikawa. Our approach also lends itself to arithmetic considerations of the BCOV invariant, and we study a Chowla–Selberg type theorem expressing it in terms of special $\Gamma $ -values for certain Calabi–Yau manifolds with complex multiplication.

In this paper, we prove a stronger form of the Bogomolov–Gieseker (BG) inequality for stable sheaves on two classes of Calabi–Yau threefolds, namely, weighted hypersurfaces inside the weighted projective spaces $\mathbb {P}(1, 1, 1, 1, 2)$ and $\mathbb {P}(1, 1, 1, 1, 4)$ . Using the stronger BG inequality as a main technical tool, we construct open subsets in the spaces of Bridgeland stability conditions on these Calabi–Yau threefolds.

We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford stacks (with possibly nontrivial generic stabilisers K and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. An Aganagic-Vafa brane in this paper is a possibly ineffective $C^\infty $ orbifold that admits a presentation $[(S^1\times \mathbb {R} ^2)/G_\tau ]$ , where $G_\tau $ is a finite abelian group containing K and $G_\tau /K \cong \boldsymbol {\mu }_{\mathfrak {m}}$ is cyclic of some order $\mathfrak {m}\in \mathbb {Z} _{>0}$ .

1. 1. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack $\mathcal {X}$ with boundaries mapped into an Aganagic-Vafa brane $\mathcal {L}$ . All genus open-closed Gromov-Witten invariants of $\mathcal {X}$ relative to $\mathcal {L}$ are defined by torus localisation and depend on the choice of a framing $f\in \mathbb {Z} $ of $\mathcal {L}$ .

2. 2. We provide another definition of all genus open-closed Gromov-Witten invariants in (1) based on algebraic relative orbifold Gromov-Witten theory, which agrees with the definition in (1) up to a sign depending on the choice of orientation on moduli of maps in (1). This generalises the definition in [57] for smooth toric Calabi-Yau 3-folds and specifies an orientation on moduli of maps in (1) compatible with the canonical orientation on moduli of relative stable maps determined by the complex structure.

3. 3. When $\mathcal {X}$ is a toric Calabi-Yau 3-orbifold (i.e., when the generic stabiliser K is trivial), so that $G_\tau =\boldsymbol {\mu }_{\mathfrak {m}}$ , we define generating functions $F_{g,h}^{\mathcal {X},(\mathcal {L},f)}$ of open-closed Gromov-Witten invariants of arbitrary genus g and number h of boundary circles; it takes values in $H^*_{ {\mathrm {CR}} }(\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}; \mathbb {C} )^{\otimes h}$ , where $H^*_{ {\mathrm {CR}} }(\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}; \mathbb {C} )\cong \mathbb {C} ^{\mathfrak {m}}$ is the Chen-Ruan orbifold cohomology of the classifying space $\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}$ of $\boldsymbol {\mu }_{\mathfrak {m}}$ .

4. 4. We prove an open mirror theorem that relates the generating function $F_{0,1}^{\mathcal {X},(\mathcal {L},f)}$ of orbifold disk invariants to Abel-Jacobi maps of the mirror curve of $\mathcal {X}$ . This generalises a conjecture by Aganagic-Vafa [6] and Aganagic-Klemm-Vafa [5] (proved in full generality by the first and the second authors in [33]) on the disk potential of a smooth semi-projective toric Calabi-Yau 3-fold.

We explain how to form a novel dataset of Calabi–Yau threefolds via the Gross–Siebert algorithm. We expect these to degenerate to Calabi–Yau toric hypersurfaces with certain Gorenstein (not necessarily isolated) singularities. In particular, we explain how to ‘smooth the boundary’ of a class of four-dimensional reflexive polytopes to obtain polarised tropical manifolds. We compute topological invariants of a compactified torus fibration over each such tropical manifold, expected to be homeomorphic to the general fibre of the Gross–Siebert smoothing. We consider a family of examples related to products of reflexive polygons. Among these we find $14$ topological types with $b_2=1$ that do not appear in existing lists of known rank-one Calabi–Yau threefolds.

In this note, we study homology classes in the mirror quintic Calabi–Yau threefold that can be realized by special Lagrangian submanifolds. We have used Picard–Lefschetz theory to establish the monodromy action and to study the orbit of Lagrangian vanishing cycles. For many prime numbers $p,$ we can compute the orbit modulo p. We conjecture that the orbit in homology with coefficients in $\mathbb {Z}$ can be determined by these orbits with coefficients in $\mathbb {Z}_p$ .

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\geqslant 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 the derived category of the singular affine variety $x_{1}x_{2}\ldots x_{n+1}=0$. By localizing, we deduce that the (fully) wrapped Fukaya category of the $n$-dimensional pair of pants is equivalent to the derived category of $x_{1}x_{2}\ldots x_{n+1}=0$. We also prove similar equivalences for finite abelian covers of the $n$-dimensional pair of pants.

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.

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 non-commutative algebras of functions.