Resolutions of symmetric ideals via stratifications of derived categories

Abstract

We propose a method to unify various stability results about symmetric ideals in polynomial rings by stratifying related derived categories. We execute this idea for chains of $G{L}_n$-equivariant modules over an infinite field $k$ of positive characteristic. We prove the Le--Nagel--Nguyen--Römer conjectures for such sequences and obtain stability patterns in their resolutions as corollaries of our main result, which is a semiorthogonal decomposition for the bounded derived category of $G{L}_{\infty }$-equivariant modules over $S=k[x_1,x_2,\dots ,x_n,\dots ]$. Our method relies on finite generation results for certain local cohomology modules. We also outline approaches (i) to investigate Koszul duality for $S$-modules taking the Frobenius homomorphism (of $G{L}_{\infty }$) into account, and (ii) to recover and extend Murai's results about free resolutions of symmetric monomial ideals.

15 pages; 2 figures. Comments welcome!