[論文レビュー] All $2$-transitive groups have the EKR-module property

Karen Meagher, Peter Sin|arXiv (Cornell University)|Nov 25, 2019

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

ひとこと要約

本稿は、すべての2重推移的置換群がEKRモジュール性質を満たすことを証明している。これは、任意の最大交叉集合の特性ベクトルが、点安定化子およびそのコセットの特性ベクトルの線形結合として表せることを意味する。主な結果は、表現論と関連スキームを用いて2重推移的群における最大交叉集合の構造的特徴付けを確立し、それらがすべて点安定化子と同じ内分布を持つことを示している。

ABSTRACT

We prove that every 2-transitive group has a property called the EKR-module property. This property gives a characterization of the maximum intersecting sets of permutations in the group. Specifically, the characteristic vector of any maximum intersecting set in a 2-transitive group is the linear combination of the characteristic vectors of the stabilizers of a points and their cosets. We also consider when the derangement graph of a 2-transitive group is connected and when a maximum intersecting set is a subgroup or a coset of a subgroup.

研究の動機と目的

• すべての2重推移的置換群がEKRモジュール性質を満たすことを確立する。これは最大交叉集合に関する構造的条件である。
• EKR型の結果を一般化し、2重推移的群における最大交叉集合が安定化子特性ベクトルの線形包によって制約されることを示す。
• 関連スキームと非可約表現を用いて、最大交叉集合の表現論的特徴付けを提供する。
• 2重推移的群における最大交叉集合が、誘導グラフが連結である場合に、非標準的で、部分群でもなく、コセットでもない構造を取れるかどうかを調査する。

提案手法

• 著者たちは群Gの正則モジュールを用い、点の安定化子およびそのコセットの特性ベクトルを定義する。
• 特に正則モジュールの非可約表現への分解を用いた有限群の表現論を適用し、最大交叉集合の構造を分析する。
• 最大交叉集合Sの内分布は、行列A_c（共共役類関連スキームのもの）を用いた二次形式v_S^T A_c v_S / |S|で計算される。
• 双対分布v_S^T E_φ v_S / |S|が分析され、唯一、自明表現と一意な非自明非可約表現ψ_Gが寄与することが示され、すべての最大交叉集合に対して固定された双対分布が得られる。
• 関連スキームの基底間の双対性を用いて、任意の最大交叉集合の内分布が、逆固有値行列を介して点安定化子のものと一致することが示される。
• 証明は、2重推移的群では正則モジュールが自明モジュールと他の1つの非可約モジュールの和に分解されることに依存している。これにより解析が簡略化される。

実験結果

リサーチクエスチョン

• RQ1 すべての2重推移的群がEKRモジュール性質を満たすか、すなわち任意の最大交叉集合の特性ベクトルが安定化子特性ベクトルの線形包に属するか？
• RQ2 2重推移的群における最大交叉集合が、誘導グラフが連結である場合に、非標準的で、部分群でもなく、コセットでもない構造を取れるか？
• RQ3 2重推移的群におけるすべての最大交叉集合が同じ内分布を持つのか、すなわち各共役類に関連するペアの数が同じか？
• RQ4 EKRモジュール性質が、厳密EKR性質が成立しない場合でも、2重推移的群における最大交叉集合の構造を特徴付けるのに十分か？

主な発見

• すべての2重推移的群がEKRモジュール性質を満たす：任意の最大交叉集合の特性ベクトルは、点安定化子およびそのコセットの特性ベクトルの線形結合として表せる。
• 2重推移的群におけるすべての最大交叉集合は、点の安定化子と同じ内分布を持つ。これは、各共役類に関連するペアの数が同じであることを意味する。
• 任意の最大交叉集合の双対分布は固定されている：自明表現と一意な非自明非可約表現ψ_Gのみが寄与し、それぞれ1/nおよび1−1/nの値をとる。
• 最大交叉集合の内分布は、双対分布と共役類関連スキームの固有値行列によって完全に決定される。
• 本結果は[25]の予想1.3を確認し、EKRモジュール性質が2重推移的群の普遍的特徴であることを確立した。
• 内分布による特徴付けは、以前の結果の強化であり、EKR性質を越えた構造的制約を最大交叉集合に与える。