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.
Expositional modifications and minor corrections following referee report. Update to Section 5.2. Some material adapted from Section 4.3 of arXiv:1904.06005v1