Pointwise purity, derived Satake, and Symplectic duality

TL;DR

This paper advances the understanding of geometric representation theory by generalizing Ext-Hom relations, analyzing Satake equivalence on pure objects, and establishing properties of symplectic duals in Hamiltonian varieties.

Contribution

It generalizes Ext-Hom relations, describes Satake equivalence action on pure objects, and proves normality and singularity properties of symplectic duals in Hamiltonian varieties.

Findings

Extended Ext-Hom relations to broader contexts.

Described functoriality of derived Satake on pure objects.

Proved normality of symplectic duals for many Hamiltonian varieties.

Abstract

It has been known for a long time that Ext's between IC-sheaves may often be expressed in terms of Hom's between cohomology groups. We prove a more general result under weaker assumptions. The result is used to describe the action of the derived Satake equivalence on !-pure objects and show that the equivalence enjoys a new kind of functoriality with respect to morphisms of reductive groups. We find and prove normality of the symplectic dual X^! for many smooth affine Hamiltonian G-varieties X, including X=T^*(G/H) for all connected reductive subgroups H of G. We also describe the symplectic duals M^! in the case of Coulomb branches and prove that M^! has symplectic singularities.