Local mirror symmetry via SYZ
Extracted source text ยท arXiv 2105.12863
\documentclass[12pt]{amsart}
\usepackage{amsmath, amssymb, amsthm, amsfonts, amscd}
%\usepackage[notcite,notref]{showkeys}
%\usepackage{natbib}
%\setlength{\bibsep}{0.2pt}
\input xy
\xyoption{all}
\usepackage{hyperref}
\usepackage{graphicx}
\usepackage{color}
%\usepackage{amsrefs}
%\swapnumbers
\numberwithin{equation}{section}
\newtheorem{theorem}[equation]{Theorem}
\newtheorem*{theorem*}{Theorem}
\newtheorem{corollary}[equation]{Corollary}
\newtheorem{lemma}[equation]{Lemma}
\newtheorem{fact}[equation]{Fact}
\newtheorem{proposition}[equation]{Proposition}
\newtheorem{construction}[equation]{Construction}
\theoremstyle{definition}
\newtheorem{definition}[equation]{Definition}
\newtheorem{remark}[equation]{Remark}
\newtheorem{example}[equation]{Example}
\newtheorem*{example*}{Example}
\newtheorem{question}[equation]{Question}
\setcounter{tocdepth}{3}
%%%%% page setup %%%%%
\usepackage[margin=1in,marginparwidth=0.8in, marginparsep=0.1in]{geometry}
%\setlength{\textwidth}{460pt}
%\setlength{\oddsidemargin}{0pt}
%\setlength{\evensidemargin}{0pt}
%\setlength{\topmargin}{0pt}
%\setlength{\textheight}{620pt}
%%%%%%%%% mathbb %%%%%%%%
\def\AA{\mathbb{A}}
\def\BA{\mathbb{A}}
\def\BB{\mathbb{B}}
\def\CC{\mathbb{C}}
\def\DD{\mathbb{D}}
\def\bD{\mathbb{D}}
\def\EE{\mathbb{E}}
\def\FF{\mathbb{F}}
\def\GG{\mathbb{G}}
\def\G{\mathbb{G}}
\def\HH{\mathbb{H}}
\def\II{\mathbb{I}}
\def\JJ{\mathbb{J}}
\def\KK{\mathbb{K}}
\def\LL{\mathbb{L}}
\def\MM{\mathbb{M}}
\def\NN{\mathbb{N}}
\def\OO{\mathbb{O}}
\def\PP{\mathbb{P}}
\def\QQ{\mathbb{Q}}
\def\RR{\mathbb{R}}
\def\R{\mathbb{R}}
\def\BR{\mathbb{R}}
\def\SS{\mathbb{S}}
\def\TT{\mathbb{T}}
\def\UU{\mathbb{U}}
\def\VV{\mathbb{V}}
\def\WW{\mathbb{W}}
\def\XX{\mathbb{X}}
\def\YY{\mathbb{Y}}
\def\ZZ{\mathbb{Z}}
\def\BZ{\mathbb{Z}}
%%%%%%%% mathcal %%%%%%%%
\def\cA{\mathcal{A}}
\def\cB{\mathcal{B}}
\def\cC{\mathcal{C}}
\def\cC{\mathcal{C}}
\def\cD{\mathcal{D}}
\def\cE{\mathcal{E}}
\def\cF{\mathcal{F}}
\def\cG{\mathcal{G}}
\def\cH{\mathcal{H}}
\def\cI{\mathcal{I}}
\def\cJ{\mathcal{J}}
\def\cK{\mathcal{K}}
\def\cL{\mathcal{L}}
\def\cM{\mathcal{M}}
\def\cN{\mathcal{N}}
\def\cO{\mathcal{O}}
\def\cP{\mathcal{P}}
\def\cQ{\mathcal{Q}}
\def\cR{\mathcal{R}}
\def\cS{\mathcal{S}}
\def\cT{\mathcal{T}}
\def\cU{\mathcal{U}}
\def\cV{\mathcal{V}}
\def\cW{\mathcal{W}}
\def\cX{\mathcal{X}}
\def\cY{\mathcal{Y}}
\def\cZ{\mathcal{Z}}
%%%%%%%%% bold face %%%%%%%%%%
\def\bA{\mathbf{A}}
\def\bB{\mathbf{B}}
\def\bC{\mathbf{C}}
\def\bD{\mathbf{D}}
\def\bE{\mathbf{E}}
\def\bF{\mathbf{F}}
\def\bG{\mathbf{G}}
\def\bH{\mathbf{H}}
\def\bI{\mathbf{I}}
\def\bJ{\mathbf{J}}
\def\bK{\mathbf{K}}
\def\bL{\mathbf{L}}
\def\bM{\mathbf{M}}
\def\bN{\mathbf{N}}
\def\bO{\mathbf{O}}
\def\bP{\mathbf{P}}
\def\bQ{\mathbf{Q}}
\def\bR{\mathbf{R}}
\def\bS{\mathbf{S}}
\def\bT{\mathbf{T}}
\def\bU{\mathbf{U}}
\def\bV{\mathbf{V}}
\def\bW{\mathbf{W}}
\def\bX{\mathbf{X}}
\def\bY{\mathbf{Y}}
\def\bZ{\mathbf{Z}}
%%%%%%%% frak %%%%%%%%
\newcommand\frA{\mathfrak{A}}
\newcommand\frB{\mathfrak{B}}
\newcommand\frC{\mathfrak{C}}
\newcommand\frD{\mathfrak{D}}
\newcommand\frE{\mathfrak{E}}
\newcommand\frF{\mathfrak{F}}
\newcommand\frG{\mathfrak{G}}
\newcommand\frH{\mathfrak{H}}
\newcommand\frI{\mathfrak{I}}
\newcommand\frJ{\mathfrak{J}}
\newcommand\frK{\mathfrak{K}}
\newcommand\frL{\mathfrak{L}}
\newcommand\frM{\mathfrak{M}}
\newcommand\frN{\mathfrak{N}}
\newcommand\frO{\mathfrak{O}}
\newcommand\frP{\mathfrak{P}}
\newcommand\frQ{\mathfrak{Q}}
\newcommand\frR{\mathfrak{R}}
\newcommand\frS{\mathfrak{S}}
\newcommand\frT{\mathfrak{T}}
\newcommand\frU{\mathfrak{U}}
\newcommand\frV{\mathfrak{V}}
\newcommand\frW{\mathfrak{W}}
\newcommand\frX{\mathfrak{X}}
\newcommand\frY{\mathfrak{Y}}
\newcommand\frZ{\mathfrak{Z}}
\newcommand\fra{\mathfrak{a}}
\newcommand\frb{\mathfrak{b}}
\newcommand\frc{\mathfrak{c}}
\newcommand\frd{\mathfrak{d}}
\newcommand\fre{\mathfrak{e}}
\newcommand\frf{\mathfrak{f}}
\newcommand\frg{\mathfrak{g}}
\newcommand\frh{\mathfrak{h}}
\newcommand\fri{\mathfrak{i}}
\newcommand\frj{\mathfrak{j}}
\newcommand\frk{\mathfrak{k}}
\newcommand\frl{\mathfrak{l}}
\newcommand\frakm{\mathfrak{m}}
\newcommand\frn{\mathfrak{n}}
\newcommand\frp{\mathfrak{p}}
\newcommand\frq{\mathfrak{q}}
\newcommand\frr{\mathfrak{r}}
\newcommand\frs{\mathfrak{s}}
\newcommand\frt{\mathfrak{t}}
\newcommand\fru{\mathfrak{u}}
\newcommand\frv{\mathfrak{v}}
\newcommand\frw{\mathfrak{w}}
\newcommand\frx{\mathfrak{x}}
\newcommand\fry{\mathfrak{y}}
\newcommand\frz{\mathfrak{z}}
%%%%%%%% tilde %%%%%%%%%
\newcommand\tilA{\widetilde{A}}
\newcommand\tilB{\widetilde{B}}
\newcommand\tilC{\widetilde{C}}
\newcommand\tilD{\widetilde{D}}
\newcommand\tilE{\widetilde{E}}
\newcommand\tilF{\widetilde{F}}
\newcommand\tilG{\widetilde{G}}
\newcommand\tilH{\widetilde{H}}
\newcommand\tilI{\widetilde{I}}
\newcommand\tilJ{\widetilde{J}}
\newcommand\tilK{\widetilde{K}}
\newcommand\tilL{\widetilde{L}}
\newcommand\tilM{\widetilde{M}}
\newcommand\tilN{\widetilde{N}}
\newcommand\tilO{\widetilde{O}}
\newcommand\tilP{\widetilde{P}}
\newcommand\tilQ{\widetilde{Q}}
\newcommand\tilR{\widetilde{R}}
\newcommand\tilS{\widetilde{S}}
\newcommand\tilT{\widetilde{T}}
\newcommand\tilU{\widetilde{U}}
\newcommand\tilV{\widetilde{V}}
\newcommand\tilW{\widetilde{W}}
\newcommand\tilX{\widetilde{X}}
\newcommand\tilY{\widetilde{Y}}
\newcommand\tilZ{\widetilde{Z}}
\newcommand\tila{\widetilde{a}}
\newcommand\tilb{\widetilde{b}}
\newcommand\tilc{\widetilde{c}}
\newcommand\tild{\widetilde{d}}
\newcommand\tile{\widetilde{e}}
\newcommand\tilf{\widetilde{f}}
\newcommand\tilg{\widetilde{g}}
\newcommand\tilh{\widetilde{h}}
\newcommand\tili{\widetilde{i}}
\newcommand\tilj{\widetilde{j}}
\newcommand\tilk{\widetilde{k}}
%\newcommand\till{\widetilde{l}}
\newcommand\tilm{\widetilde{m}}
\newcommand\tiln{\widetilde{n}}
\newcommand\tilo{\widetilde{o}}
\newcommand\tilp{\widetilde{p}}
\newcommand\tilq{\widetilde{q}}
\newcommand\tilr{\widetilde{r}}
\newcommand\tils{\widetilde{s}}
\newcommand\tilt{\widetilde{t}}
\newcommand\tilu{\widetilde{u}}
\newcommand\tilv{\widetilde{v}}
\newcommand\tilw{\widetilde{w}}
\newcommand\tilx{\widetilde{x}}
\newcommand\tily{\widetilde{y}}
\newcommand\tilz{\widetilde{z}}
\newcommand\tilcalO{\widetilde{\mathcal{O}}}
\newcommand\tilcalL{\widetilde{\mathcal{L}}}
\newcommand\tilcalP{\widetilde{\mathcal{P}}}
\newcommand\tilcalS{\widetilde{\mathcal{S}}}
\newcommand\tilcalN{\widetilde{\mathcal{N}}}
\newcommand\Sres{\calS_{e,0}}
%%%%%%%% hat %%%%%%%%%
\def\hatG{\widehat{G}}
\def\hatMc{\widehat{M^\vee}}
\def\hatQ{\widehat{Q}}
%%%%%%%% check %%%%%%%%
%%%%%%%% standard operators %%%%%%%%
\newcommand\aff{\textup{aff}}
\newcommand\Aff{\textup{Aff}}
\newcommand\act{\textup{act}}
\newcommand\alg{\textup{alg}}
\newcommand\Alg{\textup{Alg}}
\newcommand\Alt{\textup{Alt}}
\newcommand\AS{\textup{AS}}
\newcommand\Av{\textup{Av}}
\newcommand\av{\textup{av}}
\newcommand\BM{\textup{BM}}
\newcommand{\Bun}{\textup{Bun}}
\newcommand{\can}{\textup{can}}
%\renewcommand{\char}{\textup{char}} dangerous, conflicts with xy package
\newcommand{\codim}{\textup{codim}}
\newcommand{\Coh}{\textup{Coh}}
\newcommand{\coker}{\textup{coker}}
\newcommand{\Coor}{\textup{Coor}}
\newcommand{\Corr}{\textup{Corr}}
\newcommand{\Der}{\textup{Der}}
\newcommand\ev{\textup{ev}}
\newcommand{\even}{\textup{even}}
\newcommand{\Fil}{\textup{Fil}}
\newcommand\fin{\textup{fin}}
%\newcommand{\Fl}{\textup{Fl}}
\newcommand\Forg{\textup{Forg}}
\newcommand\Fr{\textup{Fr}}
\newcommand\Frac{\textup{Frac}}
\newcommand\Frob{\textup{Frob}}
\newcommand\Fun{\textup{Fun}}
\newcommand\Fuk{\textup{Fuk}}
\newcommand\Gal{\textup{Gal}}
\newcommand\geom{\textup{geom}}
\newcommand\glob{\textup{glob}}
\newcommand{\Gr}{\textup{Gr}}
\newcommand{\gr}{\textup{gr}}
\newcommand{\Hecke}{\textup{Hecke}}
\newcommand{\Hilb}{\textup{Hilb}}
\newcommand{\Hk}{\textup{Hk}}
\newcommand\IC{\textup{IC}}
\newcommand\id{\textup{id}}
\renewcommand{\Im}{\textup{Im}}
\newcommand{\Ind}{\textup{Ind}}
\newcommand{\ind}{\textup{ind}}
\newcommand\inv{\textup{inv}}
\newcommand\Irr{\textup{Irr}}
\newcommand\Jac{\textup{Jac}}
\newcommand\Lie{\textup{Lie}}
\newcommand\Loc{\textup{Loc}}
\newcommand\loc{\textup{loc}}
\newcommand\Mod{\textup{Mod}}
\newcommand{\mult}{\textup{mult}}
\newcommand\nil{\textup{nil}}
\newcommand{\Nm}{\textup{Nm}}
\newcommand{\odd}{\textup{odd}}
\newcommand{\op}{\textup{op}}
\newcommand\Out{\textup{Out}}
\newcommand{\Perf}{\textup{Perf}}
\newcommand\Perv{\textup{Perv}}
\newcommand{\Pic}{\textup{Pic}}
\newcommand\pr{\textup{pr}}
\newcommand\pro{\textup{pro}}
\newcommand{\QCoh}{\textup{QCoh}}
\newcommand{\Quot}{\textup{Quot}}
\newcommand\rank{\textup{rank}\ }
\newcommand{\red}{\textup{red}}
\newcommand{\reg}{\textup{reg}}
\newcommand\Rep{\textup{Rep}}
\newcommand{\Res}{\textup{Res}}
\newcommand\res{\textup{res}}
\newcommand\rk{\textup{rk}}
\newcommand\rs{\textup{rs}}
\newcommand\Sat{\textup{Sat}}
\newcommand\Sht{\textup{Sht}}
\newcommand\Span{\textup{Span}}
\newcommand\Spec{\textup{Spec}}
\newcommand\Spf{\textup{Spf}}
\newcommand\St{\textup{St}}
\newcommand\st{\textup{st}}
\newcommand\Stab{\textup{Stab}}
\newcommand\Supp{\textup{Supp}}
\newcommand\Sym{\textup{Sym}}
\newcommand{\tors}{\textup{tors}}
\newcommand\Tot{\textup{Tot}}
\newcommand{\Tr}{\textup{Tr}}
\newcommand{\tr}{\textup{tr}}
\newcommand\triv{\textup{triv}}
\newcommand\unip{\textup{unip}}
\newcommand{\univ}{\textup{univ}}
\newcommand{\val}{\textup{val}}
\newcommand{\Vect}{\textup{Vect}}
\newcommand{\vol}{\textup{vol}}
\newcommand\Aut{\textup{Aut}}
\newcommand\Hom{\textup{Hom}}
\newcommand\End{\textup{End}}
\newcommand\Map{\textup{Map}}
\newcommand\Mor{\textup{Mor}}
\newcommand\uAut{\underline{\Aut}}
\newcommand\uHom{\underline{\Hom}}
\newcommand\uEnd{\underline{\End}}
\newcommand\uMor{\underline{\Mor}}
\newcommand{\RHom}{\bR\Hom}
\newcommand\RuHom{\bR\uHom}
\newcommand{\Ext}{\textup{Ext}}
\newcommand{\uExt}{\underline{\Ext}}
%%%%%%%% Lie groups and algebras %%%%%%%
\newcommand\GL{\textup{GL}}
\newcommand\gl{\mathfrak{gl}}
\newcommand\PGL{\textup{PGL}}
\newcommand\Ug{\textup{U}}
\newcommand\ug{\mathfrak{u}}
\newcommand\SL{\textup{SL}}
\renewcommand\sl{\mathfrak{sl}}
\newcommand\SU{\textup{SU}}
\newcommand\su{\mathfrak{su}}
\newcommand\GU{\textup{GU}}
\newcommand\SO{\textup{SO}}
\newcommand\GO{\textup{GO}}
\newcommand\Og{\textup{O}}
\newcommand\so{\mathfrak{so}}
\newcommand\Sp{\textup{Sp}}
\renewcommand\sp{\mathfrak{sp}}
\newcommand\GSp{\textup{GSp}}
\newcommand{\Gm}{\GG_m}
\def\Ga{\GG_a}
\newcommand{\ad}{\textup{ad}}
\newcommand{\Ad}{\textup{Ad}}
\renewcommand\sc{\textup{sc}}
\newcommand{\der}{\textup{der}}
\newcommand\xch{\mathbb{X}^*}
\newcommand\xcoch{\mathbb{X}_*}
%%%%%%% common symbols %%%%%%%%
\newcommand{\incl}{\hookrightarrow}
\newcommand{\isom}{\stackrel{\sim}{\to}}
\newcommand{\bij}{\leftrightarrow}
\newcommand{\surj}{\twoheadrightarrow}
\newcommand{\ep}{\epsilon}
\renewcommand{\l}{\lambda}
\renewcommand{\L}{\Lambda}
\newcommand{\om}{\omega}
\newcommand{\Om}{\Omega}
%%%%%%% further stuff %%%%%%%%
\newcommand\nc{\newcommand}
%addcommand here
\nc\oX{\overline{X}}
\nc\oD{\overline{D}}
\nc\oT{\overline{T}}
\nc\bsig{\overline{\sigma}}
\nc\Pprop{\on{Perf}_{\on{prop}}}
\nc\Tors{\on{Tors}}
\nc\on{\operatorname}
\nc\ol{\overline}
\nc\ul{\underline}
\nc\Bl{\on{Bl}}
\nc\Conv{\on{Conv}}
\nc\Int{\on{Int}}
\nc\Pc{\mathring{P}}
\nc\oo{\infty}
\nc\Cone{\on{Cone}}
\nc\ssupp{\mathit{ss}}
\nc\risom{\stackrel{\sim}{\to}}
\nc\Sh{\mathit{Sh}}
\nc\un{\diamondsuit}
\nc\orient{\mathit{or}}
\nc\sing{\mathit{sing}}
\nc\MF{\on{MF}}
\nc\Log{\on{Log}}
\nc\Arg{\on{Arg}}
\nc\inthom{\mathit{Hom}}
\nc\colim{\varinjlim}
\nc\Dmod{\calD}
\nc\hh{\heartsuit}
\nc\mmod{\on{-mod}}
\nc\wsh{\Sh^w}
\nc\wmsh{\mu\Sh^w}
%% YYY %%%
%addcommand here%
\nc\Conf{\on{Conf}}
\nc\pt{\on{pt}}
\nc\ovi{\overline{i}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\nc\conv{\mathit{conv}}
\nc\trad{\mathit{inf}}
\nc\wrap{\mathit{wr}}
\nc\tP{\widetilde{P}}
\nc\tX{\widetilde{X}}
\nc\tphi{\widetilde{\varphi}}
\nc\Lmsing{\mathbb{L}^m_{\on{deg}}}
\nc\defpot{\widetilde{\varphi}}
\nc\tcA{\widetilde{\mathcal{A}}}
\nc\rT{\mathrm{T}}
\nc\rS{\mathrm{S}}
\begin{document}
\title{Local mirror symmetry via SYZ}
\author{Benjamin Gammage}
%\date{\today}
%\address{Department of Mathematics, Harvard University}
%\email{gammage@math.harvard.edu}
\maketitle
\begin{abstract}
In this note, we explain how mirror symmetry for basic local models in the Gross-Siebert program can be understood through the non-toric blowup construction described by Gross-Hacking-Keel. This is part of a program to understand the symplectic geometry of affine cluster varieties through their SYZ fibrations.
\end{abstract}
\setcounter{tocdepth}{1}
%\tableofcontents
\section{Introduction}
In the Gross-Siebert program, a pair of dual spaces is described by the combinatorial data of an integral affine manifold with singularities, which is supposed to be understood as the base of a Lagrangian torus fibration with singularities. Locally near a smooth point of the base,
the total space looks like the cotangent bundle of a torus, projecting to its cotangent fibers.
%the determination of a torus fibration via the integral affine structure is classical, traditionally understood in terms of action-angle coordinates.
Near singular points in the base, the behavior of a torus fibration can become more complicated as torus fibers acquire singularities. However, in each dimension $N$, there is a finite list of such singularities $\mathfrak{s}_{n,m}$ (with $n+m=N$) which are known to serve as building blocks for a wide class of integral affine manifolds. Above the singularity $\mathfrak{s}_{n,m},$ the symplectic manifold is described by the local model
\[
X_{n,m}:=\{z_0\cdots z_n = 1 + u_1 + \cdots u_m\mid z_i\in \CC,u_j\in\CC^\times\},
\]
equipped with singular Lagrangian torus fibration $X_{n,m}\to \RR^{n+m}$ by
\begin{equation}\label{eq:SYZ-intro}
(z_0,\ldots,z_n,u_1,\ldots,u_m)\mapsto (|z_0|^2-|z_1|^2,\ldots,|z_0|^2-|z_n|^2,\log|u_1|,\ldots,\log|u_m|).
\end{equation}
In the case $n=1,$ this SYZ fibration on the conic bundle $X_{1,m}$ was studied extensively in \cite{AAK}.
In this paper, we will show (in Section \ref{sec:trop}) that the spaces $X_{n,m}$ may be described using a generalization of the non-toric blowup construction of \cite{GHK1,GHK2}.
The mirror to that construction was described in detail in \cite{GL} (following earlier works \cite{STW,Nad-mut,PT}); by generalizing that mirror construction to the case of $X_{n,m},$
we can deduce a mirror symmetry equivalence between these spaces:
\begin{theorem}\label{thm:main}
There is an equivalence of categories $\Fuk(X_{m,n})\cong \Coh(X_{n,m}).$
\end{theorem}
\begin{remark}Theorem \ref{thm:main} as formulated has long been expected; a proof of this theorem from a more traditional Fukaya-categorical perspective, providing a more detailed correspondence between homological mirror symmetry and SYZ geometry, will appear in \cite{AS2x}. Many special cases of Theorem \ref{thm:main} appear in the literature, including the case $m=-1$ (the $(n-1)$-dimensional pants, studied in \cite{Lekili-Polishchuk} and from the perspective of Lagrangian skeleta in \cite{Nwms}), and the case $n=1$ (the substrate of the basic ``generalized cluster transformation,'' studied in \cite{Nad-mut,PT}) -- indeed, in some sense the content of this paper consists in combining those two calculations. (Other special cases of this theorem can be found in \cite{CPU,Pom21}.)
But the broader novelty in this work is in relating the Lagrangian skeleton of $\Fuk(X_{m,n})$ to the geometry of its SYZ fibration \eqref{eq:SYZ-intro}. This is part of a larger program, to be discussed in Section \ref{sec:trop}, to understand Lagrangian skeleta and mirror symmetry for affine cluster varieties via their SYZ fibrations.
\end{remark}
On the A-side, the main input to this theorem is a calculation of the Lagrangian skeleton $\LL_{m,n}$ of the Weinstein manifold $X_{m,n}.$
Let $\Sigma_{\CC^n\times (\CC^\times)^m}$ be the fan of cones in $\RR^{n+m}$ spanned by subsets of the first $n$ basis vectors $e_1,\ldots,e_n,$ identifying each cone $\sigma$ with the corresponding subset of $[n].$
Introduce the conic Lagrangian
%$\LL_{\CC^n\times (\CC^\times)^m}\subset \rT^*T^{n+m}$ be the conic Lagrangian
\begin{equation}\label{eq:FLTZ}
\LL_{\CC^n\times (\CC^\times)^m} := \bigcup_{\sigma\subset [n]} \sigma^\perp\times \sigma\subset \RR^{n+m}/\left(\ZZ+\frac12\right)^{n+m} \times \RR^{n+m} = \rT^* T^{n+m},
\end{equation}
where in the first factor we write $\sigma^\perp$ for the image of the subspace orthogonal to $\sigma$ under the projection $\RR^{n+m}\to T^{n+m}.$
This Lagrangian, studied in \cite{FLTZ1,FLTZ2,FLTZ3}, following earlier work \cite{Bo-ccc}, is known \cite{GS17,Zhou-skel} to be the skeleton of the Liouville-sectorial mirror to the toric variety $\CC^n\times (\CC^\times)^m$ \cite{Ku,Zhou-ccc,V}, and its boundary
\[
\partial \LL_{\CC^n\times (\CC^\times)^m} = \bigcup_{\emptyset\neq \sigma\subset [n]} \sigma^\perp\times \partial^\infty\sigma\subset \rS^* T^{n+m}
\]
is mirror to the toric boundary $\partial \CC^n\times (\CC^\times)^m$ \cite{Nwms, GS17}.
\begin{remark}
In \cite{GS17}, we avoided the translation $\ZZ\mapsto \ZZ+\frac12$ appearing in the definition of the quotient torus $T^{n+m}$ in \eqref{eq:FLTZ} by changing the sign of the constant coefficient in $1+u_1+\cdots + u_m.$ In this paper we prefer the more symmetrical convention for this polynomial.
\end{remark}
Observe that $\LL_{\CC^n\times (\CC^\times)^m}$ is globally a product
\[
\LL_{\CC^n\times (\CC^\times)^m} = \LL_{\CC^n}\times T^m\subset \rT^*T^n\times \rT^*T^m.
\]
We will be interested in a second Lagrangian which involves the degeneration of the $T^m$ factor in that product. Let $\Lmsing\subset \CC^{m+1}$ be the ``Lagrangian $m$-torus degeneration,''
\[
\Lmsing := \{(z_0,\ldots,z_m)\mid |z_0| = \cdots = |z_m|, \prod_{i=0}^m z_i\in \RR_{\geq 0} \},
\]
studied in \cite{Nad-CnW,G20} as the skeleton of a mirror to a general linear hypersurface in $(\CC^\times)^m,$ and in \cite{Nad-mut,PT} as part of higher-dimensional cluster theory.
Our main result on the symplectic geometry of symplectic manifold $X_{m,n}$ is a calculation of its Lagrangian skeleton $\LL_{m,n}.$
\begin{theorem}\label{thm:main2}
The Lagrangian skeleton $\LL_{m,n}$ of $X_{m,n}$ has a cover
\[
\LL_{m,n}=\cL_1\cup_{\cL}\cL_2,
\]
where $\cL_1\cong \LL_{\CC^n\times(\CC^\times)^m},$ $\cL_2\cong (\partial \LL_{\CC^n})\times \Lmsing,$ and their intersection is $\cL\cong(\partial \LL_{\CC^n})\times \RR \times T^m.$
\end{theorem}
The proof of Theorem \ref{thm:main2}, essentially a combination of the calculations in \cite{Nwms,PT}, will be given in Section~\ref{sec:skel-calc}.
%By combining the categorical calculations of \cite{Nwms,Nad-CnW} it is then easy to prove Theorem \ref{thm:main}:
\begin{proof}[Proof of Theorem \ref{thm:main}]
Given Theorem \ref{thm:main2}, the proof of Theorem \ref{thm:main} is only a slight generalization of the proof of \cite[Example 4.13]{GL} (which in turn is just a recapitulation of \cite[Proposition 4.10]{STW}). The codescent result of \cite{GPS3} -- which we can reframe as a descent result by passing to presentable categories -- says that $\Fuk(X_{m,n})$ can be calculated as the pullback of a diagram of categories associated to the Lagrangians $\cL_1,\cL_2,$ and $\cL.$
These categories are computed in \cite{Ku,Nwms,GS17}: Let
$R = \CC[z_1,\ldots,z_m,u_1^\pm,\ldots,u_n^\pm].$
Then the (Ind-completed) Fukaya category of $X_{m,n}$ is equivalent to the pullback
\begin{equation}\label{eq:pullback}
\varprojlim \left( R\mmod\to
R/(z_1\cdots z_m)\mmod\gets
R/(z_1\cdots z_m, 1+u_1+\cdots u_n)\mmod
\right),
\end{equation}
where the functors are the evident ones.
As explained in \cite{GL,STW}, an object of the limit \eqref{eq:pullback} is given by an $R$-module $M$, an $R/(z_1\cdots z_m, 1+u_1+\cdots + u_n)$-module $N$, and an isomorphism of the images of these modules in $R/(z_1\cdots z_m)\mmod,$ or in other words of an isomorphism
\begin{equation}\label{eq:iso-data}
\xymatrix{\Cone(M\ar[r]^{z_1\cdots z_m}&M)\cong N}.
\end{equation}
If we think of the isomorphism \eqref{eq:iso-data} as enforcing the fact that $1+u_1+\cdots + u_n$ should act trivially on the cone, then we can understand it as
the data of a map $z_0:M\to M$ satisfying $z_0(z_1\cdots z_m) = 1+ u_1+\cdots + u_n.$
We conclude that the Ind-completed Fukaya category of $X_{m,n},$ as computed by the pullback \eqref{eq:pullback}, is equivalent to the category
\[
\CC[z_1,\ldots,z_m,u_1^\pm,\ldots, u_n^\pm,z_0]/(z_0z_1\cdots z_m = 1 + u_1+\cdots + u_n)\mmod \cong \QCoh(X_{n,m}).
\]
By passing to compact objects, we conclude that $\Fuk(X_{m,n})\cong \Perf(X_{n,m})\cong \Coh(X_{n,m})$ (with the last equivalence coming from smoothness of $X_{n,m}$) as desired.
\end{proof}
Further discussion on the meaning of the above result, and its relations to cluster theory and a generalization of \cite{GL}, will be postponed to Section~\ref{sec:trop}, after the computation of the skeleton $\LL_{m,n}$ in Section \ref{sec:skel-calc}.
We conclude the introduction with an example recalling how our construction recovers the geometry of the ``cluster local model'' $X_{1,1}.$
\begin{example}
Let $m=n=1,$ so that $\mathfrak{s}_{1,1}$ is the focus-focus singularity, whose local model
\[
X_{1,1} = \{z_0z_1 = 1 + u\} = \CC^2 \setminus \{z_0z_1 = 1\}
\]
was first studied from the perspective of mirror symmetry in \cite[Section 5]{Aur07}. The Weinstein manifold $X_{1,1}$ admits a Lagrangian skeleton $\LL$ which is the union of a torus $T=T^2$ and a disk whose boundary is glued along a primitive homology class of $T$. In line with Theorem \ref{thm:main2}, we can think of this as a union of two open pieces: a torus with a cylinder attached (the mirror to $\CC\times \CC^\times$) and a disk collapsing the boundary circle of that cylinder to a point.
\end{example}
\section{Calculating the skeleton}\label{sec:skel-calc}
Let $\varphi:X_{m,n}\to \RR$ be a Morse-Bott K\"ahler potential for the Stein manifold $X_{m,n},$ so that its Stein K\"ahler form is $\omega=dd^c \varphi,$ which has primitive $\lambda = d^c\varphi.$
Morse theory gives a handle presentation of the manifold $X_{m,n},$ where only critical points of index up to $m+n$ occur, and the union of stable manifolds for the critical points is a singular Lagrangian subset $\LL\subset X_{m,n},$ the {\em skeleton} of $X_{m,n}.$ These Lagrangian skeleta are of great interest thanks to the fact that the Fukaya category $\Fuk(X)$ of a Stein manifold $X$ may be computed locally over its Lagrangian skeleton $\LL$ \cite{GPS1,GPS2,GPS3,NS20}.
The Morse-Bott K\"ahler potential with which we equip $X_{m,n}$ will be a deformation of the function
\begin{equation}\label{eq:mb-unperturbed}
\varphi(z,u) := \sum_{i=1}^m (|z_0|^2-|z_i|^2)^2 + \sum_{j=1}^n (\log|u_i| + \ell)^2,
\end{equation}
where we have fixed some $\ell \ll 0.$
The function $\varphi$ is natural from the perspective of the SYZ fibration $\pi:X_{m,n}\to \RR^{m+n}$ defined by
\begin{equation}\label{eq:SYZ}
\pi(z,u) := (|z_0|^2-|z_1|^2,\ldots,|z_0|^2-|z_m|^2, \log|u_1|,\ldots,\log|u_m|),
\end{equation}
so that $\varphi$ can be written as $\varphi(z,u)=d(\pi(z,u),(\vec{0},\vec{\ell})),$ where $d$ is the distance function on $\RR^{n+m}.$ In what follows, we will write $(\eta_1,\ldots,\eta_m,\xi_1,\ldots,\xi_m)$ for the natural coordinates on this SYZ base $\RR^{n+m}.$
Note that the general fiber of this fibration is an $(n+m)$-torus, and it degenerates where $\xi$ is in the image of the map
\begin{align}\label{eq:pants-log}
\Log:\{1+u_1+\cdots +u_n = 0\mid u_i\in \CC^\times\}\to \RR^{n}, && \vec{u}\mapsto (\log|u_1|,\ldots, \log|u_n|)
\end{align}
and at least one of the $\eta_i$ is zero.
However, the function $\varphi$ is not actually a K\"ahler potential on $X_{m,n},$ since the 2-form $dd^c\varphi$ becomes degenerate where two or more of the $z_i$ coordinates become zero. To remedy this, we perturb $\varphi$ to an actual K\"ahler potential
\begin{equation}\label{eq:mb-pert}
\defpot(z,u):=\varphi(z,u)+\varepsilon\chi(z_0,\ldots,z_m)\sum_{i=0}^m|z_i|^2,
\end{equation}
where $\chi$ is a function which is equal to 1 within a neighborhood of the region where any two of the $z_i$ are 0, and equal to 0 outside a neighborhood of this region. In the region where $\chi$ is 1, this term will guarantee positivity of $dd^c \defpot,$ and in the region where $\chi$ changes from 1 to 0, its contribution to $dd^c \defpot$ is bounded, so for $\varepsilon$ sufficiently small, the form $dd^c\defpot$ will remain positive in this region, ensuring that $\defpot$ is indeed a K\"ahler potential.
Both the original function $\varphi$ and the deformation $\defpot$ have a Morse-Bott manifold of minima given by the $(n+m)$-torus
$\TT:=\{\eta_i=0, \xi_j=\ell\},$
%and the K\"ahler potential $\defpot(z,u)$ has a minimum along a
%small perturbation of this torus;
and the remaining critical points of $\defpot$ also project under $\pi$ to the
subspace $\cH=\{\eta=0\}\subset \RR^{n+m}.$
%we may restrict our attention to this subspace $\cH.$
To determine these higher-index critical points, we will imitate \cite{M,A06,Nwms,GS17} in performing a symplectic isotopy to $X_{m,n}$ by deforming the right-hand side of the equation $\prod z_i = 1+\sum u_j.$
Within $\cH,$ the singular locus of the fibration $\pi$ coincides with the {\em amoeba} $\cA,$ defined as the image of the projection \eqref{eq:pants-log}.
The amoeba $\cA$ contains within it a {\em spine}, the tropical hypersurface $\Pi$ defined as the corner locus of the function $\max(0,\xi_1,\ldots,\xi_n).$
Observe that the complement $\cH\setminus \cA$ (or equivalently $\cH\setminus \Pi$ consists of $n$ components, one of which is the ``all-negative'' orthant, and each of the others can be reached from this one by crossing one of the hyperplanes $\{\xi_i = 0\}.$
%The case $n=2$ is depicted in Figure \ref{fig:1d-trop}.
%\begin{figure}\label{fig:1d-trop}
% \caption{The amoeba $\cA$ and spine $\Pi$ for the 1-dimensional pair of pants $\{u_1+u_2+1=0\}.$}
%\end{figure}
The components of this complement may be equivalently be described as the $\Log$ images of the loci where one monomial in the function $1+\sum u_i$ dominates all the others. We will write $C_i$ for the component where $u_i$ dominates, and $C_0$ for the bottom-left orthant, where $1$ dominates.
We will deform the space $X_{m,n}$ by a symplectic isotopy which brings the amoeba closer to the spine $\Pi,$ making it easier to understand the Liouville dynamics of $X_{m,n}.$ This trick was first used in \cite{M} and later elaborated in \cite[Section 4]{A06}, which we follow here. For $0\leq i \leq n,$ we pick a {\em tailoring function} $\psi_i$ (which is called $\phi_\alpha$ in \cite{A06}) satisfying
\begin{align*}
\psi_i(\xi) =
\begin{cases}
0& \text{when }d(\xi,C_i) \leq \frac{\epsilon}{2}\\
1& \text{when }d(\xi,C_i) \geq \epsilon,
\end{cases}
&& \text{and} &&
\sum_{j=1}^n \left|\frac{\partial \psi_i}{\partial \xi_j}\right| < \frac{4}{\epsilon},
\end{align*}
for some $\epsilon\ll \ell,$
and we define the family of maps $\{f_s:(\CC^\times)^n\to \CC\}_{0\leq s\leq 1},$ by
\[
f_s(u_1,\ldots,u_n):= (1-s\psi_0(u)) + \sum_{i=1}^n (1-s\psi_i(u))u_i.
\]
\begin{proposition}[{\cite[Section 4]{A06}}]
The family $P^{n-1}_s:=\{f_s=0\}\subset (\CC^\times)^n$ is a family of symplectic hypersurfaces, related by a symplectic isotopy of the ambient $(\CC^\times)^n.$ For $s=0,$ the hypersurface $P^{n-1}_0$ is the usual pair of pants $\{1+\sum_{i=1}^n u_i=0\},$ and when $s=1,$ for $\log|u_i|\ll 0,$ the coordinate $u_i$ does not appear in the defining equation of $P^{n-1}_1,$ so that in that region $P^{n-1}_1$ is a product of $\CC^\times_{u_i}$ with $P^{n-2}_1.$
\end{proposition}
\begin{definition}
Following \cite{Nwms}, we call the space $P^{n-1}_1$ resulting from applying this isotopy the {\em tailored pants} and denote it also by $\tP^{n-1}.$
The regions $\log|u_i|\ll 0 $ on $\tP^{n-1}$ will be called the {\em legs} of the tailored pants, and the projection of $\tP^{n-1}$ under the $\Log$ map will be denoted by $\tcA$ and called the {\em tailored amoeba}.
Similarly, we denote by $\widetilde{X}_{m,n}$ the space defined by the equation $\{z_0\cdots z_m = f_1(u_1,\ldots,u_n)\}$ and call it the {\em tailored local model}.
\end{definition}
\begin{corollary}
The tailored local model $\widetilde{X}_{m,n}$ is isomorphic to the local model $X_{m,n}.$
\end{corollary}
\begin{remark}
The singularities of the SYZ fibration $\pi$ on $X_{m,n}$ coincide precisely with the amoeba $\cA\subset\cH,$ and the effect of the tailoring isotopy is to make that amoeba a better approximation of the tropical hypersurface $\Pi$. From the perspective of tropical geometry, it would be desirable to have a more elaborate modification of the SYZ fibration which makes the discriminant locus agree precisely with $\Pi.$ Such a modification appears difficult, but some progress can be found in \cite{RZ2}.
\end{remark}
With the tailored local model $\widetilde{X}_{m,n}$ in hand, we are ready to study the Liouville geometry of $\tX_{m,n}$, equipped with a Stein structure by the potential $\defpot$ defined above in \eqref{eq:mb-pert}.
%However, we must first confront the problem that even before deforming $X_{m,n}$ to $\tX_{m,n},$ the function $\varphi$ defined above is not a K\"ahler potential, as the form $dd^c\varphi$ becomes degenerate whenever two or more of the coordinates $z_i$ are equal to 0.
The Morse-Bott calculation will imitate that performed in \cite{Nwms,GS17}, relying heavily on the inductive structure of the tailored pants $\tP^{n-1}.$
\begin{proof}[Proof of Theorem \ref{thm:main}]
It will be useful to study the potential $\defpot$ via the singular torus fibration \eqref{eq:SYZ}. As we have noted, we may restrict our attention to the locus $\cH = \{\eta = 0\}= \RR^n\subset \RR^{m+n}.$ (For the remainder of this proof, we will always take the coordinates $\eta_i$ to be equal to 0.) We will begin from the index-0 critical locus, which we denote by
\[
\TT_\emptyset:=\{\xi=(-\ell,\ldots,-\ell)\},
\]
and attach stable manifolds for the critical points of progressively higher index.
Fix some $i\in\{1,\ldots,n\}$ and consider the region in $\cH$ where $\xi_i=0$ and $\xi_j\ll 0$ for $j\neq i.$ In this region, the tailored amoeba $\tcA^n$ is a hyperplane, and the tailored pants $\tP^{n-1}$ is defined by the equation $\{u_i+1=0\}.$ It is clear that in this region, the function $\defpot$ has an index-1 Morse-Bott critical locus at the $(n-1)$-torus
\[\TT_i:=\{u_i=-1,\log|u_j| = -\ell\mid j\neq i\}.\]
The stable set for this critical locus projects to $\cH$ along the interval $\{0\geq \xi_i\geq -\ell,\xi_j=-\ell\mid j\neq i\}$ (or possibly a small perturbation of this interval, depending on how the bump function $\chi$ used in defining $\defpot$ is chosen), and it attaches to $\TT_\emptyset$ as the Legendrian whose front projection is the codimension-1 subtorus obtained by fixing $\Arg(u_i).$
% Now we proceed to the index-2 critical manifolds. Fix some $i\neq j$ and consider the region in $\cH$ where $\xi_i=\xi_j=0$ and $\xi_k\neq 0$ for $k\neq i,j.$ In this region, the tailored pants is a product $\tP^1\times (\CC^\times)^{n-2}$
The index-$k$ critical manifolds, for $1<k\leq n,$ are computed similarly. We fix some $I=\{i_1,\ldots,i_k\}\subset [n]$ and consider the region where $\xi_i=0$ for $i\in I$ and $\xi_j \ll 0$ for $j\notin I.$ In this region, the tailored pants $\tP^n$ looks like a product $(\CC^\times)^{n-k}\times \tP^{k-1},$ and the calculation of \cite[Theorem 5.13]{Nwms}, repeated in more detail in the proof of \cite[Theorem 5.3.4]{GS17}, shows that there is a single critical manifold in this region, lying over the point in the boundary of the tailored amoeba $\tcA$ where $\xi_i=\xi_j$ for all $i,j\in I,$ and $\xi_j = -\ell$ for all $j\notin I.$ This critical manifold $\TT_I$ is a $(n-k)$-torus, obtained by fixing the values of $u_i$ for $i\in I$ and $\log|u_j|$ for $j\notin I.$
Moreover, the attachments for these critical points are just as described in \cite[Theorem 5.3.4]{GS17}, giving the FLTZ skeleton of the pants, attaching to $\TT_\emptyset$ in the expected way.
\end{proof}
\begin{example}Let $n=2.$ Then the region $\cH$ in the SYZ base is a plane, depicted in Figure \ref{fig:syz-skel} together with the tailored amoeba $\tcA$ (containing the tropical curve $\Pi$ for reference).
\begin{figure}[h]
\begin{center}
\includegraphics[width=2in]{syz-skel1}
\end{center}
\caption{The plane $\cH,$ which lives inside the SYZ base of $X_{m,2}.$ The Lagrangian skeleton is the union of the torus fiber over the red point and a piece projecting to the blue shaded region. The higher-index critical points are depicted in green.}
\label{fig:syz-skel}
\end{figure}
Near the torus fiber over the red point, the skeleton looks like the product of the FLTZ skeleton $\LL_{\CC^2}$ with an $m$-torus $T^m$ parametrized by $\Arg(z_1),\ldots,\Arg(z_m).$ This $T^m$ factor collapses to a point over points in the base where the blue region meets the boundary of the amoeba.
\end{example}
\section{SYZ geometry and cluster theory}\label{sec:trop}
In this section, we connect the results of this paper to the non-toric blowup construction of Gross-Hacking-Keel, and explain how our results fit into a program to understand mirror symmetry for a general affine cluster variety.
In \cite{GHK1,GHK2}, it was proposed that a cluster variety $X$ should be studied via its relation to a {\em toric model}: a toric variety $\oX$ containing a codimension-2 subvariety $H$ inside its toric boundary divisor $D$ such that $X$ embeds in the blowup $\Bl_H\oX$ as the complement of the proper transform $\widetilde{D}$ of the toric boundary divisor $D.$
The requirement that the result $X$ of this construction is a cluster variety imposes strong constraints on $H,$ which must be defined by a character of the dense torus in its component of $D$.
In the case at hand, we relax this constraint, allowing $H$ to be defined by a general linear polynomial. We also allow contributions from the places where $H$ meets the singularities of the boundary divisor $D$. With these modifications to the above construction, we can produce our spaces $X_{n,m}.$
Let $\oX=\CC^n\times (\CC^\times)^m,$ with coordinates $z_1,\ldots,z_n,u_1,\ldots,u_m.$
Write $D:=\{z_1\ldots z_n=0\}\subset \oX$ for the toric boundary divisor, and consider the non-toric subvariety $H=\{z_1\ldots z_n=0, \sum u_i=-1\}\subset D$.
\begin{proposition}\label{prop:gen-GHK}
Let $X=\Bl_H\oX\setminus \widetilde{D}$ be the result of blowing up $H$ and then deleting the proper transform of the boundary divisor $D$. Then $X\cong X_{n,m}$.
\end{proposition}
\begin{proof}
Let $f = z_1\cdots z_n$ and $g=1+u_1+\cdots + u_m.$ The center $H$ is defined by the equations $f=g=0,$ so that blowing up $H$ involves introducing $\frac{f}{g}, \frac{g}{f}$ into the ring of functions of $\oX.$ Deleting the proper transform of $D$ means it is sufficient to introduce the function $\frac{g}{f}$ into the coordinate ring. If we denote this new variable by $z_0,$ then the coordinate ring of $X$ is $\CC[z_1,\ldots,z_n,u_1^\pm,\ldots,u_m^\pm][z_0]/(z_0 f = g) = \CC[X_{n,m}].$
\end{proof}
The equation $z_0\cdot z_1 \cdots z_n = 1 + u_1 + \cdots u_m$ should be understood as a generalization of the usual ``cluster transformation equation'' $z_0z_1 = 1 + u.$ Note that in this simpler case, the variable $z_1$ is obtained from $z_0$ by a cluster mutation, whereas in the more general situation considered in this paper, there are $n+1$ variables $z_i$, corresponding to $n$ possible mutations.
On the symplectic side, this corresponds to the fact that the singular locus $\cA\subset \cH$ divides $\cH$ into $n$ chambers. In the constructions of Section \ref{sec:skel-calc}, we distinguished one of those chambers (the ``all-negative'' orthant), but we could equally have begun with a torus fiber in one of the other chambers instead. The difference between the torus fibers in the various chambers is a generalization of the familiar ``Clifford/Chekanov'' distinction in cluster symplectic geometry.
On the B-side, as we have seen, this new feature is due to the fact that the center $H$ of the GHK blowup intersects the singular locus of the divisor $D.$ Keeping track of contributions from these intersections is a crucial step in generalizing the results of \cite{GL}, which disregarded those contributions.
The results of this paper therefore suggest a strategy for studying mirror symmetry for an affine cluster variety $X$ via its SYZ fibration. The SYZ base should have a presentation by gluing together local pieces modeled by the singularities $\mathfrak{s}_{n,m}$ (or products of these). Each singularity has a monodromy-invariant space $\cH,$ and if there is a point in the intersection of all of these spaces, it should play the r\^ole of the torus $\TT_\emptyset$ in the skeleton $\LL$ of $X,$ with the remainder of the skeleton obtained by attaching and collapsing subtori in a manner prescribed by the geometry of the base, locally agreeing wih the construction in this paper (as illustrated in Figure \ref{fig:syz-skel}). This presentation should match a presentation of the mirror space $X^\vee$ in terms of the non-toric blowup construction of Proposition \ref{prop:gen-GHK}.
\vspace{2mm}
{\bf Acknowledgements.} This work is the direct outgrowth of a continuing project with Ian Le on cluster varieties, and my understanding of the generalized non-toric blowup construction of Proposition \ref{prop:gen-GHK} is due to conversations with him. My interest in the spaces $X_{n,m}$ comes from conversations with Vivek Shende about the r\^ole of these spaces in compactifying the large-volume manifolds described in \cite{GS20} (to be explained in forthcoming work), and I also thank Denis Auroux for advice and encouragement on the program sketched in the preceding paragraphs. I am supported by an NSF Postdoctoral Research Fellowship, DMS-2001897.
\bibliographystyle{plain}
\bibliography{refs}
\end{document}
\begin{thebibliography}{10}
\bibitem{A06}
Mohammed Abouzaid.
\newblock Homogeneous coordinate rings and mirror symmetry for toric varieties.
\newblock {\em Geom. Topol.}, 10:1097--1156, 2006.
\bibitem{AAK}
Mohammed Abouzaid, Denis Auroux, and Ludmil Katzarkov.
\newblock Lagrangian fibrations on blowups of toric varieties and mirror
symmetry for hypersurfaces.
\newblock {\em Publ. math. IH\'ES}, 123:199--282, 2016.
\bibitem{AS2x}
Mohammed Abouzaid and Zack Sylvan.
\newblock Homological mirror symmetry for local {SYZ} singularities.
\newblock In preparation.
\bibitem{Aur07}
Denis Auroux.
\newblock Mirror symmetry and {T}-duality in the complement of an anticanonical
divisor.
\newblock {\em J. G\"okova Geom. Topol.}, 1:51--91, 2007.
\bibitem{Bo-ccc}
Alexei Bondal.
\newblock Derived categories of toric varieties.
\newblock In {\em Convex and Algebraic Geometry, {O}berwolfach Conference
Reports}, volume~3, pages 284--286. 2006.
\bibitem{CPU}
Kwokwai Chan, Daniel Pomerleano, and Kazushi Ueda.
\newblock Lagrangian torus fibrations and homological mirror symmetry for the
conifold.
\newblock {\em Commun. Math. Phys.}, 341:135--178, 2016.
\bibitem{FLTZ2}
Bohan Fang, Chiu-Chu~Melissa Liu, David Treumann, and Eric Zaslow.
\newblock A categorification of {M}orelli's theorem.
\newblock {\em Inventiones mathematicae}, 186(1):79--114, Oct 2011.
\bibitem{FLTZ1}
Bohan Fang, Chiu-Chu~Melissa Liu, David Treumann, and Eric Zaslow.
\newblock T-duality and homological mirror symmetry for toric varieties.
\newblock {\em Advances in Mathematics}, 229(3):1873 -- 1911, 2012.
\bibitem{FLTZ3}
Bohan Fang, Chiu-Chu~Melissa Liu, David Treumann, and Eric Zaslow.
\newblock {The Coherent-Constructible Correspondence for Toric Deligne-Mumford
Stacks}.
\newblock {\em International Mathematics Research Notices}, 2014(4):914--954,
11 2012.
\bibitem{G20}
Benjamin Gammage.
\newblock Mirror symmetry for {B}erglund-{H}\"ubsch {M}ilnor fibers.
\newblock arXiv preprint 2010.15570.
\bibitem{GL}
Benjamin Gammage and Ian Le.
\newblock Mirror symmetry for truncated cluster varieties.
\newblock arXiv preprint 2103.12232.
\bibitem{GS20}
Benjamin Gammage and Vivek Shende.
\newblock Homological mirror symmetry at large volume.
\newblock arXiv preprint 2104.11129.
\bibitem{GS17}
Benjamin Gammage and Vivek Shende.
\newblock Mirror symmetry for very affine hypersurfaces.
\newblock arXiv preprint 1707.02959.
\bibitem{GPS3}
Sheel Ganatra, John Pardon, and Vivek Shende.
\newblock Microlocal {M}orse theory of wrapped {Fukaya} categories.
\newblock arXiv preprint {1809.08807}.
\bibitem{GPS2}
Sheel Ganatra, John Pardon, and Vivek Shende.
\newblock Sectorial descent for wrapped {F}ukaya categories.
\newblock arXiv preprint {1809.03472}.
\bibitem{GPS1}
Sheel Ganatra, John Pardon, and Vivek Shende.
\newblock Covariantly functorial wrapped {Floer} theory on {Liouville} sectors.
\newblock {\em Publ. Math. IH\'{E}S}, 2019.
\bibitem{GHK1}
Mark Gross, Paul Hacking, and Sean Keel.
\newblock Mirror symmetry for log {C}alabi-{Y}au surfaces {I}.
\newblock {\em Publ. Math. IH\'{E}S}, 122:65--168, 06 2011.
\bibitem{GHK2}
Mark Gross, Paul Hacking, and Sean Keel.
\newblock Birational geometry of cluster algebras.
\newblock {\em Algebraic Geometry}, 2:137--175, 2013.
\bibitem{Ku}
Tatsuki Kuwagaki.
\newblock The nonequivariant coherent-constructible correspondence for toric
stacks.
\newblock {\em Duke Math. J.}, 169(11):2125--2197, 08 2020.
\bibitem{Lekili-Polishchuk}
Yank{\i} Lekili and Alexander Polishchuk.
\newblock Homological mirror symmetry for higher-dimensional pairs of pants.
\newblock {\em Compositio Mathematica}, 156(7):1310--1347, 2020.
\bibitem{M}
Grigory Mikhalkin.
\newblock Decomposition into pairs-of-pants for complex algebraic
hypersurfaces.
\newblock {\em Topology}, 43(5):1035--1065, 2004.
\bibitem{Nad-mut}
David Nadler.
\newblock Wall-crossing for toric mutations.
\newblock arXiv preprint 1806.01381.
\bibitem{Nwms}
David Nadler.
\newblock Wrapped microlocal sheaves on pairs of pants.
\newblock arXiv preprint 1604.00114.
\bibitem{Nad-CnW}
David Nadler.
\newblock Mirror symmetry for the {L}andau-{G}inzburg ${A}$ -model
${M}=\mathbb{C}^{n}$ , ${W}=z_{1}\cdots z_{n}$.
\newblock {\em Duke Math. J.}, 168(1):1--84, 01 2019.
\bibitem{NS20}
David Nadler and Vivek Shende.
\newblock Sheaf quantization in {W}einstein symplectic manifolds.
\newblock arXiv preprint 2007.10154.
\bibitem{PT}
James Pascaleff and Dmitry Tonkonog.
\newblock The wall-crossing formula and {L}agrangian mutations.
\newblock {\em Adv. Math.}, 361:106850, 67, 2020.
\bibitem{Pom21}
Daniel Pomerleano.
\newblock Intrinsic mirror symmetry and categorical crepant resolutions.
\newblock arXiv preprint 2103.01200.
\bibitem{RZ2}
Helge Ruddat and Ilia Zharkov.
\newblock Tailoring a pair of pants.
\newblock arXiv preprint 2001.08267.
\bibitem{V}
Vivek Shende.
\newblock Toric mirror symmetry revisited.
\newblock arXiv preprint 2103.05386.
\bibitem{STW}
Vivek Shende, David Treumann, and Harold Williams.
\newblock On the combinatorics of exact {L}agrangian surfaces.
\newblock arXiv preprint 1603.07449.
\bibitem{Zhou-ccc}
Peng Zhou.
\newblock Twisted polytope sheaves and coherent-constructible correspondence
for toric varieties.
\newblock {\em Sel. Math. New Ser.}, 25(1), 2019.
\bibitem{Zhou-skel}
Peng Zhou.
\newblock Lagrangian skeleta of hypersurfaces in $(\mathbb{C}^\times)^n$.
\newblock {\em Sel. Math. New Ser.}, 26(26), 2020.
\end{thebibliography}