[论文解读] On characters of Chevalley groups vanishing at the non-semisimple elements

Marco Antonio Pellegrini, Alexandre Zalesski|arXiv (Cornell University)|Apr 18, 2013

Finite Group Theory Research参考文献 7被引用 3

一句话总结

本文研究有限單李型群中階為 |G|_p 的 p-消去特徵標，推廣 Steinberg 特徵標。利用特徵理論與 p-消去特徵標的顯式分解，證明對於大多數小階數之群，Steinberg 特徵標是唯一此類特徵標，並在 q 上滿足數論條件時識別出特定例外，其中存在可約的 p-消去特徵標。

ABSTRACT

Let G be a finite simple group of Lie type. In this paper we study characters of G that vanish at the non-semisimple elements and whose degree is equal to the order of a maximal unipotent subgroup of G. Such characters can be viewed as a natural generalization of the Steinberg character. For groups G of small rank we also determine the characters of this degree vanishing only at the non-identity unipotent elements.

研究动机与目标

• 透過研究有限單李型群中階等於最大冪零子群階的 p-消去特徵標，推廣 Steinberg 特徵標。
• 確定哪些群會出現除 Steinberg 特徵標外的可約 p-消去特徵標（階為 |G|_p）。
• 針對小階數群，顯式分解 p-消去特徵標為不可約特徵標之和。
• 建立適用於所有 q 的統一結果，避免依賴 p-模表示理論。
• 探討 p-消去特徵標在模表示理論中對投影模與分解矩陣之影響。

提出的方法

• 作者使用李型群特徵理論的現代方法分析 p-消去特徵標。
• 他們利用特徵表與已知分解規則，將 p-消去特徵標分解為不可約特徵標。
• 對於如 PSL(6,q) 之群，他們從 PSL(5,q) 的分解推導出特徵分解，以與 Steinberg 特徵標比較。
• 他們計算在半單與冪零元素上的特徵值，顯示非 Steinberg 的 p-消去特徵標在半單元素上不為零。
• 他們應用對所有 q 均有效的統一論證，避免依賴 p-模表示理論。
• 他們列出例外情況的顯式特徵分解，例如當 q+1 可被 3 或 7 整除時的群。

实验结果

研究问题

• RQ1 對於哪些有限單李型群，Steinberg 特徵標是唯一階為 |G|_p 的 p-消去特徵標？
• RQ2 在何種 q 的條件下，小階數群會出現階為 |G|_p 的可約 p-消去特徵標？
• RQ3 如何在不同群族中顯式分解 p-消去特徵標為不可約特徵標？
• RQ4 p-消去特徵標與模表示理論中分解矩陣的投影模之間有何關係？
• RQ5 所有階為 |G|_p 的 p-消去特徵標是否皆為實數值，且在半單元素上非零？

主要发现

• 對於除 B3(q)、B4(q)、B5(q)、D4(q) 和 D5(q) 外的所有李型群，Steinberg 特徵標是唯一階為 |G|_p 的 p-消去特徵標；對這些群，結論仍為開放問題。
• 對於 A1(q)、A2(q)、2B2(q²) 和 2G2(q²)，所有 q 下均存在可約的階為 |G|_p 的 p-消去特徵標。
• 對於 2A2(q)、A3(q) 和 A4(q)，此類可約特徵標存在的充要條件是 q+1 可被 3 整除。
• 對於 C2(q) ≅ B2(q)，此類可約特徵標存在的充要條件是 q+1 可被 7 整除。
• 所有階為 |G|_p 的 p-消去特徵標皆為實數值，且在半單元素上不為零。
• 在滿足定理 1.1 的群中，投影模特徵標 Ψ 與 Φ（Ψ > Φ）之間的維度差為 |G|_p（僅當 Ψ − Φ = St 時）或至少 2|G|_p。