2025-11-21T03:28:15.599185

Unipotent representations: changing q to -q, II

Deligne, Lusztig

Consider a Chevalley group over a finite field F_q such that the longest element in the Weyl group is central. In this paper we study the effect of changing q to -q in the polynomials which give the character values of unipotent representations of our group at semisimple elements.

academic

Unipotent representations: changing q to -q, II

基本信息

论文ID: 2510.06345
标题: Unipotent representations: changing q to -q, II
作者: P. Deligne, G. Lusztig
分类: math.RT (表示论)
机构: Institute for Advanced Study, Princeton, NJ; Department of Mathematics, M.I.T., Cambridge, MA
论文链接: https://arxiv.org/abs/2510.06345

摘要

本文研究有限域 $\mathbb{F}_q$ 上Chevalley群的幺幂表示，特别是当Weyl群的最长元素是中心元素时，研究将参数 $q$ 替换为 $-q$ 对幺幂表示在半单元素处的特征值多项式的影响。

研究背景与动机

问题背景

核心问题: 研究有限域上代数群的幺幂表示在参数变换 $q \to -q$ 下的行为
理论重要性: 这是代数群表示论中的基本问题，涉及特征标的深层对称性
前期工作: 本文是作者之前工作DL25的延续，前文已经证明了在维数公式层面 $q \to -q$ 的对称性
研究动机: 希望将维数层面的对称性推广到特征标值层面

现有方法局限性

直接推广困难: 简单地将 $q \to -q$ 的对称性从维数推广到特征标值在一般情况下不成立
反例存在: 当 $G$ 是 $G_2$ 型且 $\sigma$ 的中心化子是 $A_2$ 型时，直接的对称性不成立
需要新框架: 需要构造新的多项式族来刻画这种对称性

核心贡献

构造多项式族: 定义了多项式 $P_{m,z}(u) \in \mathbb{Q}[u]$ ，其中 $m \in M(\Gamma_c)$ ， $z \in Z_Y$
建立特征标公式: 证明了 $\text{tr}(\sigma, \xi^r_m) = P_{m,z}(p^s)$ ，其中 $r^2 = p^s$
证明对称性定理: 建立了对合 $z \mapsto z^!$ 和 $m \mapsto m^!$ ，使得 $P_{m^!,z^!}(u) = \pm P_{m,z}(-u)$
推广前期结果: 将DL25中的结果推广到更一般的半单元素情况

方法详解

任务定义

研究有限域 $\mathbb{F}_q$ 上连通约化群 $G$ 的幺幂表示 $\xi^r_m$ 在半单元素 $\sigma$ 处的特征标值，其中 $r \in R = \{r \in \overline{\mathbb{Q}}_l : r^2 \in \{p, p^2, p^3, \ldots\}\}$ 。

核心数学构造

1. 轨道参数化

对于 $G$ 在连通约化子群集合 $Y$ 上的共轭作用轨道，构造有限集合 $Z_Y$ 来参数化 $F^s$ -稳定子群的 $G^{F^s}$ -轨道：

$Z_Y \cong Y^{F^s}/\sim$

其中 $\sim$ 表示 $G^{F^s}$ -共轭等价关系。

2. 多项式定义

对于 $H \in Y_0 = \{H \in Y : T \subset H\}$ ，定义：

$P_{m,z}(u) = \sum_{E \in c} \sum_{j \in \mathbb{N}} \text{tr}(z_H, (\overline{S}^j_{T/Z_H} \otimes E)^{N_T \cap H}) \Delta(m) \langle m, m_E \rangle u^j$