[论文解读] On the Schur indices of cuspidal unipotent characters

Meinolf Geck|ArXiv.org|Jun 18, 2003

Advanced Algebra and Geometry参考文献 16被引用 5

一句话总结

本文在良好特征下确定了有限型 $F_4$ 和 $E_8$ 群的 cuspidal unipotent 特征标之 Schur 指数，证明其全为 1，并表明对于 $E_7$，Schur 指数至多为 2。通过 Kawanaka 的广义 Gelfand–Graev 特征标与表示论技巧，作者证明了某些诱导表示可定义在 $\mathbb{Q}$ 或 $\mathbb{Q}$ 的二次扩张上，从而利用特征标重数公式计算 Schur 指数。

ABSTRACT

In previous work of Gow, Ohmori, Lusztig and the author, the Schur indices of all unipotent characters of finite groups of Lie type have been explicitly determined except for six cases in groups of type $F_4$, $E_7$ and $E_8$. In this paper, we show that the Schur indices of all cuspidal unipotent characters for type $F_4$ and $E_8$ are~1, assuming that the group is defined over a field of ``good'' characteristic. This settles four out of the six open cases. For type $E_7$, we show that the Schur indices are at most~2.

研究动机与目标

• 解决有限李型群 unipotent 特征标 Schur 指数分类中的未决问题。
• 确定型 $F_4$、$E_7$ 和 $E_8$ 群中 cuspidal unipotent 特征标的 Schur 指数，特别是此前未解决的情形。
• 证明与某些 unipotent 子群相关的广义 Gelfand–Graev 表示可定义在 $\mathbb{Q}$ 或 $\mathbb{Q}$ 的二次扩张上，从而利用特征标重数数据来界定 Schur 指数。

提出的方法

• 作者使用 Kawanaka 的从 unipotent 子群诱导的广义 Gelfand–Graev 特征标，研究有限李型群的表示论结构。
• 他们证明对于 $F_4$ 和 $E_8$，某些广义 Gelfand–Graev 表示可定义在 $\mathbb{Q}$ 上，而对于 $E_7$，可定义在 $\mathbb{Q}$ 的二次扩张上，使用受 Ohmori 启发的技术。
• 通过 Kawanaka 和 Lusztig 的显式公式计算这些诱导表示中 unipotent 特征标的重数，表明相关 cuspidal unipotent 特征标以重数 1 出现。
• 特征标的 Schur 指数受表示可在其上实现的域扩张次数的限制，结合该特征标在诱导特征标中的重数。
• 应用 Brauer–Speiser 定理，将诱导特征标中非有理数值部分的 Schur 指数限制在至多 2。
• 使用关于 Schur 指数的标准结果（Isaacs, 引理 10.4），得出 Schur 指数整除域扩张次数与重数的乘积，而后者在良好特征下为奇数。

实验结果

研究问题

• RQ1 在良好特征下，有限型 $F_4$ 和 $E_8$ 群的 cuspidal unipotent 特征标的 Schur 指数为何？
• RQ2 与 unipotent 子群相关的广义 Gelfand–Graev 表示在 $F_4$、$E_7$ 和 $E_8$ 型中，是否可定义在 $\mathbb{Q}$ 或 $\mathbb{Q}$ 的二次扩张上？
• RQ3 cuspidal unipotent 特征标在广义 Gelfand–Graev 表示中的重数如何约束其 Schur 指数？
• RQ4 型 $E_7$ 中两个 cuspidal unipotent 特征标 $E_7[\pm\xi]$ 的 Schur 指数的精确界为何？
• RQ5 能否使用诱导特征标方法确定特征标 5 下 $E_8[\pm\sqrt{-1}]$ 的 Schur 指数？

主要发现

• 在良好特征下，有限型 $F_4$ 和 $E_8$ 群的所有 cuspidal unipotent 特征标的 Schur 指数均为 1。
• 对于型 $E_7$，两个 cuspidal unipotent 特征标 $E_7[\pm\xi]$ 的 Schur 指数至多为 2。
• 与 $E_7$ 中 unipotent 元素相关的广义 Gelfand–Graev 表示可定义在域 $K$ 上，满足 $[K:\mathbb{Q}] \leq 2$，且特征标 $E_7[\pm\xi]$ 在此表示中以重数 1 出现。
• $E_7[\pm\xi]$ 的 Schur 指数整除 $[K:\mathbb{Q}]$，其值至多为 2，因此被限制在 2 以内。
• $E_7[\pm\xi]$ 的 Schur 指数为 1 或 2，取决于 $E_7[\pm\xi]$ 与诱导特征标中非有理数值部分的内积的奇偶性。
• 计算 $E_7[\pm\xi]$ 的 Schur 指数的问题被简化为计算涉及广义 Gelfand–Graev 特征标中非有理数值部分的标量积，该问题将在后续工作中解决。