[论文解读] Noetherian property of infinite EI categories

Wee Liang Gan, Liping Li|arXiv (Cornell University)|Jul 30, 2014

Commutative Algebra and Its Applications参考文献 11被引用 33

一句话总结

本文在满足特定组合条件的无限EI范畴上建立了有限生成模的诺特性，推广了特征为0的域上FI-模的经典结果。作者通过生成集大小的归纳法与滤子论证，证明了此类模是诺特的，将结果扩展至FI、FI_BC、FI_D和VI等范畴，且不依赖于对称群表示理论。

ABSTRACT

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

研究动机与目标

• 将特征为0的域上有限生成FI-模的诺特性推广至更广泛的无限EI范畴。
• 识别确保有限生成模具有诺特性的无限EI范畴的组合条件。
• 提供一种不依赖于对称群表示理论的证明框架，适用于FI、FI_BC、FI_D和VI等范畴。
• 将Church、Ellenberg与Farb的奠基性结果推广至结构假设最少的抽象EI范畴。

提出的方法

• 将类型为A_∞的无限EI范畴定义为对象由非负整数索引，且具有不可约态射的线性quiver结构的范畴。
• 引入强局部有限EI范畴的概念，确保任意两个对象之间存在有限链。
• 对模的生成集使用滤子论证，通过投影映射将其分解，从而将问题约化为更小的生成集。
• 对生成集大小进行归纳，证明自由模在单个生成元上的子模是有限生成的。
• 利用quiver的结构与传递性条件，控制子模的增长，确保有限生成性。
• 证明在该类范畴上，任意有限生成模的子模本身也是有限生成的，从而确立诺特性。

实验结果

研究问题

• RQ1 在何种一般条件下，无限EI范畴上的有限生成模是诺特的？
• RQ2 FI-模的诺特性是否可超越对称群表示理论，推广至其他无限EI范畴？
• RQ3 如何在不依赖对称群表示理论的前提下，推广诺特性证明？
• RQ4 在态射quiver中何种组合结构可确保无限EI范畴中子模的有限生成性？
• RQ5 该结果在多大程度上可推广至任意诺特环，而不仅限于域？

主要发现

• 主要结果（定理3.7）表明，满足强局部有限条件的类型为A_∞的无限EI范畴上，任意有限生成模均为诺特模。
• 该证明依赖于对生成集大小的归纳法，以及通过投影映射对模进行分解，从而约化至单个生成元的情形。
• 诺特性在FI、FI_BC、FI_D和VI范畴上均成立，即使后者不满足早期证明中所用的关键命题。
• 作者证明，在诺特模中，扭 submodule（过渡映射的核）在大指标下必须为零，意味着过渡映射最终是单射的。
• 当且仅当对所有充分大的j，映射ρ_j(V)的像等于V_{j+1}时，模为有限生成，从而提供了有限生成的判别准则。
• 该结果不依赖于对称群表示理论，适用于具有任意自同构群的范畴，而不仅限于对称群。