Duality functors for Coulomb branches I

Sabin Cautis; Eric Vasserot

Home/Archive/arXiv

arXiv · 2609.39122

Duality functors for Coulomb branches I

Sabin Cautis·Eric Vasserot

View original source ↗Read source document ↗Export metadata ↓

Abstract

To a quiver of finite type one can associate two abelian categories: the category of finite dimensional modules over the corresponding affine quiver Hecke algebra and the Coulomb category of Koszul-perverse coherent sheaves. In this paper we define an exact functor from the former to the latter. This functor sends a simple to a simple or zero and is (almost) essentially surjective on simples. This implies that simple Koszul-perverse sheaves categorify the dual canonical basis.

Explore related subjects

math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Sabin Cautis, Eric Vasserot. 2026-09-30. Duality functors for Coulomb branches I. https://arxiv.org/abs/2609.39122

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Bethe subalgebras in Yangians and Kirillov-Reshetikhin crystals

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra and $G$ its adjoint group. For each $C\in G$, we consider the Bethe subalgebra $B(C)\subset Y(\mathfrak{g})$, a commutative subalgebra encoding the integrals of the generalized $XXX$ spin chain. Adapting the construction of arXiv:1708.05105 of $\mathfrak{g}$-crystals on spectra of inhomogeneous Gaudin subalgebras in $U(\mathfrak{g})$, we construct a natural $\hat{\mathfrak{g}}$-crystal structure on the spectra of $B(C)$ in Kirillov--Reshetikhin $Y(\mathfrak{g})$-modules in type $A$. We conjecture that such a construction exists for arbitrary $\mathfrak{g}$ and recovers Kirillov--Reshetikhin crystals. The main technical ingredient is a degeneration of Bethe subalgebras $B(C)$ to commutative subalgebras $\mathcal{A}_χ^{\mathrm{u}} \subset U(\mathfrak{g}[t])$, depending on $χ\in\mathfrak{g}$. We call these subalgebras universal inhomogeneous Gaudin subalgebras and show that they arise from the Feigin--Frenkel center at the critical level. This allows us to identify the affine crystals above with Kirillov--Reshetikhin crystals. We then apply these results to prove the monodromy conjecture of Ilin and the second and third authors for the spectra of the algebras $B(C)$ and for the spectra of quantum cohomology rings of type $A$ quiver varieties.

math.RT↗

arXiv2026

Balanced pairs, virtually Gorenstein rings, and cotorsion torsion triples

For any ring $R$, we investigate balanced pairs of classes of modules and their relations to cotorsion triples. We characterize the special balanced pairs that fit into complete hereditary cotorsion triples. As an application, we prove that Gorenstein projective and Gorenstein injective modules form a balanced pair, if and only if $R$ is right virtually Gorenstein. We also characterize the tilting and cotilting cotorsion pairs arising from balanced pairs. In [4], cotorsion torsion triples in abelian categories were employed in the representation theory of rectangular grids occurring in persistent homology theory. For module categories, we use infinite dimensional tilting theory to completely classify all cotorsion torsion triples by means of $1$-resolving subcategories of $\rfmod R$, and to give an explicit 1-1 correspondence between the formally dual notions of cotorsion torsion triples of right $R$-modules and torsion cotorsion triples of left $R$-modules. This correspondence is bijective in case the underlying ring $R$ is left noetherian, but not in general.

math.RT↗

arXiv2026

$q$-Oper Structures on a Formal Punctured Disc

Let $G$ be a connected reductive complex algebraic group and let $q\in\mathbb{C}^{\times}$ be not a root of unity. We prove that every $(G,q)$-connection on a formal punctured disc admits a $(G,q)$-oper structure.

math.RT↗