arXiv subjects
Publications and source records attributed to Ailsa Keating.
We discuss some examples in which symplectic monodromy (provably or conjecturally) splits off the symplectic mapping class group, hoping to illustrate different techniques and inputs to the arguments. Along the way we formulate several open questions and conjectures. Inter alia, we also construct a compact symplectic six-manifold which contains infinitely many pairwise disjoint Lagrangian 3-spheres.
We prove the homological mirror symmetry conjecture of Kontsevich for K3 surfaces in the following form: The Fukaya category of a projective K3 surface is equivalent to the derived category of coherent sheaves on the mirror, which is a K3 surface of Picard rank $19$ over the field $\mathbb{C}((q))$ of formal Laurent series. This builds on prior work of Seidel, who proved the theorem in the case of the quartic surface, Sheridan, Lekili--Ueda, and Ganatra--Pardon--Shende.
We study homological mirror symmetry for $(\mathbb{P}^2, \Omega)$ viewed as an object of birational geometry, with $\Omega$ the standard meromorphic volume form. First, we construct universal objects on the two sides of mirror symmetry, focusing on the exact symplectic setting: a smooth complex scheme $U_\mathrm{univ}$ and a Weinstein manifold $M_\mathrm{univ}$, both of infinite type; and we prove homological mirror symmetry for them. Second, we consider autoequivalences. We prove that automorphisms of $U_\mathrm{univ}$ are given by a natural discrete subgroup of $\operatorname{Bir} (\mathbb{P}^2, \pm \Omega)$; and that all of these automorphisms are mirror to symplectomorphisms of $M_\mathrm{univ}$. We conclude with some applications.
Let $X$ denote the `conifold smoothing', the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$, or equivalently the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the `conifold resolution', by which we mean the complement of a smooth divisor in $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional `affine $A_1$-case'). Our results build on work of Chan-Pomerleano-Ueda and Toda, and both theorems make essential use of working on the `other side' of the mirror.
Let M be a Weinstein four-manifold mirror to Y\D for (Y,D) a log Calabi--Yau surface; intuitively, this is typically the Milnor fibre of a smoothing of a cusp singularity. We introduce two families of symplectomorphisms of M: Lagrangian translations, which we prove are mirror to tensors with line bundles; and nodal slide recombinations, which we prove are mirror to automorphisms of (Y,D). The proof uses a detailed compatibility between the homological and SYZ view-points on mirror symmetry. Together with spherical twists, these symplectomorphisms are expected to generate all autoequivalences of the wrapped Fukaya category of M which are compactly supported in a categorical sense. A range of applications is given.
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 Σ_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.
We are interested in comparing properties of symplectic mapping class groups of symplectic manifolds of dimension four or higher with properties of classical mapping class groups of surfaces. For $n \geq 2$, consider a configuration of Lagrangian $S^n$s in a Weinstein domain $M^{2n}$. If it is analogous, in some sense that we make precise, to a configuration of exact Lagrangian $S^1$s on a surface $Σ$, we show that any relation between Dehn twists in the $S^n$s must also hold between the $S^1$s. Such analogous pairs of configurations include plumbings of $T^\ast S^1$s and $T^\ast S^n$s with the same plumbing graph, and vanishing cycles for a two-variable singularity and for its stabilisation. We give a number of corollaries for subgroups of symplectic mapping class groups.
This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups.
Given a log Calabi-Yau surface $Y$ with maximal boundary $D$ and distinguished complex structure, we explain how to construct a mirror Lefschetz fibration $w: M \to \mathbb{C}$, where $M$ is a Weinstein four-manifold, such that the directed Fukaya category of $w$ is isomorphic to $D^b \text{Coh}(Y)$, and the wrapped Fukaya category $D^b\mathcal{W} (M)$ is isomorphic to $D^b \text{Coh}(Y \backslash D)$. We construct an explicit isomorphism between $M$ and the total space of the almost-toric fibration arising in the work of Gross-Hacking-Keel; when $D$ is negative definite this is expected to be the Milnor fibre of a smoothing of the dual cusp of $D$. We also match our mirror potential $w$ with existing constructions for a range of special cases of $(Y,D)$, notably in work of Auroux-Katzarkov-Orlov and Abouzaid.
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.
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 Milnor fibre of any isolated hypersurface singularity contains many exact Lagrangian spheres: the vanishing cycles associated to a Morsification of the singularity. Moreover, for simple singularities, it is known that the only possible exact Lagrangians are spheres. We construct exact Lagrangian tori in the Milnor fibres of all non-simple singularities of real dimension four. This gives examples of Milnor fibres whose Fukaya categories are not generated by vanishing cycles. Also, this allows progress towards mirror symmetry for unimodal singularities, which are one level of complexity up from the simple ones.
Given two Lagrangian spheres in an exact symplectic manifold, we find conditions under which the Dehn twists about them generate a free non-abelian subgroup of the symplectic mapping class group. This extends a result of Ishida for Riemann surfaces. The proof generalises the categorical version of Seidel's long exact sequence to arbitrary powers of a fixed Dehn twist. We also show that the Milnor fibre of any isolated degenerate hypersurface singularity contains such pairs of spheres.