We study hamiltonian actions of compact groups in the presence of compatible involutions. We show that the lagrangian fixed point set on the symplectically reduced space is isomorphic to the disjoint union of the involutively reduced spaces corresponding to involutions on the group strongly inner to the given one. Our techniques imply that the solution to the eigenvalues of a sum problem for a given real form can be relayed to the quasi-split real form in the same inner class. We also consider invariant quotients with respect to the corresponding real form of the complexified group.
In this paper, we study various asymptotic behavior of the infinite family of monotone Lagrangian tori $T_{a,b,c}$ in $\mathbb{CP}^2$ associated to Markov triples $(a,b,c)$ described in \cite{Vi14}. We first prove that the Gromov capacity of the complement $\mathbb{CP}^2 \setminus T_{a,b,c}$ is greater than or equal to $\frac13$ of the area of the complex line for all Markov triple $(a,b,c)$. We then prove that there is a representative of the family $\{T_{a,b,c}\}$ whose loci completely miss a metric ball of nonzero size and in particular the loci of the union of the family is not dense in $\…
We show that a weight variety, which is a quotient of a flag variety by the maximal torus, admits a flat degeneration to a toric variety. In particular, we show that the moduli spaces of spatial polygons degenerate to polarized toric varieties with the moment polytopes defined by the lengths of their diagonals. We extend these results to more general Flaschka-Millson hamiltonians on the quotients of products of projective spaces. We also study boundary toric divisors and certain real loci.
We study Dehn twists along Lagrangian submanifolds that are finite quotients of spheres. We decribe the induced auto-equivalences to the derived Fukaya category and explain its relation to twists along spherical functors.
We provide topological obstructions to the existence of orbit cylinders of symmetric orbits, for mechanical systems preserved by antisymplectic involutions (e.g. the restricted three-body problem). Such cylinders induce continuous paths which do not cross the bifurcation locus of suitable GIT quotients of the symplectic group, which are branched manifolds whose topology provide the desired obstructions. Namely, the complement of the corresponding loci consist of several connected components which we enumerate and explicitly describe; by construction these cannot be joined by a path induced by …
We investigate the small area limit of the gauged Lagrangian Floer cohomology of Frauenfelder. The resulting cohomology theory, which we call quasimap Floer cohomology, is an obstruction to displaceability of Lagrangians in the symplectic quotient. We use the theory to reproduce the results of Fukaya-Oh-Ohta-Ono and Cho-Oh on non-displaceability of moment fibers of not-necessarily-Fano toric varieties and extend their results to toric orbifolds, without virtual fundamental chains. Finally we describe a conjectural relationship to Floer cohomology in the quotient.
A proof of non-existence of Lagrangian embeddings of the Klein bottle K in \CP^2 is given. We exploit the existence of a special embedding of K in a symplectic Lefschetz pencil on \CP^2 and study its monodromy. As the main technical tool, we develop the theory of mapping class groups, considered as quotients of special Artin braid groups, and obtain some new results about combinatorial structure of such groups.
We study the topology of Hamiltonian-minimal Lagrangian submanifolds N in C^m constructed from intersections of real quadrics in a work of the first author. This construction is linked via an embedding criterion to the well-known Delzant construction of Hamiltonian toric manifolds. We establish the following topological properties of N: every N embeds as a submanifold in the corresponding moment-angle manifold Z, and every N is the total space of two different fibrations, one over the torus T^{m-n} with fibre a real moment-angle manifold R, and another over a quotient of R by a finite group wi…
Given a Hamiltonian system $ (M,ω, G,μ) $ where $(M,ω)$ is a symplectic manifold, $G$ is a compact connected Lie group acting on $(M,ω)$ with moment map $ μ:M \rightarrow\mathfrak{g}^{*}$, then one may construct the symplectic quotient $(M//G, ω_{red})$ where $M//G := μ^{-1}(0)/G$. Kirwan used the norm-square of the moment map, $|μ|^2$, as a G-equivariant Morse function on $M$ to derive formulas for the rational Betti numbers of $M//G$. A real Hamiltonian system $(M,ω, G,μ, σ, ϕ) $ is a Hamiltonian system along with a pair of involutions $(σ:M \rightarrow M, ϕ:G \rightarrow G) $ satisfying cer…
In this paper, we extend the well-known Noether theorem for Lagrangian systems to contact Lagrangian systems. We introduce a classification of infinitesimal symmetries and obtain the corresponding dissipated quantities. We notice that in contact dynamics, the existence of infinitesimal symmetries does not produce conserved quantities, but functions that dissipate at the same rate than the energy; so, the corresponding quotients are true conserved quantities.
This is a book aimed at graduate students and researchers in symplectic geometry, based on a course I taught in 2019. The primary message is that the base of a Lagrangian torus fibration inherits an integral affine structure, which you can use to "read off" a lot of interesting geometry of the total space. Topics covered include: action-angle coordinates, symplectic reduction, toric manifolds, visible and tropical Lagrangians, almost toric systems, Milnor fibres of cyclic quotient singularities, mutation of polygons, non-toric blow-up, an almost toric view on Lisca's classification of fillings…
Let $n\geq 1$ be an integer, $\mathcal L \subset \mathbb{R}^n$ be a compact smooth affine real hypersurface, not necessarily connected. We prove that there exists $c>0$ and $d_0\geq 1$, such that for any $d\geq d_0$, any smooth complex projective hypersurface $Z$ in $\mathbb{C} P^n$ of degree $d$ contains at least $ c\dim H_*(Z, \mathbb{R})$ disjoint Lagrangian submanifolds diffeomorphic to $\mathcal L$, where $Z$ is equipped with the restriction of the Fubini-Study symplectic form. If moreover the connected components of $\mathcal L$ have non vanishing Euler characteristic, which implies that…
