[论文解读] Jordan Types for Indecomposable Modules of Finite Group Schemes

Rolf Farnsteiner|ArXiv.org|Oct 16, 2009

Algebraic structures and combinatorial models参考文献 27被引用 5

一句话总结

本文利用π点导出的Jordan型，为有限群概形的稳定Auslander-Reiten余形建立了新的不变量。结果表明，Jordan型能够区分支持簇无法区分的AR-分量，并完全刻画了$U_0(\frak{sl}(2))$的不可约模的Jordan型，包括对endo-平凡模的分类，以及通过π点分析对标准模和Weyl模的Jordan型进行显式计算。

ABSTRACT

In this article we study the interplay between algebro-geometric notions related to $π$-points and structural features of the stable Auslander-Reiten quiver of a finite group scheme. We show that $π$-points give rise to a number of new invariants of the AR-quiver on one hand, and exploit combinatorial properties of AR-components to obtain information on $π$-points on the other. Special attention is given to components containing Carlson modules, constantly supported modules, and endo-trivial modules.

研究动机与目标

• 利用从π点导出的Jordan型，发展稳定Auslander-Reiten余形的新不变量。
• 理解Jordan型如何检测支持簇无法识别的AR-分量之间的结构性差异。
• 刻画受限包络代数$U_0(\frak{sl}(2))$的不可约模的Jordan型。
• 利用π点技术，对有限群概形背景下的endo-平凡模进行分类。
• 通过研究Carlson模和恒定支持模，扩展常Jordan型模的理论。

提出的方法

• 利用π点在稳定表示余形上定义加法函数与次加法函数，特别关注局部分裂的AR-分量。
• 通过π点拉回近似分裂序列，推导出如优势序和非极大支持簇等不变量。
• 利用Cartan矩阵$A_{p-1}$及π点诱导的模，分析非局部分裂的无限管。
• 利用引理8.2.1和[35, (2.2)]，通过限制到$p$-幂零子代数来计算Jordan型。
• 分析与$\bbZ[A_\ty{infty}^\infty]$同构的分量$\theta_S$和$\theta_{(\theta)}$的结构，利用其平移余形性质。
• 应用推论3.1.2和定理7.2(2)，推导出各分量中Jordan型数量的统一性。

实验结果

研究问题

• RQ1 能否利用从π点导出的Jordan型，区分具有相同支持簇的Auslander-Reiten分量？
• RQ2 受限包络代数$U_0(\frak{sl}(2))$的不可约模的Jordan型结构如何？
• RQ3 π点如何决定非局部分裂AR-分量中模的Jordan型？
• RQ4 标准模和Weyl模在$U_0(\frak{sl}(2))$中的Jordan型集合是什么？
• RQ5 $U_0(\frak{sl}(2))$的AR-余形中哪些模是endo-平凡的？它们如何通过π点刻画？

主要发现

• 标准模$S$的Jordan型数量为$n$，且分量$\theta_S$中的每个模恰好有$n$个Jordan型。
• 对于Weyl模$Z(\theta)$，其Jordan型集合被显式确定为依赖于$p$、$a$、$j$、$r$和$r'$的特定分拆的并集，且所有类型均出现。
• 不可约周期模$M = k\bbG_{a(2)} \tens_{k[\bbG_{a(1)}]} k$至少具有三个不同的Jordan型：$p[1]$、$p[1]$和$[\frac{p-1}{2}] \bigoplus [\frac{p+1}{2}]$，表明其非恒定支持。
• 分量$\theta_S$同构于$\bbZ[A_\ty{infty}^\infty]$，且由于推论3.1.2，其中所有模的Jordan型数量与$S$相同，即$n$。
• 平凡模$k$及其Heller移位$\tOmega_{\frak{sl}(2)_s}(k)$是endo-平凡的，且包含它们的分量具有如定理7.2(2)所述的统一Jordan型行为。
• 当$p$为奇数时，与$\tH^{2n}(\frak{sl}(2)_s, k)$中非幂零元素$\theta \neq 0$相关的模$L_\theta$是不可约的且具有常Jordan型，其Jordan型集合大小为$n$。