Abstract
In this paper we will describe an approach to mirror symmetry for appropriate one-dimensional DM stacks of arithmetic genus g ≤ 1, called tcnc curves, which was developed by the author with Treumann and Zaslow in Sibilla et al. (Ribbon Graphs and Mirror Symmetry I, arXiv:1103.2462). This involves introducing a conjectural sheaf-theoretic model for the Fukaya category of punctured Riemann surfaces. As an application, we will investigate derived equivalences of tcnc curves, and generalize classic results of Mukai on dual abelian varieties (Mukai, Nagoya Math. J. 81, 153–175, 1981).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
From now on, we will refer to objects in Sh(X) simply as ‘constructible sheaves.’ See [11] for a comprehensive introduction to the subject.
- 4.
CPM stands for ‘constructible plumbing model,’ as this framework can be more generally applied to investigate the Fukaya category of a plumbing of cotangent bundles, for which see also [1].
- 5.
Lagrangian branes in Fuk(Σ) are further required to be, in a suitable sense, ‘adapted’ to the skeleton, and thus in particular compact when Γ Σ is. Also, when referring to the ‘Fukaya category,’ we shall mean the split closure of the category of twisted complexes over the Fukaya category, see [24].
- 6.
- 7.
Note that, if π: T ∗ X → X is the natural projection, then \(\pi _{{\ast}}\mathit{MSh}(-)\mathop{\cong}\mathit{Sh}_{\varLambda }(-)\).
- 8.
In fact, any ribbon graph is deformation equivalent, in the above sense, to a ribbon graph admitting chordal structure. This gives us a concrete, although not ‘functorial,’ way of computing the global sections of CPM(−) on a general ribbon graph up to quasi-equivalence.
- 9.
Note that our conventions differ from the ones commonly found in the literature. Weighted projective lines, which are denoted \(\mathbb{P}^{1}(a_{1},a_{2})\), are usually defined as quotients of \(\mathbb{C}^{2} -\{ 0\}\) by \(\mathbb{C}^{{\ast}}\) acting with weights a 1, a 2. According to the latter definition, if gcd(a 1, a 2) ≠ 1, \(\mathbb{P}^{1}(a_{1},a_{2})\) has non-trivial generic isotropy group. However, the two definitions agree if \(\mathit{gcd}(a_{1},a_{2}) = 1\).
- 10.
The scheme-theoretic notions employed in the definition, such as ‘normalization,’ can be easily adapted to DM stacks. We leave it to the reader to fill in the details.
- 11.
Note that Z is a disjoint union of classifying stacks of the form \([Spec(\mathbb{C})/\mu _{a_{i}}]\).
- 12.
Note that \(\mathit{Hom}_{\mathit{HoE}}^{1}(\psi (\mathcal{O}_{C}),\psi (\mathcal{F}))\) vanishes, since it is isomorphic to the quotient of \(\mathit{Hom}_{Z}^{0}(\sigma ^{{\ast}}\mathcal{O}_{\tilde{C}},\tau ^{{\ast}}\pi ^{{\ast}}\mathcal{F})\mathop{\cong}\mathbb{C}\) by the image of the differential, which is easily seen to be surjective.
- 13.
Both the set of characters and the set of up-/down-ward spokes come with natural cyclic orders (the spokes inherit it from the ribbon structure on \(\varLambda _{a_{1},a_{2}}\)). The labelling cannot therefore be entirely arbitrary, as it must preserve this cyclic order, see [32].
- 14.
It is important to point out that, as shown in Fig. 2, in a dualizable ribbon graph the strands joining together the components of the chordal basis cannot be (non-trivially) ‘braided.’ This can be translated in appropriate conditions of coherency on the maps \(R_{a_{i}} \rightarrow \varLambda _{i}\). We refer the reader to [32] for further details.
- 15.
The genus of a ribbon graph D can be described geometrically as the genus of any surface in which D can be embedded, in a way compatible with the ribbon structure, as a deformation retract. Thus \(D_{A}^{0}\) in Example 4(1) has genus 0, while \(D_{A}^{1}\) in Example 4(2), has genus 1. For a formal, combinatorial definition of the genus of a ribbon graph, see [32].
- 16.
- 17.
Note that this is true, without further specifications, only if we are considering the Fukaya category of compact Lagrangians in Σ.
- 18.
Note that any such equivalence would extend to an equivalence of the full derived categories, see Theorem 1.2 in [2].
- 19.
In [30], extending results of [6], we defined an action of the mapping class group of a torus with n punctures on D b(Coh(X n )). The argument we shall describe below can be interpreted, roughly, as defining an action of an appropriate version of the mapping class groupoid. For a definition of spherical functor, see [28].
- 20.
- 21.
- 22.
It might be surprising that the strands of A n are ‘non-trivially braided.’ The existence of the equivalence Φ n depends, in fact, in a crucial way on the choice of this particular geometry. Note however that the chordal basis of a dualizable ribbon graph is a union of loops. Considered as edges of the larger graph, the strands in a subgraph of type A can therefore be un-braided, cf. also Footnote 14.
References
M. Abouzaid, A topological model for the Fukaya categories of plumbings [arXiv:0904.1474]
M. Ballard, Equivalences of derived categories of sheaves on quasi-projective schemes [arXiv:0905.3148]
A. Beilinson, Coherent sheaves on \(\mathbb{P}^{n}\) and problems in linear algebra. Funct. Anal. Appl. 12(3), 68–69 (1978)
I.N. Bernstein, I.M. Gel’fand, V.A. Ponomarev, Coxeter functors and Gabriel’s theorem. Uspehi Mat. Nauk 28(2(170)), 1933 (1973)
A. Bondal, Derived categories of toric varieties, in Convex and Algebraic Geometry. Oberwolfach Conference Reports, vol. 3 (EMS Publishing House, 2006), pp. 284–286
I. Burban, B. Kreussler, Fourier-Mukai transforms and semi-stable sheaves on nodal Weierstrass cubics. J. Reine Angew. Math. 584, 45–82 (2005)
B. Fang, D. Treumann, C.-C. Liu, E. Zaslow, A categorification of Morelli’s theorem. Invent. Math. 186(1), 179–214 (2011)
B. Fang, D. Treumann, C.-C. Liu, E. Zaslow, The Coherent-Constructible Correspondence for toric Deligne-Mumford stacks [arXiv:0911.4711]
K. Fukaya, Y.-G. Oh, H. Ohta, K. Ono, Lagrangian Intersection Floer Theory: Anomaly and Obstruction. Part I and II (American Mathematical Society, Providence, 2010)
J. Harer, The virtual cohomological dimension of the mapping class group of an oriented surface. Invent. Math. 84, 157–176 (1986)
M. Kashiwara, P. Schapira, Sheaves on Manifolds. Grundlehren der Mathematischen Wissenschafte, vol. 292 (Springer, Berlin, 1994)
M. Kontsevich, Homological algebra of mirror symmetry, in Proceedings of the International Congress of Mathematicians, Zürich, 1994 (1995), pp. 120–139
M. Kontsevich, Symplectic Geometry of Homological Algebra. Lecture at Mathematische Arbeitsgrunden (2009). Notes available at http://www.ihes.fr/~maxim/TEXTS/Symplectic_AT2009.pdf
J.T.A. Lang, Relative moduli spaces of semi-stable sheaves on families of curves (Herbert Utz Verlag, Muenchen, 2001), pp. 42–44
Y. Lekili, T. Perutz, Fukaya categories of the torus and Dehn surgeries [arXiv:1102.3160v2]
J. Lurie, Higher Algebra. (2012). Available at http://www.math.harvard.edu/~lurie/papers/HigherAlgebra.pdf
S. Mukai, Duality between \(\mathbb{D}(X)\) and \(\mathbb{D}(\tilde{X}\)) with its application to Picard sheaves. Nagoya Math. J. 81, 153–175 (1981)
D. Nadler, Microlocal branes are constructible sheaves. Sel. Math. New Ser. 15, 563–619 (2009)
D. Nadler, Fukaya categories as categorical Morse homology [arXiv:1109.4848]
D. Nadler, H. Tanaka, A stable infinity-category of Lagrangian cobordisms [arXiv:1109.4835]
D. Nadler, E. Zaslow, Constructible sheaves and the Fukaya category. J. Am. Math. Soc. 22, 233–286 (2009)
R. Penner, Perturbative series and the moduli space of Riemann surfaces. J. Differ. Geom. 27, 35–53 (1988)
A. Polishchuk, E. Zaslow, Categorical mirror symmetry: The elliptic curve. Adv. Theor. Math. Phys. 2, 443–470 (1998)
P. Seidel, Fukaya Categories and Picard-Lefschetz Theory. ETH Lecture Notes Series, vol. 8 (European Mathematical Society, Muenchen 2008)
P. Seidel, Homological Mirror Symmetry for the Quartic Surface [arXiv.math:0310414]
P. Seidel, Cotangent Bundles and Their Relatives. Morse Lectures (Princeton University, 2010). Currently available at http://www-math.mit.edu/~seidel/morse-lectures-1.pdf
P. Seidel, Some speculations on pairs-of-pants decompositions and Fukaya categories [arXiv.math:1004.0906]
P. Seidel, R. Thomas, Braid group actions on derived categories of coherent sheaves. Duke Math. J. 108(1), 37–108 (2001)
N. Sheridan, On the homological mirror symmetry conjecture for pairs of pants [arXiv:1012.3238v2]
N. Sibilla, A note on mapping class group actions on derived categories, in Proceedings of the American Mathematical Society [arXiv:1109.6615v1] (submitted)
N. Sibilla, HMS for punctured tori and categorical mapping class group actions, in Proceedings of String-Math (2011, to appear)
N. Sibilla, D. Treumann, E. Zaslow, Ribbon Graphs and Mirror Symmetry I [arXiv:1103.2462]
G. Tabuada, Une structure de catégorie de modèles de Quillen sur la catégorie des dg-catégories. C. R. Acad. Sci. Paris 340, 15–19 (2005)
G. Tabuada, A new Quillen model for the Morita homotopy theory of dg categories [arXiv:0701205]
B. Toën, Lectures on DG-Categories. Available at http://www.math.univ-toulouse.fr/~toen/swisk.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Sibilla, N. (2014). Mirror Symmetry in Dimension 1 and Fourier–Mukai Transforms. In: Castano-Bernard, R., Catanese, F., Kontsevich, M., Pantev, T., Soibelman, Y., Zharkov, I. (eds) Homological Mirror Symmetry and Tropical Geometry. Lecture Notes of the Unione Matematica Italiana, vol 15. Springer, Cham. https://doi.org/10.1007/978-3-319-06514-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-06514-4_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06513-7
Online ISBN: 978-3-319-06514-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)