Vanishing Ext conjecture for anti-spherical discrete series

Let H\mathbb H be the graded Hecke algebra, let Δ\Delta be its set of simple roots, and for IΔI\subset\Delta let H~I\widetilde{\mathbb H}_I be the corresponding graded Hecke algebra. Let XX' be an anti-spherical discrete series of H\mathbb H, and let YY' be an anti-spherical discrete series of H~I\widetilde{\mathbb H}_I. Vanishing Ext conjecture. For every i1i\geq 1,

ExtH~Ii(XH~I,Y)=0.\operatorname{Ext}^i_{\widetilde{\mathbb H}_I}(X'|_{\widetilde{\mathbb H}_I},Y')=0.

This conjecture proposes that the Ext-branching vanishing remains valid after dropping the regularity condition, provided both discrete series are anti-spherical. The preceding discussion shows that vanishing can fail when the anti-spherical condition is dropped; the status of the stated generalization is not resolved in the source.

Sources & referencesView supporting material

Primary source

Kei Yuen Chan and Simeng Huang, “Discrete series for the graded Hecke algebra of type H_4”, arXiv:2504.21790 (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.