-
Homological mirror symmetry for projective K3 surfaces
Authors:
Paul Hacking,
Ailsa Keating
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
An Approximate-Master-Equation Formulation of the Watts Threshold Model on Hypergraphs
Authors:
Leah A. Keating,
Kwang-Il Goh,
Mason A. Porter
Abstract:
In traditional models of behavioral or opinion dynamics on social networks, researchers suppose that all interactions occur between pairs of individuals. However, in reality, social interactions also occur in groups of three or more individuals. A common way to incorporate such polyadic interactions is to study dynamical processes on hypergraphs. In a hypergraph, interactions can occur between any…
▽ More
In traditional models of behavioral or opinion dynamics on social networks, researchers suppose that all interactions occur between pairs of individuals. However, in reality, social interactions also occur in groups of three or more individuals. A common way to incorporate such polyadic interactions is to study dynamical processes on hypergraphs. In a hypergraph, interactions can occur between any number of the individuals in a network. The Watts threshold model (WTM) is a well-known model of a simplistic social spreading process. Very recently, Chen et al. extended the WTM from dyadic networks (i.e., graphs) to polyadic networks (i.e., hypergraphs). In the present paper, we extend their discrete-time model to continuous time using approximate master equations (AMEs). By using AMEs, we are able to model the system with very high accuracy. We then reduce the high-dimensional AME system to a system of three coupled differential equations without any detectable loss of accuracy. This much lower-dimensional system is more computationally efficient to solve numerically and is also easier to interpret. We linearize the reduced AME system and calculate a cascade condition, which allows us to determine when a large spreading event occurs. We then apply our model to a social contact network of a French primary school and to a hypergraph of computer-science coauthorships. We find that the AME system is accurate in modelling the polyadic WTM on these empirical networks; however, we expect that future work that incorporates structural correlations between nearby nodes and groups into the model for the dynamics will lead to more accurate theory for real-world networks.
△ Less
Submitted 6 May, 2025; v1 submitted 5 March, 2025;
originally announced March 2025.
-
A universal mirror to $(\mathbb{P}^2, Ω)$ as a birational object
Authors:
Ailsa Keating,
Abigail Ward
Abstract:
We study homological mirror symmetry for $(\mathbb{P}^2, Ω)$ viewed as an object of birational geometry, with $Ω$ 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 homologic…
▽ More
We study homological mirror symmetry for $(\mathbb{P}^2, Ω)$ viewed as an object of birational geometry, with $Ω$ 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 Ω)$; and that all of these automorphisms are mirror to symplectomorphisms of $M_\mathrm{univ}$. We conclude with some applications.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Effectiveness of Contact Tracing on Networks with Cliques
Authors:
Abbas K. Rizi,
Leah A. Keating,
James P. Gleeson,
David J. P. O'Sullivan,
Mikko Kivelä
Abstract:
Contact tracing, the practice of isolating individuals who have been in contact with infected individuals, is an effective and practical way of containing disease spread. Here, we show that this strategy is particularly effective in the presence of social groups: Once the disease enters a group, contact tracing not only cuts direct infection paths but can also pre-emptively quarantine group member…
▽ More
Contact tracing, the practice of isolating individuals who have been in contact with infected individuals, is an effective and practical way of containing disease spread. Here, we show that this strategy is particularly effective in the presence of social groups: Once the disease enters a group, contact tracing not only cuts direct infection paths but can also pre-emptively quarantine group members such that it will cut indirect spreading routes. We show these results by using a deliberately stylized model that allows us to isolate the effect of contact tracing within the clique structure of the network where the contagion is spreading. This will enable us to derive mean-field approximations and epidemic thresholds to demonstrate the efficiency of contact tracing in social networks with small groups. This analysis shows that contact tracing in networks with groups is more efficient the larger the groups are. We show how these results can be understood by approximating the combination of disease spreading and contact tracing with a complex contagion process where every failed infection attempt will lead to a lower infection probability in the following attempts. Our results illustrate how contact tracing in real-world settings can be more efficient than predicted by models that treat the system as fully mixed or the network structure as locally tree-like.
△ Less
Submitted 19 December, 2023; v1 submitted 20 April, 2023;
originally announced April 2023.
-
Symplectomorphisms and spherical objects in the conifold smoothing
Authors:
Ailsa Keating,
Ivan Smith
Abstract:
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 sy…
▽ More
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.
△ Less
Submitted 20 May, 2024; v1 submitted 25 January, 2023;
originally announced January 2023.
-
Symplectomorphisms of some Weinstein 4-manifolds
Authors:
Paul Hacking,
Ailsa Keating
Abstract:
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 proo…
▽ More
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.
△ Less
Submitted 6 June, 2025; v1 submitted 13 December, 2021;
originally announced December 2021.
-
On the order of Dehn twists
Authors:
Ailsa Keating,
Oscar Randal-Williams
Abstract:
This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups.
This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups.
△ Less
Submitted 22 June, 2022; v1 submitted 27 April, 2021;
originally announced April 2021.
-
Homological mirror symmetry for log Calabi-Yau surfaces
Authors:
Paul Hacking,
Ailsa Keating,
Wendelin Lutz
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 June, 2025; v1 submitted 11 May, 2020;
originally announced May 2020.
-
Families of monotone Lagrangians in Brieskorn--Pham hypersurfaces
Authors:
Ailsa Keating
Abstract:
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 rang…
▽ More
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.
△ Less
Submitted 4 August, 2021; v1 submitted 1 February, 2020;
originally announced February 2020.
-
On symplectic stabilisations and mapping classes
Authors:
Ailsa Keating
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 April, 2021; v1 submitted 27 November, 2017;
originally announced November 2017.
-
Symplectomorphisms of exotic discs
Authors:
Roger Casals,
Ailsa Keating,
Ivan Smith
Abstract:
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.
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.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Homological mirror symmetry for hypersurface cusp singularities
Authors:
Ailsa Keating
Abstract:
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 techn…
▽ More
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.
△ Less
Submitted 26 May, 2017; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Lagrangian tori in four-dimensional Milnor fibres
Authors:
Ailsa Keating
Abstract:
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 exampl…
▽ More
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.
△ Less
Submitted 15 October, 2015; v1 submitted 4 May, 2014;
originally announced May 2014.
-
Dehn twists and free subgroups of symplectic mapping class groups
Authors:
Ailsa Keating
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 June, 2013; v1 submitted 12 April, 2012;
originally announced April 2012.
