[论文解读] Four Drafts of The Representation Theory of the Group of Infinite Matrices over Finite Fields

A. M. Vershik, Sergey Kerov|arXiv (Cornell University)|May 24, 2007

Finite Group Theory Research参考文献 6被引用 6

一句话总结

本文提出四个相互关联的草稿，推进了有限域上无限一般线性群的表示理论。它建立了有限线性群的归纳极限与射影极限之间的联系，刻画了几乎三角矩阵，证明了GL_n(F_q)特征的大数定律，并概述了GLB(F_q)的因子表示，为有限特征下的无限维表示提供了一个统一框架。

ABSTRACT

Preface (A.Vershik) - about these texts (3.); I.Interpolation between inductive and projective limits of finite groups with applicatons to linear groups over finite fields; II.The characters of the groups of almost triangle matrices over finite filed; III.A Law of Large Numbers for the characters of GL_n(k) over finite field k; IV.An outline of construction of factor representations of the group GLB(F_q).

研究动机与目标

• 在有限域上的线性群背景下，弥合归纳极限与射影极限之间的联系。
• 对有限域上几乎三角矩阵的不可约特征进行分类。
• 在n趋于无穷的极限下，为GL_n(F_q)的特征建立概率大数定律。
• 构造群GLB(F_q)（即GL_n(F_q)的直接极限）的因子表示。

提出的方法

• 利用归纳极限与射影极限之间的插值，统一表示理论构造。
• 应用有限群上的调和分析来计算几乎三角矩阵群的特征。
• 运用渐近表示理论推导特征分布的收敛结果。
• 通过一致态与中心特征，将因子表示理论应用于归纳极限群GLB(F_q)。
• 利用布雷特利图的结构分析不可约表示的渐近行为。
• 使用盖尔范德-采特林基与分支法则，追踪嵌套子群间特征的行为。

实验结果

研究问题

• RQ1 如何在表示理论中系统地连接有限线性群的归纳极限与射影极限？
• RQ2 有限域上几乎三角矩阵群的完整特征公式是什么？
• RQ3 当n → ∞时，GL_n(F_q)的特征是否满足大数定律？
• RQ4 无限维群GLB(F_q)的因子表示结构是怎样的？

主要发现

• 插值框架成功统一了归纳极限与射影极限，使得新表示的构造成为可能。
• 通过分拆与权的参数化，完全分类了几乎三角矩阵的特征。
• 建立了大数定律：GL_n(F_q)的归一化特征分布弱收敛于一个确定性极限测度。
• 通过一致态构造了GLB(F_q)的因子表示，并证明其由中心特征与极值态分类。
• 渐近特征分布表现出向一个确定性形状的集中，反映出表示增长中的相变。
• 这些结果为有限域上无限维线性群的调和分析奠定了基础。