UC Berkeley

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 information about $Y$ from known properties of $X$. Strominger-Yau-Zaslow (1996) described how such pairs arise geometrically as torus fibrations with the same base and related fibers, known as SYZ mirror symmetry. Kontsevich (1994) 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). This is known as homological mirror symmetry. In this project, we first use the construction of SYZ mirrors for hypersurfaces in abelian varieties following Abouzaid-Auroux-Katzarkov, in order to obtain $X$ and $Y$ as manifolds. The complex manifold comes from the genus 2 curve as a hypersurface in its Jacobian torus, and we equip the SYZ mirror manifold with a symplectic form. We then describe an embedding of the category on the complex side 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.