[论文解读] Tensor Abelian Geometry of VI-modules

Peng Xu|arXiv (Cornell University)|Jan 20, 2026

Rings, Modules, and Algebras被引用 0

一句话总结

素Serre理想的谱在有限生成的VI模（全局表示）中与N的一点紧化同胚，给出对noetherian、N-stable U 的Spc(A(U)^c)的具体描述。

ABSTRACT

In this short note, we study the spectrum of prime Serre ideals of global representations for noetherian families. In particular, we prove that the spectrum of prime Serre ideals of finitely generated VI-modules is homeomorphic to N^{*}, the one-point compactification of N, which differs from the Balmer spectrum of derived VI-modules. Our method could also be applied to the category of finitely generated FI-modules and the category of global representations for the family of cyclic p-groups.

研究动机与目标

• 将张量仿射几何作为有限生成VI模及相关全局表示的张量三角形几何的阿贝尔类比进行动机阐释。
• 识别一个支撑数据（通过群表示的支撑）来描述A(U)^c中的对象如何组装，并利用它描述素Serre理想。
• 确立何时素Serre理想是群素，并在N-稳定的noetherian情形下找到一个新的非群素素（非群素）。
• 证明当类别如初等阿贝烈群p-群与循环p-群时，谱Spc(A(U)^c)同胚于N^*，即N的一个点紧化。

提出的方法

• 将A(U)定义为从U取反变函子到k向量空间的Grothendieck范畴，并研究其有限生成子范畴A(U)^c。
• 引入由X(G)=0给出的群素P_G的概念，并用支撑supp(X)将Serre_⊗⟨X⟩与支撑联系起来。
• 发展基于Serre_⊗^+⟨X⟩与Serre_⊗^{+}⟨X⟩的细化来捕捉稳定化现象并对素Serre理想进行分类。
• 证明对于noetherian、N-稳定的U（如VI模、FI模），Spc(A(U)^c) ≅ π0(U)，且对相关族群体显式地同胚于N^*。
• 利用与子范畴相关的局部化与准则函数i_!, i^*, i_*的精确性，将谱信息在包含关系下传递。
• 示范乘法性对该阿贝兰范畴中的谱无影响，与衍生类别中的Balmer谱形成对比。

实验结果

研究问题

• RQ1 在noetherian、U为N-稳定时，Spc(A(U)^c)的谱拓扑结构是什么？
• RQ2 当U本质上是有限或N-稳定时，A(U)^c中的所有素Serre理想是否都是群素？
• RQ3 支撑数据（π0(U), supp）如何通过一个分类支撑数据来控制A(U)^c中radical Serre ⊗-理想的格局？
• RQ4 Spc(A(U)^c)是否依赖于U的乘法性，还是仅由群理论支撑决定？
• RQ5 沿着Serre理想的局部化如何影响Spc(A(U)^c)及其分类？

主要发现

• 当U是noetherian且N-稳定时，A(U)^c中的素Serre理想谱与N^*同胚。
• 对于U = 初等阿贝烈群p-群或循环p-群，Spc(A(U)^c)恰好是N^*，给出一个具体、明确的谱。
• 在U本质上有限时，所有素Serre理想均为群素；在N-稳定的noetherian情形出现新的非群素P_∞。
• 支撑数据（π0(U), supp）通过一个分类支撑数据对radical Serre ⊗-理想进行分类，从而对Spc(A(U)^c)给出具体描述。
• 谱的形状与U是否具有乘法性无关，体现张量阿贝兰几何与衍生设定中的Balmer谱之分。
• 该框架自然推广至有限生成的FI模，显示张量阿贝兰几何在全球表示中的广泛适用性。