[论文解读] FI$^m$-modules over Noetherian rings

Liping Li, Nina Yu|arXiv (Cornell University)|May 2, 2017

Commutative Algebra and Its Applications参考文献 21被引用 5

一句话总结

本文在诺特环上建立了 FI^m-模的基础表示性质与同调性质，推广了 FI-模的结果。证明了在特征为 0 的域上，有限生成的 FI^m-模表现出表示稳定性，通过分次范畴结构与诺特基底上的相对投射性，将表示稳定性理论推广至多分类配置类范畴。

ABSTRACT

In this paper we study representation theory of the category FI$^m$ introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be generalized to FI$^m$ in a natural way. In particular, we prove the representation stability property of finitely generated FI$^m$-modules over fields of characteristic 0.

研究动机与目标

• 将 FI-模的表示理论扩展至诺特环上的 FI^m，即 FI 的 m 重积。
• 证明 FI^m 在任意交换诺特环上是局部诺特的。
• 将 FI 中的同调性质（如相对投射性与过滤分解）推广至 FI^m。
• 证明在特征为 0 的域上，有限生成的 FI^m-模表现出表示稳定性。
• 为未来在 FI^m 设置下发展局部上同调、正则性界与余诱导函子奠定基础。

提出的方法

• 作者将 FI^m 定义为 m 个 FI 的积范畴，其对象为有限集的 m 元组，态射为单射映射的 m 元组。
• 通过对象的总次数引入 FI^m 的分次结构，从而定义逐次有限生成的模。
• 利用自嵌入函子 ι_i 与移位函子 Σ_i，将导出函子 D 定义为自然映射 V^⊕m → ΣV 的余核。
• 通过分次偏序集结构与有界生成性，证明 FI^m 是局部诺特的，即有限生成模的子模仍为有限生成。
• 通过涉及多项式系数的组合公式分析 V_n 的维数增长，建立有限生成 FI^m-模的多项式增长性。
• 通过相对投射模构造模 V 的分解复形 F^•，并证明该复形的同调群计算局部上同调，并与正则性相关。

实验结果

研究问题

• RQ1 FI-模的表示稳定性性质能否推广至特征为 0 的域上的 FI^m-模？
• RQ2 有限生成 FI^m-模的正则性是否存在以同调不变量表示的有限上界？
• RQ3 FI^m-模的余诱导函子是否具有 FI 情况下类似的良好性质，特别是在特征 0 下？
• RQ4 能否为 FI^m-模建立局部上同调理论，其消去条件可刻画相对投射性？
• RQ5 分解复形 F^• 的同调群是否与 V 的局部上同调群一致，如同 FI 情况一般？

主要发现

• FI^m 在任意交换诺特环上是局部诺特的，确保有限生成模的子模仍为有限生成。
• 在特征为 0 的域上，有限生成的 FI^m-模表现出表示稳定性，推广了 FI-模的结果。
• V_n 的维数关于度数 n_i 呈多项式增长，增长速率受 ∏_{i=1}^m (n_i choose l_i) × dim_k V_l 限制，其中 l ≤ n。
• 分解复形 F^• 的同调群与 V 的局部上同调群一致，支持了猜想的局部上同调理论。
• 导出函子 D 捕获了 V 不具备相对投射性的程度，且对所有 FI^m-模，精确序列 0 → KV → V^⊕m → ΣV → DV → 0 成立。
• 有限生成 FI^m-模在诺特环上的正则性是有限的，尽管目前尚未建立以同调不变量表示的显式上界。