We prove that all linear Lie groups satisfying the conditions listed in the title are finite extensions of commutative Lie groups.
Linear Lie Groups All of Whose Irreducible Finite-Dimensional Not Necessarily Unitary Representations Are of Bounded Dimension and Separate the Points of the Group
- 论文ID: 2510.07330
- 标题: Linear Lie Groups All of Whose Irreducible Finite-Dimensional Not Necessarily Unitary Representations Are of Bounded Dimension and Separate the Points of the Group
- 作者: A. I. Shtern (Lomonosov Moscow State University, NRC "Kurchatov Institute" - SRISA)
- 分类: math.RT (Representation Theory)
- 发表时间: 2025年10月10日 (arXiv预印本)
- 论文链接: https://arxiv.org/abs/2510.07330v2
本文证明了满足标题中所列条件的所有线性李群都是交换李群的有限扩张。
该研究属于李群表示论的经典问题。在群表示理论中,一个重要的研究方向是理解具有特定表示性质的群的结构特征。
本文要解决的核心问题是:对于线性李群,如果其所有不可约有限维表示(不一定是酉表示)都满足以下条件:
- 维数有界(bounded dimension)
- 分离群的点(separate the points of the group)
那么这样的群具有什么样的结构特征?
- 理论价值: 这是李群分类理论中的一个基本问题,有助于理解李群的表示理论结构
- 历史延续: 扩展了Moore和作者之前关于酉表示情况的经典结果
- 技术突破: 将研究范围从酉表示扩展到一般的有限维表示
根据文中引用的经典结果1,2,对于局部紧群(特别是李群),如果其所有连续酉表示都是有限维的且维数联合有界,那么该群是交换局部紧(李)群的有限扩张。但这个结果仅限于酉表示的情况。
- 主要定理: 证明了满足条件的线性李群是交换李群的有限扩张
- 方法创新: 将酉表示理论的技巧扩展到非酉表示的情况
- 理论完善: 补充了李群表示理论中关于非酉表示的重要结果
- 技术综合: 巧妙结合了Levi分解、Lie定理、Gel'fand-Raikov定理和Thoma定理等多个深刻结果
定理1: 设G是线性李群,如果G的所有不可约连续有限维(不一定是酉的)线性表示都满足:
则G是交换李群的有限扩张。
设G0是G的单位元连通分量。显然G0也满足定理条件。
对G0进行Levi分解:G0=LR
其中:
- L是G0的半单子群
- R是G0的根基
关键论证: L必须是平凡群(单位群)。
反证法: 如果L非平凡,则其伴随群是G0的商群,这是一个非平凡的半单李群。根据半单李群的性质,它具有任意大有限维的连续有限维表示,这与维数有界的假设矛盾。
因此G0是可解的。
根据Lie定理,连通可解李群的连续不可约表示都是一维的。因此G0的所有不可约表示都是一维的。
如果连通可解群G0不是交换的,那么G0会有高维的有限维表示,这与定理条件矛盾。因此G0必须是交换的。
商群G/G0是离散的且满足定理条件。
群代数l1(G/G0)满足Dixmier著作3中3.6.1小节的恒等式(1),其中参数为r=r(n),这里n是表示维数的上界。
根据Gel'fand-Raikov定理,该群具有分离G/G0的点的Hilbert空间中的不可约表示集合。
根据Dixmier著作中命题3.6.3和Thoma定理4,G/G0是其交换正规子群M的有限扩张。
设H是G0被M扩张得到的群。由于H是(不连通的)李群,Moore的定理5适用于H。
如果H不是交换李群的有限扩张,那么H的不可约有限维连续酉表示族要么维数无界,要么不分离群的点,这与G的条件矛盾。
因此H是交换李群的有限扩张,从而G也是。
- 非酉表示的处理: 巧妙地将非酉表示问题转化为酉表示问题
- 结构分解: 系统性地使用Levi分解来分析群结构
- 定理综合: 有机结合多个深刻的群论和表示论定理
- 反证技巧: 在关键步骤使用反证法排除半单分量
- Levi分解定理: 每个连通李群都可以写成半单李群和根基的乘积
- Lie定理: 连通可解李群的不可约表示都是一维的
- Gel'fand-Raikov定理: 关于局部紧群的表示分离性
- Thoma定理: 关于离散群的结构特征
- Moore定理: 关于有界维数酉表示的群结构
- 李群的结构理论
- 表示论的基本技巧
- 群代数理论
- 局部紧群理论
- Moore (1972): 建立了酉表示情况下的基本结果1
- Štern (1973): 对局部双紧群的相关研究2
- Dixmier (1964): C*-代数和表示理论的基础工作3
- Thoma (1968): 离散群的I型特征4
本文将经典的酉表示结果推广到了更一般的有限维表示情况,填补了理论空白。
证明了满足特定条件的线性李群必然具有非常特殊的结构:它们都是交换李群的有限扩张,且该交换李群是有限维可表示的。
- 分类结果: 为具有特定表示性质的李群提供了完整的结构刻画
- 方法论: 展示了如何将酉表示理论的技巧推广到非酉情况
- 完备性: 补全了该领域的一个重要理论缺口
- 条件限制: 需要同时满足维数有界和点分离两个条件
- 线性群限制: 仅适用于线性李群
- 构造性: 证明是存在性的,没有提供具体的构造方法
- 研究条件可否进一步放松
- 探索非线性李群的类似结果
- 研究具体的构造和分类算法
- 理论深度: 综合运用了多个深刻的数学定理
- 证明技巧: 证明思路清晰,逻辑严密
- 结果完整: 给出了问题的完整解答
- 方法创新: 成功将酉表示技巧推广到非酉情况
- 严谨性: 证明在技术上是严格的
- 完备性: 考虑了所有必要的情况
- 简洁性: 证明相对简洁,避免了不必要的复杂性
- 理论贡献: 为李群表示理论提供了重要补充
- 方法价值: 证明技巧可能适用于其他相关问题
- 完整性: 完善了该领域的理论体系
- 李群分类理论研究
- 有限维表示理论
- 局部紧群的结构分析
- 数学物理中的对称群研究
论文引用了该领域的经典文献:
- Moore关于有限维不可约表示群的基础工作
- 作者早期关于局部双紧群的研究
- Dixmier的C*-代数经典著作
- Thoma关于离散群分类的重要结果
- 作者即将发表的相关工作
总体评价: 这是一篇技术严谨、理论完整的数学论文,成功解决了李群表示理论中的一个重要问题。证明方法巧妙,结果具有重要的理论价值。