Symplectic Geometry

A Kahler-type form is a symplectic form compatible with an integrable complex structure. Let M be either a torus or a K3-surface equipped with a Kahler-type form. We show that the homology class of any Maslov-zero Lagrangian torus in M has…

A sheaf quantization is a sheaf associated to a Lagrangian brane. By using the results of exact WKB analysis, we sheaf-quantize spectral curves over the Novikov ring under some assumptions on the behavior of Stokes curves. For Schr\"odinger…

We construct an equivariant extension of the quantum Kirwan map and show that it intertwines the classical Steenrod operation on the cohomology of a classifying space with the quantum Steenrod operation of a monotone symplectic reduction.…

In this paper we study the coisotropic reduction in different types of dynamics according to the geometry of the corresponding phase space. The relevance of the coisotropic reduction is motivated by the fact that these dynamics can always…

We use explicit pseudoholomorphic curve techniques (without virtual perturbations) to define a sequence of symplectic capacities analogous to those defined recently by the second named author using symplectic field theory. We then compute…

Let $R>1$ and let $B$ be the Euclidean $4$-ball of radius $R$ with a closed subset ${E}$ removed. Suppose that $B$ embeds symplectically into the unit cylinder $\mathbb{D}^2 \times \mathbb{R}^2$. By Gromov's non-squeezing theorem, ${E}$…

The 2011 PhD thesis of Farris demonstrated that the ECH of a prequantization bundle over a Riemann surface is isomorphic as a Z/2Z-graded group to the exterior algebra of the homology of its base. We extend this result by computing the…

In this article we study covering spaces of symplectic toric orbifolds and symplectic toric orbifold bundles. In particular, we show that all symplectic toric orbifold coverings are quotients of some symplectic toric orbifold by a finite…

We prove that the Lagrangian correspondences induced by the symplectic reduction maps at free zero level sets of the moment maps are unobstructed after bulk deformation, assuming the existence of certain equivariant Kuranishi structures and…

For a stably framed Liouville manifold X , we construct a "Donaldson-Fukaya category over the sphere spectrum" F(X; S). The objects are closed exact Lagrangians whose Gauss maps are nullhomotopic compatibly with the ambient stable framing,…

We prove one direction of homological mirror symmetry for complete intersections in algebraic tori, in all dimensions. The mirror geometry is not a space but a LG model, i.e. a pair given by a space and a regular function. We show that the…

We use relative symplectic cohomology to detect heavy sets, with the help of index bounded contact forms. This establishes a relation between two notions SH-heaviness and heaviness, which partly answers a conjecture of…

We estimate the displacement energy of Lagrangian 3-spheres in a symplectic 6-manifold $X$, by estimating the displacement energy of a one-parameter family $L_{\lambda}$ of Lagrangian tori near the sphere. The proof establishes a new…

We study the orthogonal projections of symplectic balls in $\mathbb{R}^{2n}$ on complex subspaces. In particular we show that these projections are themselves symplectic balls under a certain complexity assumption. Our main result is a…

Consider a closed monotone symplectic manifold $(M,\omega)$. \cite{Gan2} constructed a cyclic open-closed map, which goes from the cyclic homology of the Fukaya category of $M$ to the $S^1$-equivariant quantum cohomology of $M$. In this…

A stabilization operation is defined for codimension $2$ contact submanifolds in $\dim \geq 5$ contact manifolds $(M, \xi)$. The definition is such that (1) a given $(M, \xi)$ is overtwisted iff its standard transverse unknot is stabilized…

We give a `Fukaya category commutes with reduction' theorem for the Hamiltonian torus action on a multiplicative hypertoric variety.

We derive the quantization map in geometric quantization of symplectic manifolds via the Poisson sigma model. This gives a polarization-free (path integral) definition of quantization which pieces together most known quantization schemes.…

For a given coorientable contact manifold $(M^{2n+1},\xi)$, we consider the group $ \operatorname{Cont}_c^{(r,\delta)}(M,\alpha)$ consisting of $C^{r,\delta}$ contactomorphisms with compact support which is equipped with…

We resolve the long-standing problem of constructing the action of the operad of framed (stable) genus-$0$ curves on Hamiltonian Floer theory; this operad is equivalent to the framed $E_2$ operad. We formulate the construction in the…