[论文解读] Two homological proofs of the Noetherianity of $FI_G$

Liping Li|arXiv (Cornell University)|Mar 15, 2016

Algebraic structures and combinatorial models参考文献 11被引用 5

一句话总结

本文提出了两个新颖的同调证明，用于证明类别 $FI_G$ 的诺特性，确立了在交换诺特环上有限生成的 $FI_G$-模是诺特的。证明依赖于生成次数、挠次数和同调次数等同调不变量，利用移位与导出函子的性质，并将关于滤子模和局部上同调的结果推广至任意交换环上以有限次数呈现的模。

ABSTRACT

We give two homological proofs of the Noetherianity of the category $FI$, a fundamental result discovered by Church, Ellenberg, Farb, and Nagpal.

研究动机与目标

• 为 $FI_G$ 的诺特性提供两个新的同调证明，这是表示稳定性理论中的基础性结果。
• 将关于交换诺特环上有限生成 $FI_G$-模的结果，推广至在任意交换环上满足较弱有限表示条件的模。
• 确立 $FI_G$-模以有限次数呈现当且仅当其生成次数与挠次数均为有限。
• 利用导出函子的同调性质，证明 $\Sigma_N V$ 在足够大的 $N$ 时成为滤子模。
• 研究以有限次数呈现的 $FI_G$-模的局部上同调群 $H^i_{\mathfrak{m}}(V)$，推导其挠次数与 Castelnuovo-Mumford 正则性的界。

提出的方法

• 通过 $\operatorname{Hom}_{{\underline{\mathscr{C}}}}(kG_n, V)$ 和 $\operatorname{Tor}^{{\underline{\mathscr{C}}}}_s({\underline{\mathscr{C}}}/\mathfrak{m}, V)$ 分别定义 $FI_G$-模 $V$ 的生成次数 $\operatorname{gd}(V)$ 和挠次数 $\operatorname{td}(V)$。
• 利用导出函子 $D$ 和移位函子 $\Sigma$，建立 $V$ 与 $DV$ 的同调不变量之间的关系，证明当 $DV \neq 0$ 时有 $\operatorname{gd}(DV) = \operatorname{gd}(V) - 1$。
• 应用短正合列 $0 \to V_T \to V \to V_F \to 0$ 分离模的挠部分与无挠部分，利用 $\operatorname{td}(V) = \operatorname{td}(V_T)$ 的性质。
• 通过在生成次数上进行归纳，并利用关键命题：若 $DV$ 是滤子模且 $V$ 无挠，则 $V$ 是滤子模，证明当 $N$ 足够大时 $\Sigma_N V$ 是滤子模。
• 构造一个有限复形 $\mathcal{C}^\bullet V$，其各项为滤子模，使得 $H^i(\mathcal{C}^\bullet V) \cong H^{i+1}_{\mathfrak{m}}(V)$，并给出上同调群挠次数的界。
• 利用 $\operatorname{reg}(V) \leq \max\{\operatorname{td}(H^i_{\mathfrak{m}}(V)) + i\} \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$ 推导出 Castelnuovo-Mumford 正则性的界。

实验结果

研究问题

• RQ1 能否使用同调不变量而非格罗布纳理论或表示论方法来证明 $FI_G$ 的诺特性？
• RQ2 何种条件下 $FI_G$-模 $V$ 以有限次数呈现？其生成次数与挠次数如何与这一性质相关？
• RQ3 在何种条件下 $\Sigma_N V$ 成为滤子模？其界能否用同调不变量表示？
• RQ4 对于以有限次数呈现的 $FI_G$-模，其局部上同调群 $H^i_{\mathfrak{m}}(V)$ 如何表现？其挠次数的界是什么？
• RQ5 Castelnuovo-Mumford 正则性 $\operatorname{reg}(V)$ 与同调不变量如 $\operatorname{gd}(V)$ 和 $\operatorname{td}(V)$ 之间有何关系？

主要发现

• 当且仅当 $\operatorname{gd}(V)$ 与 $\operatorname{td}(V)$ 均为有限时，$FI_G$-模 $V$ 以有限次数呈现。
• 对任意以有限次数呈现的 $FI_G$-模 $V$，当 $N \geq \max\{\operatorname{td}(H^i_{\mathfrak{m}}(V)) \mid i \geq 0\} + 1$ 时，$\Sigma_N V$ 是滤子模。
• 局部上同调群满足 $\operatorname{td}(H^i_{\mathfrak{m}}(V)) \leq 2\operatorname{gd}(V) - 2i - 2$（对 $0 \leq i \leq n$），且 $H^{-1}_{\mathfrak{m}}(V) \cong H^0(\mathcal{C}^\bullet V)$，$\operatorname{td}(H^{-1}_{\mathfrak{m}}(V)) = \operatorname{td}(V)$。
• Castelnuovo-Mumford 正则性满足 $\operatorname{reg}(V) \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$，为稳定性次数提供了同调界。
• 第二个关于交换诺特环上 $FI_G$ 诺特性的证明，依赖于证明任意投射模 $P = \underline{\mathscr{C}}e_n$ 的子模 $V$ 满足 $\operatorname{gd}(V) < \infty$，利用 $W = P/V$ 满足 $\operatorname{gd}(W) < \infty$ 且 $\operatorname{td}(W) < \infty$。
• 通过研究以有限次数呈现的模而非要求有限生成，这些结果可推广至任意交换环，而不仅限于诺特环。