In this paper we prove a local-to-global principle for the Fukaya category of a closed Riemann surface $Σ$ of genus $g \geq 2$. We show that $\mathrm{Fuk}(Σ)$ can be glued from the Fukaya categories of the pairs-of-pants making up a pants decomposition of $Σ$. This extends our earlier results for the case of punctured Riemann surfaces. Our result has several interesting consequences: we obtain simple proofs of old and new HMS statements for Riemann surfaces, and establish a geometrization theorem for the objects of $\mathrm{Fuk}(Σ)$.
These are notes from a 2010 talk. They concern possible ways in which Fukaya categories might be considered as "local", which means glued together from simpler pieces in a loosely sheaf-theoretic sense. As the title suggests, this is purely speculative. Much of the motivation comes from tropical geometry and mirror symmetry.
Using Auroux's description of Fukaya categories of symmetric products of punctured surfaces, we compute the partially wrapped Fukaya category of the complement of $k+1$ generic hyperplanes in $\mathbb{CP}^n$, for $k \geq n$, with respect to certain stops in terms of the endomorphism algebra of a generating set of objects. The stops are chosen so that the resulting algebra is formal. In the case of the complement of $(n+2)$-generic hyperplanes in $\mathbb{C}P^n$ ($n$-dimensional pair-of-pants), we show that our partial wrapped Fukaya category is equivalent to a certain categorical resolution of…
Inspired by the geometry of wrapped Fukaya categories, we introduce the notion of wrapped microlocal sheaves. We show that traditional microlocal sheaves are equivalent to functionals on wrapped microlocal sheaves, in analogy with the expected relation of infinitesimal to wrapped Fukaya categories. As an application, we calculate wrapped microlocal sheaves on higher-dimensional pairs of pants, confirming expectations from mirror symmetry.
We construct the Fukaya category of a closed surface equipped with an area form using only elementary (essentially combinatorial) methods. We also compute the Grothendieck group of its derived category.
Given a punctured Riemann surface with a pair-of-pants decomposition, we compute its wrapped Fukaya category in a suitable model by reconstructing it from those of various pairs of pants. The pieces are glued together in the sense that the restrictions of the wrapped Floer complexes from two adjacent pairs of pants to their adjoining cylindrical piece agree. The $A_\infty$-structures are given by those in the pairs of pants. The category of singularities of the mirror Landau-Ginzburg model can also be constructed in the same way from local affine pieces that are mirrors of the pairs of pants.
We establish a $\mathbb{Z}[[t_1,\ldots, t_n]]$-linear derived equivalence between the relative Fukaya category of the 2-torus with $n$ distinct marked points and the derived category of perfect complexes on the $n$-Tate curve. Specialising to $t_1= \ldots =t_n=0$ gives a $\mathbb{Z}$-linear derived equivalence between the Fukaya category of the $n$-punctured torus and the derived category of perfect complexes on the standard (Néron) $n$-gon. We prove that this equivalence extends to a $\mathbb{Z}$-linear derived equivalence between the wrapped Fukaya category of the $n$-punctured torus and the…
It follows from the work of Burban and Drozd arXiv:0905.1231 that for nodal curves $C$, the derived category of modules over the Auslander order $\mathcal{A}_C$ provides a categorical (smooth and proper) resolution of the category of perfect complexes $\mathrm{Perf}(C)$. On the A-side, it follows from the work of Haiden-Katzarkov-Kontsevich arXiv:1409.8611 that for punctured surfaces $X$ with stops $Λ$ at their boundary, the partially wrapped Fukaya category $\mathcal{W}(X,Λ)$ provides a categorical (smooth and proper) resolution of the compact Fukaya category $\mathcal{F}(X)$. Inspired by thi…
We prove Homological Mirror Symmetry for a smooth d-dimensional Calabi-Yau hypersurface in projective space, for any d > 2 (for example, d = 3 is the quintic three-fold). The main techniques involved in the proof are: the construction of an immersed Lagrangian sphere in the `d-dimensional pair of pants'; the introduction of the `relative Fukaya category', and an understanding of its grading structure; a description of the behaviour of this category with respect to branched covers (via an `orbifold' Fukaya category); a Morse-Bott model for the relative Fukaya category that allows one to make ex…
We study Lagrangian cobordism groups of oriented surfaces of genus greater than two. We compute the immersed oriented Lagrangian cobordism group of these surfaces. We show that a variant of this group, with relations given by unobstructed immersed Lagrangian cobordisms computes the Grothendieck group of the derived Fukaya category. The proof relies on an argument of Abouzaid.
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 symplectic information about $Y$ from known complex properties of $X$. Strominger-Yau-Zaslow arXiv:hep-th/9606040 described how such pairs arise geometrically as torus fibrations with the same base and related fibers, known as SYZ mirror symmetry. Kontsevich arXiv:alg-geom/9411018 conjectured that a complex invariant on $X$ (the bounded derived category of coherent sheaves) sho…
The derived Picard group of Fukaya categories of closed surfaces
Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉学科研究院）；Research Institute of Intelligent Complex Systems, Fudan University（复旦大学智能复杂系统研究所）；School of Mathematics, Sun Yat-sen University（中山大学数学学院）
We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non-zero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank one local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group. The proofs appeal to and illustrate numerous recent developments: quiver algebra models for wrap…
Given an arbitrary graph $Γ$ and non-negative integers $g_v$ for each vertex $v$ of $Γ$, let $X_Γ$ be the Weinstein $4$-manifold obtained by plumbing copies of $T^*Σ_v$ according to this graph, where $Σ_v$ is a surface of genus $g_v$. We compute the wrapped Fukaya category of $X_Γ$ (with bulk parameters) using Legendrian surgery extending our previous work arXiv:1502.07922 where it was assumed that $g_v=0$ for all $v$ and $Γ$ was a tree. The resulting algebra is recognized as the (derived) multiplicative preprojective algebra (and its higher genus version) defined by Crawley-Boevey and Shaw ar…
Given a smooth 3-fold $Y$, a line bundle $L \to Y$, and a section $s$ of $L$ such that the vanishing locus of $s$ is a normal crossings surface $X$ with graph-like singular locus, we present a way to reconstruct the singularity category of $X$ as a homotopy limit of several copies of the category of matrix factorizations of $xyz : \mathbb{A}^{3} \to \mathbb{A}^{1}$ (the mirror to the Fukaya category of the pair of pants). This extends our previous result for the case where $L$ is trivialized. The key technique is the classification of non-two-periodic autoequivalences of the category of matrix…
It is well-known that a Riemann surface can be decomposed into the so-called pairs-of-pants. Each pair-of-pants is diffeomorphic to a Riemann sphere minus 3 points. We show that a smooth complex projective hypersurface of arbitrary dimension admits a similar decomposition. The n-dimensional pair-of-pants is diffeomorphic to the complex projective n-space minus n+2 hyperplanes. Alternatively, these decompositions can be treated as certain fibrations on the hypersurfaces. We show that there exists a singular fibration on the hypersurface with an n-dimensional polyhedral complex as its base and a…
We work in the setting of Calabi-Yau mirror symmetry. We establish conditions under which Kontsevich's homological mirror symmetry (which relates the derived Fukaya category to the derived category of coherent sheaves on the mirror) implies Hodge-theoretic mirror symmetry (which relates genus-zero Gromov-Witten invariants to period integrals on the mirror), following the work of Barannikov, Kontsevich and others. As an application, we explain in detail how to prove the classical mirror symmetry prediction for the number of rational curves in each degree on the quintic threefold, via the third-…
We study threefolds $Y$ fibred by $A_m$-surfaces over a curve $S$ of positive genus. An ideal triangulation of $S$ defines, for each rank $m$, a quiver $Q(Δ_m)$, hence a $CY_3$-category $(C,W)$ for any potential $W$ on $Q(Δ_m)$. We show that for $ω$ in an open subset of the Kähler cone, a subcategory of a sign-twisted Fukaya category of $(Y,ω)$ is quasi-isomorphic to $(C,W_{[ω]})$ for a certain generic potential $W_{[ω]}$. This partially establishes a conjecture of Goncharov concerning `categorifications' of cluster varieties of framed $PGL_{m+1}$-local systems on $S$, and gives a symplectic g…
