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.

Koszul duality for Coxeter groups

Koszul Equivalences in Algebras

HIGHER KOSZUL DUALITY FOR PIECEWISE-KOSZUL ALGEBRAS

Koszul duality and the Poincaré-Birkhoff-Witt theorem

Koszul duality of affine kac -

Universal Koszul Duality for Kac-Moody Groups

Koszul duality for non-graded derived categories

Koszul duality and a conjecture of Francis-Gaitsgory

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

Koszul duality for simplicial restricted Lie algebras

Categorical Koszul duality

Koszul duality of translation--and Zuckerman functors

Global Koszul duality

Koszul duality and a classification of stable Weiss towers

A cup-cap duality in Koszul calculus

Koszul duality for operadic categories

Categorical Pentagon Relations and Koszul Duality

Three perspectives on categorical symmetric Howe duality

The Koszul complex is the cotangent complex

A Representation theoretic perspective of Koszul theory

Duality for Hodge-Witt cohomology with modulus