[論文レビュー] Cosets and genericity

Éric Jaligot|arXiv (Cornell University)|Jan 15, 2008

Advanced Topology and Set Theory参考文献 2被引用数 2

ひとこと要約

この論文は、有限モーリー階数群における部分群のコセットと一般性の相違を、置換群の技法を用いて分析し、共役類や安定化部分群の構造を解明する。有限モーリー階数群において、余分な条件のもとでコセットが存在するならば、それは一般的でない（nongenerous）はずであり、もしそれが同時に一般的かつ一般的でない場合、矛盾が生じる。このことから、病理的とされるコセットの非存在が示される。

ABSTRACT

In [CJ04] arguments pending on cosets and genericity were developed intensively for determining Weyl groups in groups of finite Morley rank, and this was strongly influenced by one of the essential contents of [Nes89]. In both papers a pathological coset is usually shown to be both generous and nongenerous, and then the coset does not exist. When the coset exists it should normally be nongenerous. This is what we shall see in this short paper, which can also be seen as an appendix of [Jal06] on the structure of groups of finite Morley rank with a generous Carter subgroup or satisfying even weaker generic covering properties. As far as conjugates and ranks are concerned the fine analysis of conjugacy classes of [Jal06, §2.2] provided the following understanding of the situation, which we recast in terms of permutation groups here. Given a permutation group (G, Ω) and a subset H of Ω, we denote by N(H) and C(H) the setwise and the pointwise stabilizer of H respectively, that is G {H} and G (H) in a usual permutation group theory notation, and by H G the orbit of H under the action of G. Subsets of the form H g for some g in G are also called G-conjugates of

研究の動機と目的

• 有限モーリー階数群におけるコセットの振る舞いが引き起こす構造的制約を明確化すること。
• コセットが同時に一般的かつ一般的でない場合に生じる矛盾を解消し、そのようなコセットが存在し得ないことを示すこと。
• 置換群の道具を用いて、[Jal06]における一般的カークサブグループおよび一般的被覆性質の枠組みを拡張すること。
• 置換群の文脈における共役、安定化部分群（集合的および点ごとの）および軌道構造の関係を形式化すること。

提案手法

• 標準的な置換群の記法を用いる：H ⊆ Ω に対する集合的安定化部分群を N(H)、点ごとの安定化部分群を C(H) と表記する。
• G が Ω に作用するもとで、G-共役 H^g = {h^g | h ∈ H} を分析し、軌道構造を研究する。
• 共役類の文脈において一般性の概念を適用し、構造的不整合を検出する。
• 背理法を用いる：コセットが同時に一般的かつ一般的でない場合、そのようなコセットは存在し得ない。
• [Jal06, §2.2] における共役類に関する結果を、置換群作用の観点から再解釈する。
• コセットの振る舞いの分析を支えるために、[CJ04] および [Nes89] の基礎的結果に依拠する。

実験結果

リサーチクエスチョン

• RQ1 有限モーリー階数群におけるコセットが、一般的かつ一般的でない状態で同時に成立する条件は何か？
• RQ2 コセットの存在が、群の一般性および共役構造に与える関係は何か？
• RQ3 コセットが一般的配置に含まれているにもかかわらず、一般的でないことが示された場合、どのような構造的含意が生じるか？
• RQ4 安定化部分群 N(H) および C(H) は、置換群作用における G-共役 H^g の振る舞いをどのように制約するか？
• RQ5 [Jal06] におけるカークサブグループの枠組みを、置換群の技法を用いてどのように拡張できるか？

主な発見

• 有限モーリー階数群において、一般的かつ一般的でないコセットは存在し得ない。
• 一般的条件下でコセットが存在するならば、それは一般的でないはずであり、これにより構造的矛盾が解消される。
• 解析により、一般性を破る病理的コセット—いわゆる「病理的」コセット—は、良好に振る舞う有限モーリー階数群では発生しないことが確認された。
• G による作用における軌道構造 H^G は、中心的な役割を果たす安定化部分群 N(H) および C(H) によって制約を受ける。
• 結果は、[Jal06] の構造的結論を支持しており、共役類の振る舞いに置換群論的根拠を与える。
• 一般性および共役制約を用いた一貫した手法により、例外的な構成を除外するためのフレームワークが提供された。