Realizability in tropical geometry and unobstructedness of Lagrangian submanifolds
arXiv:2204.06432 · doi:10.2140/gt.2025.29.1909
Abstract
We say that a tropical subvariety is -realizable if it can be lifted to an analytic subset of . When is a smooth curve or hypersurface, there always exists a Lagrangian submanifold lift . We prove that whenever has well-defined Floer cohomology, we can find for each point of a Lagrangian torus brane whose Lagrangian intersection Floer cohomology with is non-vanishing. Assuming an appropriate homological mirror symmetry result holds for toric varieties, it follows that whenever is a Lagrangian submanifold that can be made unobstructed by a bounding cochain, the tropical subvariety is -realizable. As an application, we show that the Lagrangian lift of a genus zero tropical curve is unobstructed, thereby giving a purely symplectic argument for Nishinou and Siebert's proof that genus-zero tropical curves are -realizable. We also prove that tropical curves inside tropical abelian surfaces are -realizable.
arXiv commentExpositional modifications and minor corrections following referee report. Update to Section 5.2. Some material adapted from Section 4.3 of arXiv:1904.06005v1
References in corpus (15)
- Mirror Symmetry is T-Duality
- Homogeneous coordinate rings and mirror symmetry for toric varieties
- Tropical varieties for non-archimedean analytic spaces
- The nonequivariant coherent-constructible correspondence for toric stacks
- Skeletons of stable maps I: Rational curves in toric varieties
- Uniformizing Tropical Curves I: Genus Zero and One
- Faithful realizability of tropical curves
- Lagrangian pairs of pants
- Tropical Lagrangian Hypersurfaces are Unobstructed
- Mayer-Vietoris property for relative symplectic cohomology
- Tropically constructed Lagrangians in mirror quintic threefolds
- Aspects of functoriality in homological mirror symmetry for toric varieties
- A reverse isoperimetric inequality for J-holomorphic curves
- Tropical Lagrangians in toric del-Pezzo surfaces
- Wall-crossing from Lagrangian Cobordisms