Abstract
We construct a multiplicative spectral sequence converging to the symplectic cohomology ring of any affine variety X, with first page built out of topological invariants associated to strata of any fixed normal crossings compactification \((M,{\mathbf {D}})\) of X. We exhibit a broad class of pairs \((M,{\mathbf {D}})\) (characterized by the absence of relative holomorphic spheres or vanishing of certain relative GW invariants) for which the spectral sequence degenerates, and a broad subclass of pairs (similarly characterized) for which the ring structure on symplectic cohomology can also be described topologically. Sample applications include: (a) a complete topological description of the symplectic cohomology ring of the complement, in any projective M, of the union of sufficiently many generic ample divisors whose homology classes span a rank one subspace, (b) complete additive and partial multiplicative computations of degree zero symplectic cohomology rings of many log Calabi-Yau varieties, and (c) a proof in many cases that symplectic cohomology is finitely generated as a ring. A key technical ingredient in our results is a logarithmic version of the PSS morphism, introduced in our earlier work Ganatra and Pomerleano, arXiv:1611.06849.
Similar content being viewed by others
Notes
When \({\mathbf {D}}= D\) is a smooth divisor, this is standard and in the literature, compare [Sei08a, eq. (3.2)].
We remind the reader that for any (convergent) spectral sequence associated to a filtered dg or \(A_\infty \) algebra \(F^{p}C^{\bullet }\), the algebra structure on the final \(E_\infty \) page, the associated graded algebra \(gr_F(H^*(C^{\bullet }))\), need not be isomorphic as rings to \(H^*(C^{\bullet })\) even if it is additively isomorphic: in general \(H^*(C^{\bullet })\) could be a non-trivial deformation of \(gr_F(H^*(C^{\bullet }))\).
With respect to the (homological shadow of) action filtration inducing the spectral sequence (1.1).
The terminology “topological pair” was introduced in our earlier work [GP16], where its usage is slightly less general than what is used here.
An alternative naming convention would be to say a pair \((M,{\mathbf {D}})\) is r-topological if (for some \(J_0\)) it contains no m-pointed relative \(J_0\)-holomorhic spheres for all \(m \le r\). We expect such generalized notions to be useful in the study of higher-arity operations on symplectic cohomology, such as \(A_\infty \) or \(L_{\infty }\) structures.
Recall \({\text {min}}_{{\mathbf {D}}} R^{\vec {\epsilon }} > 1\), because \(R^{\vec {\epsilon }} =1\) along \(\partial \bar{X}_{\vec {\epsilon }}\).
Once more, this requires establishing that relevant Floer trajectories are a priori bounded away from \({\mathbf {D}}\), which is a consequence of the maximum principle mentioned earlier.
Let \(\underline{S}:= u_2 \setminus \bar{S}\). By Stokes, \(E_{top}(\underline{S})=A_a(x_2)-(\int _{\partial \bar{S}}u^*\theta - H_{s,t}dt)\). As the topological energy of \(u_1 \cup u_2\) is \(A_{a}(x_2)-A_{a}(x_1)\), the equation holds.
We do this so that our conventions for cohomological spectral sequences match those found in standard textbooks such as [McC01].
We thank Alessio Corti and Nicolo Sibilla for suggesting this point of view.
In [GP16], we do not make any assumptions on the Nijenhuis tensor of our almost complex structure, however the arguments explained there apply without modification.
We do this to rely on standard gluing results in the literature on (local) Floer cohomology. It is likely not necessary.
It is still true that \(\gamma \) and \(\gamma '\) must have the same Hamiltonian action.
Both the ball \(B_r(s_0)\) and definition of area are with respect to the the metric induced by \(\omega \) and J.
By restricting to the Floer solutions in the complement of \(z=0\), one can also place these maps into the more general framework of Morse-Bott Fredholm theory as explained in §6.1 of [DL18].
Recall that these orbits y may be degenerate; compare the discussion just below Lemma 4.6.
In particular, no sphere bubbling can occur in the limiting process.
Or \({\mathbb {Z}}/2k{\mathbb {Z}}\)-graded, or fractionally-graded when \(c_1(X)\) is torsion, etc. though we leave these details to the reader.
The argument given in [FT17, Lemma 4.9] begins by noting that it suffices to verify (5.1) for the orders relative each smooth component \(D_i\) of \({\mathbf {D}}\) individually, immediately reducing to the case of a single smooth divisor. Once in the smooth case, the result appears in various places; see e.g., [IP03, Proposition 7.3] for a separate treatment.
The only difference is that, given that the points \(z_1\) and \(z_2\) collide, any possible stable sphere bubble will have at most 3 (rather than 2) external marked points. The same analysis thus requires the extra “multiplicatively” topological hypothesis to rule such bubbles out.
This notion of log Calabi-Yau pair is stricter than the usual usage in birational geometry [GHK15a].
This follows because each curve \(u \in \mathcal {M}_{0,2}(A,\mathbf {v}_I)^{o}\) is necessarily somewhere injective.
References
M. Abouzaid, A geometric criterion for generating the Fukaya category, Publ. Math. Inst. Hautes Études Sci. 112 (2010), 191–240.
M. Abouzaid, A topological model for the Fukaya categories of plumbings, J. Differential Geom. 87 (2011), 1–80.
M. Abouzaid, Symplectic cohomology and Viterbo’s theorem, Free loop spaces in geometry and topology, 2015, pp. 271–485.
G. Arone and M. Kankaanrinta, On the functoriality of the blow-up construction, Bulletin of the Belgian Mathematical Society 17 (2010), 821–832.
D. Auroux, L. Katzarkov, and D. Orlov, Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves, Invent. Math. 166 (2006), no. 3, 537–582.
A. Abbondandolo and M. Schwarz, On the Floer homology of cotangent bundles, Comm. Pure Appl. Math. 59 (2006), no. 2, 254–316.
A. Abbondandolo and M. Schwarz, Floer homology of cotangent bundles and the loop product, Geometry and Topology 14 (2010), 1569 –1722.
M. Abouzaid and P. Seidel, An open string analogue of Viterbo functoriality, Geom. Topol. 14 (2010), no. 2, 627–718.
P. Biran, Lagrangian barriers and symplectic embeddings, Geom. Funct. Anal. 11 (2001), no. 3, 407–464.
N. Bourbaki, Éléments de mathématique. Algébre commutative. Chapitre 1-4, Springer-Verlag, Berlin, 2006. Reprint of the 1969 edition.
F. Bourgeois, T. Ekholm, and Y. Eliashberg, Symplectic homology product via Legendrian surgery, Proc. Natl. Acad. Sci. USA 108 (2011), no. 20, 8114–8121.
F. Bourgeois, T. Ekholm, and Y. Eliashberg, Effect of Legendrian Surgery, Geom. Topol. 16 (2012), no. 1, 301–389.
F. Bourgeois, Y. Eliashberg, H. Hofer, K. Wysocki, and E. Zehnder, Compactness results in symplectic field theory, Geom. Topol. 7 (2003), 799–888.
E. Bierstone, D. Grigoriev, P. Milman, and J. Wlodarczyk, Effective Hironaka resolution and its complexity, Asian Journal of Math 15 (2011), no. 2, 193–228.
G. Benedetti and A. Ritter, Invariance of symplectic cohomology and twisted cotangent bundles over surfaces, 2018. Preprint, arXiv:1807.02086.
K. Cieliebak, Handle attaching in symplectic homology and the chord conjecture, J. Eur. Math. Soc. (JEMS) 4 (2002), no. 2, 115–142.
R. Casals and E. Murphy, Legendrian Fronts for Affine Varieties (2016). Available at arXiv:1610.06977, to appear in Duke Math J.
K. Cieliebak and K. Mohnke, Symplectic hypersurfaces and transversality in Gromov-Witten theory, J. Symplectic Geom. 5 (2007), no. 3, 281–356.
L. Diogo, Filtered Floer and Symplectic homology via Gromov-Witten theory, Ph.D. Thesis, 2012.
L. Diogo and S. Lisi, Symplectic homology for complements of smooth divisors, 2018. Preprint arXiv:1804.08014.
T. Etgü and Y. Lekili, Koszul duality patterns in Floer theory, Geom. Topol. 21 (2017), no. 6, 3313–3389.
T. Ekholm and L. Ng, Legendrian contact homology in the boundary of a subcritical Weinstein 4-manifold, J. Differential Geom. 101 (2015), no. 1, 67–157.
A. Floer, H. Hofer, and D. Salamon, Transversality in elliptic Morse theory for the symplectic action, Duke Math. J. 80 (1995), no. 1, 251–292.
M. Farajzadeh Tehrani, Pseudoholomorphic maps relative to normal crossings symplectic divisors: Compactification, 2017. Preprint, available at arXiv:1710.00224.
M. Farajzadeh-Tehrani, M. McLean, and A. Zinger, Normal crossings singularities for symplectic topology, 2014. Preprint, available at arXiv:1410.0609.
S. Ganatra, Symplectic cohomology and duality for the wrapped Fukaya category, 2012. Ph.D. Thesis, MIT. Available at arXiv:1304.7312.
V. Ginzburg, The Conley conjecture., Ann. of Math. (2), 172 (2010), 1127–1180.
M. Gross, P. Hacking, and S. Keel, Birational geometry of cluster algebras, Algebr. Geom. 2 (2015), no. 2, 137–175.
M. Gross, P. Hacking, and S. Keel, Mirror symmetry for log Calabi-Yau surfaces I, Publ. Math. Inst. Hautes Études Sci. 122 (2015), 65–168.
S. Ganatra and D. Pomerleano, A log PSS morphism with applications to Lagrangian embeddings, 2016. Preprint, available at arXiv:1611.06849v2.
M. Gross and B. Siebert, Intrinsic mirror symmetry and punctured Gromov-Witten invariants, 2016. Preprint, available at arXiv:1609.00624.
H. Hofer and D. A. Salamon, Floer homology and Novikov rings, The Floer memorial volume, 1995, pp. 483–524.
E. Ionel, GW invariants relative to normal crossing divisors, Adv. Math. 281 (2015), 40–141.
E. Ionel and T. H. Parker, Relative Gromov-Witten invariants, Ann. of Math. (2) 157 (2003), no. 1, 45–96.
P. Kronheimer and T. Mrowka, Monopoles and three-manifolds, New Mathematical Monographs, vol. 10, Cambridge University Press, Cambridge, 2007.
K. Kato and C. Nakayama, Log Betti cohomology, log etale cohomology, and log de Rham cohomology of log schemes over \(\mathbb{C}\), Kodai Mathematical Journal 22 (1999), 161 –186.
M. Kwon and O. van Koert, Brieskorn manifolds in contact topology, Bull. Lond. Math. Soc. 48 (2016), no. 2, 173–241.
J. McCleary, A user’s guide to spectral sequences, Second, Cambridge Studies in Advanced Mathematics, vol. 58, Cambridge University Press, Cambridge, 2001.
M. McLean, The minimal discrepancy of an isolated singularity, Invent. Math. 204 (2016), 505– 594.
M. McLean, Talk at SFT VIII workshop at Humboldt University, August 2016.
M. McLean, The growth rate of symplectic homology and affine varieties, Geom. Funct. Anal. 22 (2012), no. 2, 369–442.
M. McLean, Local Floer homology and infinitely many simple Reeb orbits, Algebr. Geom. Topol. 12 (2012), no. 4, 1901–1923.
M. McLean, Floer Cohomology, Multiplicity and the Log Canonical Threshold, 2016. arXiv:1608.07541, to appear in Geometry & Topology.
R. Melrose, Differential analysis on manifolds with corners, 1998. Available at http://www-math.mit.edu/~rbm/book.html.
G. Mikhalkin, Decomposition into pairs-of-pants for complex algebraic hypersurfaces, Topology 43 (2004), no. 5, 1035–1065.
D. McDuff and D. Salamon, J-holomorphic curves and symplectic topology, American Mathematical Society Colloquium Publications, vol. 52, American Mathematical Society, Providence, RI, 2004.
E. Murphy and K. Siegel, Subflexible symplectic manifolds, Geom. Topol. 22 (2018), no. 4, 2367– 2401.
K. Nguyen, On the complement of a positive normal crossing divisor with no triple intersection in a projective variety (2015). Preprint, available at arXiv:1512.08537.pdf.
A. Oancea, The Künneth formula in Floer homology for manifolds with restricted contact type boundary, Math. Ann. 334 (2006), no. 1, 65–89.
Y. Oh, Symplectic topology and Floer homology. Vol. 1, New Mathematical Monographs, vol. 28, Cambridge University Press, Cambridge, 2015. Symplectic geometry and pseudoholomorphic curves.
P. Orlik and L. Solomon, Combinatorics and topology of complements of hyperplanes, Invent. Math. 56 (1980), no. 2, 167–189.
B. Parker, Holomorphic curves in exploded manifolds: compactness, Adv. Math. 283 (2015), 377– 457.
J. Pascaleff, On the symplectic cohomology of log Calabi-Yau surfaces, 2013. arXiv:1804.08014, to appear in Geometry & Topology.
S. Piunikhin, D. Salamon, and M. Schwarz, Symplectic Floer-Donaldson theory and quantum cohomology, Contact and symplectic geometry (Cambridge, 1994), 1996, pp. 171–200.
A. Ritter, Topological quantum field theory structure on symplectic cohomology, J. Topol 199 (2013), no. 2, 391–489.
D. Salamon, Morse theory, the Conley index and Floer homology, Bull. London Math. Soc. 22 (1990), no. 2, 113–140.
M. Schwarz, Equivalences for Morse homology, Geometry and Topology in Dynamics (1999), pp. 197–216.
P. Seidel, A biased view of symplectic cohomology, Current developments in mathematics, 2006, 2008, pp. 211–253.
P. Seidel, Fukaya categories and Picard-Lefschetz theory, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich, 2008.
N. Sheridan, Homological mirror symmetry for Calabi-Yau hypersurfaces in projective space, Invent. Math. 199 (2015), no. 1, 1–186.
N. Sheridan, On the homological mirror symmetry conjecture for pairs of pants, J. Differential Geom. 89 (2011), no. 2, 271–367.
J.-C. Sikorav, Some properties of holomorphic curves in almost complex manifolds, Holomorphic curves in symplectic geometry, 1994, pp. 165–189.
D. A. Salamon and J. Weber, Floer homology and the heat flow, Geom. Funct. Anal. 16 (2006), no. 5, 1050–1138.
W. Vasconcelos, On finitely generated flat modules, Trans. Amer. Math. Society 138 (1969), 505 –512.
C. Viterbo, Functors and computations in Floer homology with applications. II, 1996. Preprint, available at http://www.math.ens.fr/~viterbo/FCFH.II.2003.pdf.
J. Zhang, Symplectic structure perturbations and continuity of symplectic invariants, 2016. Preprint, available at arXiv:1610.00516.
Acknowledgements
Our use of normal crossings-adapted symplectic and Liouville structures and subsequent Morse-Bott analysis borrows extensively from work of Mark McLean [McL16a, McL12a]. We would like to thank him for explanations of his work as well as several other conversations related to this paper. We also benefited greatly from discussions with Strom Borman, Luis Diogo, Yakov Eliashberg, Eleny Ionel, Samuel Lisi, and Nick Sheridan at an early stage of this project; we thank all of them. Finally, we would like to thank an anonymous referee for suggestions that improved the exposition of this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
S. G. was partially supported by the National Science Foundation through a postdoctoral fellowship—Grant Number DMS-1204393—and Agreement Number DMS-1128155. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
D. P. was supported by EPSRC, Imperial College, University of Cambridge, and UMass Boston.
About this article
Cite this article
Ganatra, S., Pomerleano, D. Symplectic cohomology rings of affine varieties in the topological limit. Geom. Funct. Anal. 30, 334–456 (2020). https://doi.org/10.1007/s00039-020-00529-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-020-00529-1