Homological Mirror Symmetry

Introduction to Mirror Symmetry

Mirror symmetry is a remarkable phenomenon in mathematical physics and algebraic geometry that relates seemingly different geometric spaces. Discovered in the late 1980s by physicists studying string theory, it proposes that for certain Calabi-Yau manifolds, there exist "mirror pairs" with apparently different geometric structures but whose physical theories are equivalent.

The physical theory of string theory suggests that elementary particles are not point-like but rather one-dimensional strings vibrating in a 10-dimensional spacetime. The extra six dimensions are compactified in the form of Calabi-Yau manifoldscomplex geometric spaces with special properties. Mirror symmetry originally emerged when physicists noticed that certain pairs of different Calabi-Yau manifolds gave rise to the same physical theory.

Homological Mirror Symmetry: The Mathematical Foundation

In 1994, mathematician Maxim Kontsevich formulated the Homological Mirror Symmetry Conjecture, which provided a precise mathematical framework for understanding mirror symmetry. This conjecture proposes a deep connection between categories of algebraic geometry and symplectic geometry.

Kontsevich's conjecture states that for a pair of mirror Calabi-Yau manifolds (X, X), there exists an equivalence of categories:

Where D^b(Coh(X)) is the bounded derived category of coherent sheaves on X (an algebraic object), and Fuk(X) is the Fukaya category of X (a symplectic object). This equivalence of categories is what we call homological mirror symmetry.

Key Concepts and Terminology

Calabi-Yau Manifolds

Calabi-Yau manifolds are special geometric spaces that provide the compactifications required in string theory. They are Khler manifolds with trivial canonical bundle, which essentially means they have zero Ricci curvature. In complex dimension one, these are just tori (elliptic curves). In complex dimension two, they are K3 surfaces. Calabi-Yau threefolds are of particular importance in physics but are extremely complicated to study directly.

Symplectic Geometry

Symplectic geometry studies manifolds equipped with a closed, non-degenerate 2-form called a symplectic form. This structure captures the geometry of phase spaces in classical mechanics. Symplectic manifolds are always even-dimensional and don't have local invariants like curvature, making them fundamentally different from Riemannian manifolds.

Derived Categories

Derived categories are a sophisticated tool in homological algebra that allow mathematicians to handle complexes of objects. The bounded derived category of coherent sheaves D^b(Coh(X)) is a triangulated category that encodes information about the algebraic geometry of X.

Fukaya Category

The Fukaya category is a category associated to a symplectic manifold, whose objects are Lagrangian submanifolds (submanifolds where the symplectic form restricts to zero). Morphisms between these objects are related to Floer cohomology, which counts intersection points between Lagrangians.

Significant Developments and Theorems

Elliptic Curves

The first and most accessible case of homological mirror symmetry concerns elliptic curves (one-dimensional Calabi-Yau manifolds). Polishchuk and Zaslow, building on work by Seidel and Thomas, established homological mirror symmetry for elliptic curves. Their result explicitly describes the equivalence between derived categories of coherent sheaves and Fukaya categories.

The SYZ Conjecture

In 1996, Strominger, Yau, and Zaslow proposed a geometric explanation for mirror symmetry, now known as the SYZ conjecture. It suggests that mirror Calabi-Yau manifolds admit special Lagrangian torus fibrations, and the mirror relationship can be understood as T-duality along the fibers of these fibrations. This geometric picture has guided much of the subsequent research in the field.

HMS for Quartic Surfaces

Significant progress was made by Seidel and Thomas, who established homological mirror symmetry for certain non-singular quartic surfaces in CP (special K3 surfaces). This example, relating derived categories of coherent sheaves to symplectic geometry, provided important insights into how the correspondence works in higher dimensions.

Fano Varieties

Kontsevich's conjecture has been extended beyond Calabi-Yau manifolds. For Fano varieties (manifolds with positive first Chern class), homological mirror symmetry relates the derived category of coherent sheaves to the Fukaya-Seidel category, which encodes information about Lefschetz fibrations. Important work has been done by Abouzaid, Auroux, and others in establishing these equivalences.

Applications in Mathematics and Physics

Enumerative Geometry

One of the most spectacular applications of mirror symmetry has been to enumerative geometry, which counts geometric objects satisfying certain conditions. Mirror symmetry techniques revolutionized this field by converting difficult curve-counting problems on one manifold into tractable computations on its mirror, leading to the prediction of surprising formulas like the famous mirror formula for Gromov-Witten invariants.

Stability Conditions

Homological mirror symmetry has deep connections to the theory of stability conditions on triangulated categories, introduced by Tom Bridgeland. These stability conditions generalize the classical notion of slope stability for vector bundles and provide a powerful tool for understanding the geometry of moduli spaces on both sides of the mirror correspondence.

Invariant Theory

The techniques developed through the study of homological mirror symmetry have led to new ways of computing and linking various algebraic invariants. For example, the relationship between Gromov-Witten invariants (symplectic) and period integrals (complex) has led to new computational approaches in both fields.

Physics Applications

In physics, homological mirror symmetry provides a mathematical foundation for the duality between topological string theories of type A and type B. This has applications in quantum field theory, string theory, and even in understanding certain aspects of condensed matter systems through topological phases.

Current Research Directions

Homological mirror symmetry remains an active area of research with many open problems and exciting directions:

• Generalized HMS: Extending the correspondence to broader classes of manifolds beyond Calabi-Yau and Fano cases.
• Homotopical Aspects: Understanding the homotopy-theoretic foundations of the Fukaya category and its enhancements.
• Categorical Methods: Developing categorical tools and higher categorical structures to better understand mirror symmetry.
• Computational Approaches: Creating algorithmic techniques to verify and compute mirror correspondences in explicit examples.
• Non-commutative Geometry: Exploring mirror symmetry for non-commutative spaces, which has led to the development of homological mirror symmetry for matrix factorizations.
• Geometric Langlands: Investigating connections between homological mirror symmetry and the geometric Langlands program, creating bridges between disparate mathematical fields.

As research continues, homological mirror symmetry serves as a shining example of the profound unity of mathematics, demonstrating how questions arising from theoretical physics can reveal deep connections between seemingly unrelated areas of mathematics. From the abstract world of categories to the concrete geometry of physical spaces, this remarkable correspondence continues to inspire mathematicians and physicists alike, opening new pathways to understanding the mathematical structures underlying our universe.