[论文解读] On coadjoint orbits for $p$-Sylow subgroups of finite classical groups

Qiong Guo, Markus Jedlitschky+1 more|arXiv (Cornell University)|Feb 22, 2018

Algebraic structures and combinatorial models参考文献 6被引用 4

一句话总结

本文将单项线性化方法扩展至有限经典群类型 $\mathfrak{B}_n$、$\mathfrak{D}_n$ 和 $\mathfrak{C}_n$ 的 $p$-西罗子群，将 André-Neto 超字符分解为 $U$-轨道模。它识别出‘主要分离’的轨道模，这些模彼此同构或两两正交，确保 $U$ 的每个不可约特征标恰好出现在一个此类模中，从而为正交群及某些辛群提供了更精细的超字符理论。

ABSTRACT

Kirillov's orbit theory provides a powerful tool for the investigation of irreducible unitary representations of many classes of Lie groups. In a previous paper we used a modification hereof, called monomial linearisation, to construct a monomial basis of the regular representation of $p$-Sylow subgroups $U$ of the finite classical groups of untwisted type. In this sequel to this article we determine the stabilizers of special orbit generators and show, that for the groups of Lie type ${\mathfrak{B}}_n$ and ${\mathfrak{D}}_n$ a subclass of the orbit modules decompose the $U$-modules affording the André-Neto supercharacters into a direct sum of submodules. Moreover these special orbit modules are either isomorphic or have no irreducible constituent in common, and each irreducible $U$ module is up to isomorphism constituent of precisely one of these.

研究动机与目标

• 通过将超字符分解为更细的构成部分，改进 $p$-西罗子群的 André-Neto 超字符理论。
• 识别出一类共轭轨道——‘主要分离轨道’——其轨道模可构成正则表示的分解，且分量为正交或同构。
• 证明 $p$-西罗子群 $U_n$ 的每个不可约特征标恰好出现在一个此类轨道模中，从而确保不可约特征标的划分。
• 建立主要分离轨道模所赋予的特征标彼此同构或两两正交，构成更精细超字符理论的候选。
• 将单项线性化技术从非扭单位三角群推广至所有非扭李型的经典群，包括正交型与辛型。

提出的方法

• 作者使用单项线性化，即 Kirillov 轨道方法的推广，为群代数 $\mathbb{C}U_n$ 构造单项基，将其分解为轨道模。
• 他们通过单项基中一类特殊矩阵——‘核心’——定义‘主要分离’轨道，这些核心生成具有理想分解性质的轨道模。
• 对于类型 $\mathfrak{B}_n$ 和 $\mathfrak{D}_n$，他们定义了一个映射 $\hat{A}$，在特定条件下将矩阵 $A$ 变换为‘边缘矩阵’，以确保轨道模行为良好。
• 他们引入了由主要分离核心生成的‘边缘模’概念，证明这些模限制到 $U_n$ 上时，彼此同构或正交。
• 该构造依赖于镜像映射 $i \mapsto \bar{i} = N+1-i$ 和矩阵转置，以在根系中定义对称性条件，尤其区分类型 $\mathfrak{B}_n$、$\mathfrak{D}_n$ 和 $\mathfrak{C}_n$。
• 他们验证了 André-Neto 超共轭类与这些主要分离轨道模之间存在双射关系，且对应的轨道模所赋予的特征标彼此相等或正交。

实验结果

研究问题

• RQ1 在有限经典群类型 $\mathfrak{B}_n$ 和 $\mathfrak{D}_n$ 的 $p$-西罗子群中，与主要分离核心相关的轨道模是否将 André-Neto 超字符分解为正交或同构的分量？
• RQ2 是否每个 $p$-西罗子群 $U_n$ 的不可约特征标均可作为唯一一个主要分离轨道模的构成部分？
• RQ3 主要分离轨道模所赋予的特征标是否两两正交或同构，从而构成更精细超字符理论的候选？
• RQ4 单项线性化方法如何推广至类型 $\mathfrak{C}_n$ 的辛群？为保持相同分解性质，还需哪些额外约束？
• RQ5 边缘矩阵构造 $\hat{A}$ 在确保主要分离核心生成的轨道模行为良好并实现清晰分解中起到什么作用？

主要发现

• 对于有限经典群类型 $\mathfrak{B}_n$ 和 $\mathfrak{D}_n$ 的 $p$-西罗子群，与主要分离核心相关的轨道模将 André-Neto 超字符分解为同构或两两正交的子模的直和。
• 每个 $p$-西罗子群 $U_n$ 的复不可约特征标恰好出现在一个主要分离轨道模中，确保了不可约特征标的划分。
• 主要分离轨道模所赋予的特征标彼此同构或正交，满足更精细超字符理论的条件。
• 对于类型 $\mathfrak{C}_n$，该分解仅在额外的限制性假设下成立，表明该结果具有条件性，尚未完全普遍化。
• 通过核心与边缘矩阵映射 $\hat{A}$ 构造主要分离轨道，确保了相应轨道模是全单位三角群 $\tilde{U}$-轨道模的限制，从而保持了超字符结构。
• André-Neto 的 $U$-超共轭类与主要分离轨道模之间存在双射关系，证实了新分解尊重原始的超字符框架。