I have a few confusions on Dustin's paper (which I return now and then since it is such a fun read : P) : https://arxiv.org/pdf/1803.10897.pdf
a. Prop. 2.19: I don't see why the thick subcategory argument work here.
b. Prop. 4.19, pg 31, liine 6, hte equaation (20) , i see we have a split exact sequence. for GL_n(-). How did we get orbit equation (20)?
c. Why does Lemma 4.23 follow from Lemma 4.24 ?

Suggestions/comments on any of above question would be helpful
--- My thoughts on a ---
I believe this is the same as the folowiing question: \tau_{\le n} (S^0/p )^triv lies in the thiick subc…