Fact-checked by Grok 2 weeks ago

Homological mirror symmetry

Homological mirror symmetry is a fundamental conjecture in mathematics, proposed by Maxim Kontsevich in 1994, that establishes a categorical equivalence between the derived Fukaya category of a symplectic Calabi-Yau manifold V (the A-model side) and the derived category of coherent sheaves on its mirror complex Calabi-Yau manifold W (the B-model side).^[1] Specifically, it posits that D^b(\mathcal{F}(V)) is equivalent to D^b(\mathrm{Coh}(W)), preserving homological structures and exchanging symplectic invariants with algebraic ones.^[1] This framework refines the classical mirror symmetry phenomenon from string theory, translating physical dualities into precise mathematical correspondences via derived categories and A_\infty-algebras.^[2] The conjecture arises from observations in supersymmetric quantum field theories and topological string theory, where mirror pairs of Calabi-Yau threefolds exhibit swapped Hodge numbers, such as h^{1,1}(V) = h^{2,1}(W) and vice versa, leading to matching enumerative invariants like Gromov-Witten counts on one side and period integrals on the other.^[2] In the A-model, the Fukaya category is generated by special Lagrangian submanifolds equipped with flat connections, serving as A-branes, while the B-model involves holomorphic vector bundles on the complex side, corresponding to B-branes.^[2] This equivalence extends to autoequivalences of the categories, mirroring symplectomorphisms and birational transformations, and incorporates T-duality to relate torus fibrations in mirror pairs.^[1]^[2] Homological mirror symmetry has profound implications for enumerative geometry and moduli spaces, enabling computations of invariants across dual frameworks; for instance, it predicts that Gromov-Witten invariants of the quintic threefold match Gopakumar-Vafa invariants of its mirror via hypergeometric series.^[2] Verified examples include toric Calabi-Yau manifolds, K3 surfaces, and elliptic curves, where Fourier-Mukai transforms provide explicit equivalences, and partial proofs exist for hypersurfaces like the resolved conifold.^[2] Beyond threefolds, extensions to higher dimensions and manifolds of general type involve derived non-commutative schemes and stability conditions, linking to broader areas like deformation quantization and wall-crossing phenomena.^[2] The conjecture remains a central open problem, driving advances in categorical methods and their applications to physics-inspired mathematics.^[2]

Background Concepts

Physical origins of mirror symmetry

Mirror symmetry originated in the context of string theory compactifications on Calabi-Yau threefolds, which are compact Kähler manifolds with trivial canonical bundle and SU(3) holonomy, preserving supersymmetry in the effective four-dimensional theory. In type IIA string theory compactified on a Calabi-Yau threefold X, the low-energy physics is determined by the Hodge numbers h^{1,1}(X) and h^{2,1}(X), which count the Kähler and complex structure moduli, respectively. The mirror symmetry conjecture posits that this theory is physically equivalent to type IIB string theory compactified on a mirror manifold \hat{X}, where the roles of the moduli spaces are interchanged such that h^{1,1}(\hat{X}) = h^{2,1}(X) and h^{2,1}(\hat{X}) = h^{1,1}(X), leading to identical partition functions despite the geometric differences.^[2] The discovery emerged in the late 1980s from explicit computations of topological string partition functions, which revealed unexpected equalities between seemingly distinct Calabi-Yau manifolds. A seminal example was the quintic Calabi-Yau hypersurface in \mathbb{CP}^4, where Candelas and collaborators computed the number of rational curves and demonstrated that the Yukawa couplings matched those predicted by mirror symmetry, providing strong evidence for the duality.^[2]^[3] These calculations, building on earlier work by Greene and Plesser, showed that the superconformal field theories arising from the compactifications are isomorphic, with mirror symmetry acting as an involution that exchanges vector and hypermultiplet moduli.^[2] The physical motivation draws from supersymmetric quantum field theories in two dimensions, where the (2,2) superconformal algebra governs the worldsheet dynamics, and T-duality provides a key insight. T-duality, which equates string theories on dual tori by inverting radii, suggested a broader geometric duality for Calabi-Yau manifolds, interchanging symplectic and complex structures while preserving the spectrum of BPS states.^[4] This led to the Strominger-Yau-Zaslow (SYZ) conjecture in 1996, proposing that near the large complex structure limit, both X and \hat{X} admit special Lagrangian torus fibrations over the same base, with the mirror realized as the dual torus fibration obtained via T-duality on the fibers.^[4]

Geometric duality in Calabi-Yau manifolds

Mirror pairs of Calabi-Yau manifolds provide a foundational geometric duality in mirror symmetry, where for a Calabi-Yau manifold X of complex dimension n, its mirror X^\vee satisfies h^{p,q}(X) = h^{n-p,q}(X^\vee) for all p, q.^[2] This relation swaps the roles of the Hodge numbers, particularly in three dimensions (n=3), exchanging h^{1,1}(X) (dimension of the Kähler moduli space) with h^{2,1}(X) (dimension of the complex structure moduli space), while preserving the Euler characteristic \chi(X) = \chi(X^\vee).^[2] The duality arises from string theory considerations, where type IIA strings compactified on X yield the same low-energy physics as type IIB strings on X^\vee.^[5] Topological mirror symmetry equates the invariants of the A-model on X with those of the B-model on X^\vee. The A-model, defined via symplectic geometry, computes invariants such as symplectic volumes and Gromov-Witten invariants, which count pseudoholomorphic curves and encode enumerative geometry.^[2] In contrast, the B-model on X^\vee relies on complex geometry, yielding invariants like Hodge integrals and periods of the holomorphic volume form, which are integrals over cycles independent of the Kähler structure.^[2] This equivalence ensures that correlation functions in the A-model match those in the B-model under the mirror map, providing a dictionary between symplectic and algebraic invariants.^[2] The Kähler moduli space of X, parameterized by classes of Kähler forms, corresponds to the complex structure moduli space of X^\vee, and vice versa, via the mirror map that relates Kähler parameters t_i to complex structure parameters z_i through t_i \sim -\log z_i.^[2] Periods of the holomorphic n-form on X^\vee compute the Kähler potential for the Kähler moduli of X, ensuring consistency across the duality.^[2] This interchange reflects the topological nature of the duality, as the moduli spaces have the same dimension due to the Hodge number swap.^[2] An explicit example is the quintic hypersurface X in \mathbb{CP}^4, defined by a degree-5 homogeneous polynomial, with Hodge numbers h^{1,1}(X) = 1 and h^{2,1}(X) = 101.^[2] Its mirror X^\vee was constructed by Greene and Plesser using orbifold methods: quotient the ambient space by the group (\mathbb{Z}/5\mathbb{Z})^3 acting diagonally on coordinates, resolve the singularities, and deform to a smooth Calabi-Yau with Hodge numbers h^{1,1}(X^\vee) = 101 and h^{2,1}(X^\vee) = 1.^[5] This pair demonstrates the duality concretely, as Gromov-Witten invariants of X (e.g., the number of rational curves of degree d) match period integrals on X^\vee computed via hypergeometric functions.

Categorical Tools

Fukaya categories in symplectic geometry

The Fukaya A_\infty-category of a symplectic manifold (X, \omega) is an A_\infty-category \mathcal{F}(X) whose objects are compact, oriented, relatively spin Lagrangian submanifolds L \subset X satisfying suitable bounding conditions, such as [\omega] \cdot \pi_2(X,L) = 0 and vanishing Maslov class.^[6] The morphisms between objects L_i and L_j are given by the Floer cochain groups \hom(L_i, L_j) = CF(L_i, L_j), generated by intersection points of L_i and L_j (possibly after Hamiltonian perturbation), equipped with a differential counting pseudoholomorphic strips.^[7] Higher A_\infty-composition maps \mu_k: \hom(L_{k-1}, L_k) \otimes \cdots \otimes \hom(L_0, L_1) \to \hom(L_0, L_k)[2-k] are defined by counts of pseudoholomorphic disks with k+1 boundary punctures mapped to the Lagrangians L_0, \dots, L_k in sequence, satisfying the A_\infty-associativity relations up to homotopy.^[6] In general, the unperturbed counts may lead to obstructions from disk bubbling, resulting in a curved A_\infty-structure with nontrivial \mu_0. Obstruction theory addresses this via solutions to the Maurer-Cartan equation in the deformation complex, which deforms the structure to make \mu_0 = 0 for weakly unobstructed Lagrangians (those with minimal Maslov index at least 2), yielding an honest A_\infty-category.^[6] Twisted complexes in \mathcal{F}(X) are formal direct sums of shifts of objects with differentials forming strictly upper or lower triangular matrices, enabling the construction of cones and extensions; the triangulated category of twisted complexes \Tw \mathcal{F}(X) is independent of choices up to quasi-equivalence.^[7] The derived Fukaya category D^{Fuk}(X) is the triangulated hull of \Tw \mathcal{F}(X), often enhanced to a dg-category for better control over homotopies, with the triangulated structure arising from exact triangles corresponding to mapping cones.^[6] The Karoubi completion of D^{Fuk}(X) incorporates images of idempotent endomorphisms as additional objects, ensuring split idempotents become direct summands and facilitating split-generators.^[6] Key properties include homological grading on morphism spaces via the Maslov index of chains or disks, which assigns an integer to relative fundamental classes in \pi_2(X, L_i \cup L_j) and ensures the A_\infty-operations preserve grading.^[7] The Floer cohomology groups HF(L_i, L_j) and the full A_\infty-structure are invariant under Hamiltonian isotopies of the Lagrangians, as perturbations can be chosen compatibly.^[6] In the context of homological mirror symmetry, the Fukaya category serves as the symplectic counterpart to the A-model.^[7]

Derived categories in algebraic geometry

In algebraic geometry, the bounded derived category of coherent sheaves on a smooth projective variety X, denoted D^b(\mathrm{Coh}(X)), is a fundamental triangulated category that encodes the homological algebra of sheaves on X. Its objects consist of bounded complexes of coherent sheaves on X, taken up to quasi-isomorphisms, while the morphisms between two objects are given by the hyperhomology groups of the corresponding Hom complexes, which recover the Ext groups in the cohomology of the sheaves. This structure arises from localizing the homotopy category of bounded complexes of coherent sheaves and endowing it with a shift functor and distinguished triangles, providing a framework robust to resolutions and acyclic complexes. To enhance the triangulated structure with more precise homological information, D^b(\mathrm{Coh}(X)) admits a differential graded (dg) enhancement through the dg-category of bounded complexes of coherent sheaves equipped with the total differential. In this dg-setting, the homotopy category recovers D^b(\mathrm{Coh}(X)), and quasi-equivalences between dg-categories induce equivalences of the associated triangulated categories, preserving cones and shifts. This enhancement, introduced by Bondal and Kapranov, addresses limitations in the axiomatic definition of triangulated categories by incorporating a coherent system of coherently associative compositions for higher homotopies. Fourier-Mukai transforms provide a key mechanism for establishing equivalences between derived categories of different varieties, acting as integral functors induced by a kernel object—a coherent sheaf on the product space X \times Y. For an object E \in D^b(\mathrm{Coh}(X \times Y)), the transform \Phi_E: D^b(\mathrm{Coh}(X)) \to D^b(\mathrm{Coh}(Y)) sends a sheaf F on X to R p_{Y*}(L p_X^* F \otimes E), where p_X, p_Y are projections, and under suitable conditions, this yields a triangulated equivalence. Originating in Mukai's work on abelian varieties, these transforms generalize classical dualities and have been extended to arbitrary smooth projective varieties, highlighting non-trivial isomorphisms in derived categories. Key properties of D^b(\mathrm{Coh}(X)) include its generation by exceptional collections, sequences of objects with vanishing higher Ext groups between them and simple endomorphism algebras, which triangulated generate the category when full and strong. Beilinson demonstrated that for projective space \mathbb{P}^n, the collection of line bundles \mathcal{O}, \mathcal{O}(1), \dots, \mathcal{O}(n) forms such a full strong exceptional collection, implying the derived category is equivalent to that of modules over a finite-dimensional algebra. Furthermore, the existence of a tilting object—a generator T with \mathrm{Hom}(T, T) = 0 for i \neq 0 and finite-dimensional endomorphisms—induces a derived equivalence D^b(\mathrm{Coh}(X)) \simeq D^b(\mathrm{Mod}\text{-}\mathrm{End}(T)), facilitating reconstructions and classifications of varieties up to derived equivalence, as developed in Rickard's Morita theory for triangulated categories. This derived category serves as the algebraic counterpart in the B-model of mirror symmetry, where its invariants, such as those derived from exceptional collections, connect to geometric periods on the variety.

The Conjecture

Kontsevich's original formulation

In 1994, Maxim Kontsevich proposed the homological mirror symmetry conjecture during his address at the International Congress of Mathematicians in Zurich, providing a categorical enhancement to the classical mirror symmetry phenomenon observed in string theory.^[1] This formulation shifts the focus from numerical coincidences, such as the matching of Hodge numbers between mirror Calabi-Yau manifolds, to a deeper structural equivalence between associated categories, thereby categorifying the duality.^[1] The core conjecture states that for a Calabi-Yau symplectic manifold (X, \omega) of dimension $2nwithc_1(X) = 0and its mirror complex algebraic Calabi-Yau manifoldX^\veeof dimensionn, there exists a triangulated equivalence between the derived Fukaya category D^\mathrm{Fuk}(X)ofXand the bounded derived category of coherent sheavesD^b(\mathrm{Coh}(X^\vee))onX^\vee.[1] More precisely, Kontsevich anticipated that D^b(\mathrm{Fuk}(X))embeds as a full triangulated subcategory intoD^b(\mathrm{Coh}(X^\vee))$, with the equivalence capturing the homological algebra underlying mirror duality.^[1] This proposal draws inspiration from physical dualities in string theory, where mirror pairs yield isomorphic conformal field theories despite differing geometries.^[1] A key motivation for this categorical perspective is to explain why classical mirror symmetry equates cohomology rings—such as \bigoplus H^{p,q}(X) \cong \bigoplus H^{p,q}(X^\vee)—through the richer structure of triangulated categories, whose K-theory and Hochschild homology recover these rings as invariants.^[1] Under the conjectured equivalence, the Hochschild homology of the Fukaya category on X is isomorphic to that of the derived category on X^\vee, providing a homological refinement of the duality.^[1] Similarly, the equivalence induces isomorphisms in K-theory groups, linking the Grothendieck group of Lagrangians in X to the K-theory of coherent sheaves on X^\vee, thus bridging symplectic and algebraic invariants.^[1]

Enhancements and generalizations

The original formulation of homological mirror symmetry as an equivalence of triangulated categories has been enhanced to equivalences of differential graded (dg) categories or A_\infty-categories to incorporate higher homotopical information and enable constructions of functors that respect the full algebraic structure. Specifically, the conjecture posits an equivalence between the dg-category of twisted complexes on the Fukaya category, denoted Tw-Fuk(X), and the dg-enhancement of the bounded derived category of coherent sheaves on the mirror variety, D^b_{\rm dg}(\mathsf{Coh}(X^\vee)). This enhancement allows for the definition of A_\infty-functors that capture Massey products and higher compositions, facilitating proofs in specific cases and connections to deformation theory.^[8] A further refinement involves stability conditions, which provide a geometric framework for understanding autoequivalences of the categories under mirror symmetry. On the algebraic side, Bridgeland stability conditions on the derived category D^b(\mathsf{Coh}(X^\vee)) consist of a central charge Z: K(D^b(\mathsf{Coh}(X^\vee))) \to \mathbb{C} and a slicing \mathcal{P} that organizes semistable objects by phase, mirroring the stability of special Lagrangians on the symplectic side. On the Fukaya side, Seidel-Thomas stability extends this to the Fukaya category Fuk(X), where stable objects correspond to graded Lagrangians with local systems satisfying unobstructedness conditions, and the phases align via the argument of the superpotential or Maslov index. These mirrored stability structures induce autoequivalences, such as those generated by Dehn twists or spherical twists, which are interchanged under the mirror functor and explain wall-crossing phenomena in the moduli spaces.^[9] Generalizations of homological mirror symmetry extend beyond Calabi-Yau manifolds to non-Calabi-Yau settings, including Landau-Ginzburg (LG) models, where the B-model side is replaced by the category of matrix factorizations MF(W) of a superpotential W on a variety, equivalent to the Fukaya category of the total space of a Lefschetz fibration mirroring the LG model. Partial compactifications address boundaries by incorporating wrapped Fukaya categories or categories with stops, allowing HMS for open Calabi-Yau manifolds or pairs (X,D). The SYZ conjecture provides a geometric basis for these generalizations, positing that mirrors arise as torus fibrations over a common base, with the homological equivalence realized via constructible sheaves on the base or spectral data on the fibers, bridging symplectic and algebraic structures in non-compact cases.^[10]^[8] Recent developments include the homological window conjecture for toric stacks, which refines HMS by identifying a "window" subcategory in the Fukaya category—generated by Lagrangians supported on distinguished triangles in the moment polytope—that mirrors the derived category of coherent sheaves on the stack, incorporating wall-crossing via stability parameters that deform the window boundaries and generate autoequivalences. This formulation has been verified in equivariant and nonequivariant settings for smooth toric Deligne-Mumford stacks, using microlocal sheaf theory to establish the equivalence and predict wall-crossing formulas for invariants.^[11]^[12]

Historical Development

From string theory to mathematical conjecture

In the late 1980s and early 1990s, physicists working in string theory uncovered unexpected numerical coincidences in the spectrum of supersymmetric theories compactified on pairs of Calabi-Yau threefolds, leading to the discovery of mirror symmetry as a duality that equates seemingly distinct geometries without an initial geometric interpretation. Pioneering computations by Philip Candelas, Brian Greene, and Andrew Strominger demonstrated that the Hodge numbers of certain Calabi-Yau manifolds, which determine the number of massless fields in the corresponding string theory, satisfied h^{1,1}(X) = h^{2,1}(Y) and h^{2,1}(X) = h^{1,1}(Y) for mirror pairs (X, Y), revealing equalities in physical observables despite differing topologies. These findings, initially empirical and rooted in perturbative string calculations, suggested a profound symmetry but lacked a mathematical framework to explain why such pairs exist or how to construct them systematically.^[13] By the early 1990s, efforts to geometrize these physical insights gained traction, with proposals like orbifold mirrors by Paul Aspinwall and David Morrison providing explicit constructions of mirror pairs using quotient singularities in Calabi-Yau orbifolds, bridging the gap between abstract dualities and concrete geometric objects.^[14] This approach allowed physicists to generate mirror manifolds from known ones via group actions, offering a partial resolution to the construction problem while highlighting the role of singularities in the duality.^[15] Culminating these developments, the 1996 Strominger-Yau-Zaslow (SYZ) conjecture proposed a geometric framework where mirror symmetry arises from a special Lagrangian fibration over a common base, with T-duality along the fibers explaining the exchange of Kähler and complex structures.^[16] These ideas marked a transition from purely computational physics to conjectural geometry, influencing mathematicians to seek rigorous underpinnings. Physicists such as Edward Witten played a pivotal role in this evolution, leveraging topological field theories to reinterpret mirror symmetry as an equivalence between A-model and B-model topological strings, which emphasized invariants robust under deformations and inspired algebraic reformulations.^[17] Witten's 1991 lectures on mirror manifolds and topological field theory underscored how physical dualities could encode mathematical structures like cohomology rings, encouraging cross-disciplinary dialogue.^[18] This influence culminated in Maxim Kontsevich's 1994 International Congress of Mathematicians address, where he proposed homological mirror symmetry as a categorical duality between the Fukaya category of a symplectic manifold and the derived category of coherent sheaves on its mirror, shifting the focus to homological algebra to rigorously explain the physical equalities observed in string theory.^[1] Kontsevich's conjecture transformed mirror symmetry from a heuristic tool in physics into a foundational mathematical program, emphasizing equivalences of triangulated categories over numerical invariants.^[19]

Key proofs and milestones

The first explicit verification of Kontsevich's homological mirror symmetry conjecture occurred in 1998, when Polishchuk and Zaslow established the equivalence between the derived category of coherent sheaves on an elliptic curve and the Fukaya category of its mirror, using the Fourier-Mukai transform to construct the explicit functor.^[20] In the late 1990s and early 2000s, Seidel and Thomas advanced the symplectic side by constructing exceptional collections within Fukaya categories and analyzing their deformations, particularly for quadric hypersurfaces, which provided key insights into the categorical structures required for the conjecture.^[21] During the 2000s, Auroux developed SYZ-based approaches to homological mirror symmetry for toric varieties, constructing mirrors via special Lagrangian fibrations and demonstrating equivalences between Fukaya categories and matrix factorizations in these cases.^[22] A significant milestone in the 2000s was Abouzaid's generation criterion, which provides a geometric condition under which a collection of Lagrangians generates the Fukaya category, enabling proofs of split-generation in various mirror symmetry settings and facilitating computations of categorical equivalences.^[23] In the 2010s, the Gross-Siebert program offered a systematic algebraic framework for constructing mirrors to Calabi-Yau varieties beyond toric cases, using log geometry and tropical methods to realize homological mirror symmetry through explicit mirror constructions and equivalences of derived categories.^[24] Recent developments in the 2020s include Teleman's work on integrable systems, which refines the categorical aspects of homological mirror symmetry by incorporating gauge-theoretic perspectives and establishing equivalences for symplectic reductions.^[25]

Examples

Low-dimensional cases

Homological mirror symmetry has been verified explicitly in low-dimensional settings, providing concrete illustrations of the conjectured equivalence between Fukaya categories and derived categories of coherent sheaves. These cases, primarily in dimensions one and two, allow for direct computations that reveal the underlying categorical duality without relying on advanced geometric tools. For elliptic curves, the conjecture asserts an equivalence between the Fukaya category D^{\text{Fuk}}(E) of a smooth elliptic curve E over \mathbb{C} and the bounded derived category of coherent sheaves D^b(\text{Coh}(\hat{E})) on its dual abelian variety \hat{E}. This equivalence is constructed explicitly using theta functions to define the objects in the Fukaya category and the Poincaré bundle to establish the functoriality, ensuring that the A-infinity structures match on both sides.^[20] The projective line \mathbb{P}^1 provides another foundational example, where its mirror is a Landau-Ginzburg model on \mathbb{C}^* with superpotential W(z) = z + 1/z. The Fukaya category of \mathbb{P}^1 is generated by the real projective line \mathbb{RP}^1, whose endomorphism algebra is isomorphic to the path algebra of the quiver with two vertices and one arrow, reflecting the structure of line bundles on \mathbb{P}^1. The equivalence to the category of matrix factorizations of W is established by showing that the basic matrix factorizations correspond to the Beilinson exceptional collection \mathcal{O}, \mathcal{O}(1) on \mathbb{P}^1, with higher A-infinity operations vanishing appropriately.^[26] In the case of quadratic surfaces, such as the del Pezzo surface \mathbb{P}^1 \times \mathbb{P}^1, homological mirror symmetry equates the Fukaya-Seidel category generated by suitable Lagrangians to the derived category of coherent sheaves on the mirror Landau-Ginzburg model. A key mechanism involves the Seidel-Thomas twist functor applied to line bundles on the anticanonical divisor, which deforms the exceptional collection on the B-side to match the A-model structure; for instance, twisting by \mathcal{O}(1,0) yields an object whose endomorphisms align with those in the Fukaya category. This construction extends to higher-degree del Pezzo surfaces, confirming the duality through explicit categorical generators.^[27] Verification in these cases relies on computing endomorphism algebras of generators and Hochschild cohomology groups, which serve as categorical invariants preserved under the mirror equivalence. For example, the Hochschild cohomology HH^\bullet(D^{\text{Fuk}}(E)) of the elliptic curve matches HH^\bullet(D^b(\text{Coh}(\hat{E}))), computed via theta sheaf resolutions and Lagrangian Floer differentials, confirming obstruction vanishing and structural isomorphism. Similar computations for \mathbb{P}^1 show that the algebra of \mathbb{RP}^1 endomorphisms is graded-commutative in a way mirroring the Ext groups on the B-side, while for del Pezzo surfaces, twisting ensures matching dimensions in Hochschild degrees.^[20]^[26]^[27]

Toric and Calabi-Yau varieties

In the context of homological mirror symmetry (HMS), toric varieties provide a class of examples where partial equivalences between Fukaya categories and derived categories of coherent sheaves can be constructed explicitly. For a smooth projective toric variety X_\Sigma associated to a fan \Sigma, Denis Auroux developed a symplectic construction using the moment polytope \Delta of the symplectic toric manifold (X_\Sigma, \omega) to define a Lagrangian torus fibration. The moment map \mu: X_\Sigma \to \mathbb{R}^n associated to the standard torus action yields the polytope \Delta = \mu(X_\Sigma), and the generic fibers of \mu are Clifford tori, which are special Lagrangian submanifolds with respect to a compatible almost complex structure. These Clifford tori serve as generating objects in the Fukaya category \mathcal{F}(X_\Sigma), and their higher morphisms are computed via counts of holomorphic discs bounded by them, leading to a superpotential on the mirror Landau-Ginzburg model. The Fukaya category generated by these Clifford tori is equivalent to the derived category of representations of the quiver associated to the toric fan \Sigma, where vertices correspond to cones and arrows to inclusions of facets. This equivalence arises because the derived category D^b(\mathrm{Coh}(X_\Sigma)) on the B-side decomposes into a semi-orthogonal collection involving line bundles on toric strata, mirroring the quiver representation category via the McKay correspondence for toric quotients. Auroux's construction extends to the open case by considering the complement of the anticanonical divisor, where the wrapped Fukaya category incorporates tropical sections over the moment polytope, providing a functorial realization of HMS.^[28] For Calabi-Yau threefolds, partial HMS results leverage the Strominger-Yau-Zaslow (SYZ) conjecture, which posits that mirror pairs admit dual special Lagrangian torus fibrations. In the toric Calabi-Yau case, such as the resolved conifold or total space of \mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1, the SYZ fibration on the symplectic side consists of Lagrangian 3-tori, and flat line bundles on these tori correspond to line bundles on the mirror toric variety via the mirror map. For non-toric examples like the quintic Calabi-Yau threefold and its mirror (a complete intersection in a weighted projective space), partial equivalences are established by constructing SYZ fibrations near the large complex structure limit, where objects in the Fukaya category generated by Lagrangian tori match those in the derived category of the mirror, though full generation remains open. Recent work has established full homological mirror symmetry for maximally degenerating families of hypersurfaces in (\mathbb{C}^*)^n and their mirror toric stacks, providing explicit new examples in this framework.^[29]^[30] Homological windows, or open-closed maps, provide invariants relating the closed-string sector (bulk deformations) to the open-string sector (boundary Lagrangians) in toric HMS. In the toric setting, these maps are realized as trace morphisms from the Hochschild homology of the Fukaya category to the quantum cohomology of the variety, counting discs with boundary on Clifford tori and interior intersections with divisor classes; for instance, in \mathbb{P}^2, they recover the bulk-boundary coefficients via wall-crossing formulas. These maps are compatible with the SYZ mirror, where they dualize to closed-open maps on the B-side.^[31] Significant challenges persist in extending these constructions, particularly for non-compact toric varieties like affine spaces, where the Fukaya category requires wrapped objects and the lack of compactness leads to convergence issues in disc counts. Additionally, wall-crossing phenomena in the stability conditions for Lagrangians, induced by changes in the Kähler class, complicate the equivalence, as autoequivalences of the Fukaya category must match those of the derived category across walls, with partial results available only in low codimension.^[28]

Applications

Connections to Hodge theory

Homological mirror symmetry establishes a profound connection to Hodge theory by implying that for a mirror pair of Calabi-Yau manifolds X and Y of complex dimension n, the Hodge numbers satisfy h^{p,q}(X) = h^{n-q,p}(Y). This relation arises because the derived category of coherent sheaves on X, D^b(\mathrm{Coh}(X)), is equivalent to the Fukaya category of Y, \mathrm{Fuk}(Y), and the Hodge numbers can be recovered from the dimensions of the cohomology of these categories in the classical limit. Consequently, the Hodge diamonds of X and Y are isomorphic, reflecting the symmetry between complex and symplectic structures under the mirror map.^[2] In the categorical framework, homological mirror symmetry induces an isomorphism between the periodic cyclic homologies of the mirror categories, HP^\bullet(D^b(\mathrm{Coh}(X))) \cong HP^\bullet(\mathrm{Fuk}(Y)), where each carries a non-commutative Hodge structure. These structures generalize classical Hodge theory to non-commutative settings, featuring de Rham, Betti, and Hodge filtrations that mirror the decomposition H^k(X, \mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(X). The derived categories thus serve as carriers of Hodge data, with the equivalence preserving the underlying mixed Hodge modules. A key application arises in the work of Kontsevich and Soibelman on deformation quantization, where formal deformations of Poisson structures on the cotangent bundle lead to non-commutative Hodge structures on the quantized algebras. Under homological mirror symmetry, these deformations correspond across the mirror pair, yielding compatible variations of Hodge structures that encode quantum corrections to the classical Hodge decomposition. Specifically, the Hodge filtration on the Hochschild chains of the category is preserved by the mirror functor, ensuring that the non-commutative Betti and de Rham realizations align.^[32]

Implications for enumerative geometry

Homological mirror symmetry provides a categorical framework that equates Gromov-Witten invariants, which count pseudoholomorphic curves in the symplectic geometry of a Calabi-Yau manifold, with Donaldson-Thomas invariants, which count subschemes in the algebraic geometry of its mirror. This equivalence arises from the conjectured isomorphism between the Fukaya category of the symplectic side and the derived category of coherent sheaves on the mirror side, allowing enumerative invariants to be computed interchangeably across the duality. For toric Calabi-Yau threefolds, this relation has been rigorously established, confirming that the generating functions for these invariants match under the appropriate change of variables.^[33] In open Gromov-Witten theory, the invariants count holomorphic disks with boundaries on Lagrangians in the symplectic manifold, which under homological mirror symmetry correspond to counts of sheaves supported on the mirror complex Lagrangian. This duality facilitates the computation of open invariants by translating them into algebraic sheaf cohomology problems, often yielding explicit mirror maps and disc potentials. For instance, in the case of lines in the mirror quintic Calabi-Yau threefold, homological mirror symmetry deduces a mirror theorem equating open Gromov-Witten invariants of a specific real Lagrangian to period integrals on the mirror side, producing irrational invariants expressible via Dirichlet L-functions.^[34] Specific examples illustrate these implications in low-dimensional settings. For toric del Pezzo surfaces, homological mirror symmetry equates the derived Fukaya category to the derived category of matrix factorizations of a mirror Landau-Ginzburg potential, enabling the computation of enumerative invariants such as node polynomials that count rational curves with specified nodes via the mirror's combinatorial structure. In Calabi-Yau threefolds, BPS state counts are obtained using the Kontsevich-Soibelman wall-crossing formula, which governs jumps in Donaldson-Thomas invariants across stability walls and aligns with Gromov-Witten predictions through the categorical equivalence; this is realized geometrically via quiver representations and crystal melting configurations.^[35]^[36] Recent advances as of 2025 leverage homological mirror symmetry to address higher-genus invariants in the context of 5-fold brane webs, linking non-toric Calabi-Yau threefolds and five-dimensional superconformal field theories through enumerative geometry on the mirror side. These developments extend the duality to webs involving 5-branes and 7-branes in Type IIB string theory, providing new recursions and virtual counts for genus-greater curve invariants that were previously intractable.^[37]

References

[1]
[alg-geom/9411018] Homological Algebra of Mirror Symmetry - arXiv
Nov 30, 1994 · Homological Algebra of Mirror Symmetry. Authors:Maxim Kontsevich. View a PDF of the paper titled Homological Algebra of Mirror Symmetry, by ...
[2]
[PDF] Mirror Symmetry | Clay Mathematics Institute
ISBN 0-8218-2955-6 (alk. paper). 1. Mirror symmetry. 2. Calabi-Yau manifolds. 3. Geometry, Enumerative. I. Hori, Kentaro.
[3]
https://doi.org/10.1016/0550-3213(91)90292-6
[4]
Duality in Calabi-Yau moduli space - ScienceDirect.com
We describe a duality in the moduli space of string vacua which pairs topologically distinct Calabi-Yau manifolds and shows that the yield isomorphic conformal ...
[5]
[PDF] A beginner's introduction to Fukaya categories
in an A∞-category A consists of a triple of objects A,B,C and closed morphisms f ∈ hom0(A, B), g ∈ hom0(B,C), h ∈ hom1(C, A) such that C is (up to quasi-.
[6]
Fukaya Categories and Picard–Lefschetz Theory - EMS Press
Jun 26, 2008 · The central objects in the book are Lagrangian submanifolds and their invariants, such as Floer homology and its multiplicative structures, ...
[7]
[math/0011041] Homological mirror symmetry and torus fibrations
In this paper we discuss two major conjectures in Mirror Symmetry: Strominger-Yau-Zaslow conjecture about torus fibrations, and the homological mirror ...Missing: enhancement | Show results with:enhancement
[8]
Conjectures on Bridgeland stability for Fukaya categories of Calabi ...
Jan 20, 2014 · This paper is an attempt to update the Thomas-Yau conjectures, and discuss related issues. It is a folklore conjecture that there exists a ...
[9]
[1111.2962] Landau-Ginzburg Models, D-branes, and Mirror Symmetry
Nov 12, 2011 · This paper is an introduction to D-branes in Landau-Ginzburg models and Homological Mirror Symmetry. The paper is based on a series of lectures.
[10]
The nonequivariant coherent-constructible correspondence for toric ...
Oct 11, 2016 · The nonequivariant coherent-costructible correspondence is a microlocal-geometric interpretation of homological mirror symmetry for toric varieties.
[11]
T-Duality and Homological Mirror Symmetry of Toric Varieties - arXiv
Nov 9, 2008 · Title:T-Duality and Homological Mirror Symmetry of Toric Varieties. Authors:Bohan Fang, Chiu-Chu Melissa Liu, David Treumann, Eric Zaslow.Missing: stacks | Show results with:stacks
[12]
[PDF] Mirror symmetry: persons, values, and objects - Projects at Harvard
Sections three through five home in on the creation during the late 1980s and early 1990s of a striking. "trading zone" between physicists and mathematicians ...
[13]
Multiple Mirror Manifolds and Topology Change in String Theory
This paper uses mirror symmetry to show spacetime topology change in string theory, establishing multiple mirror manifolds and the need for numerous ...Missing: 1990s | Show results with:1990s
[14]
Multiple mirror manifolds and topology change in string theory
Multiple mirror manifolds and topology change in string theory. Author links open overlay panelPaul S. Aspinwall, Brian R. Greene, David R. Morrison.Missing: orbifold | Show results with:orbifold
[15]
Mirror symmetry is T-duality - ScienceDirect.com
Nov 11, 1996 · The mirror transformation is equivalent to T-duality on the 3-cycles. The geometry of moduli space is addressed in a general framework. Several ...Missing: motivation | Show results with:motivation
[16]
[hep-th/9112056] Mirror Manifolds And Topological Field Theory
Dec 19, 1991 · These notes are devoted to explaining aspects of the mirror manifold problem that can be naturally understood from the point of view of topological field ...
[17]
[PDF] Mirror Manifolds And Topological Field Theory
Dec 19, 1991 · 2022. This project presents a review of the work originally pioneered by E. Witten on topological quantum field theories and how mirror symmetry ...
[18]
Homological Mirror Symmetry - Events | Institute for Advanced Study
HMS started with Kontsevich's 1994 ICM address. By now, it is a mature area of mathematics in its own right, but still one that can be approached from many ...Missing: original | Show results with:original
[19]
[math/9801119] Categorical Mirror Symmetry: The Elliptic Curve - arXiv
Apr 7, 2000 · Access Paper: View a PDF of the paper titled Categorical Mirror Symmetry: The Elliptic Curve, by Alexander Polishchuk and Eric Zaslow. View ...Missing: homological | Show results with:homological
[20]
Mirror symmetry and actions of braid groups on derived categories
Jan 7, 2000 · Abstract: Talk given at Harvard, January 1999, published in the Proceedings of the Harvard Winter School on mirror symmetry, vector bundles ...Missing: homological | Show results with:homological
[21]
Special Lagrangian fibrations, wall-crossing, and mirror symmetry
Feb 10, 2009 · In this survey paper, we briefly review various aspects of the SYZ approach to mirror symmetry for non-Calabi-Yau varieties, focusing in particular on ...Missing: toric | Show results with:toric
[22]
Homological Mirror Symmetry 2025
The Homological Mirror Symmetry 2025 event is January 30-February 2, 2025, in Coral Gables, FL, at Lakeside Village and Frost Institute.
[23]
[0801.2014] Meet homological mirror symmetry - arXiv
Jan 14, 2008 · This paper introduces homological mirror symmetry, starting with curves of genus zero and one, and outlines the current state of the field.Missing: RP1 | Show results with:RP1
[24]
[math/0506166] Mirror symmetry for Del Pezzo surfaces - arXiv
Jun 9, 2005 · We study homological mirror symmetry for Del Pezzo surfaces and their mirror Landau-Ginzburg models. In particular, we show that the derived category of ...
[25]
https://www.imsa.miami.edu/events/2025-spring-emphasis/hms-2025/index.html
[26]
On homological mirror symmetry of toric Calabi-Yau three-folds - arXiv
Mar 12, 2015 · We use Lagrangian torus fibrations on the mirror X of a toric Calabi-Yau threefold \check X to construct Lagrangian sections and various ...Missing: SYZ | Show results with:SYZ
[27]
Aspects of functoriality in homological mirror symmetry for toric ...
Oct 17, 2020 · This paper studies homological mirror symmetry for toric varieties, exploring Fukaya-Seidel categories, realizing tropical Lagrangian sections, ...
[28]
[PDF] Hodge structures in non-commutative geometry. (Notes by ... - IHES
In my expository lectures I discussed a non-commutative generalization of Hodge structures in deformation quantization and in derived ... Maxim Kontsevich, ...
[29]
[PDF] Gromov-Witten theory and Donaldson-Thomas theory, I - arXiv
The discrete invariants of a map are the genus g of the domain and the degree β ∈ H2(X, Z) of the image. For every g and β, the Gromov-. Witten invariant is the ...
[30]
Open Gromov-Witten invariants, mirror maps, and Seidel ... - arXiv
Sep 27, 2012 · Fukaya-Oh-Ohta-Ono defined open Gromov-Witten (GW) invariants of X as virtual counts of holomorphic discs with Lagrangian boundary condition L.Missing: sheaf | Show results with:sheaf
[31]
Homological Mirror Symmetry for Toric del Pezzo Surfaces - arXiv
Nov 30, 2004 · We prove the homological mirror conjecture for toric del Pezzo surfaces. In this case, the mirror object is a regular function on an algebraic torus.Missing: Auroux 2000s
[32]
[1006.2113] Wall Crossing, Quivers and Crystals - arXiv
Jun 10, 2010 · We study the spectrum of BPS D-branes on a Calabi-Yau manifold using the 0+1 dimensional quiver gauge theory that describes the dynamics of the ...
[33]
Homological Mirror Symmetry 2025
We review the classical Bohr-Sommerfeld quantization procedure for integrable systems in terms of non-commutative algebras, and use the insights to ...