通过派生范畴的分层实现对称理想的分辨率

我们提出一种方法，通过对相关派生范畴进行分层来统一多项式环中对称理想的各种稳定性结果。我们针对特征为正的无限域 $k$ 上 $GL_n$-等位模块的链，执行此想法。我们证明了 Le--Nagel--Nguyen--R"omer 猜想对于此类序列成立，并作为我们主结果（即 $GL_{\infty}$-等位模块关于 $S = k[x_1, x_2, \ldots, x_n, \ldots]$ 的有界派生范畴的半正交分解）得到的推论，获得其分辨率中的稳定模式。本方法依赖于某些局部余弦模块的有限生成性。我们还概述了两种方法：(i) 考虑将 Frobenius 同态（$GL_{\infty}$）纳入 $S$-模块的 Koszul 对偶；(ii) 恢复并扩展 Murai 关于对称单项式理想自由分辨率的结果。