TheoremComplete

Homological Mirror Symmetry - Applications

Homological mirror symmetry has profound applications extending beyond verifying classical mirror predictions. The categorical framework provides new tools for studying both symplectic and algebraic geometry, with implications for physics and representation theory.

Bridgeland Stability and Moduli Spaces

HMS connects stability conditions on derived categories to geometric structures on moduli spaces.

TheoremStability Conditions and Special Lagrangians

For a mirror pair (X,X∨)(X, X^\vee), stability conditions on Db(Coh(X))D^b(Coh(X)) correspond to families of special Lagrangian submanifolds in X∨X^\vee via HMS: Stab(Db(Coh(X)))β‰…SLag(X∨)/Ham\text{Stab}(D^b(Coh(X))) \cong \text{SLag}(X^\vee)/\text{Ham}

where SLag(X∨)\text{SLag}(X^\vee) is the space of special Lagrangian submanifolds modulo Hamiltonian isotopy.

This identifies the stringy KΓ€hler moduli space with the space of stability conditions.

This deep connection allows transfer of techniques: algebraic methods for stability conditions inform symplectic geometry, while geometric intuition guides categorical constructions.

Derived Categories and Birational Geometry

HMS provides new perspectives on birational transformations.

Remark

Flops and other birational modifications induce auto-equivalences of derived categories. For Calabi-Yau threefolds, the derived category is invariant under flops: Db(Coh(X))≃Db(Coh(Xβ€²))D^b(Coh(X)) \simeq D^b(Coh(X'))

even when XX and Xβ€²X' are not isomorphic. HMS suggests this reflects the symplectic geometry of the mirror remaining unchanged.

Knot Homology and Categorification

HMS techniques extend to knot theory via categorical constructions.

TheoremHMS and Khovanov Homology

The Khovanov homology of links can be understood via HMS for certain symplectic manifolds (cotangent bundles). This connection provides:

  1. Geometric interpretations of knot invariants
  2. Spectral sequences relating different homology theories
  3. Categorification of quantum invariants

The Fukaya category of Tβˆ—S3T^*S^3 relates to the category of Soergel bimodules, which categorifies Hecke algebras.

Physics Applications

In string theory, HMS explains dualities and provides computational frameworks.

Remark

Open string mirror symmetry computes D-brane charges and central charges:

  • B-branes (coherent sheaves on XX) ↔\leftrightarrow A-branes (Lagrangians in X∨X^\vee)
  • K-theory charges ↔\leftrightarrow Floer homology dimensions

HMS predicts that BPS spectra coincide, allowing calculations on whichever side is more tractable.

Enumerative Geometry

HMS recovers and extends Gromov-Witten theory predictions.

TheoremOpen Gromov-Witten Invariants via HMS

For a Lagrangian LβŠ‚XL \subset X, open Gromov-Witten invariants counting holomorphic discs with boundary on LL equal structure constants in: HFβˆ—(L,L)=HomFuk(L,L)HF^*(L, L) = \text{Hom}_{\mathcal{F}uk}(L, L)

Under HMS, these match Ext groups: Extβˆ—(F,F)\text{Ext}^*(\mathcal{F}, \mathcal{F})

for the corresponding sheaf F∈Db(Coh(X∨))\mathcal{F} \in D^b(Coh(X^\vee)), providing algebraic methods for computing disc invariants.

Non-Commutative Geometry

HMS extends to non-commutative spaces via derived categories of non-commutative algebras.

ExampleNon-Commutative Tori

For non-commutative 2-tori TΞΈ2\mathbb{T}_\theta^2 (deformation quantizations), HMS takes the form: Db(Mod(TΞΈ2))≃Fuk(T2,B)D^b(\text{Mod}(\mathbb{T}_\theta^2)) \simeq \mathcal{F}uk(\mathbb{T}^2, B)

where BB is a B-field (closed 2-form). This generalizes classical HMS to non-commutative geometry, relevant for string theory with B-fields.

Representation Theory

Categorical techniques from HMS illuminate representation theory.

Remark

For flag varieties G/PG/P, the derived category Db(Coh(G/P))D^b(Coh(G/P)) has exceptional collections related to Weyl group combinatorics. HMS perspectives suggest these should correspond to Lagrangian skeleta in mirror Landau-Ginzburg models, connecting representation theory to symplectic topology.

These applications demonstrate HMS as a unifying framework connecting diverse mathematical fields through categorical equivalences.