[论文解读] Noetherianity and rooted trees

Daniel Barter|arXiv (Cornell University)|Sep 14, 2015

Commutative Algebra and Its Applications参考文献 2被引用 6

一句话总结

本文通过使用相对版本的Kruskal树定理以及Sam和Snowden的广义Gröbner理论技术，证明了在保持根顺序的根嵌入下，根树范畴的有限生成表示是诺特性的。关键贡献在于证明了该范畴的诺特性，将表示理论扩展至包含无限对象的组合范畴。

ABSTRACT

Let T be the category whose objects are rooted trees and morphisms are order embeddings preserving the root. We prove that finitely generated representations of T are Noetherian using techniques developed by Sam and Snowden which generalize classical Grobner theory. The proof uses a relative version of Kruskals tree Theorem.

研究动机与目标

• 建立根树范畴中有限生成表示的诺特性。
• 将Sam和Snowden的广义Gröbner理论扩展至根树等组合范畴。
• 开发适用于在此背景下证明诺特性的Kruskal树定理的相对版本。
• 为无限组合范畴中的表示理论提供一个基础性结果。

提出的方法

• 定义范畴T，以根树为对象，以保持根的序嵌入为态射。
• 将Sam和Snowden在张量范畴中诺特性的框架适配至根树的设定。
• 引入Kruskal树定理的相对版本，以控制子表示的增长。
• 利用树的良拟序性质，限制子表示链的上升。
• 应用相对Kruskal定理，证明每个子表示都是有限生成的。
• 利用根树的组合结构，确保在范畴作用下有限生成。

实验结果

研究问题

• RQ1 在保持根的嵌入下，根树范畴是否适用于表示理论中的诺特性结果？
• RQ2 Kruskal树定理的相对版本是否可用于控制此类范畴中子表示的增长？
• RQ3 广义Gröbner理论是否适用于包含无限对象的组合范畴（如根树）？
• RQ4 能否证明该范畴中有限生成表示满足子表示的升链条件？
• RQ5 根树的何种结构特性使其表示理论具有诺特性？

主要发现

• 根树范畴的有限生成表示是诺特性的。
• 该证明依赖于为范畴T量身定制的Kruskal树定理的相对形式。
• 范畴T在嵌入关系下具有良拟序，从而能够控制子表示链。
• Sam和Snowden的广义Gröbner理论技术可应用于此组合设定。
• 有限生成T-模的子表示满足升链条件。
• 该结果为表示理论中一类新的组合范畴确立了基础性的诺特性。