[論文レビュー] Equivariant correspondences and the inductive Alperin weight condition for type $\mathsf A$

Zhicheng Feng, Conghui Li+1 more|arXiv (Cornell University)|Aug 13, 2020

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

ひとこと要約

この論文は、$\mathsf{A}$型の有限単純群、特に$\mathrm{PSL}_n(q)$および$\mathrm{PSU}_n(q)$に対して帰納的Alperin重み条件を確立する。これは、非可約ブラウアー特徴標と$\ell$-重みの間の$G$-不変の全単射を構成し、特徴標理論とコhomological基準を用いて安定化部分群および拡張可能性条件を検証することで達成される。結果として、これらの群に対してAlperin重み予想が帰納的条件を介して確認される。

ABSTRACT

In this paper, we establish the inductive Alperin weight condition for the finite simple groups of Lie type $\mathsf A$, contributing to the program to prove the Alperin weight conjecture by checking the inductive condition for all finite simple groups.

研究の動機と目的

• 有限単純Lie型$\mathsf{A}$、すなわち$\mathrm{PSL}_n(q)$および$\mathrm{PSU}_n(q)$に対する帰納的Alperin重み（AW）条件を検証すること。
• 単純群上で帰納的条件を満たすことで、Alperin重み予想を証明する広範なプログラムに貢献すること。
• $\mathrm{GL}_n(\eta q)$および$\mathrm{GU}_n(\eta q)$に対して、非可約ブラウアー特徴標と$\ell$-重みの間の$G$-不変の全単射を構築し、自己同型群と整合性を持つようにすること。
• $\mathrm{SL}_n(\eta q)$の非可約ブラウアー特徴標の安定化部分群および拡張可能性条件を検証すること。これは、コhomological基準の帰納的条件の半分を満たすために不可欠である。

提案手法

• BroughとSpäth（2020）が最近提唱した基準を用い、普遍被覆群の代わりに$\mathrm{SL}_n(\eta q)$を扱えるようにすることで、検証プロセスを簡略化する。
• ユニトリangular基本集合と$\ell'$-拡張を用いて、$\mathrm{IBr}(\mathrm{GL}_n(\eta q))$と$\mathrm{Alp}(\mathrm{GL}_n(\eta q))$の間の$G$-不変の全単射を構成する。
• CabanesとSpäthの結果を応用し、非可約特徴標の安定化部分群と拡張可能性を扱い、$\ell'$-リフト性を介して特徴標からブラウアー特徴標への条件の持ち上げを実行する。
• 一般線型群およびユニタリ群の特徴標および重みのパラメトライゼーションとClifford理論を用いて、$\ell$-重みとその安定化部分群を分類する。
• 自己同型群の文脈で$\tilde{N}_{\varphi}$と$E_{\varphi}$の構造を分析し、$\mathrm{Out}(G)$の部分群への作用を検討することで、コhomological条件を検証する。
• グローバル、ローカル、および$G$-不変の要素を統合し、定理2.2の整合的検証を達成する。この定理は帰納的AW条件を含意する。

実験結果

リサーチクエスチョン

• RQ1 すべての有限単純$\mathsf{A}$型群、特に$\mathrm{PSL}_n(q)$および$\mathrm{PSU}_n(q)$に対して、帰納的Alperin重み条件は成り立つか？
• RQ2 $\mathrm{GL}_n(\eta q)$および$\mathrm{GU}_n(\eta q)$に対して、自己同型群全体と整合性を持つ非可約ブラウアー特徴標と$\ell$-重みの間の等長対応を構築できるか？
• RQ3 $\mathrm{SL}_n(\eta q)$の非可約ブラウアー特徴標は、$\mathrm{Out}(G)$を含む半直積におけるその安定化部分群に拡張可能か？
• RQ4 $\mathrm{Out}(G)$の作用下で、特徴標の安定化部分群および拡張可能性は、特に定義特徴標とは異なる場合にどのように振る舞うか？
• RQ5 特徴標理論的手法を用いて、$\mathrm{SL}_n(\eta q)$に対して帰納的AW条件のコhomological基準を検証できるか？

主な発見

• すべての有限単純$\mathsf{A}$型群、特に$\mathrm{PSL}_n(q)$および$\mathrm{PSU}_n(q)$に対して、定義特徴標とは異なるすべての素数$\ell$について、帰納的Alperin重み条件が成り立つ。
• $\tilde{G} = \mathrm{GL}_n(\eta q)$に対して、$\tilde{G} \rtimes D$-不変の明示的全単射が$\mathrm{IBr}(\tilde{G})$と$\mathrm{Alp}(\tilde{G})$の間で構成され、自己同型群と整合性を持つことが保証される。
• 任意の$\psi \in \mathrm{IBr}(G)$に対して、$(\tilde{G} \rtimes D)_\psi = \tilde{G}_\psi \rtimes D_\psi$が成り立ち、$\psi$が$G \rtimes D_\psi$に拡張可能であることが確認され、グローバル条件が満たされる。
• 非可約ブラウアー特徴標が$G \rtimes D$におけるその安定化部分群に拡張可能であることが、[18]および[19]の$\ell'$-リフト性に基づく通常特徴標の拡張可能性を介して確立される。
• $\mathrm{Out}(G)$の部分群への作用を分析し、関連するコhomology類が必要な設定で自明であることを示すことにより、帰納的条件のコhomological半分が検証される。
• 例外的ケース（例：$\mathrm{PSL}_2(4) \cong \mathfrak{A}_5$、$\mathrm{PSL}_3(4)$、$\mathrm{PSU}_4(3)$など）は、既知の結果と直接的検証を組み合わせることで解決され、$\mathsf{A}$型に対して普遍的に条件が成り立つことが確認される。