\documentclass[11 pt]{article}

\usepackage{amsmath,amsthm,amsfonts,amssymb,titlesec}
\usepackage{hyperref}
\usepackage{tikz}
\usepackage{verbatim}
\usepackage{accents}
\usepackage[citestyle=alphabetic,bibstyle=alphabetic,backend=bibtex]{biblatex}
\usepackage{todonotes}
\usepackage[american]{babel}
\usepackage{fancyhdr}


\hypersetup{colorlinks=false}
\usetikzlibrary{calc, decorations.pathreplacing,shapes.misc}
\usetikzlibrary{decorations.pathmorphing}
\usepackage[left=1in,top=1in,right=1in]{geometry}
\usepackage[capitalize]{cleveref}




\newcommand{\mathcolorbox}[2]{\colorbox{#1}{$\displaystyle #2$}}
\newcommand{\xxx}{T base with combinatorial potential data }
\newcommand{\Xxx}{T base with combinatorial potential data }
\newcommand{\xxxc}{combinatorial potential stratified space }
\newcommand{\Xxxc}{combinatorial potential stratified space }
\newcommand{\argument}{symplectic character }
\newcommand{\arguments}{symplectic characters }
\newcommand{\snip}[2]{#1}


\newtheorem{theorem}{Theorem}[section]
\newtheorem{lem}[theorem]{Lemma}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{question}[theorem]{Question}


\theoremstyle{remark} 
\newtheorem{rem}[theorem]{Remark}
\newtheorem{remark}[theorem]{Remark}
 \crefname{rem}{Remark}{Remarks}
 \Crefname{rem}{Remark}{Remarks}
 \newtheorem{exercise}[theorem]{Exercise}
 \newtheorem{example}[theorem]{Example}
 \newenvironment{construction}{}{}
 \newenvironment{exposition}{}{}
 \newenvironment{application}{}{}

\theoremstyle{definition} 
\newtheorem{df}[theorem]{Definition} 
\newtheorem{definition}[theorem]{Definition} 

\titleformat*{\section}{\normalsize \bfseries \filcenter}
\titleformat*{\subsection}{\normalsize \bfseries }


\newtheorem{mainthm}{Theorem}
\Crefname{mainthm}{Theorem}{Theorems}
\newtheorem{maincor}[mainthm]{Corollary}
\Crefname{maincor}{Corollary}{Corollaries}


\renewcommand*{\themainthm}{\Alph{mainthm}}


\makeatletter
\def\namedlabel#1#2{\begingroup
   \def\@currentlabel{#2}%
   \label{#1}\endgroup
}
\makeatother


\fancypagestyle{firstpage}{%

      \fancyhf{}
      \renewcommand\headrulewidth{0pt}
      \fancyfoot[R]{Original text at \texttt{ \href{http://jeffhicks.net/snippets/index.php?tag=art_mirrorSymmetryYukawaCouplings}{snippets/art\_mirrorSymmetryYukawaCouplings}}}
    }
    \newcommand{\wt}{\widetilde}

\newcommand{\wh}{\widehat}
\newcommand{\wb}{\overline}
\newcommand{\bb}{\mathbb}
\newcommand{\scr}{\mathscr}
\newcommand{\RR}{\mathbb R}
\newcommand{\ZZ}{\mathbb Z}
\newcommand{\QQ}{\mathbb Q}
\newcommand{\CC}{\mathbb C}
\newcommand{\TT}{\mathbb T}
\newcommand{\NN}{\mathbb N}
\newcommand{\PP}{\mathbb P}
\newcommand{\LL}{\mathbb L}
\newcommand{\II}{\mathbb I}
\newcommand{\CP}{\mathbb{CP}}
\newcommand{\del}{\nabla}
\newcommand{\pp}{\mathbf{m}}
\newcommand{\into}{\hookrightarrow}
\newcommand{\emprod}{m}
\newcommand{\tensor}{\otimes}
\renewcommand{\Re}{\text{Re}}
\renewcommand{\Im}{\text{Im}}
\newcommand{\eps}{\varepsilon}

\newcommand{\CF}{CF^\bullet}
\newcommand{\HF}{HF^\bullet}
\newcommand{\SH}{SH^\bullet}
\newcommand{\core}{\mathfrak{c}}
\newcommand{\cocore}{\mathfrak{u}}
\newcommand{\stp}{\mathfrak{f}}
\newcommand{\li}{i}
\newcommand{\ot}{\leftarrow}
\newcommand{\Spinc}{\text{Spin}^c}
\newcommand{\ev}{ev}
\newcommand{\st}{\;:\;}


\newcommand{\OP}{\mathcal O_{\mathbb P^1}}
\newcommand{\OPP}{\mathcal O_{\mathbb P\times \mathbb P}}
\newcommand{\gentime}{\text{\ClockLogo}}


\newcommand{\q}{m}
\newcommand{\HeF}{\widehat{CF}^\bullet}
\newcommand{\HHeF}{\widehat{HF}^\bullet}
\newcommand{\p}{\eta}
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\cone}{cone}
\DeclareMathOperator{\dg}{dg}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Log}{Log}
\DeclareMathOperator{\Conn}{Conn}
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\Flux}{Flux}
\DeclareMathOperator{\Crit}{Crit}
\DeclareMathOperator{\ind}{ind}
\DeclareMathOperator{\codim}{codim}
\DeclareMathOperator{\sgn}{sgn}
\DeclareMathOperator{\Ext}{Ext}
\DeclareMathOperator{\TropB}{TropB}
\DeclareMathOperator{\weight}{wt}
\DeclareMathOperator{\Span}{span}
\DeclareMathOperator{\Coh}{Coh}
\DeclareMathOperator{\Pic}{Pic}
\DeclareMathOperator{\Fuk}{Fuk}
\DeclareMathOperator{\str}{star}
\DeclareMathOperator{\Ob}{Ob}
\DeclareMathOperator{\Coh}{Coh}
\DeclareMathOperator{\CritVal}{CritV}
\DeclareMathOperator{\Sing}{Sing}
\DeclareMathOperator{\FS}{FS}
\DeclareMathOperator{\Vect}{Vect}
\DeclareMathOperator{\grad}{grad}
\DeclareMathOperator{\Supp}{Supp}
\DeclareMathOperator{\Bl}{Bl}
\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\Tw}{Tw}
\DeclareMathOperator{\Int}{Int}
\DeclareMathOperator{\Arg}{\mathbf{M}}
\begin{filecontents}{references.bib}
@article{ballard2012hochschild,
  title={Hochschild dimensions of tilting objects},
  author={Ballard, Matthew and Favero, David},
  journal={International Mathematics Research Notices},
  volume={2012},
  number={11},
  pages={2607--2645},
  year={2012},
  publisher={OUP}
}

@article{craw2007explicit,
  title={Explicit methods for derived categories of sheaves},
  author={Craw, Alastair},
  publisher={Citeseer}
}
@article{weinstein1971symplectic,
  title={Symplectic manifolds and their {L}agrangian submanifolds},
  author={Weinstein, Alan},
  journal={Advances in Mathematics},
  volume={6},
  number={3},
  pages={329--346},
  year={1971},
  publisher={Academic Press}
}

@article{hanlon2022aspects,
  title={Aspects of functoriality in homological mirror symmetry for toric varieties},
  author={Hanlon, A and Hicks, J},
  journal={Advances in Mathematics},
  volume={401},
  pages={108317},
  year={2022},
  publisher={Elsevier}
}

@article{biran2013lagrangian,
  title={{L}agrangian cobordism. {I}},
  author={Biran, Paul and Cornea, Octav},
  journal={Journal of the American Mathematical Society},
  volume={26},
  number={2},
  pages={295--340},
  year={2013}
}



@article{tanaka2016fukaya,
  title={The Fukaya category pairs with Lagrangian cobordisms},
  author={Tanaka, Hiro Lee},
  journal={arXiv preprint arXiv:1607.04976},
  year={2016}
}


@book{seidel2008fukaya,
  title={Fukaya categories and Picard-Lefschetz theory},
  author={Seidel, Paul},
  volume={10},
  year={2008},
  publisher={European Mathematical Society}
}


@article{seidel2003long,
  title={A long exact sequence for symplectic {F}loer cohomology},
  author={Seidel, Paul},
  journal={Topology},
  volume={42},
  pages={1003--1063},
  year={2003}
}

@article{da2001lectures,
  title={Lectures on symplectic geometry},
  author={da Silva, Ana Cannas},
  journal={Lecture Notes in Mathematics},
  volume={1764},
  year={2001},
  publisher={Springer}
}

@inproceedings{seidel2001vanishing,
  title={Vanishing cycles and mutation},
  author={Seidel, Paul},
  booktitle={European Congress of Mathematics: Barcelona, July 10--14, 2000 Volume II},
  pages={65--85},
  year={2001},
  organization={Springer}
}

@article{seidel2001more,
  title={More about vanishing cycles and mutation},
  author={Seidel, Paul},
  journal={Symplectic Geometry and Mirror Symmetry (Seoul, 2000)},
  pages={429--465},
  year={2001}
}

@article{polterovich1991surgery,
  title={The surgery of {L}agrange submanifolds},
  author={Polterovich, Leonid},
  journal={Geometric \& Functional Analysis GAFA},
  volume={1},
  number={2},
  pages={198--210},
  year={1991},
  publisher={Springer}
}

@misc{perutz2008handleslide,
  doi = {10.48550/ARXIV.0801.0564},
  
  url = {https://arxiv.org/abs/0801.0564},
  
  author = {Perutz, Timothy},
  
  keywords = {Symplectic Geometry (math.SG), Geometric Topology (math.GT), FOS: Mathematics, FOS: Mathematics, 53D12; 53D40; 57M27; 32U40},
  
  title = {Hamiltonian handleslides for {H}eegaard {F}loer homology},
  
  publisher = {arXiv},
  
  year = {2008},
  
  copyright = {Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004}
}


@incollection{audin1994symplectic,
  title={Symplectic rigidity: {L}agrangian submanifolds},
  author={Audin, Mich{\`e}le and Lalonde, Fran{\c{c}}ois and Polterovich, Leonid},
  booktitle={Holomorphic curves in symplectic geometry},
  pages={271--321},
  year={1994},
  publisher={Springer}
}
@phdthesis{oancea2003suite,
  title={La suite spectrale de {L}eray-{S}erre en homologie de {F}loer des vari{\'e}t{\'e}s symplectiques compactes {\`a} bord de type contact},
  author={Oancea, Alexandru},
  year={2003},
  school={Universit{\'e} Paris Sud-Paris XI}
}
@article{abouzaid2010geometric,
  title={A geometric criterion for generating the {F}ukaya category},
  author={Abouzaid, Mohammed},
  journal={Publications Math{\'e}matiques de l'IH{\'E}S},
  volume={112},
  pages={191--240},
  year={2010}
}
@article{viterbo1999functors,
  title={Functors and computations in {F}loer homology with applications, I},
  author={Viterbo, Claude},
  journal={Geometric \& Functional Analysis GAFA},
  volume={9},
  number={5},
  pages={985--1033},
  year={1999},
  publisher={Springer}
}
@misc{stacks-project,
  author       = {The {Stacks project authors}},
  title        = {The Stacks project},
  howpublished = {\url{https://stacks.math.columbia.edu}},
  year         = {2022},
}

@article{wendlbeginner,
  title={A beginner’s overview of symplectic homology},
  author={Wendl, Chris},
  journal={Preprint. www. mathematik. hu-berlin. de/wendl/pub/SH. pdf}
}

@article{seidel2006biased,
  title={A biased view of symplectic cohomology},
  author={Seidel, Paul},
  journal={Current developments in mathematics},
  volume={2006},
  number={1},
  pages={211--254},
  year={2006},
  publisher={International Press of Boston}
}
@article{arnol1980lagrange,
  title={{L}agrange and {L}egendre cobordisms. I},
  author={Arnol'd, Vladimir Igorevich},
  journal={Funktsional'nyi Analiz i ego Prilozheniya},
  volume={14},
  number={3},
  pages={1--13},
  year={1980},
  publisher={Russian Academy of Sciences}
}

@article{fukaya2007lagrangian,
  title={{L}agrangian intersection {F}loer theory-anomaly and obstruction, chapter 10},
  author={Fukaya, K and Oh, YG and Ohta, H and Ono, K},
  journal={Preprint, can be found at http://www. math. kyoto-u. ac. jp/\~{} fukaya/Chapter10071117. pdf},
  year={2007}
}

@article{biran2014lagrangian,
  title={Lagrangian cobordism and Fukaya categories},
  author={Biran, Paul and Cornea, Octav},
  journal={Geometric and functional analysis},
  volume={24},
  number={6},
  pages={1731--1830},
  year={2014},
  publisher={Springer}
}
@article{bourgeois2009symplectic,
  title={Symplectic homology, autonomous {H}amiltonians, and {M}orse-{B}ott moduli spaces},
  author={Bourgeois, Fr{\'e}d{\'e}ric and Oancea, Alexandru},
  journal={Duke mathematical journal},
  volume={146},
  number={1},
  pages={71--174},
  year={2009},
  publisher={Duke University Press}
}


@incollection{auroux2014beginner,
  title={A beginner’s introduction to {F}ukaya categories},
  author={Auroux, Denis},
  booktitle={Contact and symplectic topology},
  pages={85--136},
  year={2014},
  publisher={Springer}
}

@article{singer1933three,
  title={Three-dimensional manifolds and their {H}eegaard diagrams},
  author={Singer, James},
  journal={Transactions of the American Mathematical Society},
  volume={35},
  number={1},
  pages={88--111},
  year={1933},
  publisher={JSTOR}
}

@article{ozsvath2004holomorphic,
  title={Holomorphic disks and three-manifold invariants: properties and applications},
  author={Ozsv{\'a}th, Peter and Szab{\'o}, Zolt{\'a}n},
  journal={Annals of Mathematics},
  pages={1159--1245},
  year={2004},
  publisher={JSTOR}
}

@article{ozsvath2004introduction,
  title={An introduction to {H}eegaard {F}loer homology},
  author={Ozsv{\'a}th, Peter and Szab{\'o}, Zolt{\'a}n},
  journal={{F}loer homology, gauge theory, and low-dimensional topology},
  volume={5},
  pages={3--27},
  year={2004}
}

@article{fet1952variational,
  title={Variational problems on closed manifolds},
  author={Fet, Abram Il'ich},
  journal={Matematicheskii Sbornik},
  volume={72},
  number={2},
  pages={271--316},
  year={1952},
  publisher={Russian Academy of Sciences, Steklov Mathematical Institute of Russian~…}
}

@article{candelas1991pair,
  title={A pair of {Calabi--Yau} manifolds as an exactly soluble superconformal theory},
  author={Candelas, Philip and de la Ossa, Xenia C. and Green, Paul S. and Parkes, Linda},
  journal={Nuclear Physics B},
  volume={359},
  number={1},
  pages={21--74},
  year={1991}
}

@inproceedings{kontsevich1994homological,
  title={Homological algebra of mirror symmetry},
  author={Kontsevich, Maxim},
  booktitle={Proceedings of the International Congress of Mathematicians},
  year={1994}
}

@article{strominger1996mirror,
  title={Mirror symmetry is {T}-duality},
  author={Strominger, Andrew and Yau, Shing-Tung and Zaslow, Eric},
  journal={Nuclear Physics B},
  volume={479},
  number={1--2},
  pages={243--259},
  year={1996},
  publisher={Elsevier}
}

@article{gross2003affine,
  title={Affine manifolds, log structures, and mirror symmetry},
  author={Gross, Mark and Siebert, Bernd},
  journal={Turkish Journal of Mathematics},
  volume={27},
  number={1},
  pages={33--60},
  year={2003}
}

@book{hubsch1992calabi,
  title={{Calabi--Yau} manifolds: A bestiary for physicists},
  author={H{\"u}bsch, Tristan},
  year={1992},
  publisher={World Scientific}
}

@article{yau1978ricci,
  title={On the Ricci curvature of a compact {K{\"a}hler} manifold and the complex {Monge--Ampere} equation, I},
  author={Yau, Shing-Tung},
  journal={Communications on Pure and Applied Mathematics},
  volume={31},
  number={3},
  pages={339--411},
  year={1978}
}

@article{gross2001special,
  title={Special {Lagrangian} fibrations I: Topology},
  author={Gross, Mark},
  journal={AMS/IP Studies in Advanced Mathematics},
  volume={23},
  pages={65--94},
  year={2001}
}
\end{filecontents}
\addbibresource{references.bib}\begin{document}

\title{where to go from here?}
 \maketitle
 \thispagestyle{firstpage}If mirror symmetry relates deformations of symplectic structures to deformations of complex structures, then symplectic and complex invariants should have related deformation theories. One of the original predictions of mirror symmetry was an equality between two different Yukawa couplings.

\begin{definition}\cite{Mirror symmetry motivation notes}
\label{def:aModelYukawaCoupling}
We use the genus-zero Gromov--Witten invariants from \underline{\href{https://jeffhicks.net/snippets/index.php?tag=def:genusZeroGromovWittenInvariant}{ genus-zero Gromov--Witten invariant}}.

Let $X$ be a smooth projective Calabi--Yau threefold. The \emph{$A$-model Yukawa coupling} is the formal trilinear form on divisor classes $\alpha_1,\alpha_2,\alpha_3\in H^{1,1}(X;\CC)$ given by
\[
\langle \alpha_1,\alpha_2,\alpha_3\rangle_A
=
\int_X\alpha_1\wedge\alpha_2\wedge\alpha_3
+
\sum_{0\neq \beta\in H_2(X;\ZZ)_{\mathrm{eff}}}
\langle \alpha_1,\alpha_2,\alpha_3\rangle_{0,\beta}\,q^\beta.
\]
The first term is the classical triple intersection product. The remaining terms are genus-zero Gromov--Witten quantum corrections. If the complexified K\"ahler parameter is $[B]+i[\omega]$, then one common convention is
\[
q^\beta=\exp\left(2\pi i\int_\beta(B+i\omega)\right).
\]
Different sign conventions for $q^\beta$ appear in the literature.
\end{definition}

In the special case of divisor insertions on a Calabi--Yau threefold, the divisor axiom rewrites this as
\[
\langle \alpha_1,\alpha_2,\alpha_3\rangle_{0,\beta}
=N_\beta\left(\int_\beta \alpha_1\right)
\left(\int_\beta\alpha_2\right)
\left(\int_\beta\alpha_3\right),
\]
where $N_\beta$ is the relevant genus-zero virtual count of rational curves in the class $\beta$. If the $\alpha_i$ are dual to submanifolds $A_1,A_2,A_3$, this invariant can be heuristically interpreted as counting rational curves in class $\beta$ which meet $A_1,A_2,A_3$.

Thus the $A$-model Yukawa coupling is a power series in K\"ahler parameters: the classical term is the triple intersection product, and the higher-order terms come from holomorphic curve counts.

\begin{definition}\cite{Mirror symmetry motivation notes}
\label{def:bModelYukawaCoupling}
Let $\check X$ be a compact Calabi--Yau threefold, and choose a nowhere-vanishing holomorphic volume form $\Omega$. The \emph{$B$-model Yukawa coupling} associated to $\Omega$ is the symmetric trilinear form on first-order complex-structure deformations
\[
H^1(\check X,T_{\check X})^{\otimes 3}\to \CC
\]
defined by
\[
\langle a_1,a_2,a_3\rangle_B
=
\int_{\check X}\Omega\wedge
\big((a_1\wedge a_2\wedge a_3)\lrcorner\,\Omega\big).
\]
Here the $a_i$ may be represented by $(0,1)$-forms with values in $T_{\check X}$, and contraction with $\Omega$ identifies the $\wedge^3T_{\check X}$ factor with $\mathcal O_{\check X}$. In a family, these couplings can be described equivalently in terms of the variation of Hodge structure on $H^3(\check X)$.
\end{definition}

Expanding the $B$-model Yukawa coupling in flat complex-structure coordinates gives another power series. Unlike the $A$-side expression, this series can often be computed from period integrals and the \underline{\href{https://jeffhicks.net/snippets/index.php?tag=def:picardFuchsEquation}{ Picard--Fuchs equations}} for the family $\check X$.

\begin{definition}\cite{Mirror symmetry motivation notes}
\label{def:mirrorMap}
Let $X$ and $\check X$ be a proposed mirror pair of Calabi--Yau manifolds. Given chosen boundary points in the complexified K\"ahler moduli of $X$ and the complex-structure moduli of $\check X$, a \emph{mirror map} is a local analytic or formal identification of the corresponding parameter spaces:
\[
\text{complexified K\"ahler parameters of }X
\quad\leftrightarrow\quad
\text{complex-structure parameters of }\check X.
\]
Depending on convention, either this identification or its inverse is called the mirror map.
Near a \underline{\href{https://jeffhicks.net/snippets/index.php?tag=def:largeRadiusLimit}{ large-radius limit}} on the $A$-side and a \underline{\href{https://jeffhicks.net/snippets/index.php?tag=def:largeComplexStructureLimit}{ large complex-structure limit}} on the $B$-side, this identification is usually normalized using flat coordinates on the $B$-model side obtained from periods of the holomorphic volume form on $\check X$. It is the coordinate change used to compare $A$-model structures on $X$ with $B$-model structures on $\check X$.
\end{definition}

Mirror symmetry says that, after the mirror map identifies K\"ahler parameters of $X$ with complex-structure parameters of $\check X$, these two power series agree. The $A$-model Yukawa coupling deforms the classical triple product on $H^{1,1}(X)$ by holomorphic curve corrections, while the $B$-model Yukawa coupling is controlled by the \underline{\href{https://jeffhicks.net/snippets/index.php?tag=def:variationOfHodgeStructure}{ variation of Hodge structure}} on $H^3(\check X)$. This was the form of mirror symmetry used in \cite{candelas1991pair} to extract enumerative predictions.
\printbibliography
 \end{document}