[论文解读] Modules of constant Jordan type

Jon Carlson, Eric M. Friedlander+1 more|ArXiv.org|Jul 25, 2007

Rings, Modules, and Algebras参考文献 2被引用 14

一句话总结

本文引入并研究了在正特征域上有限群概形的常若尔丹型模，证明其在张量积、对偶、 Heller 伸张及直和项下封闭。关键贡献在于证明此类模包含内同态模，且完全由非极大支撑簇的消失性决定，与 Auslander-Reiten 理论及可实现若尔丹型的上同调约束存在深刻联系。

ABSTRACT

We introduce the class of modules of constant Jordan type for a finite group scheme $G$ over a field $k$ of characteristic $p > 0$. This class is closed under taking direct sums, tensor products, duals, Heller shifts and direct summands, and includes endotrivial modules. It contains all modules in an Auslander-Reiten component which has at least one module in the class. Highly non-trivial examples are constructed using cohomological techniques. We offer conjectures suggesting that there are strong conditions on a partition to be the Jordan type associated to a module of constant Jordan type.

研究动机与目标

• 为正特征 $p>0$ 上的有限群概形 $kG$-模定义并系统研究常若尔丹型模类。
• 建立该类模在张量积、对偶、 Heller 伸张、直和及直和项下的封闭性质。
• 探讨常若尔丹型与上同调不变量之间的关系，特别是非极大支撑簇 $\Gamma(G)_M$。
• 利用上同调技巧与 $k[t]/t^p$-模的张量积分解构造非平凡例子。
• 提出并研究关于此类模可实现若尔丹型之组合约束的猜想。

提出的方法

• 定义 $kG$-模 $M$ 为常若尔丹型，若其在任意 $\pi$-点 $\alpha_K: K[t]/t^p \to KG$ 上的限制具有相同的若尔丹型，且与域扩张 $K/k$ 无关。
• 引入模 $M$ 的 $\pi$-点极大性概念，证明 $M$ 具有常若尔丹型当且仅当非极大支撑簇 $\Gamma(G)_M$ 为空。
• 应用 $\pi$-点理论与上同调检测技术，分析常若尔丹型模的张量积与扩张。
• 利用 $sl_2$-表示理论，特别是以不可约模表示的 $[i] \otimes [j]$ 公式，实现 $k[t]/t^p$-模张量积的分解。
• 通过 Heller 伸张与 Auslander-Reiten 理论构造例子，证明若某一 AR 分量中的模具有常若尔丹型，则该分量中所有模均具有常若尔丹型。
• 利用 $kC_p$-模与带余乘法 $t \mapsto 1 \otimes t + t \otimes 1$ 的 $k[t]/t^p$-模之间的等价性，实现张量积公式的转移。

实验结果

研究问题

• RQ1 哪些分拆（若尔丹型）可实现为常若尔丹型模的若尔丹型？
• RQ2 不可约 $kG$-模中常若尔丹型的稳定若尔丹型集合 $\mathcal{I}(G)$ 是否对加法封闭？
• RQ3 从有限群概形 $G$ 到子群 $H$ 的限制是否诱导 $kG$-与 $kH$-模常若尔丹型可实现型集合之间的双射？
• RQ4 常若尔丹型模类在扩张下如何表现？其是否严格大于由 Heller 伸张与张量积生成的类？
• RQ5 群 $G$ 的哪些上同调条件可保证存在非投射的不可约常若尔丹型模？

主要发现

• $kG$-模 $M$ 具有常若尔丹型当且仅当其非极大支撑簇 $\Gamma(G)_M$ 为空，提供了上同调刻画。
• 常若尔丹型模类在直和、直和项、Heller 伸张、对偶与张量积下封闭，此结论通过 $\pi$-点极大性建立。
• 内同态模恰好是具有特定最小若尔丹型的常若尔丹型模，将此新类与模表示论中熟知的类联系起来。
• 即使在如 $\mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z}$ 这类野生群概形上，也存在非平凡的常若尔丹型模，其通过上同调方法与张量积分解构造而成。
• 第二种构造方法（定理 6.13）产生无法由第一种方法实现的模，表明该类模的精细结构与丰富性远超简单生成元。
• 对 $G = \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$，$\mathcal{I}(G)$ 不对加法封闭，因为仅 trivial 模的 Heller 伸张是非投射不可约常若尔丹型模。