散在型単純群でGiannelli–McKay条件を検証する計算手法
On the inductive Giannelli-McKay condition for sporadic groups
この論文をやさしく読む
ひとことで言うと
散在型単純群に関する指標の対応予想を、厳しい整合条件も含めて計算で検証する枠組み。
何に役立つ？
有限群の表現論で、予想に必要な全単射を構成・確認する手順として役立つ。
この研究の面白いところ
外部自己同型の作用を位数2以下へ簡約し、既存の指標表とClifford理論で大きな群の直接構成を避ける。
どこまで分かった？
対象は散在型単純群とその普遍被覆。一般の有限群すべてについて予想を証明したとは要旨にない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
散在型単純群とその普遍被覆について、E. Giannelliが提案したMcKay予想の精密化を検証する計算の枠組みを提示する。この精密化は、有限群の次数がpで割り切れない既約指標と、そのSylow p部分群の正規化群の対応する指標の間に、指標の次数を増やさない全単射があると主張する。今回の検証では、関連する外部自己同型群の作用に関する同変性、指標の導手のp部分の保存、中心指標との整合性も満たすという、さらに厳しい条件を課す。 理論的な簡約により、関係する外部自己同型群の作用を高々位数2に抑える。これによりClifford理論と事前計算済みの指標表を活用し、計算量の大きい群の明示的な構成を避ける。最後に、これらの条件を厳密に満たす指標の分類と全単射の構成のためのアルゴリズムを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We present a computational framework to verify a refinement of the McKay conjecture, proposed by E. Giannelli, for sporadic simple groups and their universal covers. This refinement asserts the existence of a bijection between the $p'$-characters of a finite group and those of the normalizer of its Sylow $p$-subgroup that does not increase character degrees. Our verification enforces stricter conditions, ensuring equivariance under the relevant outer automorphism group, preservation of the $p$-part of the character conductor, and compatibility with central characters. We establish theoretical reductions that limit the relevant outer automorphism action to an order of at most 2, allowing us to leverage Clifford theory and precomputed character tables to circumvent expensive explicit group constructions. Finally, we provide algorithms for classifying characters and constructing bijections that strictly satisfy these conditions.
著者のコメント
24 pages. GAP implementation included
arXiv ID: 2609.27042 ／ 要約の誤りについて