Perverse schobers and 3d mirror symmetry

Abstract

The proposed physical duality known as 3d mirror symmetry relates the geometries of dual pairs of holomorphic symplectic stacks. It has served in recent years as a guiding principle for developments in representation theory. However, due to the lack of definitions, thus far only small pieces of the subject have been mathematically accessible. In this paper, we formulate abelian 3d mirror symmetry as an equivalence between a pair of 2-categories constructed from the algebraic and symplectic geometry, respectively, of Gale dual toric cotangent stacks.In the simplest case, our theorem provides a spectral description of the 2-category of spherical functors -i.e., perverse schobers on the affine line with singularities at the origin.We expect that our results can be extended from toric cotangent stacks to hypertoric varieties, which would provide a categorification of previous results on Koszul duality for hypertoric categories O. Our methods also suggest approaches to 2-categorical 3d mirror symmetry for more general classes of spaces of interest in geometric representation theory.Along the way, we establish two results that may be of independent interest: (1) a version of the theory of Smith ideals in the setting of stable ∞-categories; and (2) an ambidexterity result for co/limits of presentable enriched ∞-categories over ∞-groupoids.

3-Dimensional Mirror Symmetry

“…This program was put forward by Teleman [Tel14], based on a proposal of Kapustin-Rozansky-Saulina [KRS09] for 𝒯(𝑇 * 𝑁, 𝐺). Significant progress on the A-model 2-category has been made in the abelian case in recent work of Gammage-Hilburn-Mazel-Gee [GHM22] and Doan-Rezchikov [DR22] suggesting an ambitious program for a more general case.…”

Holomorphic Floer theory and Donaldson-Thomas invariants

“…In this context, the B-side is the Rozansky-Witten 2-category, based on the category of matrix factorizations. The A-side should be a gauged version of the Fueter category, based on the Fukaya-Seidel category [39,40]: concrete examples of the A-side in the literature rely on explicit algebraic models of the 2-category and it is an interesting problem to clarify the relation with the geometric model given by the Fueter 2-category.…”