[论文解读] Categories of modules given by varieties of p-nilpotent operators

Rolf Farnsteiner|arXiv (Cornell University)|Oct 12, 2011

Algebraic structures and combinatorial models参考文献 37被引用 3

一句话总结

本文研究正特征 p 下有限群概形上模的范畴，重点关注等像模（EIP）、常约旦型模（CJT）和常 j-秩模（CRj）。研究发现，对于半单群的弗罗贝尼乌斯核，EIP 模是半单的，且可分解为一维模的直和；而对于阿贝尔幂零群如 Z/p × Z/p，EIP 模在 Auslander-Reiten 分量中是有限多个且为拟单模，其结构对群概形类型极为敏感。

ABSTRACT

For a finite group scheme G over an algebraically closed field k of characteristic p>0 we study G-modules M, which are defined in terms of properties of their pull-backs along p-points of G. We show that the corresponding subcategories strongly depend on the structure of G. The second part of the paper discusses recent work by Carlson-Friedlander-Suslin concerning the subcategory of equal images modules from the vantage point of Auslander-Reiten theory.

研究动机与目标

• 分析有限群概形在正特征域上等像模（EIP）、常约旦型模（CJT）和常 j-秩模（CRj）的结构。
• 研究这些模范畴如何依赖于底层群概形的结构，特别是弗罗贝尼乌斯核和阿贝尔幂零群。
• 利用 AR 理论研究 EIP 模与 Auslander-Reiten 分量的交集，特别关注克罗内克 quiver 和稳定 AR quiver 的情形。
• 确定具有幂零子群复杂度 ≥2 的群概形的正则 AR 分量中，EIP 模的有限性与拟单性条件。
• 阐明约旦型与 Heller 移位在 AR 分量中对 EIP 模分类的作用，特别是针对 Z/p × Z/p 和半单群弗罗贝尼乌斯核的情形。

提出的方法

• 使用 π-点与拉回构造，通过幂零算子定义模范畴，将表示论与支撑集簇联系起来。
• 应用 Auslander-Reiten 理论分析群代数 kG 的稳定 AR 图 Γs(G)，重点关注树型为 A∞ 的分量。
• 采用 Auslander-Reiten 转移与 Heller 移位（Ω²）研究 AR 分量中模的滤子与不可约态射。
• 分析约旦型分解 Jt(M) = ⊕ ai[i]（1 ≤ i ≤ p），其中 [i] 表示 k[T]/(T^p)-模的 i 维不可约分模。
• 利用近乎分裂序列与伴随作用下的模扭变，证明 EIP 与 CJT 类在 AR 运算下封闭。
• 应用 Carlson-Friedlander-Suslin 与 Friedlander-Pevtsova 关于支撑集簇与 p-幂零算子的结果，刻画模范畴。

实验结果

研究问题

• RQ1 在正特征下，EIP(G)、CJT(G) 与 CRj(G) 的范畴如何依赖于有限群概形 G 的结构？
• RQ2 对于半单群的 r 阶弗罗贝尼乌斯核 Gr，EIP 模是否为半单的，且是否可分解为一维模的直和？
• RQ3 在 Z/p × Z/p 的正则 Auslander-Reiten 分量中，EIP(G) 的交集是否有限，且所有此类模是否均为拟单模？
• RQ4 在何种条件下 AR 分量包含无穷多个 EIP 模，且适用何种约旦型约束？
• RQ5 Heller 移位与伴随作用下的扭变如何影响 CJT 与 EIP 类中模的结构？

主要发现

• 对于连通半单群 G 的 r 阶弗罗贝尼乌斯核 Gr，每个 EIP(Gr) 模均为一维模的直和，意味着其为半单模。
• 对于 G1（第一阶弗罗贝尼乌斯核），当所有 j ∈ {1,…,p−1} 时，有 CRj(G1) = CJT(G1)，且每个 CJT(G1) 模均同构于其在 G 的伴随作用下的扭变。
• 在 p ≥ 3 的 Z/p × Z/p 的正则 AR 分量中，若其约旦型为 ∑_{i=1}^{p−1} ai[i] 或 ∑_{i=1}^{p−2} ai[i]，则 EIP 模为有限多个且均为拟单模。
• 若 AR 分量 Θ 包含一个约旦型为 ∑_{i=1}^{p−1} ai[i] 的 EIP 模 M，则 Θ ∩ EIP(G) 为有限集，且仅由拟单模构成。
• 对于群 G = Z/p × Z/p，EIP(G) ∩ Θ 为无限集当且仅当模 W_{n,p} 是 p-Koszul 模，如附注所示。
• 当 n = 2p−1 时，AR 分量 Θ_{2p−1,p} 在 EIP(G) 中包含无限族 {(r)W_{p−1,p−1} | r ≥ 1}，且在此族之外不再存在其他 EIP 模。