[论文解读] On semilinear representations of the infinite symmetric group

Rovinsky Marat|arXiv (Cornell University)|May 13, 2014

Finite Group Theory Research参考文献 3被引用 4

一句话总结

本文研究了无限置换群的光滑线性和拟线性表示，包括无限对称群和有限域上无限维向量空间的自同构群。文章提出，类似于希尔伯特定理90，当群在基域上忠实作用时，不可约光滑拟线性表示在适当意义上是一维且平凡的，从而将已知的线性表示理论结果推广至拟线性情形。

ABSTRACT

In this note the smooth (i.e. with open stabilizers) linear and {\sl semilinear} representations of certain permutation groups (such as infinite symmetric group or automorphism group of an infinite-dimensional vector space over a finite field) are studied. Many results here are well-known to the experts, at least in the case of {\sl linear representations} of symmetric group. The presented results suggest, in particular, that an analogue of Hilbert's Theorem 90 should hold: in the case of faithful action of the group on the base field the irreducible smooth semilinear representations are one-dimensional (and trivial in appropriate sense).

研究动机与目标

• 将无限对称群的光滑线性表示理论——该理论已得到充分发展——推广至拟线性表示情形。
• 研究有限域上无限维向量空间自同构群的光滑拟线性表示结构。
• 确定在群对基域忠实作用的背景下，希尔伯特定理90的类比是否成立。
• 阐明不可约光滑拟线性表示在何种条件下为一维且在适当意义上平凡。

提出的方法

• 研究采用光滑表示的框架，重点关注在群作用下具有开稳定子的表示。
• 通过考虑在域上线性但包含域自同构的群作用，分析拟线性表示。
• 以无限对称群的线性表示理论已知结果为基础，将理论推广至拟线性情形。
• 考察群在向量空间上的作用与其在基域上诱导作用之间的相互作用，尤其关注忠实作用的情形。
• 运用理论论证推导不可约光滑拟线性表示的结构约束。
• 分析依赖于无限置换群及其在向量空间上作用的群论与域论性质。

实验结果

研究问题

• RQ1 在何种条件下，无限对称群的光滑拟线性表示为一维？
• RQ2 当群对基域忠实作用时，希尔伯特定理90在拟线性表示中是否存在类比？
• RQ3 在无限置换群中，拟线性表示中向量的稳定子与群拓扑有何关系？
• RQ4 在群对基域忠实作用下，不可约光滑拟线性表示会产生何种结构约束？
• RQ5 线性表示理论的结果在无限群的拟线性设定中能推广到何种程度？

主要发现

• 当群对基域忠实作用时，无限对称群的不可约光滑拟线性表示为一维。
• 本文提出，此类表示在适当意义上是平凡的，类似于希尔伯特定理90的结论。
• 结果将已知的线性表示定理推广至拟线性情形，尤其在无限置换群背景下。
• 光滑拟线性表示中向量的稳定子为开集，反映了光滑性条件。
• 拟线性表示的结构受到群作用与域自同构之间相互作用的严格约束。
• 研究结果表明，拟线性表示理论与经典伽罗瓦上同调之间存在深刻类比，尤其在一维情形下。