Related papers: Koszul duality via suspending Lefschetz fibrations
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…
We develop a set of tools for doing computations in and of (partially) wrapped Fukaya categories. In particular, we prove (1) a descent (cosheaf) property for the wrapped Fukaya category with respect to so-called Weinstein sectorial…
We define a new class of symplectic objects called "stops", which roughly speaking are Liouville hypersurfaces in the boundary of a Liouville domain. Locally, these can be viewed as pages of a compatible open book. To a Liouville domain…
To a conical symplectic resolution with Hamiltonian torus action, Braden--Proudfoot--Licata--Webster associate a category O, defined using deformation quantization (DQ) modules. It has long been expected, though not stated precisely in the…
We (re)consider how the Fukaya category of a Lefschetz fibration is related to that of the fibre. The distinguishing feature of the approach here is a more direct identification of the bimodule homomorphism involved.
In this paper, we define $A_{\infty}$-Koszul duals for directed $A_{\infty}$-categories in terms of twists in their $A_{\infty}$-derived categories. Then, we compute a concrete formula of $A_{\infty}$-Koszul duals for path algebras with…
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…
I show that any locally Cartesian left localisation of a presentable infinity-category admits a right proper model structure in which all morphisms are cofibrations, and obtain a Koszul duality classification of its fibrations. By a simple…
Consider the wrapped Fukaya category W of a collection of exact Lagrangians in a Liouville manifold. Under a non-degeneracy condition implying the existence of enough Lagrangians, we show that natural geometric maps from the Hochschild…
To a simple polarized hyperplane arrangement (not necessarily cyclic) $\mathbb{V}$, one can associate a stopped Liouville manifold (equivalently, a Liouville sector) $\left(M(\mathbb{V}),\xi\right)$, where $M(\mathbb{V})$ is the complement…
We construct a "Koszul duality" equivalence relating the (diagrammatic) Hecke category attached to a Coxeter system and a given realization to the Hecke category attached to the same Coxeter system and the dual realization. This extends a…
We prove homological mirror symmetry for Lefschetz fibrations obtained as disconnected sums of polynomials of types A or D. The proof is based on the behavior of the Fukaya category under the addition of a polynomial of type D.
We establish the continuous functoriality of wrapped Fukaya categories with respect to Liouville automorphisms, yielding a way to probe the homotopy type of the automorphism group of a Liouville sector. These methods prove Liouville and…
We give a complete description of partially wrapped Fukaya categories of graded orbifold surfaces with stops. We show that a construction via global sections of a natural cosheaf of A$_\infty$ categories on a Lagrangian core of the surface…
We study the Rouquier dimension of wrapped Fukaya categories of Liouville manifolds and pairs, and apply this invariant to various problems in algebraic and symplectic geometry. On the algebro-geometric side, we introduce a new method based…
For a stopped Liouville manifold arising from a Liouville sector, we construct a symplectic analogue of the formal neighborhood of the stop on the level of Fukaya categories. This geometric construction is performed via Floer-theoretic…
We attempt to give a gentle (though ahistorical) introduction to Koszul duality phenomena for the Hecke category, focusing on the form of this duality studied in joint work of Achar, Riche, Williamson, and the author. We illustrate some key…
For any dg algebra $A$ we construct a closed model category structure on dg $A$-modules such that the corresponding homotopy category is compactly generated by dg $A$-modules that are finitely generated and free over $A$ (disregarding the…
We prove that the derived Fukaya category of the Lefschetz fibration defined by a Brieskorn-Pham polynomial is equivalent to the triangulated category of singularities associated with the same polynomial together with a grading by an…
We consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by localizing the Fukaya category of a nearby fiber at Seidel's natural transformation, and show that this possesses several desirable…