Zoo of monotone Lagrangians in \(\mathbb{C}P^n\) (Q6069186): Difference between revisions

A Delzant polytope is a simple full-dimensional polytope in \(\mathbb{R}^m\) with rational edge directions and such that the primitive edge-direction vectors at each vertex form a basis of the lattice \(\mathbb{Z}^m\). Equivalently, it is a polytope with a simplicial and unimodular normal fan. Fano polytopes are the convex-geometric objects corresponding to toric Fano varieties. The author considers an \(m\)-dimensional Delzant and Fano polytope \(P\subset \mathbb{R}^m\) with \(n\) facets for whose normal vectors \(a_1\), \(\ldots\), \(a_n\) one has \(a_1+\cdots +a_n=0\). One associates a monotone embedded Lagrangian \(L\subset \mathbb{C}P^{n-1}\) to \(P\). As an abstract manifold, the Lagrangian \(L\) fibers over \((S^1)^{n-m-1}\) with fiber \(\mathcal{R}_P\), where \(\mathcal{R}_P\) is defined by a system of quadrics in \(\mathbb{R}P^{n-1}\). The manifold \(\mathcal{R}_P\) is called the real toric space. The author finds an effective method for computing the Lagrangian quantum cohomology groups of the mentioned Lagrangians. Then he constructs explicitly some set of wide and narrow Lagrangians. His method yields many different monotone Lagrangians with rich topological properties, including non-trivial Massey products, complicated fundamental groups and complicated singular cohomology rings. It turns out that not only the methods of toric topology can be used to construct monotone Lagrangians, but on the other hand the symplectic topology of Lagrangians can be used to study the topology of \(\mathcal{R}_P\).