Weyl-group module isomorphism for dual hyperspherical varieties

Let GG be a complex reductive group with Lie algebra \fg\fg, let \fg\fg^\vee be the Langlands-dual Lie algebra, and let Z\fg=T\CB×\CN\fgT\CBZ_\fg=T^*\CB\times_{\CN_\fg}T^*\CB be the Steinberg variety. Its top graded Borel–Moore homology H(Z\fg)H(Z_\fg) is identified with the group algebra \BC[W\fg]\BC[W_\fg] and canonically identified with H(Z\fg)H(Z_{\fg^\vee}). For a hyperspherical GG-variety \scrX\scrX and its dual \scrX\scrX^\vee, let Λ~\scrX\widetilde{\Lambda}_\scrX and Λ~\scrX\widetilde{\Lambda}_{\scrX^\vee} be the corresponding zero moment levels, and let their top graded Borel–Moore homologies carry the convolution action. Weyl-group module conjecture. The H(Z\fg)H(Z\fg)H(Z_\fg)\cong H(Z_{\fg^\vee})-modules

H(Λ~\scrX)andH(Λ~\scrX)H(\widetilde{\Lambda}_\scrX)\quad\text{and}\quad H(\widetilde{\Lambda}_{\scrX^\vee})

are isomorphic. This is proposed as a representation-theoretic refinement of the expected correspondence between irreducible components; no general proof or disproof is given in the source.

Sources & referencesView supporting material

Primary source

Michael Finkelberg, Victor Ginzburg and Roman Travkin, “Lagrangian subvarieties of hyperspherical varieties”, arXiv:2310.19770 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.