[论文解读] Representations of Finite Unipotent Linear Groups by the Method of Clusters

Ning Yan|arXiv (Cornell University)|Apr 15, 2010

Finite Group Theory Research参考文献 31被引用 34

一句话总结

本文引入了'簇方法'，用于在有限幂零线性群 $U(n,\mathbb{F}_q)$ 的表示环中构造一个结构化的子环，该方法基于共轭伴随簇（即伴随轨道的并集）与傅里叶基及正则表示的关联。主要贡献在于将正则表示进行规范分解为簇模，并建立具有显式特征标公式的超特征标理论。

ABSTRACT

The general linear group GL(n, K) over a field K contains a particularly prominent subgroup U(n, K), consisting of all the upper triangular unipotent elements. In this paper we are interested in the case when K is the finite field F_q, and our goal is to better understand the representation theory of U(n, F_q). The complete classification of the complex irreducible representations of this group has long been known to be a difficult task. The orbit method of Kirillov, famous for its success when K has characteristic 0, is a natural source of intuition and conjectures, but in our case the relation between coadjoint orbits and complex representations is still a mystery. Here we introduce a natural variant of the orbit method, in which the central role is played by certain clusters of coadjoint orbits. This "method of clusters" leads to the construction of a subring in the representation ring of U(n, F_q) that is rich in structure but pleasantly comprehensible. The cluster method also has many of the major features one would expect from the philosophy of orbit method.

研究动机与目标

• 为解决长期存在的 $U(n,\mathbb{F}_q)$ 复不可约表示分类问题，该群为有限幂零线性群。
• 开发一种适用于正特征的轨道方法变体，因为在正特征下经典基利洛夫轨道方法因缺乏指数映射而失效。
• 建立共轭伴随簇与超特征标之间的系统性对应关系，从而实现结构化且可计算的表示理论。
• 通过簇特征标将 $U(n,\mathbb{F}_q)$ 的离散系列特征标实现为正则表示中的规范子模。
• 为 $U(n,\mathbb{F}_q)$ 提供一个具有正交超特征标和共轭类簇作为超共轭类的超特征标理论。

提出的方法

• 引入 $U(n,\mathbb{F}_q)$ 在李代数 $\mathfrak{u}(n,\mathbb{F}_q)$ 上的双作用（通过左乘和右乘），推广了伴随作用。
• 将共轭伴随簇 $K(X)$ 定义为双作用下的轨道，推广了伴随轨道 $C(X)$，并将其作为核心几何对象。
• 利用 $U(n,\mathbb{F}_q)$ 的群代数的傅里叶基，通过共轭伴随模板 $\tau$ 上的求和来定义簇特征标 $\chi(\tau)$。
• 推导出特征标公式：若 $X$ 在 $\text{supp}(\tau)$ 的下方或左侧无非零元素，则 $\chi(\tau)(I+X) = q^{d(\tau)-i(X,\tau)} \cdot \theta[\tau(X)]$，否则为 0。
• 建立簇特征标与共轭伴随簇之间的一一对应关系，且特征标的张量积与诱导/限制运算分别对应于簇的运算。
• 将正则表示构造为簇模的直和，每个簇模由一个簇特征标张成。

实验结果

研究问题

• RQ1 如何将轨道方法适配于有限域上的有限幂零群，其中经典基利洛夫方法因正特征而失效？
• RQ2 共轭伴随簇与 $U(n,\mathbb{F}_q)$ 的不可约表示之间的确切关系是什么？
• RQ3 能否通过基于簇的特征标，将 $U(n,\mathbb{F}_q)$ 的正则表示进行规范分解为不可约分量？
• RQ4 簇特征标与表示理论中已知对象（如 $GL(n,\mathbb{F}_q)$ 的离散系列特征标）有何关联？
• RQ5 能否基于共轭伴随簇为 $U(n,\mathbb{F}_q)$ 构造一个具有显式公式和结构性质的超特征标理论？

主要发现

• 簇方法在 $U(n,\mathbb{F}_q)$ 的复表示环中产生一个子环，由主簇特征标生成，且其张量积分解唯一地分解为基本分量。
• $U(n,\mathbb{F}_q)$ 的正则表示可被规范地分解为不可约簇模的直和，每个模对应一个簇特征标。
• 簇特征标构成 $U(n,\mathbb{F}_q)$ 上簇函数空间的正交基，其 $\mathbb{Z}$-线性张成在表示环中形成一个子环。
• $U(n,\mathbb{F}_q)$ 的离散系列特征标可分解为簇特征标的和，其不可约分量恰好与主簇特征标一致。
• 当 $X$ 在 $\text{supp}(\tau)$ 的下方或左侧无非零元素时，特征标公式 $\chi(\tau)(I+X) = q^{d(\tau)-i(X,\tau)} \cdot \theta[\tau(X)]$ 成立，否则为 0。
• 根据推论 8.5，非退化的共轭伴随模板 $\tau$ 恰好对应于离散系列特征标中包含的簇特征标。