[論文レビュー] Flag-transitive block designs and finite exceptional simple groups of Lie type

Seyed Hassan Alavi|arXiv (Cornell University)|Aug 16, 2019

Finite Group Theory Research参考文献 21被引用数 4

ひとこと要約

本稿は、gcd(r,λ) = 1 を満たす条件下で、有限単純例外型リー群の型の部分群をもつほとんど単純な自己同型群をもつ旗推移的2デザインを分類する。大規模な極大部分群と旗推移性の群論的解析を用いて、このようなデザインはちょうど4つの無限族に分類され、$^2B_2(q)$、$^2G_2(q)$、および特定のパラボリック部分群に対応する。小規模な q に対して明示的なパラメータと例が提示されている。

ABSTRACT

In this article, we study $2$-designs with $\gcd(r,λ)=1$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type. We obtain four infinite families of such designs and provide some examples in each of these families.

研究の動機と目的

• 旗推移的で、部分群が有限単純例外型リー群の型であるほとんど単純な自己同型群をもつ2デザインを分類すること。
• レプリケーション数 r とインデックス λ が互いに素であるという条件下で、このようなすべての2デザインを特定すること。
• 特に $^2B_2(q)$ および $^2G_2(q)$ を焦点に当て、例外型リー群に注目した旗推移的デザインに関する先行研究を拡張すること。
• このような4つの無限族の各々について、明示的なパラメータと例を提供すること。
• 群論的技法を用いて、極大部分群の構造とその旗推移性における役割を分析すること。

提案手法

• 文献[2, 定理1.6]における例外型部分群をもつほとんど単純群の大きな極大部分群の分類を適用する。
• 旗推移性の条件から、点安定化子 H が極大部分群であり、|G| ≤ |H|³ を満たすことが導かれる。これにより H は大きな部分群であることが示される。
• X が有限単純例外型リー群の型であるとき、H ∩ X および K ∩ X の可能なパラボリック部分群を分析する。
• gcd(r,λ) = 1 の条件を用いて、割り算可能性および位数の議論により、非適切な構成を制限・除外する。
• 設計理論の結果（例えば、部分位数の上限や軌道構造）を用いて、r² < v または r が |v−1|_p を割り切らないような構成を除外する。
• 既知の群作用およびコセット作用（例えば2重推移的作用）を用いて、旗推移性を検証し、パラメータ集合を導出する。

実験結果

リサーチクエスチョン

• RQ1 gcd(r,λ) = 1 を満たす2デザインで、有限単純例外型リー群の型の部分群をもつ旗推移的でほとんど単純な自己同型群をもつものはどれか？
• RQ2 このようなデザインの可能なパラメータ集合 (v,k,λ) は何か？ また、自己同型群の構造とどのように関係しているか？
• RQ3 ほとんど単純群 G の極大部分群 H と K が、このようなデザインの存在にどのように制約を加えるか？
• RQ4 なぜこのようなデザインはたった4つの無限族に限られるのか？ その有限性の構造的根拠は何か？
• RQ5 Reeユニタル空間 $U_R(q)$ は、$X = {}^2G_2(q)$、$K ∩ X \cong 2×A_1(q)$、λ = 1 を満たす唯一の旗推移的デザインとして特徴付けられるか？

主な発見

• gcd(r,λ) = 1 を満たし、有限単純例外型リー群の型の部分群をもつ旗推移的でほとんど単純な自己同型群をもつ非自明な2デザインは、ちょうど4つの無限族に分類される。
• $X = {}^2B_2(q)$ で $q = 2^a$、$a \geq 3$ が奇数のとき、デザインのパラメータは $v = q^2 + 1$、$b = q(q^2 + 1)$、$r = q^2$、$k = q$、$\lambda = q - 1$ である。
• $X = {}^2G_2(q)$ で $q = 3^a$、$a \geq 3$ が奇数のとき、Reeユニタル空間 $U_R(q)$ のパラメータは $v = q^3 + 1$、$b = q^2(q^2 - q + 1)$、$r = q^2$、$k = q + 1$、$\lambda = 1$ である。
• $X = {}^2G_2(q)$ のもう一つの族では、パラメータは $v = q^3 + 1$、$b = q^2(q^3 + 1)$、$r = q^3$、$k = q$、$\lambda = q - 1$ であり、$H ∩ X \cong q^3{:}(q-1)$ および $K ∩ X \cong q{:}(q-1)$ である。
• X = {}^2G_2(q)$ の第4の族では、パラメータは $v = q^3 + 1$、$b = q(q^3 + 1)$、$r = q^3$、$k = q^2$、$\lambda = q^2 - 1$ であり、$K ∩ X \cong q^2{:}(q-1)$ である。
• すべてのこのようなデザインは、例外型群の2重推移的作用から生じており、旗推移性はパラボリック部分群のコセットへの作用の2重推移性から引き継がれる。