Socle-filtration conjecture for highest derivatives

Let π\pi be an irreducible representation of GLn\mathrm{GL}_n of depth dd. Regard its highest derivative π−\pi^- as a representation of Mn−d+1M_{n-d+1}, and let

0=F0π−⊂F1π−⊂⋯⊂Fpπ−=π−0=F_0\pi^-\subset F_1\pi^-\subset\cdots\subset F_p\pi^- =\pi^-

be its increasing socle filtration, while

π−=G0π−⊃G1π−⊃⋯⊃Gqπ−=0\pi^-=G^0\pi^-\supset G^1\pi^-\supset\cdots\supset G^q\pi^-=0

be its decreasing co-socle filtration. Socle-filtration conjecture. The following hold: (1) p=qp=q and Fkπ−=Gp−kπ−F_k\pi^-=G^{p-k}\pi^- for every integer kk; (2) the filtration lengths are symmetric, namely

length⁡(Fkπ−/Fk−1π−)=length⁡(Fp−k+1π−/Fp−kπ−);\operatorname{length}(F_k\pi^-/F_{k-1}\pi^-)=\operatorname{length}(F_{p-k+1}\pi^-/F_{p-k}\pi^-);

(3) π−\pi^- has a unique irreducible quotient, and hence a unique irreducible submodule, equivalently length⁡(F1π−)=1\operatorname{length}(F_1\pi^-)=1. The conjecture concerns the structure of highest derivatives and is supported in the paper by computations; its general validity remains open.

References

Primary source

Kaidi Wu and Jun Yu, “Canonical Bernstein-Zelevinsky Filtration and Casselman's Comparison Conjecture”, arXiv:2606.12288 (2026).

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.