Abstract:We prove a Koszul duality theorem between the category of weight modules over the quantized Coulomb branch (as defined by Braverman, Finkelberg and Nakajima) attached to a group $G$ and representation $V$ and a category of $G$-equivariant D-modules on the vector space $V$. This is proven by relating both categories to an explicit, combinatorially presented category. These categories are related to generalized categories $\mathcal{O}$ for symplectic singularities. Letting $\mathcal{O}_{\operatorname{Coulomb}}$ and $\mathcal{O}_{\operatorname{Higgs}}$ be these categories for the Coulomb and Higgs branches associated to $V$ and $G$, we obtain a functor $\mathcal{O}_{\operatorname{Coulomb}}^!\to \mathcal{O}_{\operatorname{Higgs}}$ from the Koszul dual of one to the other. This functor is an equivalence in the special cases where the hyperkähler quotient of $T^*V$ by $G$ is a Nakajima quiver variety or smooth hypertoric variety. This includes as special cases the parabolic-singular Koszul duality of category $\mathcal{O}$ in type A, the categorified rank-level duality proposed by Chuang and Miyachi and proven by Shan, Vasserot and Varagnolo, and the hypertoric Koszul duality proven by Braden, Licata, Proudfoot and the author. We also show that this equivalence intertwines so-called twisting and shuffling functors. This together with the duality discussed confirms the most important components of the symplectic duality conjecture of Braden, Licata, Proudfoot and the author in this case.

Lagrangian Skeleta and Koszul Duality on Bionic Symplectic Varieties

Koszul duality for non-graded derived categories

Lagrangian skeleta, collars and duality

Categorical Cell Decomposition of Quantized Symplectic Algebraic Varieties

The p-cycle of Holonomic D-modules and Quantization of Exact Algebraic Lagrangians

Shifted symplectic structures on derived analytic moduli of $\ell$-adic local systems and Galois representations

Categorical Pentagon Relations and Koszul Duality

Koszul duality between Higgs and Coulomb categories $\mathcal{O}$

Global Koszul duality

Grothendieck-Verdier duality in categories of bimodules and weak module functors

A geometric realization of Koszul duality for graded gentle algebras

Categorical Koszul duality

Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

Enriched Koszul Duality

Categorification of quiver diagonalization and Koszul algebras

Generalized Schur-Weyl dualities for quantum affine symmetric pairs and orientifold KLR algebras

Koszul duality and the Poincaré-Birkhoff-Witt theorem

Deformation quantization and perverse sheaves

A Representation theoretic perspective of Koszul theory

Lagrangian cobordisms and K-theory of symplectic bielliptic surfaces

A cup-cap duality in Koszul calculus