SearcharxivSearch

arXiv · 1902.00930

Fukaya categories of Lagrangian cobordisms and duality

Abstract

We introduce a new type of duality structure for $A_\infty$-categories called a relative weak Calabi-Yau pairing which generalizes Kontsevich and Soibelman's notion of a weak (proper) Calabi-Yau structure. We prove the existence of a relative weak Calabi-Yau pairing on Biran and Cornea's Fukaya category of Lagrangian cobordisms $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$. Here $M$ is a symplectic manifold which is closed or tame at infinity. This duality structure on $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$ extends the relative Poincar\'e duality satisfied by Floer complexes for pairs of Lagrangian cobordisms. Moreover, we show that the relative weak Calabi-Yau pairing on $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$ satisfies a compatibility condition with respect to the usual weak Calabi-Yau structure on the monotone Fukaya category of $M$. The construction of the relative weak Calabi-Yau pairing on $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$ is based on counts of curves in $\mathbb{C}\times M$ satisfying an inhomogeneous nonlinear Cauchy-Riemann equation. In order to prove the existence of this duality structure and to verify its properties, we extend the methods of Biran and Cornea to establish regularity and compactness results for the relevant moduli spaces. We also consider the implications of the existence of the relative weak Calabi-Yau pairing on $\mathcal{F}uk_{\mathit{cob}}(\mathbb{C}\times M)$ for the cone decomposition in the derived Fukaya category of $M$ associated to a Lagrangian cobordism, and we present an example involving Lagrangian surgery.

Explore related subjects

Keep this discovery

BibTeXRIS

Emily Campling. 2019-02-03. Fukaya categories of Lagrangian cobordisms and duality. https://arxiv.org/abs/1902.00930

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Extended Future Tube Conjecture for Unipotent Subgroups

Let $\Omega$ be the Lorentz future cone in $\mathbb{R}^{d+1}$ with respect to the Lorentz product and let $T^M$ be the $M$-fold product of the future tube $T=\mathbb{R}^{d+1}+i\Omega$. The Lorentz group $\mathrm{SO}_0(1,d)$ acts diagonally on $T^M$, and its complexification $\mathrm{SO}(1,d)^\mathbb{C}$ acts on $\mathbb{C}^{(d+1)\times M}$. We prove that the domain $G^\mathbb{C}\cdot T^M$ is a Stein manifold for any connected unipotent subgroup $G$ of $\mathrm{SO}_0(1,d)$.

math.SG

The First Correction Term in the Asymptotic Expansion of Bohr--Sommerfeld Lagrangian States

Let $\Lambda$ be a compact Bohr--Sommerfeld Lagrangian submanifold of a compact K\"ahler manifold equipped with a holomorphic prequantum line bundle. We study the asymptotic expansion of the Lagrangian states associated with $\Lambda$. In particular, we compute explicitly the first nontrivial correction term and show that it is expressed in terms of geometric invariants of the ambient K\"ahler manifold and the Lagrangian submanifold, including their scalar curvatures, the second fundamental form, and the mean curvature. As a consequence, we obtain the corresponding second-order asymptotic formula for the $L^2$-norm of the Lagrangian states.

math.SG

Classification of Legendrian doubles and suspensions

We define a construction of Legendrians inside contact manifolds that arise by doubling an exact Lagrangian filling in the page of an open book decomposition. This can be seen as a generalization of a previous construction by Courte and Ekholm to arbitrary open books. These Legendrians, called Legendrian doubles, are shown to admit regular flexible exact Lagrangian fillings, and they are thus classified up to Legendrian isotopy by classical data. Finally, we show that the Legendrian suspension construction, as defined by Arikan and the author in previous work,-this is a Legendrian contained inside a page of an open book that is obtained by using Seidel's suspension of Lefschetz fibrations- is a Legendrian double.

math.SG