A non-perverse Soergel bimodule in type \(A\) (Q2401338): Difference between revisions

In characteristic zero, \textit{B. Elias} and the second author [Ann. Math. (2) 180, No. 3, 1089--1136 (2014; Zbl 1326.20005)] showed that all degree-zero endomorphisms of indecomposable Soergel bimodules are isomorphisms. In characteristic \(p\), this is known to no longer be true. The article under review proves that in characteristic 2 there is an indecomposable Soergel bimodule (for \(S_{15}\)) that has a non-zero endomorphism of negative degree, or equivalently that there is an indecomposable parity sheaf on the flag variety \(GL_{15}/B\) that is not perverse. This also proves that the `degree bound' for Kazhdan-Lusztig polynomials can in general fail `by more than one' for \(p\)-Kazhdan-Lusztig polynomials.