[论文解读] Representations of the quantum torus and applications to finitely presented groups

C. J. B. Brookes, J. R. J. Groves|arXiv (Cornell University)|Nov 15, 2007

Algebraic structures and combinatorial models参考文献 12被引用 4

一句话总结

该论文建立了量子环面上的强正则模的结构分解，表明它们源自具有无限循环2-上循环图像的交叉积上的正则模的张量积。该结果应用于有限表示的阿贝尔-幂零群，证明了子直接不可约此类群的Fitting商群在有限指数意义下同构于海森堡群与循环群的中心积，将Robinson–Strebel的例子推广至更高秩。

ABSTRACT

A structure theorem is proved for strongly holonomic modules over a quantum torus (a crossed product of a field with a free abelian group in which the field is central). This can be applied to give a structure theorem for finitely presented abelian-by-nilpotent groups.

研究动机与目标

• 理解量子环面上的强正则模的结构，该环面是域与自由阿贝尔群的交叉积。
• 将有限表示的阿贝尔-幂零群的分类推广至已知例子之外，特别是针对幂零类为2的商群。
• 证明具有阿贝尔正规子群且商群为类2的无挠幂零群的有限表示子直接不可约群，其Fitting商群具有有限指数的中心积结构。
• 通过几何不变量与尾部系数模，将交叉积的模论不变量与群论性质联系起来。
• 将Robinson–Strebel关于有限表示的阿贝尔-幂零群的例子推广至更高秩的海森堡群与中心积结构。

提出的方法

• 本文利用Gelfand–Kirillov维数与不可渗透模的概念，将强正则模定义为相对于自由阿贝尔群秩具有最小维数的模。
• 应用交叉积上模的几何不变量，该不变量与Bieri–Strebel不变量及热带几何相关，以分析模的结构。
• 给出了Wadsley定理的替代证明，通过群环中的弱Artin–Rees条件，将局部锥与尾部系数模联系起来。
• 证明了强正则模的结构可分解为具有无限循环2-上循环图像的子交叉积上的正则模的张量积。
• 通过将模结构从群环提升至量子环面，利用交叉积的中心对应于群代数的中心这一事实，推导出群论结果。
• 利用关于本质子模与幂零群作用的引理，证明本质子模的中心化子在整模块上作用幂零，从而构造出具有所需结构的有限指数子群。

实验结果

研究问题

• RQ1 量子环面上的强正则模的结构分解是什么？其2-上循环图像如何影响这一分解？
• RQ2 有限表示的阿贝尔-幂零群的结构能否在已知例子之外受到约束，特别是当商群为类2幂零时？
• RQ3 在具有阿贝尔正规子群且商群为类2无挠幂零群的有限表示群中，其Fitting商群为海森堡群与循环群的中心积的条件是什么？
• RQ4 交叉积上模的几何不变量如何与有限表示群的群论性质相关联？
• RQ5 本质子模与幂零群作用在约束此类群的整体结构中扮演何种角色？

主要发现

• 任何量子环面上的强正则模均可分解为子交叉积上强正则模的张量积，其中这些子交叉积的2-上循环在域的乘法群中具有无限循环像。
• 任何量子环面上不可渗透模的Gelfand–Kirillov维数至少为自由阿贝尔群秩的一半，且等式成立当且仅当该模为强正则模。
• 对于具有阿贝尔正规子群且商群为类2无挠幂零群的有限表示群，其Fitting商群具有一个有限指数子群，该子群为海森堡群与循环群的中心积。
• 在子直接不可约此类群中，Fitting商群在有限指数意义下为海森堡群与循环群的中心积，推广了Robinson–Strebel的例子。
• 在幂零群环上的有限生成模中，任何本质子模的中心化子在整模块上作用幂零，从而实现结构约化。
• 交叉积上模的几何不变量通过弱Artin–Rees条件与尾部系数模相关联，为Wadsley定理提供了新证明。