Search

This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups., 7 pages. v2: Accepted version, to appear in NYJM

We present techniques, inspired by monodromy considerations, for constructing compact monotone Lagrangians in certain affine hypersurfaces, chiefly of Brieskorn-Pham type. We focus on dimensions 2 and 3, though the constructions generalise to higher ones. The techniques give significant latitude in controlling the homology class, Maslov class and monotonicity constant of the Lagrangian, and a range of possible diffeomorphism types; they are also explicit enough to be amenable to calculations of pseudo-holomorphic curve invariants. Applications include infinite families of monotone Lagrangian $S^1 \times \Sigma_g$ in $\mathbb{C}^3$, distinguished by soft invariants for any genus $g \geq 2$; and, for fixed soft invariants, a range of infinite families of Lagrangians in Brieskorn-Pham hypersurfaces. These are generally distinct up to Hamiltonian isotopy. In specific cases, we also set up well-defined counts of Maslov zero holomorphic annuli, which distinguish the Lagrangians up to compactly supported symplectomorphisms. Inter alia, these give families of exact monotone Lagrangian tori which are related neither by geometric mutation nor by compactly supported symplectomorphisms., Comment: accepted version

We construct a symplectic structure on a disc that admits a compactly supported symplectomorphism which is not smoothly isotopic to the identity. The symplectic structure has an overtwisted concave end; the construction of the symplectomorphism is based on a unitary version of the Milnor--Munkres pairing. En route, we introduce a symplectic analogue of the Gromoll filtration. The Appendix by S. Courte shows that for our symplectic structure the map from compactly supported symplectic mapping classes to compactly supported smooth mapping classes is in fact surjective.

We study versions of homological mirror symmetry for hypersurface cusp singularities and the three hypersurface simple elliptic singularities. We show that the Milnor fibres of each of these carries a distinguished Lefschetz fibration; its derived directed Fukaya category is equivalent to the derived category of coherent sheaves on a smooth rational surface $Y_{p,q,r}$. By using localization techniques on both sides, we get an isomorphism between the derived wrapped Fukaya category of the Milnor fibre and the derived category of coherent sheaves on a quasi-projective surface given by deleting an anti-canonical divisor $D$ from $Y_{p,q,r}$. In the cusp case, the pair $(Y_{p,q,r}, D)$ is naturally associated to the dual cusp singularity, tying into Gross, Hacking and Keel's proof of Looijenga's conjecture., Comment: 34pp, 20 figures. Comments welcome! v2: minor changes