Lagrangian cobordism and tropical curves (Q2030086): Difference between revisions

Let \((X,\omega)\) be a symplectic manifold and consider the cylindrical cobordism group \(\mathrm{Cob}(X/\mathbb{C}^*)\), which is defined as the abelian group of formal sums of Lagrangian submanifolds decorated with certain additional structures, modulo relations arising from cobordisms in \(\mathbb{C}^*\times X\). These decorated Lagrangian submanifolds are called Lagrangian branes and they come with orientations, so there is a well-defined map \(\mathrm{Cob}(X/\mathbb{C}^*)\rightarrow H_n(X;\mathbb{Z})\), whose kernel is denoted by \(\mathrm{Cob}(X/\mathbb{C}^*)_{\mathrm{hom}}\). The paper addresses the study of Lagrangian cobordism relations amongst Lagrangian torus fibres of a symplectic manifold which is the total space of an integrable system with non-singular fibres. The first main theorem is an existence theorem for Lagrangian cobordisms for the total space \(X(B)\) of a Lagrangian torus fibration over an oriented tropical affine manifold \(B\). More precisely, suppose \(B\) is a tropical affine torus which admits a polarization; then the cylindrical Lagrangian cobordism group \(\mathrm{Cob}_{\mathrm{fib}}(X(B)/\mathbb{C}^*)_{\mathrm{hom}}\) of fibres in \(X(B)\) is divisible. A non-existence theorem for cobordisms is also given: suppose \(B\) contains no non-constant tropical curve. Let \(\mathbb{L}^-\) and \(\mathbb{L}^+\) be tuples of pairwise-distinct fibres in \(X(B)\) equipped with their natural brane structures. Then there is no unobstructed cylindrical Lagrangian brane cobordism between \(\mathbb{L}^-\) and \(\mathbb{L}^+\), unless \(\mathbb{L}^-=\mathbb{L}^+\) as unordered tuples.