Thanks for handling this! I also agree with @MartinSleziak that it might be better not to delete past discussion. Maybe editing a # Resolved on top of them would serve the same purpose.
I suggest deleting the tag "decomposition-theorem".
I would guess that the tag was intended to be about the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber. It seems unnecessary to have a whole tag just dedicated to this theorem ("perverse-sheaves" should suffice). What's worse, mos...
Let f:X→Y be a semismall resolution of singularities. Then the pushforward of the constant sheaf on X is a semisimple perverse sheaf on Y. Under these conditions, I know how to calculate the direct summands of the pushforward f*ℚX[dim X].
My question is as follows: What more general statements a...
Maybe it would be reasonable to ping him and let him know that the tag he created is being discussed on meta? (It seems that he does not visit meta too much - according to his meta.MO profile he was last seen in August 2017.)
I guess the tags mentioned in the recent Dan Petersen's post - namely decomposition-theorem and perverse-sheaves - are close to interests of users of this room. The proposal is to remove (decomposition-theorem), since (perverse-sheaves) seems to be sufficient.
I suggest deleting the tag "decomposition-theorem".
I would guess that the tag was intended to be about the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber. It seems unnecessary to have a whole tag just dedicated to this theorem ("perverse-sheaves" should suffice). What's worse, mos...
